Concepedia

Luciano Lavagno

LL

Statistics

Publications

150

Citations

6.8K

H-Index

41

Active since

1991

Affiliations

Politecnico di Torino(Current)

University of California, Berkeley

Cadence Design Systems (United States)

Universitat Politècnica de Catalunya

Lawrence Berkeley National Laboratory

Luciano Lavagno is an author at Politecnico di Torino specializing in computer science, computer engineering, and engineering.

Publications per year

1991–2023

150

Publications

150

Design of embedded systems: formal models, validation, and synthesis

Stephen A. Edwards, Luciano Lavagno, Edward A. Lee et al. · Proceedings of the IEEE · 1997 · 525 citations

Engineering, Computer Engineering, Computer Science +12

Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers

Jordi Cortadella, Luciano Lavagno, Alex Yakovlev · LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas) · 1996 · 505 citations · Full text

Engineering, Computer Engineering, Computer Science +13

Metropolis: an integrated electronic system design environment

Felice Balarin, Y. Watanabe, Harry Hsieh et al. · Computer · 2003 · 493 citations

Engineering, Computer Science, Systems Engineering +17

Hardware-software codesign of embedded systems

Massimiliano Chiodo, Paolo Giusto, Attila Jurecska et al. · IEEE Micro · 1994 · 281 citations

Engineering, Computer Engineering, Computer Science +14

Deriving Petri nets from finite transition systems

Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno et al. · IEEE Transactions on Computers · 1998 · 235 citations · Full text

Engineering, Computer Engineering, Computer Science +13

1–5 of 150