dblp.uni-trier.dewww.uni-trier.de

Roberto Passerone

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
28EELuigi Palopoli, Roberto Passerone, Amy L. Murphy, Gian Pietro Picco, Alessandro Giusti: Solving the Wake-Up Scattering Problem Optimally. EWSN 2009: 166-182
27EEDaniele Fontanelli, Luigi Palopoli, Roberto Passerone: Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem. HSCC 2009: 180-193
2008
26EERoberto Passerone, Alberto L. Sangiovanni-Vincentelli: Approximating Behaviors in Embedded System Design. Concurrency, Graphs and Models 2008: 721-742
25EEDaniela Cancila, Roberto Passerone: Functional and structural properties in the Model-Driven Engineering approach. ETFA 2008: 809-816
24EEMd. 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
23EELuca 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
22EEAndrey Somov, Vinay Sachidananda, Roberto Passerone: A Self-powered Module with Localization and Tracking System for Paintball. IWSOS 2008: 182-193
2007
21EEAlbert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis: Multiple Viewpoint Contract-Based Specification and Design. FMCO 2007: 200-225
20EEAlbert Benveniste, Benoît Caillaud, Roberto Passerone: A Generic Model of Contracts for Embedded Systems CoRR abs/0706.1456: (2007)
19EERoberto 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)
18EEFelice Balarin, Roberto Passerone: Specification, Synthesis, and Simulation of Transactor Processes. IEEE Trans. on CAD of Integrated Circuits and Systems 26(10): 1749-1762 (2007)
2006
17EEFelice Balarin, Roberto Passerone: Functional verification methodology based on formal interface specification and transactor generation. DATE 2006: 1013-1018
16EEAlessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: Interchange Format for Hybrid Systems: Abstract Semantics. HSCC 2006: 491-506
15EEAlessandro 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)
14EELuca 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)
13EEDouglas Densmore, Roberto Passerone: A Platform-Based Taxonomy for ESL Design. IEEE Design & Test of Computers 23(5): 359-374 (2006)
2005
12EEAlessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone: Interchange Formats for Hybrid Systems: Review and Proposal. HSCC 2005: 526-541
2004
11EERoberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli: Conservative approximations for heterogeneous design. EMSOFT 2004: 155-164
2002
10EERoberto 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
2001
9EEJerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems. ACSD 2001: 13-
8EEJerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: Using Multiple Levels of Abstractions in Embedded Software Design. EMSOFT 2001: 324-343
7EEFrancesco Gregoretti, Roberto Passerone, Leonardo Maria Reyneri, Claudio Sansoè: A High Speed VLSI Architecture for Handwriting Recognition. VLSI Signal Processing 28(3): 259-278 (2001)
1998
6EEClaudio Passerone, Roberto Passerone, Claudio Sansoè, Jonathan Martin, Alberto L. Sangiovanni-Vincentelli, Rick McGeer: Modeling reactive systems in Java. CODES 1998: 15-19
5EERoberto Passerone, James A. Rowson, Alberto L. Sangiovanni-Vincentelli: Automatic Synthesis of Interfaces Between Incompatible Protocols. DAC 1998: 8-13
4EEEnrica 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
3EEClaudio 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)
2EEAlberto 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)
1996
1EEFrancesco 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

Coauthor Index

1Luca de Alfaro [10]
2Felice Balarin [17] [18]
3Albert Benveniste [20] [21]
4Luca Benvenuti [23]
5Alvise Bonivento [15]
6Alberto Broggi [2]
7Jerry R. Burch [8] [9] [11] [19]
8Benoît Caillaud [20] [21]
9Daniela Cancila [25]
10Luca P. Carloni [12] [14] [16]
11Gianni Conte [2]
12Douglas Densmore [13]
13Alberto Ferrari [21] [23]
14Enrica Filippi [4]
15Daniele Fontanelli [27]
16Alessandro Giusti [28]
17Francesco Gregoretti [1] [2] [7]
18Thomas A. Henzinger [10]
19F. Intini [1]
20Md. Rezaul Hoque Khan [24]
21Luciano Lavagno [1] [3] [4]
22L. Licciardi [4]
23David Macii [24]
24Leonardo Mangeruca [21] [23]
25Jonathan Martin [3] [6]
26Emanuele Mazzi [23]
27Patrick C. McGeer [3]
28Rick McGeer [6]
29A. Montanaro [4]
30Amy L. Murphy [28]
31Luigi Palopoli [27] [28]
32M. Paolini [4]
33Claudio Passerone [3] [6]
34Gian Pietro Picco [28]
35Alessandro Pinto [12] [14] [15] [16]
36Leonardo Maria Reyneri [1] [2] [7]
37James A. Rowson [5]
38Vinay Sachidananda [22]
39Alberto L. Sangiovanni-Vincentelli [3] [4] [5] [6] [8] [9] [10] [11] [12] [14] [15] [16] [19] [26]
40Claudio Sansoè [2] [3] [6] [7]
41Marco Sgroi [4] [15]
42Christos Sofronis [21] [23]
43Andrey Somov [22]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)