Modal I/O Automata for Interface and Product Line Theories
From MaRDI portal
Publication:5756489
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)- From interface automata to hypercontracts
- Featured Team Automata
- Realisability of global models of interaction
- Coherent modal transition systems refinement
- Modal interface automata
- Threaded behavior protocols
- Mediator Synthesis in a Component Algebra with Data
- Methodologies for specification of real-time systems using timed I/O automata
- scientific article; zbMATH DE number 7599983 (Why is no real title available?)
- Connecting open systems of communicating finite state machines
- scientific article; zbMATH DE number 7215288 (Why is no real title available?)
- A modal interface theory with data constraints
- Constraint Markov chains
- Refinement checking on parametric modal transition systems
- Compatibility properties of synchronously and asynchronously communicating components
- Incremental model checking of delta-oriented software product lines
- Interface theories for concurrency and data
- Model Checking Value-Passing Modal Specifications
- Modal Interface Theories for Communication-Safe Component Assemblies
- Modal Interface Automata
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
- Finding suitable variability abstractions for lifted analysis
- Modular modelling of software product lines with feature nets
- Modal functions for concise definition of state machines and products
- An algebraic theory of interface automata
- Nondeterministic modal interfaces
- EXPTIME-complete decision problems for modal and mixed specifications
- Modal transition system encoding of featured transition systems
- Building a Modal Interface Theory for Concurrency and Data
- Can we communicate? Using dynamic logic to verify team automata
- Compatibility in a multi-component environment
- On weak modal compatibility, refinement, and the MIO workbench
- Product line process theory
- Abstract probabilistic automata
- Model-based testing
- ACTL for modal interface automata
- Abstract probabilistic automata
- Moving from interface theories to assembly theories
- Assembly theories for communication-safe component systems
- Generalized abstraction-refinement for game-based CTL lifted model checking
- A generalised theory of interface automata, component compatibility and error
- Refinement and Consistency of Timed Modal Specifications
- A generalised theory of interface automata, component compatibility and error
- Modal event-clock specifications for timed component-based design
- Richer interface automata with optimistic and pessimistic compatibility
- Combining partial specifications using alternating interface automata
- Interface automata for shared memory
- Safe reasoning with logic LTS
- scientific article; zbMATH DE number 4213439 (Why is no real title available?)
- Input-output conformance testing for software product lines
- Error-pruning in interface automata
- Extending modal transition systems with structured labels
- Refinement modal logic
- From EU projects to a family of model checkers. From Kandinsky to KandISTI
- Interface simulation distances
- A linear-time branching-time perspective on interface automata
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)
