Tutorials and invited lectures

[CK07]

J. Cortadella and M. Kishinevsky. Elasticity and Petri nets. Advanced tutorial at the 28th Int. Conf. on Application and Theory of Petri Nets, Siedlce, Poland, June 2007. [ bib |  |  |  |  |  | pdf ]

[KCG⁺06]

Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, and John O'Leary. Synchronous elastic circuits. In Dima Grigoriev, John Harrison, and Edward A. Hirsch, editors, Computer Science - Theory and Applications, First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings, volume 3967 of Lecture Notes in Computer Science, pages 3-5. Springer, 2006. [ bib | pdf ]

[BCK04]

P.A. Beerel, J. Cortadella, and A. Kondratyev. Bridging the gap between asynchronous design and designers. Tutorial at the VLSI Design Conference, Mumbai, India, January 2004. [ bib |  |  |  |  |  | pdf ]

[CY02]

J. Cortadella and A. Yakovlev. Petrify. Hands-on tutorial at the Summer School on Asynchronous Circuit Design, (organized by the ACiD-WG, Grenoble), July 2002. [ bib | TGZ ]

[CKK⁺02]

J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev. Hazard free logic synthesis and technology mapping. Lecture at the Summer School on Asynchronous Circuit Design, (organized by the ACiD-WG, Grenoble), July 2002. [ bib |  ]

[Cor02]

J. Cortadella. Synthesis of embedded software for reactive systems. Invited lecture at the Int. Workshop on Integration of Specification Techniques for Applications in Engineering (Satellite event of ETAPS 2002), April 2002. [ bib |  ]

[CYG02]

J. Cortadella, A. Yakovlev, and J. Garside. Logic design of asynchronous circuits. Tutorial at the ASP-DAC/VLSI Design Conference, Bangalore, India, January 2002. [ bib |  |  |  |  | ps ]

[Cor00]

J. Cortadella. Tools for automatic synthesis and verification of asynchronous interfaces. Invited lecture at the workshop “Asynchronous Interfaces: Tools, techniques, and implementations” (AINT'2000), Delft, The Netherlands, July 2000. [ bib |  ]

[CKK⁺00]

Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, and Alexandre Yakovlev. Hardware and Petri nets: Application to asynchronous circuit design. Invited lecture at the 21st Int. Conf. on Application and Theory of Petri Nets, Aarhus, Denmark, June 2000. [ bib |  | ps ]

[CLY00]

J. Cortadella, L. Lavagno, and A. Yakovlev. Hardware design and Petri nets. Advanced tutorial at the 21st Int. Conf. on Application and Theory of Petri Nets, Aarhus, Denmark, June 2000. [ bib |  |  |  |  |  ]

[CKKL00]

J. Cortadella, M. Kishinevsky, A. Kondratyev, and L. Lavagno. Introduction to asynchronous circuit design: specification and synthesis. Tutorial at the 6th Int. Symp. on Advanced Research in Asynchronous Circuits and Systems, Eilat, Israel, April 2000. [ bib |  |  |  |  ]

[Cor99]

J. Cortadella. STG-based synthesis and petrify. Tutorial at the 3rd ACiD-WG Workshop, Newcastle upon Tyne, UK, January 1999. [ bib |  ]

[KCK98]

M. Kishinevsky, J. Cortadella, and A. Kondratyev. Asynchronous interface specification, analysis and synthesis. Embedded tutorial at the Design Automation Conference, San Francisco, USA, June 1998. [ bib |  ]

[Cor98a]

J. Cortadella. Asynchronous circuit verification and synthesis with Petri nets. Invited lecture at the Workshop on Hardware Design and Petri Nets , Lisbon, June 1998. [ bib |  ]

[Cor98b]

J. Cortadella. Combining structural and symbolic methods for the verification of concurrent systems. Invited lecture at the International Conference on Application of Concurrency to System Design (CSD'98), Aizu-Wakamatsu, Japan, March 1998. [ bib | ps | pdf ]

[CK97]

J. Cortadella and M. Kishinevsky. Synthesis of control circuits from STG specifications. Course in the Summer School on Asynchronous Circuit Design (organized by the ACiD-WG, ESPRIT 21949), Lyngby, Denmark, August 1997. [ bib |  |  ]

This file was generated by bibtex2html 1.96.

Back to GAVINA group