| 2007 |
|---|
| 18 | EE | Albert Benveniste,
Benoît Caillaud,
Roberto Passerone:
A Generic Model of Contracts for Embedded Systems
CoRR abs/0706.1456: (2007) |
| 17 | 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) |
| 16 | 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 |
|---|
| 15 | EE | Felice Balarin,
Roberto Passerone:
Functional verification methodology based on formal interface specification and transactor generation.
DATE 2006: 1013-1018 |
| 14 | EE | Alessandro Pinto,
Luca P. Carloni,
Roberto Passerone,
Alberto L. Sangiovanni-Vincentelli:
Interchange Format for Hybrid Systems: Abstract Semantics.
HSCC 2006: 491-506 |
| 13 | 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) |
| 12 | 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) |
| 11 | EE | Douglas Densmore,
Roberto Passerone:
A Platform-Based Taxonomy for ESL Design.
IEEE Design & Test of Computers 23(5): 359-374 (2006) |
| 2005 |
|---|
| 10 | 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 |
|---|
| 9 | EE | Roberto Passerone,
Jerry R. Burch,
Alberto L. Sangiovanni-Vincentelli:
Conservative approximations for heterogeneous design.
EMSOFT 2004: 155-164 |
| 2002 |
|---|
| 8 | 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 |
|---|
| 7 | EE | Jerry R. Burch,
Roberto Passerone,
Alberto L. Sangiovanni-Vincentelli:
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems.
ACSD 2001: 13- |
| 6 | EE | Jerry R. Burch,
Roberto Passerone,
Alberto L. Sangiovanni-Vincentelli:
Using Multiple Levels of Abstractions in Embedded Software Design.
EMSOFT 2001: 324-343 |
| 1998 |
|---|
| 5 | EE | Claudio Passerone,
Roberto Passerone,
Claudio Sansoè,
Jonathan Martin,
Alberto L. Sangiovanni-Vincentelli,
Rick McGeer:
Modeling reactive systems in Java.
CODES 1998: 15-19 |
| 4 | EE | Roberto Passerone,
James A. Rowson,
Alberto L. Sangiovanni-Vincentelli:
Automatic Synthesis of Interfaces Between Incompatible Protocols.
DAC 1998: 8-13 |
| 3 | 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 |
| 2 | 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) |
| 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 |
