Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems
By Alberto L. Sangiovanni-Vincentelli, Werner Damm, Roberto Passerone. European Journal of Control, 2012
349 citations recorded by the source corpus.
Subfields: Computational Theory and Mathematics, Hardware and Architecture, Safety, Risk, Reliability and Quality
View Paper: https://www.semanticscholar.org/paper/282c69c1d2a93447ca9261406d242639d138040c
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computational Theory and Mathematics
- Sanjit A. Seshia
- Alberto L. Sangiovanni-Vincentelli
- Dorsa Sadigh
- Kim Guldstrand Larsen
- Werner Damm
- Roberto Passerone
- Jean-Baptiste Raclet
- Thomas A. Henzinger
In Hardware and Architecture
- Alberto L. Sangiovanni-Vincentelli
- Dorsa Sadigh
- Werner Damm
- Roberto Passerone
- Thomas A. Henzinger
- Dejan Nickovic
- Albert Benveniste
- Kim Guldstrand Larsen
Citations in the corpus
- Towards Verified Artificial Intelligence (2016, background): “llenge is to design the overall system comprising both learning and non-learning components. While theories of compositional design have been developed for digital circuits and embedded systems (e.g. [61,69]), we do not as yet have such theories for AI-based systems. Moreover, there is not yet a sys”
- Contracts for System Design (2018, background): “Despite early contributions by Abadi, Lamport, and Wolper [5, 3], developing contracts for Cyber-Physical Systems [236, 100]8 and Reactive Systems [146, 152, 142, 196], where mathematical behaviors are essential, boomed more recently in the 2000’s, when de Alfaro and Henzinger proposed and populariz”