Luciano Lavagno

265 papers A* 19A 30B 6C 18Misc 8Journal 99Unranked 75

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Survey on Deep Learning Hardware Accelerators for Heterogeneous HPC Platforms. ACM Comput. Surv. Cristina Silvano, Daniele Ielmini, Fabrizio Ferrandi, Leandro Fiorin, Serena Curzel, Luca Benini, Francesco Conti, Angelo Garofalo, Cristian Zambelli, Enrico Calore, Sebastiano Fabio Schifano, Maurizio Palesi, Giuseppe Ascia, Davide Patti, Nicola Petra, Davide De Caro, Luciano Lavagno, Teodoro Urso, Valeria Cardellini, Gian Carlo Cardarilli, Robert Birke, Stefania Perri
2025	J	`jnl`	Automated Hardware Design Methodology for Digital Filters With High-Level Synthesis. IEEE Access Shehryar Akbar, Luciano Lavagno, Mihai T. Lazarescu, Davide Mariz
2025	—	`conf`	Just TestIt! An SBST Approach To Automate System-Integration Testing. CF (Companion) Tommaso Terzano, Luigi Giuffrida, Juan Sapriza, Pasquale Davide Schiavone, Guido Masera, David Atienza, Luciano Lavagno, Maurizio Martina
2025	J	`jnl`	Just TestIt! An SBST Approach To Automate System-Integration Testing. CoRR Tommaso Terzano, Luigi Giuffrida, Juan Sapriza, Pasquale Davide Schiavone, Guido Masera, David Atienza, Luciano Lavagno, Maurizio Martina
2025	J	`jnl`	Low-Power Subgraph Isomorphism at the Edge Using FPGAs. IEEE Access Roberto Bosio, Giovanni Brignone, Teodoro Urso, Mihai T. Lazarescu, Luciano Lavagno, Paolo Pasini
2025	J	`jnl`	NN2FPGA: Optimizing CNN Inference on FPGAs With Binary Integer Programming. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Roberto Bosio, Filippo Minnella, Teodoro Urso, Mario R. Casu, Luciano Lavagno, Mihai T. Lazarescu, Paolo Pasini
2025	J	`jnl`	SILVIA: Automated Superword-Level Parallelism Exploitation via HLS-specific LLVM Passes for Compute-Intensive FPGA Accelerators. ACM Trans. Reconfigurable Technol. Syst. Giovanni Brignone, Roberto Bosio, Fabrizio Ottati, Claudio Sansoè, Luciano Lavagno
2025	J	`jnl`	eIQ Neutron: Redefining Edge-AI Inference with Integrated NPU and Compiler Innovations. CoRR Lennart Bamberg, Filippo Minnella, Roberto Bosio, Fabrizio Ottati, Yuebin Wang, Jongmin Lee, Luciano Lavagno, Adam Fuks
2024	J	`jnl`	Comparative Survey of Embedded System Implementations of Convolutional Neural Networks in Autonomous Cars Applications. IEEE Access Mohammad Cheshfar, Mohammad Hossein Maghami, Parviz Amiri, Hossein Gharaee Garakani, Luciano Lavagno
2024	A	`conf`	LESS: Low-Power Energy-Efficient Subgraph Isomorphism on FPGA. DATE Roberto Bosio, Giovanni Brignone, Filippo Minnella, M. Usman Jamal, Luciano Lavagno
2024	J	`jnl`	Mix & Latch: Comparison With State-of-the-Art Retiming on a RISC-V Benchmark. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Lorenzo Lagostina, Filippo Minnella, Jordi Cortadella, Mario R. Casu, Mihai T. Lazarescu, Luciano Lavagno
2024	J	`jnl`	SILVIA: Automated Superword-Level Parallelism Exploitation via HLS-Specific LLVM Passes for Compute-Intensive FPGA Accelerators. CoRR Giovanni Brignone, Roberto Bosio, Fabrizio Ottati, Claudio Sansoè, Luciano Lavagno
2023	C	`conf`	A DSP shared is a DSP earned: HLS Task-Level Multi-Pumping for High-Performance Low-Resource Designs. ICCD Giovanni Brignone, Mihai T. Lazarescu, Luciano Lavagno
2023	J	`jnl`	A DSP shared is a DSP earned: HLS Task-Level Multi-Pumping for High-Performance Low-Resource Designs. CoRR Giovanni Brignone, Mihai T. Lazarescu, Luciano Lavagno
2023	J	`jnl`	A Graph Neural Network Model for Fast and Accurate Quality of Result Estimation for High-Level Synthesis. IEEE Access M. Usman Jamal, Zhuowei Li, Mihai T. Lazarescu, Luciano Lavagno
2023	J	`jnl`	A Survey on Deep Learning Hardware Accelerators for Heterogeneous HPC Platforms. CoRR Cristina Silvano, Daniele Ielmini, Fabrizio Ferrandi, Leandro Fiorin, Serena Curzel, Luca Benini, Francesco Conti, Angelo Garofalo, Cristian Zambelli, Enrico Calore, Sebastiano Fabio Schifano, Maurizio Palesi, Giuseppe Ascia, Davide Patti, Stefania Perri, Nicola Petra, Davide De Caro, Luciano Lavagno, Teodoro Urso, Valeria Cardellini, Gian Carlo Cardarilli, Robert Birke
2023	J	`jnl`	A Survey on Design Methodologies for Accelerating Deep Learning on Heterogeneous Architectures. CoRR Fabrizio Ferrandi, Serena Curzel, Leandro Fiorin, Daniele Ielmini, Cristina Silvano, Francesco Conti, Alessio Burrello, Francesco Barchi, Luca Benini, Luciano Lavagno, Teodoro Urso, Enrico Calore, Sebastiano Fabio Schifano, Cristian Zambelli, Maurizio Palesi, Giuseppe Ascia, Enrico Russo, Nicola Petra, Davide De Caro, Gennaro Di Meo, Valeria Cardellini, Salvatore Filippone, Francesco Lo Presti, Francesco Silvestri, Paolo Palazzari, Stefania Perri
2023	J	`jnl`	Design and Optimization of Residual Neural Network Accelerators for Low-Power FPGAs Using High-Level Synthesis. CoRR Filippo Minnella, Teodoro Urso, Mihai T. Lazarescu, Luciano Lavagno
2023	—	`conf`	Enhanced Exploration of Neural Network Models for Indoor Human Monitoring. IWASI Giorgia Subbicini, Luciano Lavagno, Mihai T. Lazarescu
2023	J	`jnl`	Mix & Latch: An Optimization Flow for High-Performance Designs With Single-Clock Mixed-Polarity Latches and Flip-Flops. IEEE Access Filippo Minnella, Jordi Cortadella, Mario R. Casu, Mihai T. Lazarescu, Luciano Lavagno
2023	J	`jnl`	To Spike or Not To Spike: A Digital Hardware Perspective on Deep Learning Acceleration. CoRR Fabrizio Ottati, Chang Gao, Qinyu Chen, Giovanni Brignone, Mario R. Casu, Jason K. Eshraghian, Luciano Lavagno
2023	J	`jnl`	To Spike or Not to Spike: A Digital Hardware Perspective on Deep Learning Acceleration. IEEE J. Emerg. Sel. Topics Circuits Syst. Fabrizio Ottati, Chang Gao, Qinyu Chen, Giovanni Brignone, Mario R. Casu, Jason K. Eshraghian, Luciano Lavagno
2022	J	`jnl`	Array-Specific Dataflow Caches for High-Level Synthesis of Memory-Intensive Algorithms on FPGAs. IEEE Access Giovanni Brignone, M. Usman Jamal, Mihai T. Lazarescu, Luciano Lavagno
2022	J	`jnl`	FPGA Acceleration of 3GPP Channel Model Emulator for 5G New Radio. IEEE Access Nasir Ali Shah, Mihai T. Lazarescu, Roberto Quasso, Salvatore Scarpina, Luciano Lavagno
2022	J	`jnl`	Fast Energy-Optimal Multikernel DNN-Like Application Allocation on Multi-FPGA Platforms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Junnan Shan, Mihai T. Lazarescu, Jordi Cortadella, Luciano Lavagno, Mario R. Casu
2021	J	`jnl`	CNN-on-AWS: Efficient Allocation of Multikernel Applications on Multi-FPGA Platforms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Junnan Shan, Mihai T. Lazarescu, Jordi Cortadella, Luciano Lavagno, Mario R. Casu
2021	J	`jnl`	High-Level Annotation of Routing Congestion for Xilinx Vivado HLS Designs. IEEE Access Osama Bin Tariq, Junnan Shan, Georgios Floros, Christos P. Sotiriou, Mario R. Casu, Mihai Teodor Lazarescu, Luciano Lavagno
2020	J	`jnl`	Performance and energy-efficient implementation of a smart city application on FPGAs. J. Real Time Image Process. Arslan Arif, Felipe A. Barrigon, Francesco Gregoretti, Javed Iqbal, Luciano Lavagno, Mihai Teodor Lazarescu, Liang Ma, Manuel Palomino, Javier L. L. Segura
2020	J	`jnl`	Power-Optimal Mapping of CNN Applications to Cloud-Based Multi-FPGA Platforms. IEEE Trans. Circuits Syst. Junnan Shan, Mihai T. Lazarescu, Jordi Cortadella, Luciano Lavagno, Mario R. Casu
2019	A*	`conf`	Exact and Heuristic Allocation of Multi-kernel Applications to Multi-FPGA Platforms. DAC Junnan Shan, Mario R. Casu, Jordi Cortadella, Luciano Lavagno, Mihai T. Lazarescu
2019	—	`conf`	Neural network-based indoor tag-less localization using capacitive sensors. UbiComp/ISWC Adjunct Osama Bin Tariq, Mihai Teodor Lazarescu, Luciano Lavagno
2019	A	`conf`	Synetgy: Algorithm-hardware Co-design for ConvNet Accelerators on Embedded FPGAs. FPGA Yifan Yang, Qijing Huang, Bichen Wu, Tianjun Zhang, Liang Ma, Giulio Gambardella, Michaela Blott, Luciano Lavagno, Kees A. Vissers, John Wawrzynek, Kurt Keutzer
2018	J	`jnl`	Capacitive Sensor for Tagless Remote Human Identification Using Body Frequency Absorption Signatures. IEEE Trans. Instrum. Meas. Javed Iqbal, Mihai Teodor Lazarescu, Osama Bin Tariq, Arslan Arif, Luciano Lavagno
2018	—	`conf`	Design and Implementation of a Dynamic Information Flow Tracking Architecture to Secure a RISC-V Core for IoT Applications. HPEC Christian Palmiero, Giuseppe Di Guglielmo, Luciano Lavagno, Luca P. Carloni
2018	J	`jnl`	Design space exploration of multi-core RTL via high level synthesis from OpenCL models. Microprocess. Microsystems Mehdi Roozmeh, Luciano Lavagno
2018	—	`conf`	HLS Algorithmic Explorations for HPC Execution on Reconfigurable Hardware - ECOSCALE. ARC Pavlos Malakonakis, Konstantinos Georgopoulos, Aggelos Ioannou, Luciano Lavagno, Ioannis Papaefstathiou, Iakovos Mavroidis
2018	J	`jnl`	Synetgy: Algorithm-hardware Co-design for ConvNet Accelerators on Embedded FPGAs. CoRR Yifan Yang, Qijing Huang, Bichen Wu, Tianjun Zhang, Liang Ma, Giulio Gambardella, Michaela Blott, Luciano Lavagno, Kees A. Vissers, John Wawrzynek, Kurt Keutzer
2017	J	`jnl`	Acceleration by Inline Cache for Memory-Intensive Algorithms on FPGA via High-Level Synthesis. IEEE Access Liang Ma, Luciano Lavagno, Mihai Teodor Lazarescu, Arslan Arif
2017	J	`jnl`	Efficient FPGA Implementation of OpenCL High-Performance Computing Applications via High-Level Synthesis. IEEE Access Fahad Bin Muslim, Liang Ma, Mehdi Roozmeh, Luciano Lavagno
2017	—	`conf`	High sensitivity, low noise front-end for long range capacitive sensors for tagless indoor human localization. RTSI Javed Iqbal, Mihai Teodor Lazarescu, Arslan Arif, Luciano Lavagno
2017	J	`jnl`	High-Level Synthesis for Semi-Global Matching: Is the Juice Worth the Squeeze? IEEE Access Affaq Qamar, Fahad Bin Muslim, Francesco Gregoretti, Luciano Lavagno, Mihai Teodor Lazarescu
2017	—	`conf`	Implementation of a performance optimized database join operation on FPGA-GPU platforms using OpenCL. NORCAS Mehdi Roozmeh, Luciano Lavagno
2017	J	`jnl`	LP-HLS: Automatic power-intent generation for high-level synthesis based hardware implementation flow. Microprocess. Microsystems Affaq Qamar, Fahad Bin Muslim, Javed Iqbal, Luciano Lavagno
2017	—	`conf`	Long range, high sensitivity, low noise capacitive sensor for tagless indoor human localization. IWASI Javed Iqbal, Mihai Teodor Lazarescu, Osama Bin Tariq, Luciano Lavagno
2017	J	`jnl`	Performance of Machine Learning Classifiers for Indoor Person Localization With Capacitive Sensors. IEEE Access Osama Bin Tariq, Mihai Teodor Lazarescu, Javed Iqbal, Luciano Lavagno
2017	—	`ch.`	Wireless Sensor Networks. Handbook of Hardware/Software Codesign Mihai Teodor Lazarescu, Luciano Lavagno
2016	J	`jnl`	A Tagless Indoor Localization System Based on Capacitive Sensing Technology. Sensors Alireza Ramezani Akhmareh, Mihai Teodor Lazarescu, Osama Bin Tariq, Luciano Lavagno
2016	J	`jnl`	Designing Parameterizable Hardware IPs in a Model-Based Design Environment for High-Level Synthesis. ACM Trans. Embed. Comput. Syst. Shahzad Ahmad Butt, Mehdi Roozmeh, Luciano Lavagno
2016	A	`conf`	ECOSCALE: Reconfigurable computing and runtime system for future exascale systems. DATE Iakovos Mavroidis, Ioannis Papaefstathiou, Luciano Lavagno, Dimitrios S. Nikolopoulos, Dirk Koch, John Goodacre, Ioannis Sourdis, Vassilis Papaefstathiou, Marcello Coppola, Manuel Palomino
2016	—	`conf`	Energy-efficient FPGA Implementation of the k-Nearest Neighbors Algorithm Using OpenCL. FedCSIS (Position Papers) Fahad Bin Muslim, Alexandros Demian, Liang Ma, Luciano Lavagno, Affaq Qamar
2016	—	`conf`	High Performance and Low Power Monte Carlo Methods to Option Pricing Models via High Level Design and Synthesis. EMS Liang Ma, Fahad Bin Muslim, Luciano Lavagno
2016	J	`jnl`	Integrated Toolset for WSN Application Planning, Development, Commissioning and Maintenance: The WSN-DPCM ARTEMIS-JU Project. Sensors Christos P. Antonopoulos, Katerina Asimogloy, Sarah Chiti, Luca D'Onofrio, Simone Gianfranceschi, Danping He, Antonio Iodice, Stavros A. Koubias, Christos Koulamas, Luciano Lavagno, Mihai T. Lazarescu, Gabriel Mujica, George D. Papadopoulos, Jorge Portilla, Luis M. Redondo, Daniele Riccio, Teresa Riesgo, Daniel Rodríguez, Giuseppe Ruello, Vasilis Samoladas, Tsenka Stoyanova, Gerasimos Touliatos, Angela Valvo, Georgia Vlahoy
2015	—	`conf`	Analysis and Implementation of the Semi-Global Matching 3D Vision Algorithm Using Code Transformations and High-Level Synthesis. VTC Spring Affaq Qamar, Fahad Bin Muslim, Luciano Lavagno
2015	J	`jnl`	Interactive Trace-Based Analysis Toolset for Manual Parallelization of C Programs. ACM Trans. Embed. Comput. Syst. Mihai T. Lazarescu, Luciano Lavagno
2015	Misc	`conf`	Low power methodology for an ASIC design flow based on high-level synthesis. SoftCOM Fahad Bin Muslim, Affaq Qamar, Luciano Lavagno
2015	C	`conf`	Reactive clocks with variability-tracking jitter. ICCD Jordi Cortadella, Luciano Lavagno, Pedro Lopez, Marc Lupon, Alberto Moreno, Antoni Roca, Sachin S. Sapatnekar
2015	J	`jnl`	Routing-Aware Design of Indoor Wireless Sensor Networks Using an Interactive Tool. IEEE Syst. J. Alberto Puggelli, Mohammad Mostafizur Rahman Mozumdar, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
2015	J	`jnl`	SafeRazor: Metastability-Robust Adaptive Clocking in Resilient Circuits. IEEE Trans. Circuits Syst. I Regul. Pap. Marco Cannizzaro, Salomon Beer, Jordi Cortadella, Ran Ginosar, Luciano Lavagno
2015	J	`jnl`	Virtual Platform-Based Design Space Exploration of Power-Efficient Distributed Embedded Applications. ACM Trans. Embed. Comput. Syst. Parinaz Sayyah, Mihai T. Lazarescu, Sara Bocchio, Emad Samuel Malki Ebeid, Gianluca Palermo, Davide Quaglia, Alberto Rosti, Luciano Lavagno
2014	J	`jnl`	A Model-Based Approach for Bridging Virtual and Physical Sensor Nodes in a Hybrid Simulation Framework. Sensors Mohammad Mozumdar, Zhen Yu Song, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
2014	J	`jnl`	A Secure Online Key Establishment Scheme for Mobile Heterogeneous Sensor Networks. Int. J. Distributed Sens. Networks Sarmad Ullah Khan, Claudio Pastrone, Luciano Lavagno, Maurizio A. Spirito
2014	J	`jnl`	Design of a pseudo-log image transform hardware accelerator in a high-level synthesis-based memory management framework. J. Electronic Imaging Shahzad Ahmad Butt, Stéphane Mancini, Frédéric Rousseau, Luciano Lavagno
2014	C	`conf`	Energy-aware parallelization flow and toolset for C code. SCOPES Mihai T. Lazarescu, Albert Cohen, Adrien Guatto, Nhat Minh Lê, Luciano Lavagno, Antoniu Pop, Manuel Prieto, Andrei Sergeevich Terechko, Alexandru Sutii
2014	J	`jnl`	Improving the design flow for parallel and heterogeneous architectures running real-time applications: The PHARAON FP7 project. Microprocess. Microsystems Héctor Posadas, Alejandro Nicolás, Pablo Peñil, Eugenio Villar, Florian Broekaert, Michel Bourdellès, Albert Cohen, Mihai T. Lazarescu, Luciano Lavagno, Andrei Sergeevich Terechko, Miguel Glassee, Manuel Prieto
2014	—	`conf`	Metastability in Better-Than-Worst-Case Designs. ASYNC Salomon Beer, Marco Cannizzaro, Jordi Cortadella, Ran Ginosar, Luciano Lavagno
2014	J	`jnl`	Online Authentication and Key Establishment Scheme for Heterogeneous Sensor Networks. Int. J. Distributed Sens. Networks Sarmad Ullah Khan, Luciano Lavagno, Claudio Pastrone, Maurizio A. Spirito
2013	B	`conf`	A key management scheme for Content Centric Networking. IM Sarmad Ullah Khan, Thibault Cholez, Thomas Engel, Luciano Lavagno
2013	—	`conf`	Design of a pseudo-log image transform IP in an HLS-based memory management framework. Real-Time Image and Video Processing Shahzad Ahmad Butt, Stéphane Mancini, Frédéric Rousseau, Luciano Lavagno
2013	—	`conf`	Design space exploration and synthesis for digital signal processing algorithms from Simulink models. IDT Shahzad Ahmad Butt, Luciano Lavagno
2013	C	`conf`	EU FP7-288307 Pharaon Project: Parallel and Heterogeneous Architecture for Real-Time Applications. DSD Hector Posadas, Eugenio Villar, Florian Broekaert, Michel Bourdellès, Albert Cohen, Antoniu Pop, Nhat Minh Lê, Adrien Guatto, Mihai T. Lazarescu, Luciano Lavagno, Andrei Sergeevich Terechko, Miguel Glassee, Daniel Calvo, Eduardo de las Heras
2013	J	`jnl`	HEAP: A Highly Efficient Adaptive multi-Processor framework. Microprocess. Microsystems Luciano Lavagno, Mihai T. Lazarescu, Ioannis Papaefstathiou, Andreas Brokalakis, Johan Walters, Bart Kienhuis, Florian Schäfer
2013	—	`conf`	Implementation and performance analysis of variable latency adders. SoCC Ali Sayyed, Luciano Lavagno, Shah Khalid, Najeeb Ur Rahman
2013	A	`conf`	Share with care: a quantitative evaluation of sharing approaches in high-level synthesis. DATE Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe
2012	—	`conf`	A Service-driven Development Tool for Wireless Sensor Network. PECCS Zhen Yu Song, Luciano Lavagno, Riccardo Tomasi, Maurizio A. Spirito
2012	Misc	`conf`	A routing-algorithm-aware design tool for indoor wireless sensor networks. ICNC Alberto Puggelli, Mohammad Mostafizur Rahman Mozumdar, Alberto L. Sangiovanni-Vincentelli, Luciano Lavagno
2012	—	`conf`	An Authentication and Key Establishment Scheme for the IP-Based Wireless Sensor Networks. ANT/MobiWIS Sarmad Ullah Khan, Claudio Pastrone, Luciano Lavagno, Maurizio A. Spirito
2012	Misc	`conf`	Designing parameterized signal processing ips for high level synthesis in a model based design environment. CODES+ISSS Shahzad Ahmad Butt, Luciano Lavagno
2012	C	`conf`	Dynamic Trace-Based Data Dependency Analysis for Parallelization of C Programs. SCAM Mihai T. Lazarescu, Luciano Lavagno
2012	A	`conf`	Exploiting area/delay tradeoffs in high-level synthesis. DATE Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe
2012	C	`conf`	FASTCUDA: Open Source FPGA Accelerator & Hardware-Software Codesign Toolset for CUDA Kernels. DSD Iakovos Mavroidis, Ioannis Mavroidis, Ioannis Papaefstathiou, Luciano Lavagno, Mihai T. Lazarescu, Eduardo de la Torre, Florian Schäfer
2012	C	`conf`	HEAP: A Highly Efficient Adaptive Multi-processor Framework. DSD Luciano Lavagno, Mihai T. Lazarescu, Ioannis Papaefstathiou, Andreas Brokalakis, Johan Walters, Bart Kienhuis, Florian Schäfer
2012	—	`conf`	PID (Partial Inversion Data): An M-of-N Level-Encoded Transition Signaling Protocol for Asynchronous Global Communication. ASYNC Marco Cannizzaro, Luciano Lavagno
2012	J	`jnl`	Selected Articles from the CDNLive! EMEA 2012 Conference. J. Low Power Electron. Luciano Lavagno, Patrick Haspel
2011	C	`conf`	An Energy and Memory-Efficient Key Management Scheme for Mobile Heterogeneous Sensor Networks. CRiSIS Sarmad Ullah Khan, Claudio Pastrone, Luciano Lavagno, Maurizio A. Spirito
2011	—	`conf`	An extended framework for WSN applications. CCNC Luigi Pomante, Antonio Spinosi, Mohammad Mostafizur Rahman Mozumdar, Stefano Olivieri, Luciano Lavagno
2011	J	`jnl`	Guest Editors' Introduction: Asynchronous Design Is Here to Stay (and Is More Mainstream Than You Thought). IEEE Des. Test Comput. Luciano Lavagno, Montek Singh
2011	—	`conf`	Model-based rapid prototyping of multirate digital signal processing algorithms. NORCHIP Shahzad Ahmad Butt, Luciano Lavagno
2011	—	`conf`	Optimal and Heuristic Scheduling Algorithms for Asynchronous High-Level Synthesis. ASYNC Nikolaos Andrikos, Luciano Lavagno
2011	A	`conf`	Realistic performance-constrained pipelining in high-level synthesis. DATE Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe
2010	—	`conf`	An extended framework for the development of WSN applications. ICUMT Luigi Pomante, Antonio Spinosi, Mohammad Mostafizur Rahman Mozumdar, Stefano Olivieri, Luciano Lavagno
2010	—	`conf`	Energy and throughput optimization of a Zigbee-compatible MAC protocol for wireless sensor networks. CSNDSP Anwar Al-Khateeb, Luciano Lavagno
2010	C	`conf`	Energy optimization at the MAC layer for a forest fire monitoring wireless sensor network. ETFA Anwar Al-Khateeb, Jun Kyoung Kim, Luciano Lavagno, Mihai T. Lazarescu
2010	—	`conf`	Energy optimization framework for WSN design. IPSN Anwar Al-Khateeb, Luciano Lavagno
2010	—	`conf`	HILAC: A framework for Hardware In the Loop simulation and multi-platform Automatic Code Generation of WSN Applications. SIES Mohammad Mostafizur Rahman Mozumdar, Luciano Lavagno, Laura Vanzago, Alberto L. Sangiovanni-Vincentelli
2010	—	`conf`	Hy-Sim: model based hybrid simulation framework for WSN application development. SimuTools Zhen Yu Song, Mohammad Mostafizur Rahman Mozumdar, Maurizio Tranchero, Luciano Lavagno, Riccardo Tomasi, Stefano Olivieri
2010	J	`jnl`	Improving Electro-Magnetic Interference of Embedded Systems Through Jittered-Delay Desynchronization. J. Low Power Electron. Nikolaos Andrikos, Luciano Lavagno, Fabio Campi, Davide Pandini
2010	—	`conf`	Incremental high-level synthesis. ASP-DAC Luciano Lavagno, Alex Kondratyev, Yosinori Watanabe, Qiang Zhu, Mototsugu Fujii, Mitsuru Tatesawa, Noriyasu Nakayama
2010	B	`conf`	MEOW: Model-based design of an energy-optimized protocol stack for wireless sensor networks. LCN Anwar Al-Khateeb, Luciano Lavagno
2010	J	`jnl`	Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques. ACM Trans. Design Autom. Electr. Syst. Gianpiero Cabodi, Luciano Lavagno, Marco Murciano, Alex Kondratyev, Yosinori Watanabe
2009	J	`jnl`	A comparison of software platforms for wireless sensor networks: MANTIS, TinyOS, and ZigBee. ACM Trans. Embed. Comput. Syst. Mohammad Mostafizur Rahman Mozumdar, Luciano Lavagno, Laura Vanzago
2009	J	`jnl`	An Efficient Data Aggregation Algorithm for Cluster-based Sensor Network. J. Networks Mohammad Mostafizur Rahman Mozumdar, Guofang Nan, Francesco Gregoretti, Luciano Lavagno, Laura Vanzago
2009	—	`ch.`	Design of Embedded Systems. Embedded Systems Design and Verification Luciano Lavagno, Claudio Passerone
2009	—	`conf`	Efficient energy consumption and node distribution algorithm of 802.15.4 physical layer for WSN. Wireless Days Anwar Al-Khateeb, Noureddine Boujnah, Luciano Lavagno
2009	A*	`conf`	Enabling adaptability through elastic clocks. DAC Emre Tuncer, Jordi Cortadella, Luciano Lavagno
2008	B	`conf`	A Framework for Modeling, Simulation and Automatic Code Generation of Sensor Network Application. SECON Mohammad Mostafizur Rahman Mozumdar, Francesco Gregoretti, Luciano Lavagno, Laura Vanzago, Stefano Olivieri
2008	B	`conf`	A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. Petri Nets Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
2008	—	`conf`	An Algorithm for Selecting the Cluster Leader in a Partially Connected Sensor Network. ICSNC Mohammad Mostafizur Rahman Mozumdar, Francesco Gregoretti, Luciano Lavagno, Laura Vanzago
2008	C	`conf`	Porting application between wireless sensor network software platforms: TinyOS, MANTIS and ZigBee. ETFA Mohammad Mostafizur Rahman Mozumdar, Francesco Gregoretti, Luciano Lavagno, Laura Vanzago
2007	A*	`conf`	A Fully-Automated Desynchronization Flow for Synchronous Circuits. DAC Nikolaos Andrikos, Luciano Lavagno, Davide Pandini, Christos P. Sotiriou
2007	J	`jnl`	Design Automation of Real-Life Asynchronous Devices and Systems. Found. Trends Electron. Des. Autom. Alexander Taubin, Jordi Cortadella, Luciano Lavagno, Alex Kondratyev, Ad M. G. Peeters
2007	B	`conf`	E2RINA: an Energy Efficient and Reliable In-Network Aggregation for Clustered Wireless Sensor Networks. WCNC Luca Necchi, Alvise Bonivento, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Laura Vanzago
2006	—	`conf`	An ultra-low energy asynchronous processor for Wireless Sensor Networks. ASYNC Luca Necchi, Luciano Lavagno, Davide Pandini, Laura Vanzago
2006	J	`jnl`	Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou
2005	J	`jnl`	A BMC-based formulation for the scheduling problem of hardware systems. Int. J. Softw. Tools Technol. Transf. Gianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe
2005	A	`conf`	A Time Slice Based Scheduler Model for System Level Design. DATE Luciano Lavagno, Claudio Passerone, Vishal Shah, Yosinori Watanabe
2005	—	`ch.`	Design of Embedded Systems. The Industrial Information Technology Handbook Luciano Lavagno, Claudio Passerone
2005	—	`ch.`	Design of Embedded Systems. Embedded Systems Handbook Luciano Lavagno, Claudio Passerone
2005	—	`ch.`	Embedded Systems. Embedded Systems Handbook Luciano Lavagno, Richard Zurawski
2005	J	`jnl`	Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. 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
2005	J	`jnl`	Implementation of a UMTS turbo decoder on a dynamically reconfigurable platform. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Alberto La Rosa, Luciano Lavagno, Claudio Passerone
2005	—	`ch.`	Quasi-Static Scheduling of Concurrent Specifications. Embedded Systems Handbook Luciano Lavagno, Claudio Passerone, Alex Kondratyev, Yosinori Watanabe
2005	J	`jnl`	Quasi-static scheduling of independent tasks for reactive systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe
2005	J	`jnl`	Software Development for High-Performance, Reconfigurable, Embedded Multimedia Systems. IEEE Des. Test Comput. Alberto La Rosa, Luciano Lavagno, Claudio Passerone
2004	C	`conf`	Coping with The Variability of Combinational Logic Delays. ICCD Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou
2004	J	`jnl`	DAC Highlights. IEEE Des. Test Comput. Luciano Lavagno
2004	J	`jnl`	Designing an asynchronous microcontroller using Pipefitter. IEEE Trans. Very Large Scale Integr. Syst. Ivan Blunno, Luciano Lavagno
2004	A	`conf`	From Synchronous to Asynchronous: An Automatic Approach. DATE Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou
2004	—	`conf`	Handshake Protocols for De-Synchronization. ASYNC Ivan Blunno, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou
2004	A	`conf`	Implementation of a UMTS Turbo-Decoder on a Dynamically Reconfigurable Platform. DATE Alberto La Rosa, Claudio Passerone, Francesco Gregoretti, Luciano Lavagno
2004	Misc	`ed.`	Proceedings of the 2004 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2004, Washington DC, USA, September 22 - 25, 2004 CASES Mary Jane Irwin, Wei Zhao, Luciano Lavagno, Scott A. Mahlke
2004	J	`jnl`	Quasi-static Scheduling for Concurrent Architectures. Fundam. Informaticae Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Yosinori Watanabe
2004	—	`conf`	SoftContract: Model-Based Design of Error-Checking Code and Property Monitors. UML Satellite Activities Luciano Lavagno, Marco Di Natale, Alberto Ferrari, Paolo Giusto
2004	A	`conf`	SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract. DATE Jean-Yves Brunel, Marco Di Natale, Alberto Ferrari, Paolo Giusto, Luciano Lavagno
2003	—	`conf`	A BMC-formulation for the scheduling problem in highly constrained hardware Systems. BMC@CAV Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe
2003	A	`conf`	A Reconfigurable Processor Architecture and Software Development Environment for Embedded Systems. IPDPS Fabio Campi, Andrea Cappelli, Roberto Guerrieri, Andrea Lodi, Mario Toma, Alberto La Rosa, Luciano Lavagno, Claudio Passerone, Roberto Canegallo
2003	J	`jnl`	DAC Highlights. IEEE Des. Test Comput. Luciano Lavagno, Limor Fix
2003	A	`conf`	Design Space Exploration for a Wireless Protocol on a Reconfigurable Platform. DATE Laura Vanzago, Bishnupriya Bhattacharya, Joel Cambonie, Luciano Lavagno
2003	J	`jnl`	Guest Editorial. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. David T. Blaauw, Luciano Lavagno
2003	J	`jnl`	Guest Editors' Introduction: Trends and Directions in Microelectronics. IEEE Micro Alberto L. Sangiovanni-Vincentelli, Luciano Lavagno
2003	A	`conf`	Hardware/Software Design Space Exploration for a Reconfigurable Processor. DATE Alberto La Rosa, Luciano Lavagno, Claudio Passerone
2003	J	`jnl`	Metropolis: An Integrated Electronic System Design Environment. Computer Felice Balarin, Yosinori Watanabe, Harry Hsieh, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli
2003	—	`conf`	Quasi-Static Scheduling for Concurrent Architectures. ACSD Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe
2003	—	`ch.`	UML and Platform-based Design. UML for Real Rong Chen, Marco Sgroi, Luciano Lavagno, Grant Martin, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey
2003	—	`book`	UML for Real - Design of Embedded Real-Time Systems UML for Real Luciano Lavagno, Grant Martin, Bran Selic
2002	—	`conf`	A Symbolic Approach for the Combined Solution of Scheduling and Allocation. ISSS Luciano Lavagno, Mihai T. Lazarescu, Stefano Quer, Sergio Nocco, Claudio Passerone, Gianpiero Cabodi
2002	C	`conf`	Automotive Virtual Integration Platforms: Why's, What's, and How's. ICCD Paolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
2002	—	`conf`	Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model. CODES Felice Balarin, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Guang Yang
2002	J	`jnl`	Cosimulation-based power estimation for system-on-chip design. IEEE Trans. Very Large Scale Integr. Syst. Marcello Lajolo, Anand Raghunathan, Sujit Dey, Luciano Lavagno
2002	J	`jnl`	Design of Asynchronous Controllers with Delay Insensitive Interface. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Hiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alex Yakovlev, Takashi Nanya
2002	C	`conf`	Designing an Asynchronous Microcontroller Using Pipefitter. ICCD Ivan Blunno, Luciano Lavagno
2002	A	`conf`	False Path Elimination in Quasi-Static Scheduling. DATE G. Arrigoni, L. Duchini, Claudio Passerone, Luciano Lavagno, Yosinori Watanabe
2002	J	`jnl`	Guest Editor?s Introduction: Systems on a Chip--The Next Electronic Frontier. IEEE Micro Luciano Lavagno
2002	J	`jnl`	Guest Editors' Introduction: Hot Topics at This Year's Design Automation Conference. IEEE Des. Test Comput. David T. Blaauw, Luciano Lavagno
2002	J	`jnl`	Lazy transition systems and asynchronous circuit synthesis withrelative timing assumptions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Alex Kondratyev, Luciano Lavagno, Ken S. Stevens, Alexander Taubin, Alexandre Yakovlev
2002	—	`conf`	Modeling and Designing Heterogeneous Systems. Concurrency and Hardware Design Felice Balarin, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Yosinori Watanabe
2002	C	`conf`	Models of IP's for Automotive Virtual Integration Platforms. ICCD Paolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Barry O'Rourke, Alberto L. Sangiovanni-Vincentelli, Emanuele Guasto
2002	Misc	`conf`	Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis. EMSOFT Felice Balarin, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe
2002	—	`conf`	Quasi-Static Scheduling of Independent Tasksfor Reactive Systems. ICATPN Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe
2002	—	`conf`	Specification, Modeling and Design Tools for System-on-Chip (Tutorial Abstract). ASP-DAC/VLSI Design Luciano Lavagno, Sujit Dey, Rajesh K. Gupta
2001	A*	`conf`	A Hardware/Software Co-design Flow and IP Library Based of Simulink DAC Leonardo Maria Reyneri, Franceso Cucinotta, Alessandro Serra, Luciano Lavagno
2001	Misc	`conf`	A software development tool chain for a reconfigurable processor. CASES Alberto La Rosa, Luciano Lavagno, Claudio Passerone
2001	—	`conf`	Constraints specification at higher levels of abstraction. HLDVT Felice Balarin, Jerry R. Burch, Luciano Lavagno, Yosinori Watanabe, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2001	—	`conf`	Embedded UML: a merger of real-time UML and co-design. CODES Grant Martin, Luciano Lavagno, Jean Louis-Guerin
2001	—	`conf`	Embedded system design specification: merging reactive control and data computation. CDC Marco Antoniotti, Alberto Ferrari, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich
2001	A	`conf`	Generation of minimal size code for scheduling graphs. DATE Claudio Passerone, Yosinori Watanabe, Luciano Lavagno
2001	—	`conf`	High-level architectural co-simulation using Esterel and C. CODES André Chátelain, Yves Mathys, Giovanni Placido, Alberto La Rosa, Luciano Lavagno
2001	J	`jnl`	Synchronous approach to the functional equivalence of embeddedsystem implementations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Harry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
2001	A	`conf`	System-Level Power/Performance Analysis of Portable Multimedia Systems Communicating over Wireless Channels. ICCAD Radu Marculescu, Amit Nandi, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
2000	—	`conf`	A Simulink(c)-Based Approach to System Level Design and Architecture Selection. EUROMICRO Luciano Lavagno, Begoña Pino, Leonardo Maria Reyneri, A. Serra
2000	—	`conf`	Automated Synthesis of Micro-Pipelines from Behavioral Verilog HDL. ASYNC Ivan Blunno, Luciano Lavagno
2000	—	`conf`	Automatic test bench generation for simulation-based validation. CODES Marcello Lajolo, Luciano Lavagno, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante
2000	—	`conf`	Behavioral-level test vector generation for system-on-chip designs. HLDVT Marcello Lajolo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Luciano Lavagno
2000	—	`conf`	Compilation-based software performance estimation for system level design. HLDVT Mihai T. Lazarescu, Jwahar R. Bammi, Edwin A. Harcourt, Luciano Lavagno, Marcello Lajolo
2000	—	`conf`	Early Power Estimation for System-on-Chip Designs. PATMOS Marcello Lajolo, Luciano Lavagno, Matteo Sonza Reorda, Massimo Violante
2000	A	`conf`	Efficient Power Co-Estimation Techniques for System-on-Chip Design. DATE Marcello Lajolo, Anand Raghunathan, Sujit Dey, Luciano Lavagno
2000	A*	`conf`	Efficient methods for embedded system design space exploration. DAC Harry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
2000	A	`conf`	Evaluating System Dependability in a Co-Design Framework. DATE Marcello Lajolo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Luciano Lavagno
2000	B	`conf`	Formal Models for Communication-Based Design. CONCUR Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Luciano Lavagno
2000	J	`jnl`	Formal Models for Embedded System Design. IEEE Des. Test Comput. Marco Sgroi, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
2000	A	`conf`	Free MDD-Based Software Optimization Techniques for Embedded Systems. DATE Chunghee Kim, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
2000	—	`conf`	Hardware and Petri Nets: Application to Asynchronous Circuit Design. ICATPN Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
2000	J	`jnl`	Simulink-Based HW/SW Codesign of Embedded Neuro-Fuzzy Systems. Int. J. Neural Syst. Leonardo Maria Reyneri, Marcello Chiaberge, Luciano Lavagno, Begoña Pino, Eduardo Miranda
2000	—	`conf`	Software performance estimation strategies in a system-level design tool. CODES Jwahar R. Bammi, Wido Kruijtzer, Luciano Lavagno, Edwin A. Harcourt, Mihai T. Lazarescu
2000	—	`conf`	System-level test bench generation in a co-design framework. ETW Marcello Lajolo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Luciano Lavagno
2000	A*	`conf`	Task generation and compile-time scheduling for mixed data-control embedded software. DAC Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Marc Massot, Sandra Moral, Claudio Passerone, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli
2000	J	`jnl`	Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks. Formal Methods Syst. Des. Stefano Quer, Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Ellen Sentovich, Robert K. Brayton
1999	—	`conf`	Analysis of the quantization noise effects on the SQNR behaviour in analog to digital conversion. ISCAS (2) Alberto L. Sangiovanni-Vincentelli, Marco Re, Luciano Lavagno, Gian Carlo Cardarilli, Roberto Lojacono
1999	A*	`conf`	Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. DAC Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev
1999	—	`conf`	Behavioral Transformations to Increase Noise Immunity in Asynchronous Specifications. ASYNC Alexander Taubin, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno
1999	Misc	`conf`	CAD Techniques for Embedded System Design. VLSI Design Srinivas Devadas, Sharad Malik, José Monteiro, Luciano Lavagno
1999	J	`jnl`	Decomposition and technology mapping of speed-independent circuits using Boolean relations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev
1999	A*	`conf`	ECL: A Specification Environment for System-Level Design. DAC Luciano Lavagno, Ellen Sentovich
1999	A	`conf`	Fast Hardware-Software Co-simulation Using VHDL Models. DATE Bassam Tabbara, Marco Sgroi, Alberto L. Sangiovanni-Vincentelli, Enrica Filippi, Luciano Lavagno
1999	—	`conf`	Fast Instruction Cache Simulation Strategies in a Hardware/Software Co-Design Environment. ASP-DAC Marcello Lajolo, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1999	J	`jnl`	Logic decomposition of speed-independent circuits. Proc. IEEE Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev
1999	—	`ed.`	Proceedings of the Seventh International Workshop on Hardware/Software Codesign, CODES 1999, Rome, Italy, 1999 CODES Ahmed Amine Jerraya, Luciano Lavagno, Frank Vahid
1999	—	`conf`	Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets. ICATPN Marco Sgroi, Luciano Lavagno, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli
1999	A*	`conf`	Synthesis of Embedded Software Using Free-Choice Petri Nets. DAC Marco Sgroi, Luciano Lavagno
1999	J	`jnl`	Synthesis of software programs for embedded control applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki
1999	A	`conf`	What is the cost of delay insensitivity? ICCAD Hiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev
1998	A*	`conf`	A Case Study in Embedded System Design: An Engine Control Unit. DAC Tullio Cuatto, Claudio Passerone, Luciano Lavagno, Attila Jurecska, Antonino Damiano, Claudio Sansoè, Alberto L. Sangiovanni-Vincentelli
1998	—	`conf`	A case study on modeling shared memory access effects during performance analysis of HW/SW systems. CODES Marcello Lajolo, Anand Raghunathan, Sujit Dey, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1998	J	`jnl`	Deriving Petri Nets for Finite Transition Systems. IEEE Trans. Computers Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev
1998	A*	`conf`	Don't Care-Based BDD Minimization for Embedded Software. DAC Youpyo Hong, Peter A. Beerel, Luciano Lavagno, Ellen Sentovich
1998	—	`conf`	Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings. ACSD Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev
1998	—	`conf`	Intellectual Property Re-use in Embedded System Co-design: An Industrial Case Study. ISSS Enrica Filippi, Luciano Lavagno, L. Licciardi, Archille Montanaro, Maurizio Paolini, Roberto Passerone, Marco Sgroi, Alberto L. Sangiovanni-Vincentelli
1998	A	`conf`	Interface synthesis: a vertical slice from digital logic to software components. ICCAD Gaetano Borriello, Luciano Lavagno, Ross B. Ortega
1998	A	`conf`	Lazy transition systems: application to timing optimization of asynchronous circuits. ICCAD Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev
1998	J	`jnl`	Modeling reactive systems in Java. ACM Trans. Design Autom. Electr. Syst. Claudio Passerone, Claudio Sansoè, Luciano Lavagno, Patrick C. McGeer, Jonathan Martin, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
1998	J	`jnl`	Partial-scan delay fault testing of asynchronous circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin
1998	—	`ed.`	Proceedings of the Sixth International Workshop on Hardware/Software Codesign, CODES 1998, Seattle, Washington, USA, March 15-18, 1998 CODES Gaetano Borriello, Ahmed Amine Jerraya, Luciano Lavagno
1998	J	`jnl`	Rapid-Prototyping of Embedded Systems via Reprogrammable Devices. Des. Autom. Embed. Syst. Stefano Cardelli, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Claudio Sansoè, Alberto L. Sangiovanni-Vincentelli
1998	J	`jnl`	Scheduling for Embedded Real-Time Systems. IEEE Des. Test Comput. Felice Balarin, Luciano Lavagno, Praveen K. Murthy, Alberto L. Sangiovanni-Vincentelli
1998	—	`conf`	System-Level Design Models and Implementation Techniques. ACSD Luciano Lavagno
1998	J	`jnl`	The Use of Petri Nets for the Design and Verification of Asynchronous Circuits and Systems. J. Circuits Syst. Comput. Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Jordi Cortadella, Luciano Lavagno
1997	J	`jnl`	A region-based theory for state assignment in speed-independent circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
1997	Misc	`conf`	Asynchronous Implementation of Synchronous Esterel Specifications. VLSI Design Raj S. Mitra, Bishnupriya Bhattacharya, Luciano Lavagno
1997	—	`conf`	Automatic Generation of a Real-Time Operating System for Embedded Systems. CODES Felice Balarin, Massimiliano Chiodo, Attila Jurecska, Luciano Lavagno, Bassam Tabbara, Alberto L. Sangiovanni-Vincentelli
1997	—	`conf`	Coupling Asynchrony and Interrupts: Place Chart Nets. ICATPN Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev
1997	J	`jnl`	DAC 97 Panel: Next-Generation HDLs. IEEE Des. Test Comput. Luciano Lavagno, Nanette Collins
1997	A	`conf`	Decomposition and technology mapping of speed-independent circuits using Boolean relations. ICCAD Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev
1997	J	`jnl`	Design of embedded systems: formal models, validation, and synthesis. Proc. IEEE Stephen A. Edwards, Luciano Lavagno, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
1997	A*	`conf`	Disjunctive Partitioning and Partial Iterative Squaring: An Effective Approach for Symbolic Traversal of Large Circuits. DAC Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer
1997	A*	`conf`	Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis. DAC Claudio Passerone, Luciano Lavagno, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli
1997	—	`conf`	Partial order based approach to synthesis of speed-independent circuits. ASYNC Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella, Luciano Lavagno
1997	A	`conf`	Partial scan delay fault testing of asynchronous circuits. ICCAD Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin
1997	—	`conf`	Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis. ASYNC Alex Kondratyev, Michael Kishinevsky, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev
1997	—	`conf`	Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis. ED&TC Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
1997	—	`conf`	Trade-off evaluation in embedded system design via co-simulation. ASP-DAC Claudio Passerone, Luciano Lavagno, Claudio Sansoè, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli
1997	—	`conf`	Verification and synthesis of counters based on symbolic techniques. ED&TC Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer
1996	J	`jnl`	A Unified Signal Transition Graph Model for Asynchronous Control Circuit Synthesis. Formal Methods Syst. Des. Alexandre Yakovlev, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1996	J	`jnl`	A case study in computer-aided co-design of embedded controllers. Des. Autom. Embed. Syst. Massimiliano Chiodo, Daniel W. Engels, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli
1996	A	`conf`	Compact and complete test set generation for multiple stuck-faults. ICCAD Alok Agrawal, Alexander Saldanha, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1996	—	`conf`	Complete state encoding based on the theory of regions. ASYNC Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alex Yakovlev
1996	C	`conf`	Design and Implementation of the Control Structure of the PAPRICA-3 Processor. PDP Francesco Gregoretti, F. Intini, Luciano Lavagno, Roberto Passerone, Leonardo Maria Reyneri
1996	C	`conf`	Enhancing FSM Traversal by Temporary Re-Encoding. ICCD Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich
1996	A*	`conf`	Formal Verification of Embedded Systems based on CFSM Networks. DAC Felice Balarin, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1996	—	`conf`	Incremental re-encoding for symbolic traversal of product machines. EURO-DAC Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer, Robert K. Brayton, Ellen Sentovich
1996	A*	`conf`	Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis. DAC Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
1996	J	`jnl`	On the Models for Asynchronous Circuit Behaviour with OR Causality. Formal Methods Syst. Des. Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Marta Pietkiewicz-Koutny
1996	C	`conf`	Rapid-Prototyping of Embedded Systems via Reprogrammable Devices. RSP Stefano Cardelli, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1995	J	`jnl`	An efficient heuristic procedure for solving the state assignment problem for event-based specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Luciano Lavagno, Cho W. Moon, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1995	J	`jnl`	High-Level Modeling and Design of Asynchronous Interface Logic. IEEE Des. Test Comput. Alexandre Yakovlev, Albert Koelmans, Luciano Lavagno
1995	J	`jnl`	Synthesis for testability techniques for asynchronous circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Kurt Keutzer, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1995	A*	`conf`	Synthesis of Software Programs for Embedded Control Applications. DAC Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Harry Hsieh, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich
1995	J	`jnl`	Synthesis of hazard-free asynchronous circuits with bounded wire delays. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Luciano Lavagno, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli
1995	A	`conf`	Synthesizing Petri nets from state-based models. ICCAD Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev
1995	A*	`conf`	Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool. DAC Luciano Lavagno, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli
1994	—	`conf`	A case study in computer-aided codesign of embedded controllers. CODES Luciano Lavagno, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Harry Hsieh, S. Yee, Alberto L. Sangiovanni-Vincentelli, Kei Suzuki
1994	J	`jnl`	A low latency asynchronous arbitration circuit. IEEE Trans. Very Large Scale Integr. Syst. Alexandre Yakovlev, A. Petrov, Luciano Lavagno
1994	—	`conf`	Designing asynchronous circuits from behavioural specifications with internal conflicts. ASYNC Jordi Cortadella, Luciano Lavagno, Peter Vanbekbergen, Alex Yakovlev
1994	J	`jnl`	Hardware-software codesign of embedded systems. IEEE Micro Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Luciano Lavagno
1994	J	`jnl`	Linear programming for hazard elimination in asynchronous circuits. J. VLSI Signal Process. Luciano Lavagno, Narendra V. Shenoy, Alberto L. Sangiovanni-Vincentelli
1994	—	`conf`	OR Causality: Modelling and Hardware Implementation. Application and Theory of Petri Nets Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno
1994	—	`conf`	PAPRICA-3: A Real-Time Morhphological Image Processor. ICIP (3) Alberto Broggi, Gianni Conte, G. Burzio, Luciano Lavagno, Francesco Gregoretti, Claudio Sansoè, Leonardo Maria Reyneri
1994	—	`conf`	Testing redundant asynchronous circuits by variable phase splitting. EURO-DAC Luciano Lavagno, Antonio Lioy, Michael Kishinevsky
1993	—	`conf`	Automated Synthesis of Asynchronous Interface Circuits. Asynchronous Design Methodologies Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1993	J	`jnl`	Automated synthesis of asynchronous interface circuits. Microprocess. Microsystems Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1992	A	`conf`	A unified signal transition graph model for asynchronous control circuit synthesis. ICCAD Alexandre Yakovlev, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1992	C	`conf`	Linear Programming for Optimum Hazard Elimination in Asynchronous Circuits. ICCD Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1992	A*	`conf`	Solving the State Assignment Problem for Signal Transition Graphs. DAC Luciano Lavagno, Cho W. Moon, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1992	J	`jnl`	Symbolic minimization of multilevel logic and the input encoding problem. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sharad Malik, Luciano Lavagno, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1991	A*	`conf`	Algorithms for Synthesis of Hazard-Free Asynchronous Circuits. DAC Luciano Lavagno, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli
1991	A	`conf`	Synthesis for Testability Techniques for Asynchronous Circuits. ICCAD Kurt Keutzer, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1990	A	`conf`	MIS-MV: Optimization of Multi-Level Logic with Multiple-Valued Inputs. ICCAD Luciano Lavagno, Sharad Malik, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli