Search the dblp DataBase

Publications of Author

1. Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
   Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems. [Citation Graph (0, 0)][DBLP]
   ACSD, 2001, pp:13-0 [Conf]
   
2. Claudio Passerone, Roberto Passerone, Claudio Sansoè, Jonathan Martin, Alberto L. Sangiovanni-Vincentelli, Rick McGeer
   Modeling reactive systems in Java. [Citation Graph (0, 0)][DBLP]
   CODES, 1998, pp:15-19 [Conf]
   
3. Roberto Passerone, James A. Rowson, Alberto L. Sangiovanni-Vincentelli
   Automatic Synthesis of Interfaces Between Incompatible Protocols. [Citation Graph (0, 0)][DBLP]
   DAC, 1998, pp:8-13 [Conf]
   
4. Felice Balarin, Roberto Passerone
   Functional verification methodology based on formal interface specification and transactor generation. [Citation Graph (0, 0)][DBLP]
   DATE, 2006, pp:1013-1018 [Conf]
   
5. Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
   Using Multiple Levels of Abstractions in Embedded Software Design. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2001, pp:324-343 [Conf]
   
6. Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli
   Conservative approximations for heterogeneous design. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2004, pp:155-164 [Conf]
   
7. Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
   Interchange Format for Hybrid Systems: Abstract Semantics. [Citation Graph (0, 0)][DBLP]
   HSCC, 2006, pp:491-506 [Conf]
   
8. Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone
   Interchange Formats for Hybrid Systems: Review and Proposal. [Citation Graph (0, 0)][DBLP]
   HSCC, 2005, pp:526-541 [Conf]
   
9. Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli
   Convertibility verification and converter synthesis: two faces of the same coin. [Citation Graph (0, 0)][DBLP]
   ICCAD, 2002, pp:132-139 [Conf]
   
10. 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. [Citation Graph (0, 0)][DBLP]
    ISSS, 1998, pp:37-42 [Conf]
    
11. Francesco Gregoretti, F. Intini, Luciano Lavagno, Roberto Passerone, Leonardo Maria Reyneri
    Design and Implementation of the Control Structure of the PAPRICA-3 Processor. [Citation Graph (0, 0)][DBLP]
    PDP, 1996, pp:290-296 [Conf]
    
12. Douglas Densmore, Roberto Passerone
    A Platform-Based Taxonomy for ESL Design. [Citation Graph (0, 0)][DBLP]
    IEEE Design & Test of Computers, 2006, v:23, n:5, pp:359-374 [Journal]
    
13. Claudio Passerone, Claudio Sansoè, Luciano Lavagno, Patrick C. McGeer, Jonathan Martin, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
    Modeling reactive systems in Java. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Design Autom. Electr. Syst., 1998, v:3, n:4, pp:515-523 [Journal]
    
14. Alessandro Pinto, Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Marco Sgroi
    System level design paradigms: Platform-based design and communication synthesis. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Design Autom. Electr. Syst., 2006, v:11, n:3, pp:537-563 [Journal]
    
15. Albert Benveniste, Benoît Caillaud, Roberto Passerone
    A Generic Model of Contracts for Embedded Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
    
16. Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli
    Refinement preserving approximations for the design and verification of heterogeneous systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2007, v:31, n:1, pp:1-33 [Journal]
    
17. 
    Why Are Modalities Good for Interface Theories?. [Citation Graph (, )][DBLP]
    
    
18. 
    Approximating Behaviors in Embedded System Design. [Citation Graph (, )][DBLP]
    
    
19. 
    UMTS MPSoC design evaluation using a system level design framework. [Citation Graph (, )][DBLP]
    
    
20. 
    Modal interfaces: unifying interface automata and modal specifications. [Citation Graph (, )][DBLP]
    
    
21. 
    Solving the Wake-Up Scattering Problem Optimally. [Citation Graph (, )][DBLP]
    
    
22. 
    Multiple Viewpoint Contract-Based Specification and Design. [Citation Graph (, )][DBLP]
    
    
23. 
    Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem. [Citation Graph (, )][DBLP]
    
    
24. 
    Functional and structural properties in the Model-Driven Engineering approach. [Citation Graph (, )][DBLP]
    
    
25. 
    FZepel: RF-level power consumption measurement (RF-PM) for Zigbee wireless sensor network-towards cross layer optimization. [Citation Graph (, )][DBLP]
    
    
26. 
    A Self-powered Module with Localization and Tracking System for Paintball. [Citation Graph (, )][DBLP]
    
    
27. 
    A methodology for architecture exploration and performance analysis using system level design languages and rapid architecture profiling. [Citation Graph (, )][DBLP]
    
    
28. 
    A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). [Citation Graph (, )][DBLP]
    
    
29. 
    On the global convergence of a class of distributed algorithms for maximizing the coverage of a WSN. [Citation Graph (, )][DBLP]
    
    
30. 
    Combustible gases and early fire detection: an autonomous system for wireless sensor networks. [Citation Graph (, )][DBLP]
    
    
31. 
    Metamodels in Europe: Languages, Tools, and Applications. [Citation Graph (, )][DBLP]