Modal I/O Automata for Interface and Product Line Theories
By Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski. European Symposium on Programming, 2007
303 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Software
View Paper: https://www.semanticscholar.org/paper/302d775feb7e3419cb5f9f749c98da5a29a0a358
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
- Kim Guldstrand Larsen
- Alberto L. Sangiovanni-Vincentelli
- Werner Damm
- Roberto Passerone
- Axel Legay
- Thomas A. Henzinger
- Albert Benveniste
- Patrick Heymans
In Software
- Axel Legay
- Alberto L. Sangiovanni-Vincentelli
- Kim Guldstrand Larsen
- Werner Damm
- Thomas A. Henzinger
- Roberto Passerone
- Patrick Heymans
- Dejan Nickovic
Citations in the corpus
- Model checking lots of systems: efficient verification of temporal properties in software product lines (2010, background): “Current proposals are based on UML [34], modal transition systems [18, 17], modal I/O automata [23, 24], deontic logics [2] and CCS [20].”
- Contracts for System Design (2018, background): “As explained in [105, 82, 177, 118, 226, 227], Interface Theories make no explicit distinction between assumptions and guarantees.”