dblp.uni-trier.de

Luciano Lavagno

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

2007
129EENikolaos Andrikos, Luciano Lavagno, Davide Pandini, Christos P. Sotiriou: A Fully-Automated Desynchronization Flow for Synchronous Circuits. DAC 2007: 982-985
2006
128EEL. Necchi, Luciano Lavagno, Davide Pandini, Laura Vanzago: An ultra-low energy asynchronous processor for Wireless Sensor Networks. ASYNC 2006: 78-85
127EEJordi 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
126EELuciano Lavagno, Claudio Passerone, Vishal Shah, Yosinori Watanabe: A Time Slice Based Scheduler Model for System Level Design. DATE 2005: 378-383
125 Luciano Lavagno, Claudio Passerone: Design of Embedded Systems. The Industrial Information Technology Handbook 2005: 1-14
124EEPaul 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)
123EEAlberto 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)
122EEAlberto 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)
121EEJordi 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)
120EEGianpiero 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
119 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
118EEIvan Blunno, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou: Handshake Protocols for De-Synchronization. ASYNC 2004: 149-158
117EEAlberto La Rosa, Claudio Passerone, Francesco Gregoretti, Luciano Lavagno: Implementation of a UMTS Turbo-Decoder on a Dynamically Reconfigurable Platform. DATE 2004: 1218-1223
116EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou: From Synchronous to Asynchronous: An Automatic Approach. DATE 2004: 1368-1369
115EEJean-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
114EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou: Coping with The Variability of Combinational Logic Delays. ICCD 2004: 505-508
113EELuciano 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
112EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Yosinori Watanabe: Quasi-static Scheduling for Concurrent Architectures. Fundam. Inform. 62(2): 171-196 (2004)
111 Luciano Lavagno: DAC Highlights. IEEE Design & Test of Computers 21(3): 259-260 (2004)
110EEIvan Blunno, Luciano Lavagno: Designing an asynchronous microcontroller using Pipefitter. IEEE Trans. VLSI Syst. 12(7): 696-699 (2004)
2003
109EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe: Quasi-Static Scheduling for Concurrent Architectures. ACSD 2003: 29-40
108EEAlberto La Rosa, Luciano Lavagno, Claudio Passerone: Hardware/Software Design Space Exploration for a Reconfigurable Processor. DATE 2003: 10570-10575
107EELaura Vanzago, Bishnupriya Bhattacharya, Joel Cambonie, Luciano Lavagno: Design Space Exploration for a Wireless Protocol on a Reconfigurable Platform. DATE 2003: 10662-10667
106EEFabio 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
105EEGianpiero 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)
104EEFelice 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)
103 Luciano Lavagno, Limor Fix: DAC Highlights. IEEE Design & Test of Computers 20(3): 88-89 (2003)
102EEAlberto L. Sangiovanni-Vincentelli, Luciano Lavagno: Guest Editors' Introduction: Trends and Directions in Microelectronics. IEEE Micro 23(3): 6-7 (2003)
101EEDavid T. Blaauw, Luciano Lavagno: Guest Editorial. IEEE Trans. on CAD of Integrated Circuits and Systems 22(8): 962-963 (2003)
2002
100EELuciano Lavagno, Sujit Dey, Rajesh Gupta: Specification, Modeling and Design Tools for System-on-Chip. ASP-DAC 2002: 21-23
99EEFelice 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
98EEFelice 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
97EEG. Arrigoni, L. Duchini, Claudio Passerone, Luciano Lavagno, Yosinori Watanabe: False Path Elimination in Quasi-Static Scheduling. DATE 2002: 964-970
96EEFelice Balarin, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe: Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis. EMSOFT 2002: 407-416
95EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe: Quasi-Static Scheduling of Independent Tasksfor Reactive Systems. ICATPN 2002: 80-100
94EEPaolo 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
93EEPaolo 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-
92EEIvan Blunno, Luciano Lavagno: Designing an Asynchronous Microcontroller Using Pipefitter. ICCD 2002: 488-493
91EELuciano 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
90EELuciano Lavagno, Sujit Dey, Rajesh K. Gupta: Specification, Modeling and Design Tools for System-on-Chip (Tutorial Abstract). VLSI Design 2002: 21-23
89EEDavid 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)
88EELuciano Lavagno: Guest Editor?s Introduction: Systems on a Chip--The Next Electronic Frontier. IEEE Micro 22(5): 14-15 (2002)
87EEMarcello 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)
86EEJordi 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
85EEAlberto La Rosa, Luciano Lavagno, Claudio Passerone: A software development tool chain for a reconfigurable processor. CASES 2001: 93-98
84EEAndré Chátelain, Yves Mathys, Giovanni Placido, Alberto La Rosa, Luciano Lavagno: High-level architectural co-simulation using Esterel and C. CODES 2001: 189-194
83EEGrant Martin, Luciano Lavagno, Jean Louis-Guerin: Embedded UML: a merger of real-time UML and co-design. CODES 2001: 23-28
82EELeonardo Maria Reyneri, F. Cucinotta, A. Serra, Luciano Lavagno: A Hardware/Software Co-design Flow and IP Library Based of SimulinkTM. DAC 2001: 593-598
81EEClaudio Passerone, Yosinori Watanabe, Luciano Lavagno: Generation of minimal size code for scheduling graphs. DATE 2001: 668-673
80EERadu 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-
79EEHarry 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
78EEIvan Blunno, Luciano Lavagno: Automated Synthesis of Micro-Pipelines from Behavioral Verilog HDL. ASYNC 2000: 84-92
77EEMarcello Lajolo, Luciano Lavagno, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: Automatic test bench generation for simulation-based validation. CODES 2000: 136-140
76EEJwahar 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
75EEAlberto L. Sangiovanni-Vincentelli, Marco Sgroi, Luciano Lavagno: Formal Models for Communication-Based Design. CONCUR 2000: 29-47
74EEJordi 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
73EEHarry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Efficient methods for embedded system design space exploration. DAC 2000: 607-612
72EEChunghee Kim, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Free MDD-Based Software Optimization Techniques for Embedded Systems. DATE 2000: 14-
71EEMarcello Lajolo, Anand Raghunathan, Sujit Dey, Luciano Lavagno: Efficient Power Co-Estimation Techniques for System-on-Chip Design. DATE 2000: 27-34
70EEMarcello Lajolo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Luciano Lavagno: Evaluating System Dependability in a Co-Design Framework. DATE 2000: 586-590
69EELuciano 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
68EEJordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Hardware and Petri Nets: Application to Asynchronous Circuit Design. ICATPN 2000: 1-15
67EEMarcello Lajolo, Luciano Lavagno, Matteo Sonza Reorda, Massimo Violante: Early Power Estimation for System-on-Chip Designs. PATMOS 2000: 108-117
66 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)
65EEMarco Sgroi, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Formal Models for Embedded System Design. IEEE Design & Test of Computers 17(2): 14-27 (2000)
64EELeonardo 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
63 Ahmed Amine Jerraya, Luciano Lavagno, Frank Vahid: Proceedings of the Seventh International Workshop on Hardware/Software Codesign, CODES 1999, Rome, Italy, 1999 ACM 1999
62EEMarcello Lajolo, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Fast Instruction Cache Simulation Strategies in a Hardware/Software Co-Design Environment. ASP-DAC 1999: 347-
61EEAlexander Taubin, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno: Behavioral Transformations to Increase Noise Immunity in Asynchronous Specifications. ASYNC 1999: 36-
60EEAlex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. DAC 1999: 110-115
59EELuciano Lavagno, Ellen Sentovich: ECL: A Specification Environment for System-Level Design. DAC 1999: 511-516
58EEMarco Sgroi, Luciano Lavagno: Synthesis of Embedded Software Using Free-Choice Petri Nets. DAC 1999: 805-810
57EEBassam Tabbara, Marco Sgroi, Alberto L. Sangiovanni-Vincentelli, Enrica Filippi, Luciano Lavagno: Fast Hardware-Software Co-simulation Using VHDL Models. DATE 1999: 309-
56EEMarco Sgroi, Luciano Lavagno, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli: Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets. ICATPN 1999: 208-227
55EEHiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev: What is the cost of delay insensitivity? ICCAD 1999: 316-323
54EEAlberto 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
53 Srinivas Devadas, Sharad Malik, José C. Monteiro, Luciano Lavagno: CAD Techniques for Embedded System Design. VLSI Design 1999: 608
52EEFelice 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)
51EEJordi 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
50 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
49EEAlex 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-
48EELuciano Lavagno: System-Level Design Models and Implementation Techniques. ACSD 1998: 24-
47EEMarcello 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
46EEYoupyo Hong, Peter A. Beerel, Luciano Lavagno, Ellen Sentovich: Don't Care-Based BDD Minimization for Embedded Software. DAC 1998: 506-509
45EETullio 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
44EEJordi 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
43EEGaetano Borriello, Luciano Lavagno, Ross B. Ortega: Interface synthesis: a vertical slice from digital logic to software components. ICCAD 1998: 693-695
42EEEnrica 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
41EEClaudio 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)
40EEFelice 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)
39 Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Deriving Petri Nets for Finite Transition Systems. IEEE Trans. Computers 47(8): 859-882 (1998)
38EEMichael 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)
37EEAlex 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
36EEAlex Kondratyev, Michael Kishinevsky, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev: Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis. ASYNC 1997: 240-253
35EEAlexei 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-
34EEFelice 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
33EEClaudio 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
32EEGianpiero 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
31 Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev: Coupling Asynchrony and Interrupts: Place Chart Nets. ICATPN 1997: 328-347
30EEJordi 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
29EEMichael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin: Partial scan delay fault testing of asynchronous circuits. ICCAD 1997: 728-735
28EERaj S. Mitra, Bishnupriya Bhattacharya, Luciano Lavagno: Asynchronous Implementation of Synchronous Esterel Specifications. VLSI Design 1997: 348-355
27 Luciano Lavagno, Nanette Collins: DAC 97 Panel: Next-Generation HDLs. IEEE Design & Test of Computers 14(3): 7-8 (1997)
26EEJordi 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
25EEFelice Balarin, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Formal Verification of Embedded Systems based on CFSM Networks. DAC 1996: 568-571
24EEJordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis. DAC 1996: 63-66
23EEAlok Agrawal, Alexander Saldanha, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Compact and complete test set generation for multiple stuck-faults. ICCAD 1996: 212-219
22EEGianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich: Enhancing FSM Traversal by Temporary Re-Encoding. ICCD 1996: 6-11
21EEFrancesco 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
20 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)
19 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
18EELuciano 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
17EEMassimiliano 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
16EEJordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Synthesizing Petri nets from state-based models. ICCAD 1995: 164-171
15EEAlexandre Yakovlev, Albert Koelmans, Luciano Lavagno: High-Level Modeling and Design of Asynchronous Interface Logic. IEEE Design & Test of Computers 12(1): 32-40 (1995)
14EELuciano 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)
13EELuciano 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)
12EEKurt 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
11 Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno: OR Causality: Modelling and Hardware Implementation. Application and Theory of Petri Nets 1994: 568-587
10EELuciano 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
9 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
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 [23]
2Luís Almeida [124]
3Nikolaos Andrikos [129]
4G. Arrigoni [97]
5Felice Balarin [25] [34] [40] [52] [73] [79] [96] [98] [99] [104]
6Jwahar R. Bammi [76]
7Peter A. Beerel [46]
8Albert Benveniste [124]
9Bishnupriya Bhattacharya [28] [107]
10David Blaauw (David T. Blaauw) [89] [101]
11Ivan Blunno [78] [92] [110] [118]
12Gaetano Borriello [43] [50]
13Bruno Bouyssounouse [124]
14Robert K. Brayton [1] [4] [7] [14] [66]
15Alberto Broggi [9]
16Jean-Yves Brunel [93] [94] [115]
17Steven M. Burns [86]
18G. Burzio [9]
19Giorgio C. Buttazzo [124]
20Gianpiero Cabodi [22] [32] [66] [91] [105] [120]
21Joel Cambonie [107]
22Fabio Campi [106]
23Paolo Camurati [22] [32] [66]
24Roberto Canegallo [106]
25Andrea Cappelli [106]
26Gian-Carlo Cardarilli [54]
27Paul Caspi [124]
28André Chátelain [84]
29Marcello Chiaberge [64]
30Massimiliano Chiodo [10] [17] [33] [34] [52]
31Nanette Collins [27]
32Gianni Conte [9]
33Jordi Cortadella [16] [24] [26] [30] [31] [35] [36] [37] [39] [44] [49] [51] [55] [60] [61] [68] [74] [86] [95] [109] [112] [114] [116] [118] [121] [127]
34Ivica Crnkovic [124]
35Tullio Cuatto [45]
36F. Cucinotta [82]
37Antonino Damiano [45]
38Werner Damm [124]
39Srinivas Devadas [53]
40Sujit Dey [47] [71] [87] [90] [100]
41L. Duchini [97]
42Jakob Engblom [124]
43Alberto Ferrari [93] [94] [113] [115]
44Enrica Filippi [42] [57]
45Limor Fix [103]
46Gerhard Fohler [124]
47Eliane Fourgeau [93] [94]
48Marisol García-Valls [124]
49Paolo Giusto [10] [17] [52] [93] [94] [113] [115]
50Francesco Gregoretti [9] [21] [117]
51Emanuele Guasto [93]
52Roberto Guerrieri [106]
53Rajesh K. Gupta (Rajesh Gupta) [90] [100]
54Edwin A. Harcourt [76]
55Youpyo Hong [46]
56Harry Hsieh [10] [17] [25] [52] [73] [79] [104]
57F. Intini [21]
58Mary Jane Irwin [119]
59Ahmed Amine Jerraya [50] [63]
60Attila Jurecska [10] [17] [25] [34] [45] [52]
61Kurt Keutzer [2] [3] [12] [13]
62Chunghee Kim [72]
63Michael Kishinevsky [11] [16] [19] [24] [26] [29] [30] [31] [36] [37] [38] [39] [44] [49] [51] [60] [68] [86]
64Albert Koelmans [15]
65Alex Kondratyev [11] [19] [24] [26] [29] [30] [31] [36] [37] [38] [44] [49] [51] [55] [60] [61] [68] [74] [86] [95] [105] [109] [112] [114] [116] [118] [120] [121] [127]
66Hermann Kopetz [124]
67Wido Kruijtzer [76]
68Marcello Lajolo [47] [62] [67] [70] [71] [77] [87]
69Yassine Lakhnech [124]
70François Laroussinie [124]
71Mihai T. Lazarescu [76] [91]
72L. Licciardi [42]
73Giuseppe Lipari [124]
74Andrea Lodi [106]
75Roberto Lojacono [54]
76Jean Louis-Guerin [83]
77Kelvin Lwin [116] [118]
78Enrico Macii [22]
79Scott A. Mahlke [119]
80Sharad Malik [1] [4] [53]
81Florence Maraninchi [124]
82Radu Marculescu [80]
83Grant Martin [83]
84Jonathan Martin [41]
85Marc Massot [74]
86Yves Mathys [84]
87Patrick C. McGeer [18] [41]
88E. Miranda [64]
89Raj S. Mitra [28]
90A. Montanaro [42]
91José C. Monteiro (José Monteiro) [53]
92Cho W. Moon [7] [14]
93Sandra Moral [74]
94Praveen K. Murthy [40]
95Amit Nandi [80]
96Marco Di Natale [113] [115]
97L. Necchi [128]
98Sergio Nocco [91] [105] [120]
99Barry O'Rourke [93]
100Ross B. Ortega [43]
101Davide Pandini [128] [129]
102M. Paolini [42]
103Claudio Passerone [33] [41] [45] [74] [81] [85] [91] [95] [96] [97] [98] [99] [104] [106] [108] [117] [121] [122] [123] [125] [126]
104Roberto Passerone [21] [41] [42]
105Enric Pastor [30] [35] [51]
106Marco A. Peña [35]
107Philipp Peti [124]
108Marta Pietkiewicz-Koutny [19]
109Begoña Pino [64] [69]
110Giovanni Placido [84]
111Massimo Poncino [22]
112Juan Antonio de la Puente [124]
113Stefano Quer [22] [32] [66] [91] [105] [120]
114Anand Raghunathan [47] [71] [87]
115Marco Re [54]
116Maurizio Rebaudengo [70] [77]
117Matteo Sonza Reorda [67] [70] [77]
118Leonardo Maria Reyneri [9] [21] [64] [69] [82]
119Alberto La Rosa [84] [85] [106] [108] [117] [122] [123]
120Hiroshi Saito [55]
121Alexander Saldanha [18] [23] [29] [38]
122Alberto L. Sangiovanni-Vincentelli [1] [2] [3] [4] [5] [6] [7] [8] [10] [12] [13] [14] [17] [18] [20] [23] [25] [33] [34] [40] [41] [42] [45] [47] [52] [54] [56] [57] [62] [65] [72] [73] [74] [75] [79] [80] [93] [94] [98] [99] [102] [104] [124]
123Claudio Sansoè [9] [41] [45]
124Norman Scaife [124]
125Alexei L. Semenov [35]
126Ellen Sentovich (Ellen M. Sentovich) [17] [22] [46] [52] [59] [66]
127A. Serra [69] [82]
128Marco Sgroi [42] [56] [57] [58] [65] [75] [98]
129Vishal Shah [126]
130Joseph Sifakis [124]
131Robert de Simone [124]
132Christos P. Sotiriou [114] [116] [118] [127] [129]
133Ken S. Stevens [86]
134Kei Suzuki [10] [17] [52]
135Bassam Tabbara [34] [57]
136Alexander Taubin [29] [31] [37] [38] [44] [49] [61] [86] [112]
137Mario Toma [106]
138Martin Törngren [124]
139Frank Vahid [63]
140Laura Vanzago [107] [128]
141Paulo Veríssimo [124]
142Massimo Violante [67] [70] [77]
143Yosinori Watanabe [56] [74] [81] [95] [96] [97] [98] [99] [104] [105] [109] [112] [120] [121] [126]
144Andy J. Wellings [124]
145Reinhard Wilhelm [124]
146Tim A. C. Willemse [124]
147Alexandre Yakovlev [6] [11] [15] [16] [19] [20] [24] [26] [30] [31] [35] [36] [39] [44] [49] [51] [55] [60] [68] [86]
148Guang Yang [99]
149S. Yee [10]
150Wang Yi [124]
151Wei Zhao [119]

Colors in the list of coauthors

DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Wed Mar 12 02:24:58 2008