The following pages link to Uppaal (Q16871):
Displaying 50 items.
- Automatic symmetry detection for Promela (Q1040774) (← links)
- Performance analysis and functional verification of the stop-and-wait protocol in HOL (Q1040781) (← links)
- A quadratic-time DBM-based successor algorithm for checking timed automata (Q1044715) (← links)
- Automatic verification of a lip-synchronisation protocol using UPPAAL (Q1125438) (← links)
- Event-clock automata: a determinizable class of timed automata (Q1274452) (← links)
- A compared study of two correctness proofs for the standardized algorithm of ABR conformance (Q1395676) (← links)
- A Ravenscar-compliant run-time kernel for safety-critical systems (Q1395684) (← links)
- How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study (Q1395689) (← links)
- Approximating labelled Markov processes (Q1398379) (← links)
- The power of reachability testing for timed automata (Q1399974) (← links)
- Generalized discrete timed automata: Decidable approximations for safety verification. (Q1401259) (← links)
- Pushdown timed automata: A binary reachability characterization and safety verification. (Q1401320) (← links)
- Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol (Q1402478) (← links)
- False loop detection in the IEEE 1394 tree identify phase (Q1402479) (← links)
- Formal approaches to software testing. Third international workshop on formal approaches to testing of software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised papers (Q1422107) (← links)
- Dynamic partitioning in linear relation analysis: application to the verification of reactive systems (Q1424999) (← links)
- Symbolic verification and analysis of discrete timed systems (Q1425003) (← links)
- Compact data structures and state-space reduction for model-checking real-time systems (Q1431366) (← links)
- Checking temporal duration properties of timed automata. (Q1433946) (← links)
- Formal techniques in real-time and fault-tolerant systems. 6th international symposium, FTRTFT 2000, Pune, India, September 20--22, 2000. Proceedings (Q1582980) (← links)
- Deductive verification of real-time systems using STeP (Q1589585) (← links)
- PLC-automata: A new class of implementable real-time automata (Q1589587) (← links)
- Automatic verification of real-time systems with discrete probability distributions. (Q1603709) (← links)
- Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
- Timed-pNets: a communication behavioural semantic model for distributed systems (Q1633067) (← links)
- Event algebra for transition systems composition application to timed automata (Q1656550) (← links)
- Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
- Let's be lazy, we have time -- or, lazy reachability analysis for timed automata (Q1683453) (← links)
- Learning deterministic probabilistic automata from a model checking perspective (Q1689574) (← links)
- Uniform sampling for timed automata with application to language inclusion measurement (Q1693099) (← links)
- Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
- Bounded determinization of timed automata with silent transitions (Q1699228) (← links)
- Distinguishing between communicating transactions (Q1706141) (← links)
- Zero, successor and equality in BDDs (Q1772774) (← links)
- A brief history of process algebra (Q1781995) (← links)
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)
- An abstract model for proving safety of autonomous urban traffic (Q1786569) (← links)
- A logical characterization of data languages. (Q1853115) (← links)
- Model checking JAVA programs using JAVA PathFinder (Q1856163) (← links)
- Continuous modeling of real-time and hybrid systems: From concepts to tools (Q1856190) (← links)
- Real-time system = discrete system + clock variables (Q1856191) (← links)
- Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← links)
- Automated verification of an audio-control protocol using UPPAAL (Q1858445) (← links)
- Linear parametric model checking of timed automata (Q1858447) (← links)
- Presburger liveness verification of discrete timed automata. (Q1874402) (← links)
- Forward analysis of updatable timed automata (Q1878925) (← links)
- Tools and algorithms for the construction and analysis of systems. 10th international conference, TACAS 2004, held as part of the joint conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 -- April 2, 2004. Proceedings. (Q1881365) (← links)
- Comparing model checking and logical reasoning for real-time systems (Q1882792) (← links)
- Formal modeling and analysis of timed systems. First international workshop, FORMATS 2003, Marseille, France, September 6--7, 2003. Revised papers. (Q1884097) (← links)
- Updatable timed automata (Q1885906) (← links)
