Roberto Passerone

Hardware and Architecture · 2012–2018

A researcher in the Science corpus: 2 papers; trusts 4 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

• Hardware and Architecture — 14 citations into it
• Artificial Intelligence — 12 citations into it
• Computational Theory and Mathematics — 11 citations into it

Whom Roberto Passerone trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Alberto L. Sangiovanni-Vincentelli
2. Luca de Alfaro

Papers from Roberto Passerone's perspective

Ordered by how strongly the researchers Roberto Passerone trusts endorse each paper. Same corpus, a different order for every researcher.

1. Interface Theories for Component-Based Design (International Conference on Embedded Software)
2. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
3. Principles of Object-Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach
4. Real Time Scheduling Theory: A Historical Perspective (Real-time systems)
5. A Tutorial on Uppaal (International School on Formal Methods for the Design of Computer, Communication and Software Systems)
6. Abstract Interpretation Frameworks
7. INTERFACE-BASED DESIGN
8. Model Checking
9. Taming heterogeneity - the Ptolemy approach (Proceedings of the IEEE)
10. Interface automata (ESEC/FSE-9)

Their papers

• Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems (2012) — 349 citations
• Contracts for System Design (2018) — 298 citations