| SIS: A system for sequential circuit synthesis ME Sentovich Memorandom no. UCB/ERL M92/41, 1992 | 2479 | 1992 |
| Hardware-software co-design of embedded systems: the POLIS approach F Balarin Springer Science & Business Media, 1997 | 1127 | 1997 |
| Design of embedded systems: Formal models, validation, and synthesis S Edwards, L Lavagno, EA Lee, A Sangiovanni-Vincentelli Proceedings of the IEEE 85 (3), 366-390, 1997 | 795 | 1997 |
| Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev IEICE Transactions on information and Systems 80 (3), 315-325, 1997 | 774 | 1997 |
| Metropolis: An integrated electronic system design environment F Balarin, Y Watanabe, H Hsieh, L Lavagno, C Passerone, ... Computer 36 (4), 45-52, 2003 | 672 | 2003 |
| Hardware-software codesign of embedded systems M Chiodo, P Giusto, A Jurecska, HC Hsieh, A Sangiovanni-Vincentelli, ... IEEE micro 14 (4), 26-36, 1994 | 341 | 1994 |
| Deriving Petri nets from finite transition systems J Cortadella, M Kishinevsky, L Lavagno, A Yakovlev IEEE transactions on computers 47 (8), 859-882, 1998 | 336 | 1998 |
| Logic Synthesis for Asynchronous Controllers and Interfaces: With 146 Figures J Cortadella Springer Science & Business Media, 2002 | 322 | 2002 |
| Desynchronization: Synthesis of asynchronous circuits from synchronous specifications J Cortadella, A Kondratyev, L Lavagno, CP Sotiriou IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006 | 273 | 2006 |
| EDA for IC implementation, circuit design, and process technology L Lavagno, L Scheffer, G Martin CRC press, 2018 | 221* | 2018 |
| Algorithms for synthesis and testing of asynchronous circuits L Lavagno, A Sangiovanni-Vincentelli Springer Science & Business Media, 1993 | 203 | 1993 |
| UML for Real L Lavagno, G Martin, B Selic Kluwer Academic Publishers, 2003 | 192 | 2003 |
| Algorithms for synthesis of hazard-free asynchronous circuits L Lavagno, K Keutzer, A Sangiovanni-Vincentelli Proceedings of the 28th ACM/IEEE Design Automation Conference, 302-308, 1991 | 190 | 1991 |
| Scheduling for embedded real-time systems F Balarin, L Lavagno, P Murthy, A Sangiovanni-Vincentelli, CD Systems IEEE Design & Test of Computers 15 (1), 71-82, 1998 | 186 | 1998 |
| Formal models for embedded system design M Sgroi, L Lavagno, A Sangiovanni-Vincentelli IEEE Design & Test of Computers 17 (2), 14-27, 2000 | 165 | 2000 |
| Embedded UML: a merger of real-time UML and co-design G Martin, L Lavagno, J Louis-Guerin Proceedings of the ninth international symposium on Hardware/software …, 2001 | 156 | 2001 |
| Hardware design and Petri nets A Yakovlev, L Gomes, L Lavagno Kluwer Academic Publishers 1 (2), 3, 2000 | 147 | 2000 |
| Handshake protocols for de-synchronization I Blunno, J Cortadella, A Kondratyev, L Lavagno, K Lwin, C Sotiriou 10th International Symposium on Asynchronous Circuits and Systems, 2004 …, 2004 | 143 | 2004 |
| Synthesis of embedded software using free-choice Petri nets M Sgroi, L Lavagno, Y Watanabe, A Sangiovanni-Vincentelli Proceedings of the 36th annual ACM/IEEE design automation conference, 805-810, 1999 | 135 | 1999 |
| ECL: A specification environment for system-level design L Lavagno, E Sentovich Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 511-516, 1999 | 132 | 1999 |
