2009 |
139 | EE | Mohammad 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 |
138 | EE | Mohammad 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 |
137 | EE | Josep 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 |
136 | EE | Mohammad 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 |
135 | EE | Nikolaos Andrikos,
Luciano Lavagno,
Davide Pandini,
Christos P. Sotiriou:
A Fully-Automated Desynchronization Flow for Synchronous Circuits.
DAC 2007: 982-985 |
134 | EE | Alexander 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) |
133 | EE | Alexander 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 |
132 | EE | L. Necchi,
Luciano Lavagno,
Davide Pandini,
Laura Vanzago:
An ultra-low energy asynchronous processor for Wireless Sensor Networks.
ASYNC 2006: 78-85 |
131 | EE | Jordi 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 |
130 | EE | Luciano 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 |
128 | EE | Paul 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) |
127 | EE | Alberto 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) |
126 | EE | Alberto 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) |
125 | EE | Jordi 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) |
124 | EE | Gianpiero 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 |
122 | EE | Ivan Blunno,
Jordi Cortadella,
Alex Kondratyev,
Luciano Lavagno,
Kelvin Lwin,
Christos P. Sotiriou:
Handshake Protocols for De-Synchronization.
ASYNC 2004: 149-158 |
121 | EE | Alberto La Rosa,
Claudio Passerone,
Francesco Gregoretti,
Luciano Lavagno:
Implementation of a UMTS Turbo-Decoder on a Dynamically Reconfigurable Platform.
DATE 2004: 1218-1223 |
120 | EE | Jordi Cortadella,
Alex Kondratyev,
Luciano Lavagno,
Kelvin Lwin,
Christos P. Sotiriou:
From Synchronous to Asynchronous: An Automatic Approach.
DATE 2004: 1368-1369 |
119 | EE | Jean-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 |
118 | EE | Jordi Cortadella,
Alex Kondratyev,
Luciano Lavagno,
Christos P. Sotiriou:
Coping with The Variability of Combinational Logic Delays.
ICCD 2004: 505-508 |
117 | EE | Luciano 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 |
116 | EE | Jordi 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) |
114 | EE | Ivan Blunno,
Luciano Lavagno:
Designing an asynchronous microcontroller using Pipefitter.
IEEE Trans. VLSI Syst. 12(7): 696-699 (2004) |
2003 |
113 | EE | Jordi Cortadella,
Alex Kondratyev,
Luciano Lavagno,
Yosinori Watanabe:
Quasi-Static Scheduling for Concurrent Architectures.
ACSD 2003: 29-40 |
112 | EE | Alberto La Rosa,
Luciano Lavagno,
Claudio Passerone:
Hardware/Software Design Space Exploration for a Reconfigurable Processor.
DATE 2003: 10570-10575 |
111 | EE | Laura Vanzago,
Bishnupriya Bhattacharya,
Joel Cambonie,
Luciano Lavagno:
Design Space Exploration for a Wireless Protocol on a Reconfigurable Platform.
DATE 2003: 10662-10667 |
110 | EE | Fabio 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 |
109 | EE | Gianpiero 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) |
108 | EE | Felice 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) |
106 | EE | Alberto L. Sangiovanni-Vincentelli,
Luciano Lavagno:
Guest Editors' Introduction: Trends and Directions in Microelectronics.
IEEE Micro 23(3): 6-7 (2003) |
105 | EE | David T. Blaauw,
Luciano Lavagno:
Guest Editorial.
IEEE Trans. on CAD of Integrated Circuits and Systems 22(8): 962-963 (2003) |
2002 |
104 | EE | Felice 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 |
103 | EE | Felice 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 |
102 | EE | G. Arrigoni,
L. Duchini,
Claudio Passerone,
Luciano Lavagno,
Yosinori Watanabe:
False Path Elimination in Quasi-Static Scheduling.
DATE 2002: 964-970 |
101 | EE | Felice Balarin,
Luciano Lavagno,
Claudio Passerone,
Yosinori Watanabe:
Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis.
EMSOFT 2002: 407-416 |
100 | EE | Jordi Cortadella,
Alex Kondratyev,
Luciano Lavagno,
Claudio Passerone,
Yosinori Watanabe:
Quasi-Static Scheduling of Independent Tasksfor Reactive Systems.
ICATPN 2002: 80-100 |
99 | EE | Paolo 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 |
98 | EE | Paolo 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- |
97 | EE | Ivan Blunno,
Luciano Lavagno:
Designing an Asynchronous Microcontroller Using Pipefitter.
ICCD 2002: 488-493 |
96 | EE | Luciano 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 |
95 | EE | Luciano Lavagno,
Sujit Dey,
Rajesh K. Gupta:
Specification, Modeling and Design Tools for System-on-Chip (Tutorial Abstract).
VLSI Design 2002: 21-23 |
94 | EE | David 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) |
93 | EE | Luciano Lavagno:
Guest Editor?s Introduction: Systems on a Chip--The Next Electronic Frontier.
IEEE Micro 22(5): 14-15 (2002) |
92 | EE | Marcello 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) |
91 | EE | Jordi 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 |
90 | EE | Alberto La Rosa,
Luciano Lavagno,
Claudio Passerone:
A software development tool chain for a reconfigurable processor.
CASES 2001: 93-98 |
89 | EE | André Chátelain,
Yves Mathys,
Giovanni Placido,
Alberto La Rosa,
Luciano Lavagno:
High-level architectural co-simulation using Esterel and C.
CODES 2001: 189-194 |
88 | EE | Grant Martin,
Luciano Lavagno,
Jean Louis-Guerin:
Embedded UML: a merger of real-time UML and co-design.
CODES 2001: 23-28 |
87 | EE | Leonardo Maria Reyneri,
F. Cucinotta,
A. Serra,
Luciano Lavagno:
A Hardware/Software Co-design Flow and IP Library Based of SimulinkTM.
DAC 2001: 593-598 |
86 | EE | Claudio Passerone,
Yosinori Watanabe,
Luciano Lavagno:
Generation of minimal size code for scheduling graphs.
DATE 2001: 668-673 |
85 | EE | Radu 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- |
84 | EE | Harry 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 |
83 | EE | Ivan Blunno,
Luciano Lavagno:
Automated Synthesis of Micro-Pipelines from Behavioral Verilog HDL.
ASYNC 2000: 84-92 |
82 | EE | Marcello Lajolo,
Luciano Lavagno,
Maurizio Rebaudengo,
Matteo Sonza Reorda,
Massimo Violante:
Automatic test bench generation for simulation-based validation.
CODES 2000: 136-140 |
81 | EE | Jwahar 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 |
80 | EE | Alberto L. Sangiovanni-Vincentelli,
Marco Sgroi,
Luciano Lavagno:
Formal Models for Communication-Based Design.
CONCUR 2000: 29-47 |
79 | EE | Jordi 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 |
78 | EE | Harry Hsieh,
Felice Balarin,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli:
Efficient methods for embedded system design space exploration.
DAC 2000: 607-612 |
77 | EE | Chunghee Kim,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli:
Free MDD-Based Software Optimization Techniques for Embedded Systems.
DATE 2000: 14- |
76 | EE | Marcello Lajolo,
Anand Raghunathan,
Sujit Dey,
Luciano Lavagno:
Efficient Power Co-Estimation Techniques for System-on-Chip Design.
DATE 2000: 27-34 |
75 | EE | Marcello Lajolo,
Maurizio Rebaudengo,
Matteo Sonza Reorda,
Massimo Violante,
Luciano Lavagno:
Evaluating System Dependability in a Co-Design Framework.
DATE 2000: 586-590 |
74 | EE | Luciano 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 |
73 | EE | Jordi Cortadella,
Michael Kishinevsky,
Alex Kondratyev,
Luciano Lavagno,
Alexandre Yakovlev:
Hardware and Petri Nets: Application to Asynchronous Circuit Design.
ICATPN 2000: 1-15 |
72 | EE | Marcello 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) |
70 | EE | Marco Sgroi,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli:
Formal Models for Embedded System Design.
IEEE Design & Test of Computers 17(2): 14-27 (2000) |
69 | EE | Leonardo 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 |
67 | EE | Marcello Lajolo,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli:
Fast Instruction Cache Simulation Strategies in a Hardware/Software Co-Design Environment.
ASP-DAC 1999: 347- |
66 | EE | Alexander Taubin,
Alex Kondratyev,
Jordi Cortadella,
Luciano Lavagno:
Behavioral Transformations to Increase Noise Immunity in Asynchronous Specifications.
ASYNC 1999: 36- |
65 | EE | Alex Kondratyev,
Jordi Cortadella,
Michael Kishinevsky,
Luciano Lavagno,
Alexandre Yakovlev:
Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems.
DAC 1999: 110-115 |
64 | EE | Luciano Lavagno,
Ellen Sentovich:
ECL: A Specification Environment for System-Level Design.
DAC 1999: 511-516 |
63 | EE | Marco Sgroi,
Luciano Lavagno:
Synthesis of Embedded Software Using Free-Choice Petri Nets.
DAC 1999: 805-810 |
62 | EE | Bassam Tabbara,
Marco Sgroi,
Alberto L. Sangiovanni-Vincentelli,
Enrica Filippi,
Luciano Lavagno:
Fast Hardware-Software Co-simulation Using VHDL Models.
DATE 1999: 309- |
61 | EE | Marco Sgroi,
Luciano Lavagno,
Yosinori Watanabe,
Alberto L. Sangiovanni-Vincentelli:
Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets.
ICATPN 1999: 208-227 |
60 | EE | Hiroshi Saito,
Alex Kondratyev,
Jordi Cortadella,
Luciano Lavagno,
Alexandre Yakovlev:
What is the cost of delay insensitivity?
ICCAD 1999: 316-323 |
59 | EE | Alberto 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 |
57 | EE | Felice 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) |
56 | EE | Jordi 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 |
54 | EE | Alex 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- |
53 | EE | Luciano Lavagno:
System-Level Design Models and Implementation Techniques.
ACSD 1998: 24- |
52 | EE | Marcello 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 |
51 | EE | Youpyo Hong,
Peter A. Beerel,
Luciano Lavagno,
Ellen Sentovich:
Don't Care-Based BDD Minimization for Embedded Software.
DAC 1998: 506-509 |
50 | EE | Tullio 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 |
49 | EE | Jordi 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 |
48 | EE | Gaetano Borriello,
Luciano Lavagno,
Ross B. Ortega:
Interface synthesis: a vertical slice from digital logic to software components.
ICCAD 1998: 693-695 |
47 | EE | Enrica 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 |
46 | EE | Claudio 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) |
45 | EE | Felice 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) |
43 | EE | Michael 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) |
42 | EE | Alex 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 |
41 | EE | Alex Kondratyev,
Michael Kishinevsky,
Jordi Cortadella,
Luciano Lavagno,
Alexandre Yakovlev:
Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis.
ASYNC 1997: 240-253 |
40 | EE | Alexei 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- |
39 | EE | Felice 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 |
38 | EE | Claudio 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 |
37 | EE | Gianpiero 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 |
36 | EE | Gianpiero Cabodi,
Paolo Camurati,
Luciano Lavagno,
Stefano Quer:
Verification and synthesis of counters based on symbolic techniques.
ED&TC 1997: 176-181 |
35 | EE | Jordi 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 |
33 | EE | Jordi 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 |
32 | EE | Michael Kishinevsky,
Alex Kondratyev,
Luciano Lavagno,
Alexander Saldanha,
Alexander Taubin:
Partial scan delay fault testing of asynchronous circuits.
ICCAD 1997: 728-735 |
31 | EE | Raj 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) |
29 | EE | Jordi 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 |
28 | EE | Felice Balarin,
Harry Hsieh,
Attila Jurecska,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli:
Formal Verification of Embedded Systems based on CFSM Networks.
DAC 1996: 568-571 |
27 | EE | Jordi Cortadella,
Michael Kishinevsky,
Alex Kondratyev,
Luciano Lavagno,
Alexandre Yakovlev:
Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis.
DAC 1996: 63-66 |
26 | EE | Alok Agrawal,
Alexander Saldanha,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli:
Compact and complete test set generation for multiple stuck-faults.
ICCAD 1996: 212-219 |
25 | EE | Gianpiero Cabodi,
Luciano Lavagno,
Enrico Macii,
Massimo Poncino,
Stefano Quer,
Paolo Camurati,
Ellen Sentovich:
Enhancing FSM Traversal by Temporary Re-Encoding.
ICCD 1996: 6-11 |
24 | EE | Francesco 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 |
21 | EE | Luciano 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 |
20 | EE | Massimiliano 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 |
19 | EE | Jordi Cortadella,
Michael Kishinevsky,
Luciano Lavagno,
Alexandre Yakovlev:
Synthesizing Petri nets from state-based models.
ICCAD 1995: 164-171 |
18 | EE | Alexandre Yakovlev,
Albert Koelmans,
Luciano Lavagno:
High-Level Modeling and Design of Asynchronous Interface Logic.
IEEE Design & Test of Computers 12(1): 32-40 (1995) |
17 | EE | Luciano 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) |
16 | EE | Luciano 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) |
15 | EE | Kurt 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 |
13 | EE | Luciano 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 |
12 | EE | Luciano 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 |
10 | EE | Alexandre Yakovlev,
A. Petrov,
Luciano Lavagno:
A low latency asynchronous arbitration circuit.
IEEE Trans. VLSI Syst. 2(3): 372-377 (1994) |
9 | EE | Luciano 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 |
7 | EE | Luciano Lavagno,
Cho W. Moon,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Solving the State Assignment Problem for Signal Transition Graphs.
DAC 1992: 568-572 |
6 | EE | Alexandre 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 |
4 | EE | Sharad 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 |
3 | EE | Luciano 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 |