The following pages link to Uppaal (Q16871):
Displaying 50 items.
- Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system (Q264193) (← links)
- Modelling and verification of weighted spiking neural systems (Q264538) (← links)
- Timed recursive state machines: expressiveness and complexity (Q264999) (← links)
- Command-based importance sampling for statistical model checking (Q313977) (← links)
- Formalising concurrent UML state machines using coloured Petri nets (Q315307) (← links)
- Rewriting modulo SMT and open system analysis (Q347384) (← links)
- MR4UM: a framework for adding fault tolerance to UML state diagrams (Q391245) (← links)
- Efficiently identifying deterministic real-time automata from labeled data (Q420918) (← links)
- Verification of graph grammars using a logical approach (Q436370) (← links)
- Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL} (Q440685) (← links)
- Formal modeling and analysis of timed systems. 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings (Q446527) (← links)
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- Efficient emptiness check for timed Büchi automata (Q453519) (← links)
- A concurrency-preserving translation from time Petri nets to networks of timed automata (Q453542) (← links)
- Control: a perspective (Q463779) (← links)
- Linear temporal logic symbolic model checking (Q465680) (← links)
- Automatic verification of reduction techniques in higher order logic (Q469363) (← links)
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Improving active Mealy machine learning for protocol conformance testing (Q479471) (← links)
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- Runtime enforcement of timed properties revisited (Q487258) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets (Q488240) (← links)
- An architectural approach to the analysis, verification and validation of software intensive embedded systems (Q488384) (← links)
- Structural transformations for data-enriched real-time systems (Q493518) (← links)
- Fundamentals of software engineering. 5th international conference, FSEN 2013 Tehran, Iran, April 24--26, 2013. Revised selected papers (Q495949) (← links)
- Finding minimum and maximum termination time of timed automata models with cyclic behaviour (Q507600) (← links)
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046) (← links)
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Optimal deployment of eventually-serializable data services (Q545558) (← links)
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures (Q548479) (← links)
- Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← links)
- The efficiency of identifying timed automata and the power of clocks (Q553334) (← links)
- SetExp: a method of transformation of timed automata into finite state automata (Q601048) (← links)
- Learning of event-recording automata (Q604474) (← links)
- Aspects of availability. Enforcing timed properties to prevent denial of service (Q608233) (← links)
- A lazy approach to symmetry reduction (Q613132) (← links)
- Validation and verification of web services choreographies by using timed automata (Q615897) (← links)
- Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving (Q617922) (← links)
- Efficient approximate verification of B and Z models via symmetry markers (Q622591) (← links)
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- Scenario-based verification of real-time systems using UPPAAL (Q633291) (← links)
- Bisimulation conversion and verification procedure for goal-based control systems (Q633304) (← links)
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- Extended beam search for non-exhaustive state space analysis (Q652163) (← links)
- Efficient verification of distributed real-time systems with broadcasting behaviors (Q656082) (← links)
- Reachability results for timed automata with unbounded data structures (Q707597) (← links)
- On-the-fly \(TCTL\) model checking for time Petri nets (Q732013) (← links)
- Formal modeling and analysis of timed systems. 7th international conference, FORMATS 2009, Budapest, Hungary, September 14--16, 2009. Proceedings (Q735416) (← links)
- Towards verification of computation orchestration (Q736807) (← links)
