Luciano Lavagno
TitleCited byYear
SIS: A system for sequential circuit synthesis
EM Sentovich, KJ Singh, L Lavagno, C Moon, R Murgai, A Saldanha, ...
20571992
Hardware-software co-design of embedded systems: the POLIS approach
F Balarin, P Giusto, A Jurecska, M Chiodo, C Passerone, E Sentovich, ...
Springer Science & Business Media, 1997
10351997
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
7131997
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
6571997
Metropolis: An integrated electronic system design environment
F Balarin, Y Watanabe, H Hsieh, L Lavagno, C Passerone, ...
Computer 36 (4), 45-52, 2003
6212003
Hardware-software codesign of embedded systems
M Chiodo, P Giusto, A Jurecska, HC Hsieh, A Sangiovanni-Vincentelli, ...
IEEE micro 14 (4), 26-36, 1994
3091994
Deriving Petri nets from finite transition systems
J Cortadella, M Kishinevsky, L Lavagno, A Yakovlev
IEEE transactions on computers 47 (8), 859-882, 1998
2801998
Logic synthesis for asynchronous controllers and interfaces
J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev
Springer Science & Business Media, 2012
2662012
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
2172006
UML for Real
L Lavagno, G Martin, B Selic
Kluwer Academic Publishers, 2003
2112003
Algorithms for Synthesis of Hazard-Free Asynchronous Circuits.
L Lavagno, K Keutzer, AL Sangiovanni-Vincentelli
DAC, 302-308, 1991
1831991
Algorithms for synthesis and testing of asynchronous circuits
L Lavagno, A Sangiovanni-Vincentelli
Springer Science & Business Media, 1993
1761993
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
1641998
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
1422001
Formal models for embedded system design
M Sgroi, L Lavagno, A Sangiovanni-Vincentelli
IEEE Design & Test of Computers 17 (2), 14-27, 2000
1422000
Hardware design and Petri nets
A Yakovlev, L Gomes, L Lavagno
Kluwer Academic Publishers, 2000
1342000
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
1272004
Synthesis of embedded software using free-choice Petri nets
M Sgroi, L Lavagno, Y Watanabe, A Sangiovanni-Vincentelli
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361), 805-810, 1999
1271999
ECL: A specification environment for system-level design
L Lavagno, E Sentovich
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361), 511-516, 1999
1221999
Software performance estimation strategies in a system-level design tool
JR Bammi, W Kruijtzer, L Lavagno, E Harcourt, MT Lazarescu
Proceedings of the eighth international workshop on Hardware/software …, 2000
1152000
The system can't perform the operation now. Try again later.
Articles 1–20