Recommendations
Cites work
- scientific article; zbMATH DE number 1670801 (Why is no real title available?)
- scientific article; zbMATH DE number 1701769 (Why is no real title available?)
- scientific article; zbMATH DE number 1337733 (Why is no real title available?)
- scientific article; zbMATH DE number 2080069 (Why is no real title available?)
- scientific article; zbMATH DE number 1746452 (Why is no real title available?)
- A theory of timed automata
- Compositional specification of timed systems
- Dynamical properties of timed automata
- Event-clock automata: a determinizable class of timed automata
- Experimental evaluation of verification and validation tools on Martian Rover software
- Fault diagnosis for timed automata
- Formal Approaches to Software Testing
- Formal Approaches to Software Testing
- Formal Approaches to Software Testing
- Formal Approaches to Software Testing
- Formal Approaches to Software Testing
- Formal Modeling and Analysis of Timed Systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Forward analysis of updatable timed automata
- Foundations of Software Science and Computational Structures
- Model Checking Software
- Testing Software Design Modeled by Finite-State Machines
- Testing timed automata
Cited in
(33)- scientific article; zbMATH DE number 7447740 (Why is no real title available?)
- Automatic testing of real-time graphics systems
- Compositional schedulability analysis of real-time actor-based systems
- Adaptive experiments for state identification in finite state machines with timeouts
- A Method for Testing the Conformance of Real Time Systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Off-line test selection with test purposes for non-deterministic timed automata
- Realizability of schedules by stochastic time Petri nets with blocking semantics
- A local approach to the testing of real-time systems
- Testing timed automata
- A game approach to determinize timed automata
- Conformance checking of real-time models. Symbolic execution vs. bounded model checking
- Conformance tests for real-time systems with timed automata specifications
- Learning deterministic one-clock timed automata via mutation testing
- Interesting Properties of the Real-Time Conformance Relation tioco
- Passive testing with asynchronous communications and timestamps
- On-the-fly conformance testing using SPIN
- Model Checking Software
- Control Strategies for Off-Line Testing of Timed Systems
- FM 2005: Formal Methods
- Formal Approaches to Software Testing
- Formal Approaches to Software Testing
- An Implementation Relation for Cyclic Systems with Refusals and Discrete Time
- Formal Approaches to Software Testing
- Deriving Homing Sequences for Finite State Machines with Timed Guards
- Control strategies for off-line testing of timed systems
- Testing from a stochastic timed system with a fault model
- Bounded determinization of timed automata with silent transitions
- Bounded determinization of timed automata with silent transitions
- Conformance testing techniques for timed systems
- Quantifying conformance using the Skorokhod metric
- Conformance Testing Relations for Timed Systems
- scientific article; zbMATH DE number 1701769 (Why is no real title available?)
This page was built for publication: Conformance testing for real-time systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q842583)
