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