Roberto Passerone

Nicola Cottini, Massimo Gottardi, Nicola Massari, Roberto Passerone, Zeev Smilansky: A 33 $\mu$ W 64$\, \times\, $ 64 Pixel Vision Sensor Embedding Robust Dynamic Background Subtraction for Event Detection and Scene Interpretation. J. Solid-State Circuits 48(3): 850-863 (2013)

Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian: Timed-automata based schedulability analysis for distributed firm real-time systems: a case study. STTT 15(3): 211-228 (2013)

Alberto L. Sangiovanni-Vincentelli, Werner Damm, Roberto Passerone: Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems. Eur. J. Control 18(3): 217-238 (2012)

Thomas Nolte, Roberto Passerone: Guest Editorial Special Section on Real-Time and (Networked) Embedded Systems III. IEEE Trans. Industrial Informatics 8(2): 321 (2012)

Stefano Dalpez, Alessandro Vaccari, Roberto Passerone, Alberto Penasa: Design of an innovative proximity detection embedded-system for safety application in industrial machinery. ETFA 2012: 1-8

Andrey Somov, Christine Ho, Roberto Passerone, James W. Evans, Paul K. Wright: Towards Extending Sensor Node Lifetime with Printed Supercapacitors. EWSN 2012: 212-227

Andrey Somov, Alexander Baranov, Alexey Savkin, Mikhail Ivanov, Lucia Calliari, Roberto Passerone, Evgeny Karpov, Alexey Suchkov: Energy-Aware Gas Sensing Using Wireless Sensor Networks. EWSN 2012: 245-260

Alena Simalatsar, Liangpeng Guo, Marius Bozga, Roberto Passerone: Integration of correct-by-construction BIP models into the MetroII design space exploration flow. ICCD 2012: 490-491

Nicola Cottini, Massimo Gottardi, Nicola Massari, Roberto Passerone, Zeev Smilansky: A 33μW 42 GOPS/W 64x64 pixel vision sensor with dynamic background subtraction for scene interpretation. ISLPED 2012: 315-320

Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone: A Modal Interface Theory for Component-based Design. Fundam. Inform. 108(1-2): 119-149 (2011)

Luigi Palopoli, Roberto Passerone, Tizar Rizano: Scalable Offline Optimization of Industrial Wireless Sensor Networks. IEEE Trans. Industrial Informatics 7(2): 328-339 (2011)

Md. Akbar Hossain, Roberto Passerone: Power Adaptive Cognitive Pilot Channel for Spectrum Co-existence in Wireless Networks. AINA 2011: 9-16

Alena Simalatsar, Yusi Ramadian, Kai Lampka, Simon Perathoner, Roberto Passerone, Lothar Thiele: Enabling parametric feasibility analysis in real-time calculus driven performance evaluation. CASES 2011: 155-164

Tizar Rizano, Roberto Passerone, David Macii, Luigi Palopoli: Model-based design of embedded control software for hybrid vehicles. SIES 2011: 75-78

Daniela Cancila, Roberto Passerone, Tullio Vardanega, Marco Panunzio: Ensuring Correctness in the Specification and Handling of Non-Functional Attributes in High-Integrity Real-Time Embedded Systems. IEEE Trans. Industrial Informatics 6(2): 181-194 (2010)

Andrey Somov, D. Spirjakin, Mikhail Ivanov, I. Khromushin, Roberto Passerone, Alexander Baranov, Alexey Savkin: Combustible gases and early fire detection: an autonomous system for wireless sensor networks. e-Energy 2010: 85-93

Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian, Alessandro Cimatti: Parametric analysis of distributed firm real-time systems: A case study. ETFA 2010: 1-8

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: Metamodels in Europe: Languages, Tools, and Applications. IEEE Design & Test of Computers 26(3): 38-53 (2009)

Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone: Why Are Modalities Good for Interface Theories?. ACSD 2009: 119-127

Daniele Fontanelli, Luigi Palopoli, Roberto Passerone: On the global convergence of a class of distributed algorithms for maximizing the coverage of a WSN. CDC 2009: 7885-7890

Douglas Densmore, Alena Simalatsar, Abhijit Davare, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: UMTS MPSoC design evaluation using a system level design framework. DATE 2009: 478-483

Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone: Modal interfaces: unifying interface automata and modal specifications. EMSOFT 2009: 87-96

Andrey Somov, Ivan Minakov, Alena Simalatsar, Giorgio Fontana, Roberto Passerone: A Methodology for Power Consumption Evaluation of Wireless Sensor Networks. ETFA 2009: 1-8

Luigi Palopoli, Roberto Passerone, Amy L. Murphy, Gian Pietro Picco, Alessandro Giusti: Solving the Wake-Up Scattering Problem Optimally. EWSN 2009: 166-182

Daniele Fontanelli, Luigi Palopoli, Roberto Passerone: Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem. HSCC 2009: 180-193

Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: Approximating Behaviors in Embedded System Design. Concurrency, Graphs and Models 2008: 721-742

Daniela Cancila, Roberto Passerone: Functional and structural properties in the Model-Driven Engineering approach. ETFA 2008: 809-816

Md. Rezaul Hoque Khan, Roberto Passerone, David Macii: FZepel: RF-level power consumption measurement (RF-PM) for Zigbee wireless sensor network-towards cross layer optimization. ETFA 2008: 959-966

Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis: A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). FDL 2008: 142-147

Andrey Somov, Vinay Sachidananda, Roberto Passerone: A Self-powered Module with Localization and Tracking System for Paintball. IWSOS 2008: 182-193

Alena Simalatsar, Roberto Passerone, Douglas Densmore: A methodology for architecture exploration and performance analysis using system level design languages and rapid architecture profiling. SIES 2008: 95-102

Md. Rezaul Hoque Khan, Roberto Passerone: Performance of Energy Efficient Source Coding and Interference Reduction in Wireless Sensor Network Systems. UKSim 2008: 342-347

Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli: Refinement preserving approximations for the design and verification of heterogeneous systems. Formal Methods in System Design 31(1): 1-33 (2007)

Felice Balarin, Roberto Passerone: Specification, Synthesis, and Simulation of Transactor Processes. IEEE Trans. on CAD of Integrated Circuits and Systems 26(10): 1749-1762 (2007)

Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis: Multiple Viewpoint Contract-Based Specification and Design. FMCO 2007: 200-225

Albert Benveniste, Benoît Caillaud, Roberto Passerone: A Generic Model of Contracts for Embedded Systems. CoRR abs/0706.1456 (2007)

Douglas Densmore, Roberto Passerone: A Platform-Based Taxonomy for ESL Design. IEEE Design & Test of Computers 23(5): 359-374 (2006)

Luca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli: Languages and Tools for Hybrid Systems Design. Foundations and Trends in Electronic Design Automation 1(1/2) (2006)

Alessandro Pinto, Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Marco Sgroi: System level design paradigms: Platform-based design and communication synthesis. ACM Trans. Design Autom. Electr. Syst. 11(3): 537-563 (2006)

Felice Balarin, Roberto Passerone: Functional verification methodology based on formal interface specification and transactor generation. DATE 2006: 1013-1018

Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: Interchange Format for Hybrid Systems: Abstract Semantics. HSCC 2006: 491-506

Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone: Interchange Formats for Hybrid Systems: Review and Proposal. HSCC 2005: 526-541

Felice Balarin, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli: A formal approach to system level design: metamodels and unified design environments. MEMOCODE 2005: 155-163

Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli: Conservative approximations for heterogeneous design. EMSOFT 2004: 155-164

Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli: Convertibility verification and converter synthesis: two faces of the same coin. ICCAD 2002: 132-139

Francesco Gregoretti, Roberto Passerone, Leonardo Maria Reyneri, Claudio Sansoè: A High Speed VLSI Architecture for Handwriting Recognition. VLSI Signal Processing 28(3): 259-278 (2001)

Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems. ACSD 2001: 13-

Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: Using Multiple Levels of Abstractions in Embedded Software Design. EMSOFT 2001: 324-343

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

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)

Alberto Broggi, Gianni Conte, Francesco Gregoretti, Claudio Sansoè, Roberto Passerone, Leonardo Maria Reyneri: Design and Implementation of the PAPRICA Parallel Architecture. VLSI Signal Processing 19(1): 5-18 (1998)

Claudio Passerone, Roberto Passerone, Claudio Sansoè, Jonathan Martin, Alberto L. Sangiovanni-Vincentelli, Rick McGeer: Modeling reactive systems in Java. CODES 1998: 15-19

Roberto Passerone, James A. Rowson, Alberto L. Sangiovanni-Vincentelli: Automatic Synthesis of Interfaces Between Incompatible Protocols. DAC 1998: 8-13

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

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