Roberto Passerone

144 papers A* 4A 4B 7C 16Misc 5Journal 53Unranked 53
YearRankTypeTitle / Venue / Authors
2026 J jnl
Robust Vision Systems for Connected and Autonomous Vehicles: Security Challenges and Attack Vectors.
CoRR
Sandeep Gupta, Roberto Passerone
2025 — conf
A 256×256 SPAD Imager Architecture with Multi-Functional Pixel and High Temporal Aperture for Quantum Imaging Applications.
ICICDT
Thomas Corradino, Enrico Manuzzato, Alessandro Tontini, Andrea Bonzi, Luca Parmesan, Roberto Passerone, Leonardo Gasparini
2025 — conf
A Digital Imager Architecture with On-Chip Compression for High-Speed Imaging Applications.
ICICDT
Enrico Manuzzato, Roberto Passerone, Leonardo Gasparini
2025 — conf
A Hardware-Friendly Data Compression Algorithm for SPAD-Based d-ToF Systems.
ICICDT
Sohaib Iftikhar Abbasi, Alessandro Tontini, Roberto Passerone, Leonardo Gasparini
2025 J jnl
An Investigation of Visual Foundation Models Robustness.
CoRR
Sandeep Gupta, Roberto Passerone
2025 J jnl
An investigation of visual foundation models robustness.
Mach. Learn.
Sandeep Gupta, Roberto Passerone
2025 — conf
Architecture, Simulation and Software Stack to Support Post-CMOS Accelerators: The ARCHYTAS Project.
ISVLSI
Giovanni Agosta, Stefano Cherubin, Derek Christ, Francesco Conti, Asbjørn Djupdal, Matthias Jung, Georgios Keramidas, Roberto Passerone, Paolo Rech, Elisa Ricci, Philippe Velha, Flavio Vella, Kasim Sinan Yildirim, Nils Wilbert
2025 J jnl
Architecture, Simulation and Software Stack to Support Post-CMOS Accelerators: The ARCHYTAS Project.
CoRR
Giovanni Agosta, Stefano Cherubin, Derek Christ, Francesco Conti, Asbjørn Djupdal, Matthias Jung, Georgios Keramidas, Roberto Passerone, Paolo Rech, Elisa Ricci, Philippe Velha, Flavio Vella, Kasim Sinan Yildirim, Nils Wilbert
2025 — conf
Real-time Appearance-based Gaze Estimation via Web-Camera.
I2MTC
Nikita Ligostaev, Nicola Conci, Roberto Passerone, Andrey Somov
2025 — conf
Recognition of Three Fine-Grades of Ancient Roman Coins Through Transfer Learning.
I2MTC
Melaku N. Getahun, Mohammed Hammoud, Roberto Passerone, Andrey Somov
2025 A* conf
Simple Path Structural Encoding for Graph Transformers.
ICML
Louis Airale, Antonio Longa, Mattia Rigon, Andrea Passerini, Roberto Passerone
2025 J jnl
Simple Path Structural Encoding for Graph Transformers.
CoRR
Louis Airale, Antonio Longa, Mattia Rigon, Andrea Passerini, Roberto Passerone
2025 J jnl
Wrist-Worn Sensors and Machine Learning for Parkinson's Disease Detection: Investigation of Binary and Multiclassification Problem.
IEEE Trans. Instrum. Meas.
Mohammed Hammoud, Aleksei Shcherbak, Olga Istrakova, Nataliya Shindryaeva, Ekaterina Bril, Roberto Passerone, Andrey Somov
2024 J jnl
A Post-Processing Histogram Compensation Method for SPAD-Based d-ToF LiDAR Systems for High Photon Flux Measurements.
IEEE Access
Alessandro Tontini, Sonia Mazzucchi, Roberto Passerone, Leonardo Gasparini
2024 — conf
Architectural Exploration and Design for Ultra-Reliable Low-Latency Indoor Robotics Systems.
CCNC
Ayub Shah, Roberto Passerone
2024 J jnl
Combining Optimization and Simulation for Next-Generation Off-Road Vehicle E/E Architectural Design.
Sensors
Cristian Bianchi, Rosario Merlino, Roberto Passerone
2024 J jnl
Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Dmitrii Kirov, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone
2024 C conf
Toward Simulation-Assisted Architecture Design Space Exploration of Indoor Robotics Networks.
WFCS
Cristian Bianchi, Ayub Shah, Chiara Marangoni, Roberto Passerone
2024 J jnl
Visual Prompt Engineering for Enhancing Facial Recognition Systems Robustness Against Evasion Attacks.
IEEE Access
Sandeep Gupta, Kiran B. Raja, Roberto Passerone
2024 J jnl
cuVegas: Accelerate Multidimensional Monte Carlo Integration through a Parallelized CUDA-based Implementation of the VEGAS Enhanced Algorithm.
CoRR
Emiliano Tolotti, Anas Jnini, Flavio Vella, Roberto Passerone
2023 J jnl
An Investigation of Cyber-Attacks and Security Mechanisms for Connected and Autonomous Vehicles.
IEEE Access
Sandeep Gupta, Carsten Maple, Roberto Passerone
2023 J jnl
Comparative evaluation of background-rejection techniques for SPAD-based LiDAR systems.
Integr.
Alessandro Tontini, Leonardo Gasparini, Enrico Manuzzato, Matteo Perenzoni, Roberto Passerone
2023 J jnl
Intermittent Computing Emulation of Ultralow-Power Processors: Evaluation of Backup Strategies for RISC-V.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Sebin Shaji Philip, Roberto Passerone, Kasim Sinan Yildirim, Davide Brunelli
2023 — conf
Optimized Passive Battery Cell Balancing Algorithm for a Low-Cost Race Car.
ISIE
Matteo Bonora, Roberto Passerone
2023 J jnl
Quantization-Aware NN Layers with High-throughput FPGA Implementation for Edge AI.
Sensors
Mara Pistellato, Filippo Bergamasco, Gianluca Bigaglia, Andrea Gasparetto, Andrea Albarelli, Marco Boschetti, Roberto Passerone
2023 B conf
Secrets Leaking Through Quicksand: Covert Channels in Approximate Computing.
ETS
Lorenzo Masciullo, Roberto Passerone, Francesco Regazzoni, Ilia Polian
2022 — conf
Comparison of background-rejection techniques for SPAD-based LiDAR systems.
PRIME
Alessandro Tontini, Leonardo Gasparini, Enrico Manuzzato, Matteo Perenzoni, Roberto Passerone
2022 — conf
Migration-Aware Optimized Resource Allocation in B5G Edge Networks.
CCNC
Tadeus Prastowo, Ayub Shah, Luigi Palopoli, Roberto Passerone, Giuseppe Piro
2022 — conf
Symbolic Encoding of Reliability for the Design of Redundant Architectures.
ICPS
Antonio Tierno, Giuliano Turri, Alessandro Cimatti, Roberto Passerone
2021 — conf
Automatic Design Space Exploration of Redundant Architectures.
ApplePies
Antonio Tierno, Giuliano Turri, Alessandro Cimatti, Roberto Passerone
2021 J jnl
Lifelong Exploratory Navigation: An Architecture for Safer Mobile Robots.
IEEE Des. Test
Fabrice Mayran de Chamisso, Daniela Cancila, Laurent Soulier, Roberto Passerone, Michaël Aupetit
2021 — conf
Resource Optimization in MEC-Based B5G Networks for Indoor Robotics Environment.
ApplePies
Tadeus Prastowo, Ayub Shah, Luigi Palopoli, Roberto Passerone
2021 B conf
Robot Motion Planning: can GPUs be a Game Changer?
COMPSAC
Enrico Saccon, Paolo Bevilacqua, Daniele Fontanelli, Marco Frego, Luigi Palopoli, Roberto Passerone
2020 J jnl
Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Pierluigi Nuzzo, Nikunj Bajaj, Michael Masin, Dmitrii Kirov, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2020 J jnl
Packet Length Spectral Analysis for IoT Flow Classification Using Ensemble Learning.
IEEE Access
Gennaro Cirillo, Roberto Passerone
2019 J jnl
A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles.
IEEE Access
Roberto Passerone, Daniela Cancila, Michele Albano, Sebti Mouelhi, Sándor Plósz, Erkki Jantunen, Anna Ryabokon, Mohamed-Emine Laarouchi, Csaba Hegedüs, Pál Varga
2019 J jnl
Coherent Extension, Composition, and Merging Operators in Contract Models for System Design.
ACM Trans. Embed. Comput. Syst.
Roberto Passerone, Íñigo Íncer Romeo, Alberto L. Sangiovanni-Vincentelli
2019 J jnl
Effective Landmark Placement for Robot Indoor Localization With Position Uncertainty Constraints.
IEEE Trans. Instrum. Meas.
Valerio Magnago, Luigi Palopoli, Roberto Passerone, Daniele Fontanelli, David Macii
2019 J jnl
SPAD-Based Quantum Random Number Generator With an N
IEEE Trans. Circuits Syst. II Express Briefs
Alessandro Tontini, Leonardo Gasparini, Nicola Massari, Roberto Passerone
2019 — conf
Statistical Flow Classification for the IoT.
ApplePies
Gennaro Cirillo, Roberto Passerone, Antonio Posenato, Luca Rizzon
2018 J jnl
A Low-Power Clock-Less Pulse Width Modulator Architecture for Smart Imaging.
J. Low Power Electron.
Alberini Giacomo, Massimo Gottardi, Nicola Massari, Roberto Passerone
2018 J jnl
A Low-Power Vision System With Adaptive Background Subtraction and Image Segmentation for Unusual Event Detection.
IEEE Trans. Circuits Syst. I Regul. Pap.
Michele Benetti, Massimo Gottardi, Tobias Mayr, Roberto Passerone
2018 — conf
A battery-free non-intrusive power meter for low-cost energy monitoring.
ICPS
Giorgia Dalpiaz, Alessandro Longo, Matteo Nardello, Roberto Passerone, Davide Brunelli
2018 J jnl
Contracts for System Design.
Found. Trends Electron. Des. Autom.
Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen
2018 J jnl
Dependability Assessment of SOA-Based CPS With Contracts and Model-Based Fault Injection.
IEEE Trans. Ind. Informatics
Loris Dal Lago, Orlando Ferrante, Roberto Passerone, Alberto Ferrari
2018 — conf
Optimal landmark placement for indoor positioning using context information and multi-sensor data.
I2MTC
Valerio Magnago, Paolo Bevilacqua, Luigi Palopoli, Roberto Passerone, Daniele Fontanelli, David Macii
2018 A* conf
Optimized selection of wireless network topologies and components via efficient pruning of feasible paths.
DAC
Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2017 — conf
A Clock-Less PWM Architecture for Sensor Imaging.
NGCAS
Nicola Massari, Massimo Gottardi, Alberini Giacomo, Roberto Passerone
2017 C conf
A nearly optimal landmark deployment for indoor localisation with limited sensing.
IPIN
Valerio Magnago, Luigi Palopoli, Roberto Passerone, Daniele Fontanelli, David Macii
2017 A* conf
ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures.
DAC
Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2017 — conf
Design and energy optimization of a multifunctional IoT solution for connected bikes.
GIoTS
Ivan Minakov, Roberto Passerone, Maurizio Rossi
2017 — conf
Efficient Neural Computation on Network Processors for IoT Protocol Classification.
NGCAS
Vibha Pant, Roberto Passerone, Michele Welponer, Luca Rizzon, Roberto Lavagnolo
2017 J jnl
Non-invasive cyber-physical system for data center management.
Sustain. Comput. Informatics Syst.
Maurizio Rossi, Luca Rizzon, Roberto Passerone, Ivan Minakov, Davide Sartori, Davide Brunelli
2016 J jnl
A Comparative Study of Recent Wireless Sensor Network Simulators.
ACM Trans. Sens. Networks
Ivan Minakov, Roberto Passerone, Alessandra Rizzardi, Sabrina Sicari
2016 J jnl
A tag contract framework for modeling heterogeneous systems.
Sci. Comput. Program.
Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay
2016 J jnl
Contract-Based Requirement Modularization via Synthesis of Correct Decompositions.
ACM Trans. Embed. Comput. Syst.
Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
2016 — conf
Cyber/physical co-design in practice: Case studies in metroII.
SIES
Luca Rizzon, Roberto Passerone
2016 J jnl
Follow, listen, feel and go: alternative guidance systems for a walking assistance device.
CoRR
Federico Moro, Daniele Fontanelli, Roberto Passerone, Domenico Prattichizzo, Luca Rizzon, Stefano Scheggi, Stefano Targher, Antonella De Angeli, Luigi Palopoli
2016 C conf
Routing behavior across WSN simulators: The AODV case study.
WFCS
Ivan Minakov, Roberto Passerone, Alessandra Rizzardi, Sabrina Sicari
2016 J jnl
Self-Powered WSN for Distributed Data Center Monitoring.
Sensors
Davide Brunelli, Roberto Passerone, Luca Rizzon, Maurizio Rossi, Davide Sartori
2016 — conf
Sensory stimulation for human guidance in robot walkers: A comparison between haptic and acoustic solutions.
ISC2
Federico Moro, Antonella De Angeli, Daniele Fontanelli, Roberto Passerone, Domenico Prattichizzo, Luca Rizzon, Stefano Scheggi, Stefano Targher, Luigi Palopoli
2016 C conf
Statistical characterization of the 2.4 GHz radio channel for WSN in indoor office environments.
ETFA
Dmitrii Kirov, Roberto Passerone, Massimo Donelli
2015 — conf
A wireless carbon monoxide sensor node with hybrid power supply.
I2MTC
Alexander Baranov, Denis Spirjakin, Saba Akbari, Andrey Somov, Roberto Passerone
2015 — conf
Cyber-Physical System and Contract-Based Design: A Three Dimensional View.
WESE
Daniela Cancila, Hadi Zaatiti, Roberto Passerone
2015 — conf
Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering.
WESE
Martin Törngren, Saddek Bensalem, John A. McDermid, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Bernhard Schätz
2015 J jnl
Navigation assistance and guidance of older adults across complex public spaces: the DALi approach.
Intell. Serv. Robotics
Luigi Palopoli, Antonis A. Argyros, Josef A. Birchbauer, Alessio Colombo, Daniele Fontanelli, Axel Legay, Andrea Garulli, Antonello Giannitrapani, David Macii, Federico Moro, Payam Nazemzadeh, Pashalis Padeleris, Roberto Passerone, Georg Poier, Domenico Prattichizzo, Tizar Rizano, Luca Rizzon, Stefano Scheggi, Sean Sedwards
2015 — conf
exIMUs: An Experimental Inertial Measurement Unit for Shock and Impact Detection in Sport Applications.
IoT 360 (2)
Ivan Minakov, Roberto Passerone
2014 B conf
3DV - An embedded, dense stereovision-based depth mapping system.
Intelligent Vehicles Symposium
Gabriele Camellini, Mirko Felisa, Paolo Medici, Paolo Zani, Francesco Gregoretti, Claudio Passerone, Roberto Passerone
2014 C conf
BCL: A compositional contract language for embedded systems.
ETFA
Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis
2014 — ch.
Contract-Based Reasoning for Component Systems with Rich Interactions.
Embedded Systems Development, From Functional Models to Implementations
Susanne Graf, Roberto Passerone, Sophie Quinton
2014 C conf
Design of a Redundant FPGA-Based Safety System for Railroad Vehicles.
DSD
David Macii, Manuel Avancini, Luigi Benciolini, Stefano Dalpez, Michele Corrà, Roberto Passerone
2014 J jnl
Energy Neutral Wireless Sensing for Server Farms Monitoring.
IEEE J. Emerg. Sel. Topics Circuits Syst.
Maurizio Rossi, Luca Rizzon, Matteo Fait, Roberto Passerone, Davide Brunelli
2014 — conf
Energy neutral hybrid cooling system for high performance processors.
IGCC
Luca Rizzon, Maurizio Rossi, Roberto Passerone, Davide Brunelli
2014 Misc conf
Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems.
CODES+ISSS
Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Edward A. Lee
2014 C conf
Refinement-based synthesis of correct contract model decompositions.
MEMOCODE
Thi Thieu Hoa Le, Roberto Passerone
2014 — conf
Self-powered Active Cooling System for High Performance Processors.
ApplePies
Maurizio Rossi, Luca Rizzon, Matteo Fait, Roberto Passerone, Davide Brunelli
2014 — conf
c-Walker: A Cyber-Physical System for Ambient Assisted Living.
ApplePies
Luca Rizzon, Federico Moro, Roberto Passerone, David Macii, Daniele Fontanelli, Payam Nazemzadeh, Michele Corrà, Luigi Palopoli, Domenico Prattichizzo
2013 J jnl
A 33 µW 64×64 Pixel Vision Sensor Embedding Robust Dynamic Background Subtraction for Event Detection and Scene Interpretation.
IEEE J. Solid State Circuits
Nicola Cottini, Massimo Gottardi, Nicola Massari, Roberto Passerone, Zeev Smilansky
2013 — conf
A Tag Contract Framework for Heterogeneous Systems.
ESOCC Workshops
Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
2013 — conf
Embedded soundscape rendering for the visually impaired.
SIES
Luca Rizzon, Roberto Passerone
2013 — conf
Energy Autonomous Low Power Vision System.
ApplePies
Davide Brunelli, Alberto Tovazzi, Massimo Gottardi, Michele Benetti, Roberto Passerone, Pamela Abshire
2013 J jnl
PASES: An energy-aware design space exploration framework for wireless sensor networks.
J. Syst. Archit.
Ivan Minakov, Roberto Passerone
2013 — conf
Spatial Sound Rendering for Assisted Living on an Embedded Platform.
ApplePies
Luca Rizzon, Roberto Passerone
2013 — conf
Tag Machines for Modeling Heterogeneous Systems.
ACSD
Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay
2013 J jnl
Timed-automata based schedulability analysis for distributed firm real-time systems: a case study.
Int. J. Softw. Tools Technol. Transf.
Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian
2013 — conf
Welcome message.
SIES
Eduardo Tovar, Richard Zurawski, Roberto Passerone, Karl-Erik Årzén, Arvind Easwaran, Luca Santinelli
2013 — conf
Wireless sensor networks for environmental monitoring powered by microprocessors heat dissipation.
ENSSys@SenSys
Luca Rizzon, Maurizio Rossi, Roberto Passerone, Davide Brunelli
2013 J jnl
metroII: A design environment for cyber-physical systems.
ACM Trans. Embed. Comput. Syst.
Abhijit Davare, Douglas Densmore, Liangpeng Guo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Alena Simalatsar, Qi Zhu
2012 A conf
A 33μW 42 GOPS/W 64x64 pixel vision sensor with dynamic background subtraction for scene interpretation.
ISLPED
Nicola Cottini, Massimo Gottardi, Nicola Massari, Roberto Passerone, Zeev Smilansky
2012 C conf
Design of an innovative proximity detection embedded-system for safety application in industrial machinery.
ETFA
Stefano Dalpez, Alessandro Vaccari, Roberto Passerone, Alberto Penasa
2012 B conf
Energy-Aware Gas Sensing Using Wireless Sensor Networks.
EWSN
Andrey Somov, Alexander Baranov, Alexey Savkin, Mikhail Ivanov, Lucia Calliari, Roberto Passerone, Evgeny F. Karpov, Alexey Suchkov
2012 J jnl
Guest Editorial Special Section on Real-Time and (Networked) Embedded Systems III.
IEEE Trans. Ind. Informatics
Thomas Nolte, Roberto Passerone
2012 C conf
Integration of correct-by-construction BIP models into the MetroII design space exploration flow.
ICCD
Alena Simalatsar, Liangpeng Guo, Marius Bozga, Roberto Passerone
2012 — conf
Printed electrochemical capacitors for energy scavenging sensor networks.
INSS
Andrey Somov, James W. Evans, Christine Ho, Paul K. Wright, Roberto Passerone
2012 J jnl
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems.
Eur. J. Control
Alberto L. Sangiovanni-Vincentelli, Werner Damm, Roberto Passerone
2012 B conf
Towards Extending Sensor Node Lifetime with Printed Supercapacitors.
EWSN
Andrey Somov, Christine Ho, Roberto Passerone, James W. Evans, Paul K. Wright
2011 J jnl
A Modal Interface Theory for Component-based Design.
Fundam. Informaticae
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
2011 Misc conf
Enabling parametric feasibility analysis in real-time calculus driven performance evaluation.
CASES
Alena Simalatsar, Yusi Ramadian, Kai Lampka, Simon Perathoner, Roberto Passerone, Lothar Thiele
2011 — conf
Model-based design of embedded control software for hybrid vehicles.
SIES
Tizar Rizano, Roberto Passerone, David Macii, Luigi Palopoli
2011 B conf
Power Adaptive Cognitive Pilot Channel for Spectrum Co-existence in Wireless Networks.
AINA
Md. Akbar Hossain, Roberto Passerone
2011 J jnl
Scalable Offline Optimization of Industrial Wireless Sensor Networks.
IEEE Trans. Ind. Informatics
Luigi Palopoli, Roberto Passerone, Tizar Rizano
2010 — conf
An Industrial Case Study Using an MBE Approach: From Architecture to Safety Analysis.
ISORC Workshops
Stefano Dalpez, Roberto Passerone, Daniela Cancila, François Terrier
2010 — conf
Combustible gases and early fire detection: an autonomous system for wireless sensor networks.
e-Energy
Andrey Somov, Denis Spirjakin, Mikhail Ivanov, Igor Khromushin, Roberto Passerone, Alexander Baranov, Alexey Savkin
2010 J jnl
Ensuring Correctness in the Specification and Handling of Non-Functional Attributes in High-Integrity Real-Time Embedded Systems.
IEEE Trans. Ind. Informatics
Daniela Cancila, Roberto Passerone, Tullio Vardanega, Marco Panunzio
2010 C conf
Parametric analysis of distributed firm real-time systems: A case study.
ETFA
Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian, Alessandro Cimatti
2009 C conf
A Methodology for Power Consumption Evaluation of Wireless Sensor Networks.
ETFA
Andrey Somov, Ivan Minakov, Alena Simalatsar, Giorgio Fontana, Roberto Passerone
2009 — conf
Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem.
HSCC
Daniele Fontanelli, Luigi Palopoli, Roberto Passerone
2009 J jnl
Metamodels in Europe: Languages, Tools, and Applications.
IEEE Des. Test Comput.
Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli
2009 Misc conf
Modal interfaces: unifying interface automata and modal specifications.
EMSOFT
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
2009 — conf
On the global convergence of a class of distributed algorithms for maximizing the coverage of a WSN.
CDC
Daniele Fontanelli, Luigi Palopoli, Roberto Passerone
2009 B conf
Solving the Wake-Up Scattering Problem Optimally.
EWSN
Luigi Palopoli, Roberto Passerone, Amy L. Murphy, Gian Pietro Picco, Alessandro Giusti
2009 A conf
UMTS MPSoC design evaluation using a system level design framework.
DATE
Douglas Densmore, Alena Simalatsar, Abhijit Davare, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2009 — conf
Why Are Modalities Good for Interface Theories?.
ACSD
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone
2008 C conf
A Contract-based Formalism for the Specification of Heterogeneous Systems (invited).
FDL
Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis
2008 — conf
A Self-powered Module with Localization and Tracking System for Paintball.
IWSOS
Andrey Somov, Vinay Sachidananda, Roberto Passerone
2008 — conf
A methodology for architecture exploration and performance analysis using system level design languages and rapid architecture profiling.
SIES
Alena Simalatsar, Roberto Passerone, Douglas Densmore
2008 — conf
Approximating Behaviors in Embedded System Design.
Concurrency, Graphs and Models
Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2008 C conf
FZepel: RF-level power consumption measurement (RF-PM) for Zigbee wireless sensor network-towards cross layer optimization.
ETFA
Md. Rezaul Hoque Khan, Roberto Passerone, David Macii
2008 C conf
Functional and structural properties in the Model-Driven Engineering approach.
ETFA
Daniela Cancila, Roberto Passerone
2008 — conf
Performance of Energy Efficient Source Coding and Interference Reduction in Wireless Sensor Network Systems.
UKSim
Md. Rezaul Hoque Khan, Roberto Passerone
2007 J jnl
A Generic Model of Contracts for Embedded Systems
CoRR
Albert Benveniste, Benoît Caillaud, Roberto Passerone
2007 — conf
Multiple Viewpoint Contract-Based Specification and Design.
FMCO
Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis
2007 J jnl
Refinement preserving approximations for the design and verification of heterogeneous systems.
Formal Methods Syst. Des.
Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli
2007 J jnl
Specification, Synthesis, and Simulation of Transactor Processes.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Felice Balarin, Roberto Passerone
2006 J jnl
A Platform-Based Taxonomy for ESL Design.
IEEE Des. Test Comput.
Douglas Densmore, Roberto Passerone
2006 A conf
Functional verification methodology based on formal interface specification and transactor generation.
DATE
Felice Balarin, Roberto Passerone
2006 — conf
Interchange Format for Hybrid Systems: Abstract Semantics.
HSCC
Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2006 J jnl
Languages and Tools for Hybrid Systems Design.
Found. Trends Electron. Des. Autom.
Luca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli
2006 J jnl
System level design paradigms: Platform-based design and communication synthesis.
ACM Trans. Design Autom. Electr. Syst.
Alessandro Pinto, Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Marco Sgroi
2005 C conf
A formal approach to system level design: metamodels and unified design environments.
MEMOCODE
Felice Balarin, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli
2005 — conf
Interchange Formats for Hybrid Systems: Review and Proposal.
HSCC
Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone
2005 — ch.
Interface Specification and Converter Synthesis.
Embedded Systems Handbook
Roberto Passerone
2004 Misc conf
Conservative approximations for heterogeneous design.
EMSOFT
Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli
2002 A conf
Convertibility verification and converter synthesis: two faces of the same coin.
ICCAD
Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli
2001 J jnl
A High Speed VLSI Architecture for Handwriting Recognition.
J. VLSI Signal Process.
Francesco Gregoretti, Roberto Passerone, Leonardo Maria Reyneri, Claudio Sansoè
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
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems.
ACSD
Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2001 Misc conf
Using Multiple Levels of Abstractions in Embedded Software Design.
EMSOFT
Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
1998 A* conf
Automatic Synthesis of Interfaces Between Incompatible Protocols.
DAC
Roberto Passerone, James A. Rowson, Alberto L. Sangiovanni-Vincentelli
1998 J jnl
Design and Implementation of the PAPRICA Parallel Architecture.
J. VLSI Signal Process.
Alberto Broggi, Gianni Conte, Francesco Gregoretti, Claudio Sansoè, Roberto Passerone, Leonardo Maria Reyneri
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 — conf
Modeling reactive systems in Java.
CODES
Claudio Passerone, Roberto Passerone, Claudio Sansoè, Jonathan Martin, Alberto L. Sangiovanni-Vincentelli, Rick McGeer
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
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