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 |