The following pages link to Uppaal (Q16871):
Displaying 50 items.
- Model checking and artificial intelligence. 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006. Revised selected and invited papers (Q2381097) (← links)
- On the optimal reachability problem of weighted timed automata (Q2385195) (← links)
- Formal approaches to software testing. 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004. Revised selected papers. (Q2388723) (← links)
- Schedulability of asynchronous real-time concurrent objects (Q2390036) (← links)
- Modelling and analysis of normative documents (Q2401019) (← links)
- A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems (Q2403815) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Dealing with practical limitations of distributed timed model checking for timed automata (Q2431767) (← links)
- Exploring optimal solution to hardware/software partitioning for synchronous model (Q2432215) (← links)
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- Cost enforcement in the real-time specification for Java (Q2460195) (← links)
- Optimal reachability for multi-priced timed automata (Q2474054) (← links)
- Formal verification of multitasking applications based on timed automata model (Q2475307) (← links)
- Optimal infinite scheduling for multi-priced timed automata (Q2475633) (← links)
- Constructing invariants for hybrid systems (Q2475635) (← links)
- Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties (Q2481211) (← links)
- Rule-based static analysis of network protocol implementations (Q2482438) (← links)
- Formal methods for the design of real-time systems. International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13--18, 2004. Revised lectures. (Q2492159) (← links)
- Advances in verification of time Petri nets and timed automata. A temporal logic approach. (Q2493434) (← links)
- Remove irrelevant atomic formulas for timed automaton model checking (Q2508377) (← links)
- Discrete-time hybrid modeling and verification of the batch evaporator process benchmark (Q2512159) (← links)
- Design of a PLC control program for a batch plant VHS case study 1 (Q2512165) (← links)
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal (Q2568979) (← links)
- Using heuristic search for finding deadlocks in concurrent systems (Q2573636) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- Almost ASAP semantics: from timed models to timed implementations (Q2576589) (← links)
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions (Q2636513) (← links)
- Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata (Q2637308) (← links)
- Predictable real-time software synthesis (Q2642542) (← links)
- Predicate diagrams for the verification of real-time systems (Q2642985) (← links)
- Understand volatility of algorithmic stablecoin: modeling, verification and empirical analysis (Q2670821) (← links)
- Verification of the legOS scheduler using Uppaal (Q2703732) (← links)
- Analysis of scheduling behaviour using generic timed automata (Q2703749) (← links)
- (Q2729075) (← links)
- Guided synthesis of control programs using UPPAAL (Q2743706) (← links)
- (Q2753753) (← links)
- (Q2754085) (← links)
- (Q2754097) (← links)
- (Q2754105) (← links)
- (Q2754107) (← links)
- Analyzing real-time systems: Theory and tools (Q2763538) (← links)
- (Q2763979) (← links)
- Analysis of a multimedia stream using stochastic process algebra (Q2765225) (← links)
- (Q2766550) (← links)
- (Q2766627) (← links)
- (Q2767090) (← links)
- (Q2769577) (← links)
- (Q2769586) (← links)
- (Q2769597) (← links)
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games (Q2787450) (← links)
