The SCEAS System
Navigation Menu

Search the dblp DataBase


Roberto Passerone: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002