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