| 2025 | ICML | Simple Path Structural Encoding for Graph Transformers. | Louis Airale, Antonio Longa, Mattia Rigon, Andrea Passerini, Roberto Passerone |
| 2024 | WFCS | Toward Simulation-Assisted Architecture Design Space Exploration of Indoor Robotics Networks. | Cristian Bianchi, Ayub Shah, Chiara Marangoni, Roberto Passerone |
| 2023 | ETS | Secrets Leaking Through Quicksand: Covert Channels in Approximate Computing. | Lorenzo Masciullo, Roberto Passerone, Francesco Regazzoni, Ilia Polian |
| 2021 | COMPSAC | Robot Motion Planning: can GPUs be a Game Changer? | Enrico Saccon, Paolo Bevilacqua, Daniele Fontanelli, Marco Frego, Luigi Palopoli, Roberto Passerone |
| 2018 | DAC | Optimized selection of wireless network topologies and components via efficient pruning of feasible paths. | Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
| 2017 | DAC | ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures. | Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
| 2017 | IPIN | A nearly optimal landmark deployment for indoor localisation with limited sensing. | Valerio Magnago, Luigi Palopoli, Roberto Passerone, Daniele Fontanelli, David Macii |
| 2016 | ETFA | Statistical characterization of the 2.4 GHz radio channel for WSN in indoor office environments. | Dmitrii Kirov, Roberto Passerone, Massimo Donelli |
| 2016 | WFCS | Routing behavior across WSN simulators: The AODV case study. | Ivan Minakov, Roberto Passerone, Alessandra Rizzardi, Sabrina Sicari |
| 2014 | DSD | Design of a Redundant FPGA-Based Safety System for Railroad Vehicles. | David Macii, Manuel Avancini, Luigi Benciolini, Stefano Dalpez, Michele Corr, Roberto Passerone |
| 2014 | ETFA | BCL: A compositional contract language for embedded systems. | Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis |
| 2014 | MEMOCODE | Refinement-based synthesis of correct contract model decompositions. | Thi Thieu Hoa Le, Roberto Passerone |
| 2013 | SENSYS | Wireless sensor networks for environmental monitoring powered by microprocessors heat dissipation. | Luca Rizzon, Maurizio Rossi, Roberto Passerone, Davide Brunelli |
| 2012 | ETFA | Design of an innovative proximity detection embedded-system for safety application in industrial machinery. | Stefano Dalpez, Alessandro Vaccari, Roberto Passerone, Alberto Penasa |
| 2012 | EWSN | Energy-Aware Gas Sensing Using Wireless Sensor Networks. | Andrey Somov, Alexander Baranov, Alexey Savkin, Mikhail Ivanov, Lucia Calliari, Roberto Passerone, Evgeny F. Karpov, Alexey Suchkov |
| 2012 | EWSN | Towards Extending Sensor Node Lifetime with Printed Supercapacitors. | Andrey Somov, Christine Ho, Roberto Passerone, James W. Evans, Paul K. Wright |
| 2012 | ICCD | Integration of correct-by-construction BIP models into the MetroII design space exploration flow. | Alena Simalatsar, Liangpeng Guo, Marius Bozga, Roberto Passerone |
| 2012 | ISLPED | A 33μW 42 GOPS/W 64x64 pixel vision sensor with dynamic background subtraction for scene interpretation. | Nicola Cottini, Massimo Gottardi, Nicola Massari, Roberto Passerone, Zeev Smilansky |
| 2011 | AINA | Power Adaptive Cognitive Pilot Channel for Spectrum Co-existence in Wireless Networks. | Md. Akbar Hossain, Roberto Passerone |
| 2011 | CASES | Enabling parametric feasibility analysis in real-time calculus driven performance evaluation. | Alena Simalatsar, Yusi Ramadian, Kai Lampka, Simon Perathoner, Roberto Passerone, Lothar Thiele |
| 2010 | ETFA | Parametric analysis of distributed firm real-time systems: A case study. | Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian, Alessandro Cimatti |
| 2010 | ISORC | An Industrial Case Study Using an MBE Approach: From Architecture to Safety Analysis. | Stefano Dalpez, Roberto Passerone, Daniela Cancila, Franois Terrier |
| 2009 | DATE | UMTS MPSoC design evaluation using a system level design framework. | Douglas Densmore, Alena Simalatsar, Abhijit Davare, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
| 2009 | EMSOFT | Modal interfaces: unifying interface automata and modal specifications. | Jean-Baptiste Raclet, ric Badouel, Albert Benveniste, Benot Caillaud, Axel Legay, Roberto Passerone |
| 2009 | ETFA | A Methodology for Power Consumption Evaluation of Wireless Sensor Networks. | Andrey Somov, Ivan Minakov, Alena Simalatsar, Giorgio Fontana, Roberto Passerone |
| 2009 | EWSN | Solving the Wake-Up Scattering Problem Optimally. | Luigi Palopoli, Roberto Passerone, Amy L. Murphy, Gian Pietro Picco, Alessandro Giusti |
| 2008 | ETFA | Functional and structural properties in the Model-Driven Engineering approach. | Daniela Cancila, Roberto Passerone |
| 2008 | ETFA | FZepel: RF-level power consumption measurement (RF-PM) for Zigbee wireless sensor network-towards cross layer optimization. | Md. Rezaul Hoque Khan, Roberto Passerone, David Macii |
| 2008 | FDL | A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). | Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis |
| 2006 | DATE | Functional verification methodology based on formal interface specification and transactor generation. | Felice Balarin, Roberto Passerone |
| 2005 | MEMOCODE | A formal approach to system level design: metamodels and unified design environments. | Felice Balarin, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli |
| 2004 | EMSOFT | Conservative approximations for heterogeneous design. | Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli |
| 2002 | ICCAD | Convertibility verification and converter synthesis: two faces of the same coin. | Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli |
| 2001 | EMSOFT | Using Multiple Levels of Abstractions in Embedded Software Design. | Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
| 1998 | DAC | Automatic Synthesis of Interfaces Between Incompatible Protocols. | Roberto Passerone, James A. Rowson, Alberto L. Sangiovanni-Vincentelli |
| 1996 | PDP | Design and Implementation of the Control Structure of the PAPRICA-3 Processor. | Francesco Gregoretti, F. Intini, Luciano Lavagno, Roberto Passerone, Leonardo Maria Reyneri |