Modal I/O Automata for Interface and Product Line Theories
From MaRDI portal
Publication:5756489
DOI10.1007/978-3-540-71316-6_6zbMATH Open1187.68296OpenAlexW1959890433MaRDI QIDQ5756489FDOQ5756489
Authors: Ulrik Nyman, Andrzej Wąsowski, Kim G. Larsen 
Publication date: 4 September 2007
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71316-6_6
Recommendations
- Modal interface automata
- Modal Interface Automata
- scientific article; zbMATH DE number 4213439
- An algebraic theory of interface automata
- ACTL for modal interface automata
- I/O automata in Isabelle/HOL
- Automata-theoretic techniques for modal logics of programs
- scientific article; zbMATH DE number 7599983
- A generalised theory of interface automata, component compatibility and error
- A generalised theory of interface automata, component compatibility and error
Cited In (56)
- Featured Team Automata
- Realisability of global models of interaction
- Coherent modal transition systems refinement
- From interface automata to hypercontracts
- Mediator Synthesis in a Component Algebra with Data
- An algebraic theory of interface automata
- Building a Modal Interface Theory for Concurrency and Data
- Connecting open systems of communicating finite state machines
- Constraint Markov chains
- Model Checking Value-Passing Modal Specifications
- On weak modal compatibility, refinement, and the MIO workbench
- Moving from interface theories to assembly theories
- Richer interface automata with optimistic and pessimistic compatibility
- Combining partial specifications using alternating interface automata
- Interface theories for concurrency and data
- Title not available (Why is that?)
- Can we communicate? Using dynamic logic to verify team automata
- Model-based testing
- ACTL for modal interface automata
- Modal Interface Automata
- Modal event-clock specifications for timed component-based design
- Assembly theories for communication-safe component systems
- Refinement modal logic
- Refinement checking on parametric modal transition systems
- Compatibility properties of synchronously and asynchronously communicating components
- Modal interface automata
- Methodologies for specification of real-time systems using timed I/O automata
- A modal interface theory with data constraints
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
- Modal Interface Theories for Communication-Safe Component Assemblies
- A generalised theory of interface automata, component compatibility and error
- A generalised theory of interface automata, component compatibility and error
- Threaded behavior protocols
- Product line process theory
- Input-output conformance testing for software product lines
- From EU projects to a family of model checkers. From Kandinsky to KandISTI
- Extending modal transition systems with structured labels
- Interface simulation distances
- Finding suitable variability abstractions for lifted analysis
- Title not available (Why is that?)
- Modal functions for concise definition of state machines and products
- Incremental model checking of delta-oriented software product lines
- Refinement and Consistency of Timed Modal Specifications
- EXPTIME-complete decision problems for modal and mixed specifications
- A linear-time branching-time perspective on interface automata
- Generalized abstraction-refinement for game-based CTL lifted model checking
- Error-pruning in interface automata
- Modular modelling of software product lines with feature nets
- Nondeterministic modal interfaces
- Compatibility in a multi-component environment
- Interface automata for shared memory
- Modal transition system encoding of featured transition systems
- Safe reasoning with logic LTS
- Abstract probabilistic automata
- Abstract probabilistic automata
- Title not available (Why is that?)
This page was built for publication: Modal I/O Automata for Interface and Product Line Theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756489)
