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