Luciano Lavagno

Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe: Share with care: a quantitative evaluation of sharing approaches in high-level synthesis. DATE 2013: 1547-1552

Luciano Lavagno, Patrick Haspel: Selected Articles from the CDNLive! EMEA 2012 Conference. J. Low Power Electronics 8(5): 725 (2012)

Sarmad Ullah Khan, Claudio Pastrone, Luciano Lavagno, Maurizio A. Spirito: An Authentication and Key Establishment Scheme for the IP-Based Wireless Sensor Networks. Procedia CS 10: 1039-1045 (2012)

Marco Cannizzaro, Luciano Lavagno: PID (Partial Inversion Data): An M-of-N Level-Encoded Transition Signaling Protocol for Asynchronous Global Communication. ASYNC 2012: 134-141

Shahzad Ahmad Butt, Luciano Lavagno: Designing parameterized signal processing ips for high level synthesis in a model based design environment. CODES+ISSS 2012: 295-304

Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe: Exploiting area/delay tradeoffs in high-level synthesis. DATE 2012: 1024-1029

Iakovos Mavroidis, Ioannis Mavroidis, Ioannis Papaefstathiou, Luciano Lavagno, Mihai T. Lazarescu, Eduardo de la Torre, Florian Schäfer: FASTCUDA: Open Source FPGA Accelerator & Hardware-Software Codesign Toolset for CUDA Kernels. DSD 2012: 343-348

Luciano Lavagno, Mihai T. Lazarescu, Ioannis Papaefstathiou, Andreas Brokalakis, Johan Walters, Bart Kienhuis, Florian Schäfer: HEAP: A Highly Efficient Adaptive Multi-processor Framework. DSD 2012: 509-516

Zhen Yu Song, Luciano Lavagno, Riccardo Tomasi, Maurizio A. Spirito: A Service-driven Development Tool for Wireless Sensor Network. PECCS 2012: 87-95

Mihai T. Lazarescu, Luciano Lavagno: Dynamic Trace-Based Data Dependency Analysis for Parallelization of C Programs. SCAM 2012: 126-131

Luciano Lavagno, Montek Singh: Guest Editors' Introduction: Asynchronous Design Is Here to Stay (and Is More Mainstream Than You Thought). IEEE Design & Test of Computers 28(5): 4-6 (2011)

Nikolaos Andrikos, Luciano Lavagno: Optimal and Heuristic Scheduling Algorithms for Asynchronous High-Level Synthesis. ASYNC 2011: 13-21

Sarmad Ullah Khan, Claudio Pastrone, Luciano Lavagno, Maurizio A. Spirito: An Energy and Memory-Efficient Key Management Scheme for Mobile Heterogeneous Sensor Networks. CRiSIS 2011: 25-32

Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe: Realistic performance-constrained pipelining in high-level synthesis. DATE 2011: 1382-1387

Nikolaos Andrikos, Luciano Lavagno, Fabio Campi, Davide Pandini: Improving Electro-Magnetic Interference of Embedded Systems Through Jittered-Delay Desynchronization. J. Low Power Electronics 6(4): 607-615 (2010)

Gianpiero Cabodi, Luciano Lavagno, Marco Murciano, Alex Kondratyev, Yosinori Watanabe: Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques. ACM Trans. Design Autom. Electr. Syst. 15(2) (2010)

Luciano Lavagno, Alex Kondratyev, Yosinori Watanabe, Qiang Zhu, Mototsugu Fujii, Mitsuru Tatesawa, Noriyasu Nakayama: Incremental high-level synthesis. ASP-DAC 2010: 701-706

Anwar Al-Khateeb, Luciano Lavagno: Energy and throughput optimization of a Zigbee-compatible MAC protocol for wireless sensor networks. CSNDSP 2010: 305-310

Anwar Al-Khateeb, Jun Kyoung Kim, Luciano Lavagno, Mihai T. Lazarescu: Energy optimization at the MAC layer for a forest fire monitoring wireless sensor network. ETFA 2010: 1-4

Luigi Pomante, Antonio Spinosi, Mohammad Mostafizur Rahman Mozumdar, Stefano Olivieri, Luciano Lavagno: An extended framework for the development of WSN applications. ICUMT 2010: 745-749

Anwar Al-Khateeb, Luciano Lavagno: Energy optimization framework for WSN design. IPSN 2010: 368-369

Anwar Al-Khateeb, Luciano Lavagno: MEOW: Model-based design of an energy-optimized protocol stack for wireless sensor networks. LCN 2010: 590-597

Mohammad Mostafizur Rahman Mozumdar, Luciano Lavagno, Laura Vanzago, Alberto L. Sangiovanni-Vincentelli: HILAC: A framework for Hardware In the Loop simulation and multi-platform Automatic Code Generation of WSN Applications. SIES 2010: 88-97

Zhen Yu Song, Mohammad Mostafizur Rahman Mozumdar, Maurizio Tranchero, Luciano Lavagno, Riccardo Tomasi, Stefano Olivieri: Hy-Sim: model based hybrid simulation framework for WSN application development. SimuTools 2010: 87

Mohammad Mostafizur Rahman Mozumdar, Guofang Nan, Francesco Gregoretti, Luciano Lavagno, Laura Vanzago: An Efficient Data Aggregation Algorithm for Cluster-based Sensor Network. JNW 4(7): 598-606 (2009)

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)

Luciano Lavagno, Claudio Passerone: Design of Embedded Systems. Embedded Systems Design and Verification 2009: 2

Emre Tuncer, Jordi Cortadella, Luciano Lavagno: Enabling adaptability through elastic clocks. DAC 2009: 8-10

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

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

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

Alexander Taubin, Jordi Cortadella, 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)

Nikolaos Andrikos, Luciano Lavagno, Davide Pandini, Christos P. Sotiriou: A Fully-Automated Desynchronization Flow for Synchronous Circuits. DAC 2007: 982-985

Luca Necchi, Alvise Bonivento, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Laura Vanzago: E2RINA: an Energy Efficient and Reliable In-Network Aggregation for Clustered Wireless Sensor Networks. WCNC 2007: 3364-3369

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)

L. Necchi, Luciano Lavagno, Davide Pandini, Laura Vanzago: An ultra-low energy asynchronous processor for Wireless Sensor Networks. ASYNC 2006: 78-85

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)

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)

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)

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)

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)

Luciano Lavagno, Claudio Passerone: Design of Embedded Systems. The Industrial Information Technology Handbook 2005: 1-14

Luciano Lavagno, Claudio Passerone, Vishal Shah, Yosinori Watanabe: A Time Slice Based Scheduler Model for System Level Design. DATE 2005: 378-383

Luciano Lavagno: DAC Highlights. IEEE Design & Test of Computers 21(3): 259-260 (2004)

Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Yosinori Watanabe: Quasi-static Scheduling for Concurrent Architectures. Fundam. Inform. 62(2): 171-196 (2004)

Ivan Blunno, Luciano Lavagno: Designing an asynchronous microcontroller using Pipefitter. IEEE Trans. VLSI Syst. 12(7): 696-699 (2004)

Ivan Blunno, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou: Handshake Protocols for De-Synchronization. ASYNC 2004: 149-158

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

Alberto La Rosa, Claudio Passerone, Francesco Gregoretti, Luciano Lavagno: Implementation of a UMTS Turbo-Decoder on a Dynamically Reconfigurable Platform. DATE 2004: 1218-1223

Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou: From Synchronous to Asynchronous: An Automatic Approach. DATE 2004: 1368-1369

Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou: Coping with The Variability of Combinational Logic Delays. ICCD 2004: 505-508

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

Mary Jane Irwin, Wei Zhao, Luciano Lavagno, Scott A. Mahlke (Eds.): 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, isbn 1-58113-890-3

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)

Luciano Lavagno, Limor Fix: DAC Highlights. IEEE Design & Test of Computers 20(3): 88-89 (2003)

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): 623-638 (2003)

Alberto L. Sangiovanni-Vincentelli, Luciano Lavagno: Guest Editors' Introduction: Trends and Directions in Microelectronics. IEEE Micro 23(3): 6-7 (2003)

David T. Blaauw, Luciano Lavagno: Guest Editorial. IEEE Trans. on CAD of Integrated Circuits and Systems 22(8): 962-963 (2003)

Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe: Quasi-Static Scheduling for Concurrent Architectures. ACSD 2003: 29-40

Alberto La Rosa, Luciano Lavagno, Claudio Passerone: Hardware/Software Design Space Exploration for a Reconfigurable Processor. DATE 2003: 10570-10575

Laura Vanzago, Bishnupriya Bhattacharya, Joel Cambonie, Luciano Lavagno: Design Space Exploration for a Wireless Protocol on a Reconfigurable Platform. DATE 2003: 10662-10667

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

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)

Luciano Lavagno: Guest Editor?s Introduction: Systems on a Chip--The Next Electronic Frontier. IEEE Micro 22(5): 14-15 (2002)

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)

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)

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

Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe: Quasi-Static Scheduling of Independent Tasksfor Reactive Systems. ICATPN 2002: 80-100

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

G. Arrigoni, L. Duchini, Claudio Passerone, Luciano Lavagno, Yosinori Watanabe: False Path Elimination in Quasi-Static Scheduling. DATE 2002: 964-970

Felice Balarin, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe: Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis. EMSOFT 2002: 407-416

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

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-

Ivan Blunno, Luciano Lavagno: Designing an Asynchronous Microcontroller Using Pipefitter. ICCD 2002: 488-493

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

Luciano Lavagno, Sujit Dey, Rajesh K. Gupta: Specification, Modeling and Design Tools for System-on-Chip (Tutorial Abstract). VLSI Design 2002: 21-23

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)

Alberto La Rosa, Luciano Lavagno, Claudio Passerone: A software development tool chain for a reconfigurable processor. CASES 2001: 93-98

Grant Martin, Luciano Lavagno, Jean Louis-Guerin: Embedded UML: a merger of real-time UML and co-design. CODES 2001: 23-28

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

Leonardo Maria Reyneri, F. Cucinotta, A. Serra, Luciano Lavagno: A Hardware/Software Co-design Flow and IP Library Based of Simulink^TM. DAC 2001: 593-598

Claudio Passerone, Yosinori Watanabe, Luciano Lavagno: Generation of minimal size code for scheduling graphs. DATE 2001: 668-673

Felice Balarin, Jerry R. Burch, Luciano Lavagno, Yosinori Watanabe, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: Constraints specification at higher levels of abstraction. HLDVT 2001: 129-133

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-

Marco Sgroi, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Formal Models for Embedded System Design. IEEE Design & Test of Computers 17(2): 14-27 (2000)

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)

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)

Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Hardware and Petri Nets: Application to Asynchronous Circuit Design. ICATPN 2000: 1-15

Ivan Blunno, Luciano Lavagno: Automated Synthesis of Micro-Pipelines from Behavioral Verilog HDL. ASYNC 2000: 84-92

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

Marcello Lajolo, Luciano Lavagno, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante: Automatic test bench generation for simulation-based validation. CODES 2000: 136-140

Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Luciano Lavagno: Formal Models for Communication-Based Design. CONCUR 2000: 29-47

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

Harry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Efficient methods for embedded system design space exploration. DAC 2000: 607-612

Chunghee Kim, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Free MDD-Based Software Optimization Techniques for Embedded Systems. DATE 2000: 14-18

Marcello Lajolo, Anand Raghunathan, Sujit Dey, Luciano Lavagno: Efficient Power Co-Estimation Techniques for System-on-Chip Design. DATE 2000: 27-34

Marcello Lajolo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Luciano Lavagno: Evaluating System Dependability in a Co-Design Framework. DATE 2000: 586-590

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

Marcello Lajolo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Luciano Lavagno: Behavioral-level test vector generation for system-on-chip designs. HLDVT 2000: 21-26

Mihai T. Lazarescu, Jwahar R. Bammi, Edwin A. Harcourt, Luciano Lavagno, Marcello Lajolo: Compilation-based software performance estimation for system level design. HLDVT 2000: 167-172

Marcello Lajolo, Luciano Lavagno, Matteo Sonza Reorda, Massimo Violante: Early Power Estimation for System-on-Chip Designs. PATMOS 2000: 108-117

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)

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)

Marco Sgroi, Luciano Lavagno, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli: Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets. ICATPN 1999: 208-227

Marcello Lajolo, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Fast Instruction Cache Simulation Strategies in a Hardware/Software Co-Design Environment. ASP-DAC 1999: 347-

Alexander Taubin, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno: Behavioral Transformations to Increase Noise Immunity in Asynchronous Specifications. ASYNC 1999: 36-

Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. DAC 1999: 110-115

Luciano Lavagno, Ellen Sentovich: ECL: A Specification Environment for System-Level Design. DAC 1999: 511-516

Marco Sgroi, Luciano Lavagno: Synthesis of Embedded Software Using Free-Choice Petri Nets. DAC 1999: 805-810

Bassam Tabbara, Marco Sgroi, Alberto L. Sangiovanni-Vincentelli, Enrica Filippi, Luciano Lavagno: Fast Hardware-Software Co-simulation Using VHDL Models. DATE 1999: 309-

Hiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev: What is the cost of delay insensitivity? ICCAD 1999: 316-323

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

Srinivas Devadas, Sharad Malik, José C. Monteiro, Luciano Lavagno: CAD Techniques for Embedded System Design. VLSI Design 1999: 608

Ahmed Amine Jerraya, Luciano Lavagno, Frank Vahid (Eds.): Proceedings of the Seventh International Workshop on Hardware/Software Codesign, CODES 1999, Rome, Italy, 1999. ACM 1999, isbn 1-58113-132-1

Stefano Cardelli, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Claudio Sansoè, Alberto L. Sangiovanni-Vincentelli: Rapid-Prototyping of Embedded Systems via Reprogrammable Devices. Design Autom. for Emb. Sys. 3(2-3): 149-161 (1998)

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)

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)

Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Deriving Petri Nets for Finite Transition Systems. IEEE Trans. Computers 47(8): 859-882 (1998)

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)

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)

Luciano Lavagno: System-Level Design Models and Implementation Techniques. ACSD 1998: 24-32

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-163

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

Youpyo Hong, Peter A. Beerel, Luciano Lavagno, Ellen Sentovich: Don't Care-Based BDD Minimization for Embedded Software. DAC 1998: 506-509

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

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

Gaetano Borriello, Luciano Lavagno, Ross B. Ortega: Interface synthesis: a vertical slice from digital logic to software components. ICCAD 1998: 693-695

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

Gaetano Borriello, Ahmed Amine Jerraya, Luciano Lavagno (Eds.): Proceedings of the Sixth International Workshop on Hardware/Software Codesign, CODES 1998, Seattle, Washington, USA, March 15-18, 1998. IEEE Computer Society 1998, isbn 0-8186-8442-9

Luciano Lavagno, Nanette Collins: DAC 97 Panel: Next-Generation HDLs. IEEE Design & Test of Computers 14(3): 7-8 (1997)

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)

Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev: Coupling Asynchrony and Interrupts: Place Chart Nets. ICATPN 1997: 328-347

Claudio Passerone, Luciano Lavagno, Claudio Sansoè, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli: Trade-off evaluation in embedded system design via co-simulation. ASP-DAC 1997: 291-297

Alex Kondratyev, Michael Kishinevsky, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev: Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis. ASYNC 1997: 240-253

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-

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

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

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

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

Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer: Verification and synthesis of counters based on symbolic techniques. ED&TC 1997: 176-181

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

Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin: Partial scan delay fault testing of asynchronous circuits. ICCAD 1997: 728-735

Raj S. Mitra, Bishnupriya Bhattacharya, Luciano Lavagno: Asynchronous Implementation of Synchronous Esterel Specifications. VLSI Design 1997: 348-355

Massimiliano Chiodo, Daniel Engels, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli: A case study in computer-aided co-design of embedded controllers. Design Autom. for Emb. Sys. 1(1-2): 51-67 (1996)

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)

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)

Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis. DAC 1996: 63-66

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

Alok Agrawal, Alexander Saldanha, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Compact and complete test set generation for multiple stuck-faults. ICCAD 1996: 212-219

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

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

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)

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)

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)

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)

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

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

Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Synthesizing Petri nets from state-based models. ICCAD 1995: 164-171

Alexandre Yakovlev, A. Petrov, Luciano Lavagno: A low latency asynchronous arbitration circuit. IEEE Trans. VLSI Syst. 2(3): 372-377 (1994)

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)

Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno: OR Causality: Modelling and Hardware Implementation. Application and Theory of Petri Nets 1994: 568-587

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

Luciano Lavagno, Antonio Lioy, Michael Kishinevsky: Testing redundant asynchronous circuits by variable phase splitting. EURO-DAC 1994: 328-333

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

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Automated Synthesis of Asynchronous Interface Circuits. Asynchronous Design Methodologies 1993: 107-121

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)

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

Alexandre Yakovlev, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: A unified signal transition graph model for asynchronous control circuit synthesis. ICCAD 1992: 104-111

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Linear Programming for Optimum Hazard Elimination in Asynchronous Circuits. ICCD 1992: 275-278

Luciano Lavagno, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli: Algorithms for Synthesis of Hazard-Free Asynchronous Circuits. DAC 1991: 302-308

Kurt Keutzer, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Synthesis for Testability Techniques for Asynchronous Circuits. ICCAD 1991: 326-329

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