Interface Theories for Component-Based Design

By Luca de Alfaro, Thomas A. Henzinger. International Conference on Embedded Software, 2001

423 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/19c14ccc34ad7b78323456473459b50e7a69066b

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Kim Guldstrand Larsen
2. Edward A. Lee
3. Alberto L. Sangiovanni-Vincentelli
4. Thomas A. Henzinger
5. Luca de Alfaro
6. Werner Damm
7. Roberto Passerone
8. Albert Benveniste

In Computational Theory and Mathematics

1. Edward A. Lee
2. Alberto L. Sangiovanni-Vincentelli
3. Kim Guldstrand Larsen
4. Thomas A. Henzinger
5. Luca de Alfaro
6. Werner Damm
7. Roberto Passerone
8. Jean-Baptiste Raclet

In Software

1. Edward A. Lee
2. Alberto L. Sangiovanni-Vincentelli
3. Kim Guldstrand Larsen
4. Werner Damm
5. Thomas A. Henzinger
6. Roberto Passerone
7. Dejan Nickovic
8. Kenneth L. McMillan

Citations in the corpus

• INTERFACE-BASED DESIGN (2005, background): “4 The property of independent implementability is a compositionality property [6].”
• Contracts for System Design (2018, background): “Resource Interfaces [57] can be used to enrich a variety of interface formalisms (Interface Automata [72], Assume/Guarantee Interfaces [73], etc.”
• Cyber Physical Systems: Design Challenges (2008, background): “But where we are concerned with properties that have not traditionally been expressed at all in computing, the ability to develop and compose specialized “interface theories” [11] is extremely promising.”