Interface automata

By Luca de Alfaro, Thomas A. Henzinger. ESEC/FSE-9, 2001

1,419 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/39cc378c7ea602329ddd586b8254dd856d740771

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

In Computational Theory and Mathematics

Citations in the corpus

Describing and reasoning on Web services using process algebra (2004, background): “Some actions are possible in some states and not possible in some others, and reasoning on stateful interaction needs to keep track of the transitions performed by the system.”
Synthesis of interface specifications for Java classes (2005, neutral): “A related project is Chic, where the authors use games to formalize and check compatibility of user specified interfaces [9, 16].”
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems (2012, result): “which is consistent with similar definitions in other contexts [12], [14], [29].”
INTERFACE-BASED DESIGN (2005, methodology): “We now present the stateful interface language called interface automata [5].”
Modal I/O Automata for Interface and Product Line Theories (2007, methodology): “Similarly as for Modal Automata we de ne s τ−→∗s′ for Interface Automata to mean that there exists a sequence of internal transitions leading from s to s′.”
Taming heterogeneity - the Ptolemy approach (2003, background): “Neutrino astrophysics experiments are intended to detect high-energy neutrinos in the cosmic ray flux.”
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”
An orchestrated survey of methodologies for automated software test case generation (2013, background): “An alternative approach to the IOCO conformance relation is alternating simulation (Alur et al., 1998) in the framework of interface automata (IA) (de Alfaro and Henzinger, 2001).”
Modeling component connectors in Reo by constraint automata (2004, neutral): “Keywords: Constraint automata; Reo; Timed data streams; Coordination; Components; Composition; Bisimulation; Simulation; Verification”