The following pages link to Uppaal (Q16871):
Displaying 50 items.
- Analysing neurobiological models using communicating automata (Q736844) (← links)
- A situation-based multi-agent architecture for handling misunderstandings in interactions (Q747513) (← links)
- Verification of continuous dynamical systems by timed automata (Q763240) (← links)
- Analysis of a clock synchronization protocol for wireless sensor networks (Q764293) (← links)
- Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012. Proce (Q766306) (← links)
- Using formal verification to evaluate the execution time of Spark applications (Q782497) (← links)
- Checking timed Büchi automata emptiness efficiently (Q816203) (← links)
- Timed hyperproperties (Q821560) (← links)
- An integer static analysis for better extrapolation in Uppaal (Q832038) (← links)
- Explaining safety violations in real-time systems (Q832041) (← links)
- Tweaking the odds in probabilistic timed automata (Q832050) (← links)
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability (Q832203) (← links)
- Fast zone-based algorithms for reachability in pushdown timed automata (Q832208) (← links)
- Conformance testing for real-time systems (Q842583) (← links)
- Symmetry and partial order reduction techniques in model checking Rebeca (Q845239) (← links)
- Action language verifier: An infinite-state model checker for reactive software specifications (Q845244) (← links)
- Modular design of real-time systems using hierarchical communicating real-time state machines (Q853606) (← links)
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking (Q853626) (← links)
- On using priced timed automata to achieve optimal scheduling (Q853729) (← links)
- Performance analysis of probabilistic timed automata using digital clocks (Q853731) (← links)
- How to stop time stopping (Q855006) (← links)
- Analysis of a biphase mark protocol with Uppaal and PVS (Q855013) (← links)
- \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes (Q856423) (← links)
- Model checking of time Petri nets using the state class timed automaton (Q859736) (← links)
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853) (← links)
- Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty (Q862989) (← links)
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Parametric probabilistic transition systems for system design and analysis (Q877158) (← links)
- An engineering process for the verification of real-time systems (Q877159) (← links)
- Semantics and pragmatics of real-time maude (Q880982) (← links)
- Cost-related interface for software product lines (Q898616) (← links)
- Accelerating worst case execution time analysis of timed automata models with cyclic behaviour (Q903501) (← links)
- International symposium on fundamentals of software engineering. International symposium, FSEN 2007, Tehran, Iran, April 17--19, 2007. Proceedings (Q929388) (← links)
- Model checking duration calculus: a practical approach (Q939170) (← links)
- Models and formal verification of multiprocessor system-on-chips (Q953526) (← links)
- Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based evolutionary endosymbiotic learning automata approach (Q955699) (← links)
- Design and verification of long-running transactions in a timed framework (Q955710) (← links)
- A process calculus for mobile ad hoc networks (Q967528) (← links)
- A process algebraic framework for specification and validation of real-time systems (Q968306) (← links)
- Detecting synchronisation of biological oscillators by model checking (Q969176) (← links)
- Hybrid automata, reachability, and systems biology (Q969180) (← links)
- Implementation and analysis of real-time communication protocol compositions (Q995821) (← links)
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude (Q1004068) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- M-nets: a survey (Q1006339) (← links)
- Robust safety of timed automata (Q1028728) (← links)
- Timed verification of the generic architecture of a memory circuit using parametric timed automata (Q1028737) (← links)
- Investigating the usability of real-time scheduling theory with the Cheddar project (Q1033676) (← links)
- Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839) (← links)
