R
Roberto Passerone
Researcher at University of Trento
Publications - 166
Citations - 4152
Roberto Passerone is an academic researcher from University of Trento. The author has contributed to research in topics: Wireless sensor network & Energy harvesting. The author has an hindex of 33, co-authored 159 publications receiving 3818 citations. Previous affiliations of Roberto Passerone include Columbia University & Polytechnic University of Turin.
Papers
More filters
Journal ArticleDOI
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems
Alberto Sangiovanni-Vincentelli,Alberto Sangiovanni-Vincentelli,Werner Damm,Werner Damm,Roberto Passerone +4 more
TL;DR: A design methodology and a few examples in controller design whereby contract- based design can be merged with platform-based design to formulate the design process as a meet-in-the-middle approach, where design requirements are implemented in a subsequent refinement process using as much as possible elements from a library of available components.
Book
Contracts for System Design
Albert Benveniste,Benoît Caillaud,Dejan Nickovic,Roberto Passerone,Jean-Baptiste Raclet,Philipp Reinkemeier,Alberto Sangiovanni-Vincentelli,Werner Damm,Thomas A. Henzinger,Kim Guldstrand Larsen +9 more
TL;DR: This paper intends to provide treatment where contracts are precisely defined and characterized so that they can be used in design methodologies such as the ones mentioned above with no ambiguity, and provides an important link between interfaces and contracts to show similarities and correspondences.
Book ChapterDOI
Multiple Viewpoint Contract-Based Specification and Design
Albert Benveniste,Benoît Caillaud,Alberto Ferrari,Leonardo Mangeruca,Roberto Passerone,Christos Sofronis +5 more
TL;DR: The mathematical foundations and the design methodology of the contract-based model developed in the framework of the SPEEDS project, a design methodology in which distributed designers develop different aspects of the overall system, in a concurrent but controlled way, are presented.
Book
Languages and Tools for Hybrid Systems Design
TL;DR: This paper reviews and compares hybrid system tools by highlighting their differences in terms of their underlying semantics, expressive power and mathematical mechanisms, and suggests the need for a unifying approach to hybrid systems design.
Proceedings ArticleDOI
Automatic synthesis of interfaces between incompatible protocols
TL;DR: This work proposes using regular expression based protocol descriptions to show how to map the message onto a signaling protocol, given two protocols, and proposes an algorithm to build an interface machine.