dblp.uni-trier.dewww.uni-trier.de

Luciano Lavagno

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
139EEMohammad Mostafizur Rahman Mozumdar, Luciano Lavagno, Laura Vanzago: A comparison of software platforms for wireless sensor networks: MANTIS, TinyOS, and ZigBee. ACM Trans. Embedded Comput. Syst. 8(2): (2009)
2008
138EEMohammad Mostafizur Rahman Mozumdar, Francesco Gregoretti, Luciano Lavagno, Laura Vanzago: Porting application between wireless sensor network software platforms: TinyOS, MANTIS and ZigBee. ETFA 2008: 1145-1148
137EEJosep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. Petri Nets 2008: 92-111
136EEMohammad Mostafizur Rahman Mozumdar, Francesco Gregoretti, Luciano Lavagno, Laura Vanzago, Stefano Olivieri: A Framework for Modeling, Simulation and Automatic Code Generation of Sensor Network Application. SECON 2008: 515-522
2007
135EENikolaos Andrikos, Luciano Lavagno, Davide Pandini, Christos P. Sotiriou: A Fully-Automated Desynchronization Flow for Synchronous Circuits. DAC 2007: 982-985
134EEAlexander Taubin, Jordi Cortadella, Luciano Lavagno, Luciano Lavagno, Alex Kondratyev, Ad M. G. Peeters: Design Automation of Real-Life Asynchronous Devices and Systems. Foundations and Trends in Electronic Design Automation 2(1): 1-133 (2007)
133EEAlexander Taubin, Jordi Cortadella, Luciano Lavagno, Luciano Lavagno, Alex Kondratyev, Ad M. G. Peeters: Design Automation of Real-Life Asynchronous Devices and Systems. Foundations and Trends in Electronic Design Automation 2(1): 1-133 (2007)
2006
132EEL. Necchi, Luciano Lavagno, Davide Pandini, Laura Vanzago: An ultra-low energy asynchronous processor for Wireless Sensor Networks. ASYNC 2006: 78-85
131EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou: Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications. IEEE Trans. on CAD of Integrated Circuits and Systems 25(10): 1904-1921 (2006)
2005
130EELuciano Lavagno, Claudio Passerone, Vishal Shah, Yosinori Watanabe: A Time Slice Based Scheduler Model for System Level Design. DATE 2005: 378-383
129 Luciano Lavagno, Claudio Passerone: Design of Embedded Systems. The Industrial Information Technology Handbook 2005: 1-14
128EEPaul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi: Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)
127EEAlberto La Rosa, Luciano Lavagno, Claudio Passerone: Software Development for High-Performance, Reconfigurable, Embedded Multimedia Systems. IEEE Design & Test of Computers 22(1): 28-38 (2005)
126EEAlberto La Rosa, Luciano Lavagno, Claudio Passerone: Implementation of a UMTS turbo decoder on a dynamically reconfigurable platform. IEEE Trans. on CAD of Integrated Circuits and Systems 24(1): 100-106 (2005)
125EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe: Quasi-static scheduling of independent tasks for reactive systems. IEEE Trans. on CAD of Integrated Circuits and Systems 24(10): 1492-1514 (2005)
124EEGianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe: A BMC-based formulation for the scheduling problem of hardware systems. STTT 7(2): 102-117 (2005)
2004
123 Mary Jane Irwin, Wei Zhao, Luciano Lavagno, Scott A. Mahlke: Proceedings of the 2004 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2004, Washington DC, USA, September 22 - 25, 2004 ACM 2004
122EEIvan Blunno, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou: Handshake Protocols for De-Synchronization. ASYNC 2004: 149-158
121EEAlberto La Rosa, Claudio Passerone, Francesco Gregoretti, Luciano Lavagno: Implementation of a UMTS Turbo-Decoder on a Dynamically Reconfigurable Platform. DATE 2004: 1218-1223
120EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou: From Synchronous to Asynchronous: An Automatic Approach. DATE 2004: 1368-1369
119EEJean-Yves Brunel, Marco Di Natale, Alberto Ferrari, Paolo Giusto, Luciano Lavagno: SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract. DATE 2004: 358-363
118EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou: Coping with The Variability of Combinational Logic Delays. ICCD 2004: 505-508
117EELuciano Lavagno, Marco Di Natale, Alberto Ferrari, Paolo Giusto: SoftContract: Model-Based Design of Error-Checking Code and Property Monitors. UML Satellite Activities 2004: 150-162
116EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Yosinori Watanabe: Quasi-static Scheduling for Concurrent Architectures. Fundam. Inform. 62(2): 171-196 (2004)
115 Luciano Lavagno: DAC Highlights. IEEE Design & Test of Computers 21(3): 259-260 (2004)
114EEIvan Blunno, Luciano Lavagno: Designing an asynchronous microcontroller using Pipefitter. IEEE Trans. VLSI Syst. 12(7): 696-699 (2004)
2003
113EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe: Quasi-Static Scheduling for Concurrent Architectures. ACSD 2003: 29-40
112EEAlberto La Rosa, Luciano Lavagno, Claudio Passerone: Hardware/Software Design Space Exploration for a Reconfigurable Processor. DATE 2003: 10570-10575
111EELaura Vanzago, Bishnupriya Bhattacharya, Joel Cambonie, Luciano Lavagno: Design Space Exploration for a Wireless Protocol on a Reconfigurable Platform. DATE 2003: 10662-10667
110EEFabio Campi, Andrea Cappelli, Roberto Guerrieri, Andrea Lodi, Mario Toma, Alberto La Rosa, Luciano Lavagno, Claudio Passerone, Roberto Canegallo: A Reconfigurable Processor Architecture and Software Development Environment for Embedded Systems. IPDPS 2003: 171
109EEGianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe: A BMC-formulation for the scheduling problem in highly constrained hardware Systems. Electr. Notes Theor. Comput. Sci. 89(4): (2003)
108EEFelice Balarin, Yosinori Watanabe, Harry Hsieh, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli: Metropolis: An Integrated Electronic System Design Environment. IEEE Computer 36(4): 45-52 (2003)
107 Luciano Lavagno, Limor Fix: DAC Highlights. IEEE Design & Test of Computers 20(3): 88-89 (2003)
106EEAlberto L. Sangiovanni-Vincentelli, Luciano Lavagno: Guest Editors' Introduction: Trends and Directions in Microelectronics. IEEE Micro 23(3): 6-7 (2003)
105EEDavid T. Blaauw, Luciano Lavagno: Guest Editorial. IEEE Trans. on CAD of Integrated Circuits and Systems 22(8): 962-963 (2003)
2002
104EEFelice Balarin, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Guang Yang: Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model. CODES 2002: 13-18
103EEFelice Balarin, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Yosinori Watanabe: Modeling and Designing Heterogeneous Systems. Concurrency and Hardware Design 2002: 228-273
102EEG. Arrigoni, L. Duchini, Claudio Passerone, Luciano Lavagno, Yosinori Watanabe: False Path Elimination in Quasi-Static Scheduling. DATE 2002: 964-970
101EEFelice Balarin, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe: Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis. EMSOFT 2002: 407-416
100EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe: Quasi-Static Scheduling of Independent Tasksfor Reactive Systems. ICATPN 2002: 80-100
99EEPaolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Automotive Virtual Integration Platforms: Why's, What's, and How's. ICCD 2002: 370-378
98EEPaolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Barry O'Rourke, Alberto L. Sangiovanni-Vincentelli, Emanuele Guasto: Models of IP's for Automotive Virtual Integration Platforms. ICCD 2002: 379-
97EEIvan Blunno, Luciano Lavagno: Designing an Asynchronous Microcontroller Using Pipefitter. ICCD 2002: 488-493
96EELuciano Lavagno, Mihai T. Lazarescu, Stefano Quer, Sergio Nocco, Claudio Passerone, Gianpiero Cabodi: A Symbolic Approach for the Combined Solution of Scheduling and Allocation. ISSS 2002: 237-242
95EELuciano Lavagno, Sujit Dey, Rajesh K. Gupta: Specification, Modeling and Design Tools for System-on-Chip (Tutorial Abstract). VLSI Design 2002: 21-23
94EEDavid Blaauw, Luciano Lavagno: Guest Editors' Introduction: Hot Topics at This Year's Design Automation Conference. IEEE Design & Test of Computers 19(4): 72-73 (2002)
93EELuciano Lavagno: Guest Editor?s Introduction: Systems on a Chip--The Next Electronic Frontier. IEEE Micro 22(5): 14-15 (2002)
92EEMarcello Lajolo, Anand Raghunathan, Sujit Dey, Luciano Lavagno: Cosimulation-based power estimation for system-on-chip design. IEEE Trans. VLSI Syst. 10(3): 253-266 (2002)
91EEJordi Cortadella, Michael Kishinevsky, Steven M. Burns, Alex Kondratyev, Luciano Lavagno, Ken S. Stevens, Alexander Taubin, Alexandre Yakovlev: Lazy transition systems and asynchronous circuit synthesis withrelative timing assumptions. IEEE Trans. on CAD of Integrated Circuits and Systems 21(2): 109-130 (2002)
2001
90EEAlberto La Rosa, Luciano Lavagno, Claudio Passerone: A software development tool chain for a reconfigurable processor. CASES 2001: 93-98
89EEAndré Chátelain, Yves Mathys, Giovanni Placido, Alberto La Rosa, Luciano Lavagno: High-level architectural co-simulation using Esterel and C. CODES 2001: 189-194
88EEGrant Martin, Luciano Lavagno, Jean Louis-Guerin: Embedded UML: a merger of real-time UML and co-design. CODES 2001: 23-28
87EELeonardo Maria Reyneri, F. Cucinotta, A. Serra, Luciano Lavagno: A Hardware/Software Co-design Flow and IP Library Based of SimulinkTM. DAC 2001: 593-598
86EEClaudio Passerone, Yosinori Watanabe, Luciano Lavagno: Generation of minimal size code for scheduling graphs. DATE 2001: 668-673
85EERadu Marculescu, Amit Nandi, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: System-Level Power/Performance Analysis of Portable Multimedia Systems Communicating over Wireless Channels. ICCAD 2001: 207-
84EEHarry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Synchronous approach to the functional equivalence of embeddedsystem implementations. IEEE Trans. on CAD of Integrated Circuits and Systems 20(8): 1016-1033 (2001)
2000
83EEIvan Blunno, Luciano Lavagno: Automated Synthesis of Micro-Pipelines from Behavioral Verilog HDL. ASYNC 2000: 84-92
82EEMarcello Lajolo, Luciano Lavagno, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: Automatic test bench generation for simulation-based validation. CODES 2000: 136-140
81EEJwahar R. Bammi, Wido Kruijtzer, Luciano Lavagno, Edwin A. Harcourt, Mihai T. Lazarescu: Software performance estimation strategies in a system-level design tool. CODES 2000: 82-86
80EEAlberto L. Sangiovanni-Vincentelli, Marco Sgroi, Luciano Lavagno: Formal Models for Communication-Based Design. CONCUR 2000: 29-47
79EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Marc Massot, Sandra Moral, Claudio Passerone, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli: Task generation and compile-time scheduling for mixed data-control embedded software. DAC 2000: 489-494
78EEHarry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Efficient methods for embedded system design space exploration. DAC 2000: 607-612
77EEChunghee Kim, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Free MDD-Based Software Optimization Techniques for Embedded Systems. DATE 2000: 14-
76EEMarcello Lajolo, Anand Raghunathan, Sujit Dey, Luciano Lavagno: Efficient Power Co-Estimation Techniques for System-on-Chip Design. DATE 2000: 27-34
75EEMarcello Lajolo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Luciano Lavagno: Evaluating System Dependability in a Co-Design Framework. DATE 2000: 586-590
74EELuciano Lavagno, Begoña Pino, Leonardo Maria Reyneri, A. Serra: A Simulink(c)-Based Approach to System Level Design and Architecture Selection. EUROMICRO 2000: 1076-1083
73EEJordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Hardware and Petri Nets: Application to Asynchronous Circuit Design. ICATPN 2000: 1-15
72EEMarcello Lajolo, Luciano Lavagno, Matteo Sonza Reorda, Massimo Violante: Early Power Estimation for System-on-Chip Designs. PATMOS 2000: 108-117
71 Stefano Quer, Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Ellen Sentovich, Robert K. Brayton: Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks. Formal Methods in System Design 17(2): 107-134 (2000)
70EEMarco Sgroi, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Formal Models for Embedded System Design. IEEE Design & Test of Computers 17(2): 14-27 (2000)
69EELeonardo Maria Reyneri, Marcello Chiaberge, Luciano Lavagno, Begoña Pino, E. Miranda: Simulink-Based HW/SW Codesign of Embedded Neuro-Fuzzy Systems. Int. J. Neural Syst. 10(3): 211-226 (2000)
1999
68 Ahmed Amine Jerraya, Luciano Lavagno, Frank Vahid: Proceedings of the Seventh International Workshop on Hardware/Software Codesign, CODES 1999, Rome, Italy, 1999 ACM 1999
67EEMarcello Lajolo, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Fast Instruction Cache Simulation Strategies in a Hardware/Software Co-Design Environment. ASP-DAC 1999: 347-
66EEAlexander Taubin, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno: Behavioral Transformations to Increase Noise Immunity in Asynchronous Specifications. ASYNC 1999: 36-
65EEAlex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. DAC 1999: 110-115
64EELuciano Lavagno, Ellen Sentovich: ECL: A Specification Environment for System-Level Design. DAC 1999: 511-516
63EEMarco Sgroi, Luciano Lavagno: Synthesis of Embedded Software Using Free-Choice Petri Nets. DAC 1999: 805-810
62EEBassam Tabbara, Marco Sgroi, Alberto L. Sangiovanni-Vincentelli, Enrica Filippi, Luciano Lavagno: Fast Hardware-Software Co-simulation Using VHDL Models. DATE 1999: 309-
61EEMarco Sgroi, Luciano Lavagno, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli: Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets. ICATPN 1999: 208-227
60EEHiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev: What is the cost of delay insensitivity? ICCAD 1999: 316-323
59EEAlberto L. Sangiovanni-Vincentelli, Marco Re, Luciano Lavagno, Gian-Carlo Cardarilli, Roberto Lojacono: Analysis of the quantization noise effects on the SQNR behaviour in analog to digital conversion. ISCAS (2) 1999: 334-338
58 Srinivas Devadas, Sharad Malik, José C. Monteiro, Luciano Lavagno: CAD Techniques for Embedded System Design. VLSI Design 1999: 608
57EEFelice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki: Synthesis of software programs for embedded control applications. IEEE Trans. on CAD of Integrated Circuits and Systems 18(6): 834-849 (1999)
56EEJordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev: Decomposition and technology mapping of speed-independent circuits using Boolean relations. IEEE Trans. on CAD of Integrated Circuits and Systems 18(9): 1221-1236 (1999)
1998
55 Gaetano Borriello, Ahmed Amine Jerraya, Luciano Lavagno: Proceedings of the Sixth International Workshop on Hardware/Software Codesign, CODES 1998, Seattle, Washington, USA, March 15-18, 1998 IEEE Computer Society 1998
54EEAlex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev: Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings. ACSD 1998: 152-
53EELuciano Lavagno: System-Level Design Models and Implementation Techniques. ACSD 1998: 24-
52EEMarcello Lajolo, Anand Raghunathan, Sujit Dey, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: A case study on modeling shared memory access effects during performance analysis of HW/SW systems. CODES 1998: 117-121
51EEYoupyo Hong, Peter A. Beerel, Luciano Lavagno, Ellen Sentovich: Don't Care-Based BDD Minimization for Embedded Software. DAC 1998: 506-509
50EETullio Cuatto, Claudio Passerone, Luciano Lavagno, Attila Jurecska, Antonino Damiano, Claudio Sansoè, Alberto L. Sangiovanni-Vincentelli: A Case Study in Embedded System Design: An Engine Control Unit. DAC 1998: 804-807
49EEJordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev: Lazy transition systems: application to timing optimization of asynchronous circuits. ICCAD 1998: 324-331
48EEGaetano Borriello, Luciano Lavagno, Ross B. Ortega: Interface synthesis: a vertical slice from digital logic to software components. ICCAD 1998: 693-695
47EEEnrica Filippi, Luciano Lavagno, L. Licciardi, A. Montanaro, M. Paolini, Roberto Passerone, Marco Sgroi, Alberto L. Sangiovanni-Vincentelli: Intellectual Property Re-use in Embedded System Co-design: An Industrial Case Study. ISSS 1998: 37-42
46EEClaudio Passerone, Claudio Sansoè, Luciano Lavagno, Patrick C. McGeer, Jonathan Martin, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: Modeling reactive systems in Java. ACM Trans. Design Autom. Electr. Syst. 3(4): 515-523 (1998)
45EEFelice Balarin, Luciano Lavagno, Praveen K. Murthy, Alberto L. Sangiovanni-Vincentelli: Scheduling for Embedded Real-Time Systems. IEEE Design & Test of Computers 15(1): 71-82 (1998)
44 Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Deriving Petri Nets for Finite Transition Systems. IEEE Trans. Computers 47(8): 859-882 (1998)
43EEMichael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin: Partial-scan delay fault testing of asynchronous circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 17(11): 1184-1199 (1998)
42EEAlex Kondratyev, Michael Kishinevsky, Alexander Taubin, Jordi Cortadella, Luciano Lavagno: The Use of Petri Nets for the Design and Verification of Asynchronous Circuits and Systems. Journal of Circuits, Systems, and Computers 8(1): 67-118 (1998)
1997
41EEAlex Kondratyev, Michael Kishinevsky, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev: Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis. ASYNC 1997: 240-253
40EEAlexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella, Luciano Lavagno: Partial order based approach to synthesis of speed-independent circuits. ASYNC 1997: 254-
39EEFelice Balarin, Massimiliano Chiodo, Attila Jurecska, Luciano Lavagno, Bassam Tabbara, Alberto L. Sangiovanni-Vincentelli: Automatic Generation of a Real-Time Operating System for Embedded Systems. CODES 1997: 95-100
38EEClaudio Passerone, Luciano Lavagno, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli: Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis. DAC 1997: 389-394
37EEGianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer: Disjunctive Partitioning and Partial Iterative Squaring: An Effective Approach for Symbolic Traversal of Large Circuits. DAC 1997: 728-733
36EEGianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer: Verification and synthesis of counters based on symbolic techniques. ED&TC 1997: 176-181
35EEJordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis. ED&TC 1997: 98-105
34 Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev: Coupling Asynchrony and Interrupts: Place Chart Nets. ICATPN 1997: 328-347
33EEJordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev: Decomposition and technology mapping of speed-independent circuits using Boolean relations. ICCAD 1997: 220-227
32EEMichael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin: Partial scan delay fault testing of asynchronous circuits. ICCAD 1997: 728-735
31EERaj S. Mitra, Bishnupriya Bhattacharya, Luciano Lavagno: Asynchronous Implementation of Synchronous Esterel Specifications. VLSI Design 1997: 348-355
30 Luciano Lavagno, Nanette Collins: DAC 97 Panel: Next-Generation HDLs. IEEE Design & Test of Computers 14(3): 7-8 (1997)
29EEJordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: A region-based theory for state assignment in speed-independent circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 16(8): 793-812 (1997)
1996
28EEFelice Balarin, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Formal Verification of Embedded Systems based on CFSM Networks. DAC 1996: 568-571
27EEJordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis. DAC 1996: 63-66
26EEAlok Agrawal, Alexander Saldanha, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Compact and complete test set generation for multiple stuck-faults. ICCAD 1996: 212-219
25EEGianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich: Enhancing FSM Traversal by Temporary Re-Encoding. ICCD 1996: 6-11
24EEFrancesco Gregoretti, F. Intini, Luciano Lavagno, Roberto Passerone, Leonardo Maria Reyneri: Design and Implementation of the Control Structure of the PAPRICA-3 Processor. PDP 1996: 290-296
23 Alexandre Yakovlev, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: A Unified Signal Transition Graph Model for Asynchronous Control Circuit Synthesis. Formal Methods in System Design 9(3): 139-188 (1996)
22 Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Marta Pietkiewicz-Koutny: On the Models for Asynchronous Circuit Behaviour with OR Causality. Formal Methods in System Design 9(3): 189-233 (1996)
1995
21EELuciano Lavagno, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli: Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool. DAC 1995: 254-260
20EEMassimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Harry Hsieh, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich: Synthesis of Software Programs for Embedded Control Applications. DAC 1995: 587-592
19EEJordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Synthesizing Petri nets from state-based models. ICCAD 1995: 164-171
18EEAlexandre Yakovlev, Albert Koelmans, Luciano Lavagno: High-Level Modeling and Design of Asynchronous Interface Logic. IEEE Design & Test of Computers 12(1): 32-40 (1995)
17EELuciano Lavagno, Cho W. Moon, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: An efficient heuristic procedure for solving the state assignment problem for event-based specifications. IEEE Trans. on CAD of Integrated Circuits and Systems 14(1): 45-60 (1995)
16EELuciano Lavagno, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli: Synthesis of hazard-free asynchronous circuits with bounded wire delays. IEEE Trans. on CAD of Integrated Circuits and Systems 14(1): 61-86 (1995)
15EEKurt Keutzer, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Synthesis for testability techniques for asynchronous circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 14(12): 1569-1577 (1995)
1994
14 Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno: OR Causality: Modelling and Hardware Implementation. Application and Theory of Petri Nets 1994: 568-587
13EELuciano Lavagno, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Harry Hsieh, S. Yee, Alberto L. Sangiovanni-Vincentelli, Kei Suzuki: A case study in computer-aided codesign of embedded controllers. CODES 1994: 220-224
12EELuciano Lavagno, Antonio Lioy, Michael Kishinevsky: Testing redundant asynchronous circuits by variable phase splitting. EURO-DAC 1994: 328-333
11 Alberto Broggi, Gianni Conte, G. Burzio, Luciano Lavagno, Francesco Gregoretti, Claudio Sansoè, Leonardo Maria Reyneri: PAPRICA-3: A Real-Time Morhphological Image Processor. ICIP (3) 1994: 654-658
10EEAlexandre Yakovlev, A. Petrov, Luciano Lavagno: A low latency asynchronous arbitration circuit. IEEE Trans. VLSI Syst. 2(3): 372-377 (1994)
9EELuciano Lavagno, Narendra V. Shenoy, Alberto L. Sangiovanni-Vincentelli: Linear programming for hazard elimination in asynchronous circuits. VLSI Signal Processing 7(1-2): 137-160 (1994)
1993
8 Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Automated Synthesis of Asynchronous Interface Circuits. Asynchronous Design Methodologies 1993: 107-121
1992
7EELuciano Lavagno, Cho W. Moon, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Solving the State Assignment Problem for Signal Transition Graphs. DAC 1992: 568-572
6EEAlexandre Yakovlev, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: A unified signal transition graph model for asynchronous control circuit synthesis. ICCAD 1992: 104-111
5 Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Linear Programming for Optimum Hazard Elimination in Asynchronous Circuits. ICCD 1992: 275-278
4EESharad Malik, Luciano Lavagno, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Symbolic minimization of multilevel logic and the input encoding problem. IEEE Trans. on CAD of Integrated Circuits and Systems 11(7): 825-843 (1992)
1991
3EELuciano Lavagno, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli: Algorithms for Synthesis of Hazard-Free Asynchronous Circuits. DAC 1991: 302-308
2 Kurt Keutzer, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Synthesis for Testability Techniques for Asynchronous Circuits. ICCAD 1991: 326-329
1990
1 Luciano Lavagno, Sharad Malik, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: MIS-MV: Optimization of Multi-Level Logic with Multiple-Valued Inputs. ICCAD 1990: 560-563

Coauthor Index

1Alok Agrawal [26]
2Luís Almeida [128]
3Nikolaos Andrikos [135]
4G. Arrigoni [102]
5Felice Balarin [28] [39] [45] [57] [78] [84] [101] [103] [104] [108]
6Jwahar R. Bammi [81]
7Peter A. Beerel [51]
8Albert Benveniste [128]
9Bishnupriya Bhattacharya [31] [111]
10David Blaauw (David T. Blaauw) [94] [105]
11Ivan Blunno [83] [97] [114] [122]
12Gaetano Borriello [48] [55]
13Bruno Bouyssounouse [128]
14Robert K. Brayton [1] [4] [7] [17] [71]
15Alberto Broggi [11]
16Jean-Yves Brunel [98] [99] [119]
17Steven M. Burns [91]
18G. Burzio [11]
19Giorgio C. Buttazzo [128]
20Gianpiero Cabodi [25] [36] [37] [71] [96] [109] [124]
21Joel Cambonie [111]
22Fabio Campi [110]
23Paolo Camurati [25] [36] [37] [71]
24Roberto Canegallo [110]
25Andrea Cappelli [110]
26Gian-Carlo Cardarilli [59]
27Josep Carmona [137]
28Paul Caspi [128]
29André Chátelain [89]
30Marcello Chiaberge [69]
31Massimiliano Chiodo [13] [20] [38] [39] [57]
32Nanette Collins [30]
33Gianni Conte [11]
34Jordi Cortadella [19] [27] [29] [33] [34] [35] [40] [41] [42] [44] [49] [54] [56] [60] [65] [66] [73] [79] [91] [100] [113] [116] [118] [120] [122] [125] [131] [134] [137]
35Ivica Crnkovic [128]
36Tullio Cuatto [50]
37F. Cucinotta [87]
38Antonino Damiano [50]
39Werner Damm [128]
40Srinivas Devadas [58]
41Sujit Dey [52] [76] [92] [95]
42L. Duchini [102]
43Jakob Engblom [128]
44Alberto Ferrari [98] [99] [117] [119]
45Enrica Filippi [47] [62]
46Limor Fix [107]
47Gerhard Fohler [128]
48Eliane Fourgeau [98] [99]
49Marisol García-Valls [128]
50Paolo Giusto [13] [20] [57] [98] [99] [117] [119]
51Francesco Gregoretti [11] [24] [121] [136] [138]
52Emanuele Guasto [98]
53Roberto Guerrieri [110]
54Rajesh K. Gupta (Rajesh Gupta) [95]
55Edwin A. Harcourt [81]
56Youpyo Hong [51]
57Harry Hsieh [13] [20] [28] [57] [78] [84] [108]
58F. Intini [24]
59Mary Jane Irwin [123]
60Ahmed Amine Jerraya [55] [68]
61Attila Jurecska [13] [20] [28] [39] [50] [57]
62Kurt Keutzer [2] [3] [15] [16]
63Chunghee Kim [77]
64Michael Kishinevsky [12] [14] [19] [22] [27] [29] [32] [33] [34] [35] [41] [42] [43] [44] [49] [54] [56] [65] [73] [91] [137]
65Albert Koelmans [18]
66Alex Kondratyev [14] [22] [27] [29] [32] [33] [34] [35] [41] [42] [43] [49] [54] [56] [60] [65] [66] [73] [79] [91] [100] [109] [113] [116] [118] [120] [122] [124] [125] [131] [134] [137]
67Hermann Kopetz [128]
68Wido Kruijtzer (W. M. Kruijtzer) [81]
69Marcello Lajolo [52] [67] [72] [75] [76] [82] [92]
70Yassine Lakhnech [128]
71François Laroussinie [128]
72Mihai T. Lazarescu [81] [96]
73L. Licciardi [47]
74Antonio Lioy [12]
75Giuseppe Lipari [128]
76Andrea Lodi [110]
77Roberto Lojacono [59]
78Jean Louis-Guerin [88]
79Kelvin Lwin [120] [122]
80Enrico Macii [25]
81Scott A. Mahlke [123]
82Sharad Malik [1] [4] [58]
83Florence Maraninchi [128]
84Radu Marculescu [85]
85Grant Martin [88]
86Jonathan Martin [46]
87Marc Massot [79]
88Yves Mathys [89]
89Patrick C. McGeer [21] [46]
90E. Miranda [69]
91Raj S. Mitra [31]
92A. Montanaro [47]
93José C. Monteiro (José Monteiro) [58]
94Cho W. Moon [7] [17]
95Sandra Moral [79]
96Mohammad Mostafizur Rahman Mozumdar [136] [138] [139]
97Praveen K. Murthy [45]
98Amit Nandi [85]
99Marco Di Natale [117] [119]
100L. Necchi [132]
101Sergio Nocco [96] [109] [124]
102Barry O'Rourke [98]
103Stefano Olivieri [136]
104Ross B. Ortega [48]
105Davide Pandini [132] [135]
106M. Paolini [47]
107Claudio Passerone [38] [46] [50] [79] [86] [90] [96] [100] [101] [102] [103] [104] [108] [110] [112] [121] [125] [126] [127] [129] [130]
108Roberto Passerone [24] [46] [47]
109Enric Pastor [33] [40] [56]
110Ad M. G. Peeters [134]
111Marco A. Peña [40]
112Philipp Peti [128]
113A. Petrov [10]
114Marta Pietkiewicz-Koutny [22]
115Begoña Pino [69] [74]
116Giovanni Placido [89]
117Massimo Poncino [25]
118Juan Antonio de la Puente [128]
119Stefano Quer [25] [36] [37] [71] [96] [109] [124]
120Anand Raghunathan [52] [76] [92]
121Marco Re [59]
122Maurizio Rebaudengo [75] [82]
123Matteo Sonza Reorda [72] [75] [82]
124Leonardo Maria Reyneri [11] [24] [69] [74] [87]
125Alberto La Rosa [89] [90] [110] [112] [121] [126] [127]
126Hiroshi Saito [60]
127Alexander Saldanha [21] [26] [32] [43]
128Alberto L. Sangiovanni-Vincentelli [1] [2] [3] [4] [5] [6] [7] [8] [9] [13] [15] [16] [17] [20] [21] [23] [26] [28] [38] [39] [45] [46] [47] [50] [52] [57] [59] [61] [62] [67] [70] [77] [78] [79] [80] [84] [85] [98] [99] [103] [104] [106] [108] [128]
129Claudio Sansoè [11] [46] [50]
130Norman Scaife [128]
131Alexei L. Semenov [40]
132Ellen Sentovich (Ellen M. Sentovich) [20] [25] [51] [57] [64] [71]
133A. Serra [74] [87]
134Marco Sgroi [47] [61] [62] [63] [70] [80] [103]
135Vishal Shah [130]
136Narendra V. Shenoy [9]
137Joseph Sifakis [128]
138Robert de Simone [128]
139Christos P. Sotiriou [118] [120] [122] [131] [135]
140Ken S. Stevens [91]
141Kei Suzuki [13] [20] [57]
142Bassam Tabbara [39] [62]
143Alexander Taubin [32] [34] [42] [43] [49] [54] [66] [91] [116] [134]
144Mario Toma [110]
145Martin Törngren [128]
146Frank Vahid [68]
147Laura Vanzago [111] [132] [136] [138] [139]
148Paulo Veríssimo [128]
149Massimo Violante [72] [75] [82]
150Yosinori Watanabe [61] [79] [86] [100] [101] [102] [103] [104] [108] [109] [113] [116] [124] [125] [130]
151Andy J. Wellings [128]
152Reinhard Wilhelm [128]
153Tim A. C. Willemse [128]
154Alexandre Yakovlev [6] [10] [14] [18] [19] [22] [23] [27] [29] [33] [34] [35] [40] [41] [44] [49] [54] [56] [60] [65] [73] [91] [137]
155Guang Yang [104]
156S. Yee [13]
157Wang Yi [128]
158Wei Zhao [123]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)