Uppaal

swMATH4702MaRDI QIDQ16871FDOQ16871

Author name not available (Why is that?)

Described by source

• Uppaal in a nutshell
• Formal Methods for the Design of Real-Time Systems
• Unnamed Publication

Cited In (only showing first 100 items - show all)

• Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based evolutionary endosymbiotic learning automata approach
• LTL Parameter Synthesis of Parametric Timed Automata
• Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms
• Modeling Bitcoin Contracts by Timed Automata
• Distributed Algorithms for Time Optimal Reachability Analysis
• \textsc{MightyL}: a compositional translation from MITL to timed automata
• A compared study of two correctness proofs for the standardized algorithm of ABR conformance
• A Ravenscar-compliant run-time kernel for safety-critical systems
• False loop detection in the IEEE 1394 tree identify phase
• Template-Based Controller Synthesis for Timed Systems
• Quantitative Model Checking for a Controller Design
• Title not available (Why is that?)
• Symbolic Model Checking in Non-Boolean Domains
• Timed Control with Observation Based and Stuttering Invariant Strategies
• Model-based engineering of embedded systems using the hybrid process algebra Chi
• 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
• Symbolic verification and analysis of discrete timed systems
• Learning deterministic probabilistic automata from a model checking perspective
• Title not available (Why is that?)
• Refinement and verification in component-based model-driven design
• Implementation and analysis of real-time communication protocol compositions
• Checking temporal duration properties of timed automata.
• Title not available (Why is that?)
• Wireless ventilation control for large‐scale systems: The mining industrial case
• M-nets: a survey
• Conformance tests for real-time systems with timed automata specifications
• On the determinization of event-clock input-driven pushdown automata
• Event algebra for transition systems composition application to timed automata
• A Model for Industrial Real-Time Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fault localization of timed automata using maximum satisfiability
• Formal Modeling and Analysis of Timed Systems
• Semantics and Verification of a Language for Modelling Hardware Architectures
• Reconciling fault-tolerant distributed algorithms and real-time computing
• Automatic symmetry detection for Promela
• Timed runtime monitoring for multiparty conversations
• Let's be lazy, we have time -- or, lazy reachability analysis for timed automata
• Symbolic and Compositional Reachability for Timed Automata
• Title not available (Why is that?)
• Safe and Optimal Adaptive Cruise Control
• Petri nets with causal time for system verification
• Uniform sampling for timed automata with application to language inclusion measurement
• Controller synthesis for dynamic hierarchical real-time plants using timed automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bounded determinization of timed automata with silent transitions
• Distinguishing between communicating transactions
• Formal techniques in real-time and fault-tolerant systems. 6th international symposium, FTRTFT 2000, Pune, India, September 20--22, 2000. Proceedings
• Deductive verification of real-time systems using STeP
• Bounded model checking for timed automata
• Title not available (Why is that?)
• Models and formal verification of multiprocessor system-on-chips
• Timed hyperproperties
• Efficient algorithms for pre* and post* on interprocedural parallel flow graphs
• Exact acceleration of real-time model checking
• An integer static analysis for better extrapolation in Uppaal
• Explaining safety violations in real-time systems
• \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability
• Fast zone-based algorithms for reachability in pushdown timed automata
• Tweaking the odds in probabilistic timed automata
• Parametric probabilistic transition systems for system design and analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
• Tropical Fourier-Motzkin elimination, with an application to real-time verification
• Action language verifier: An infinite-state model checker for reactive software specifications
• Symmetry and partial order reduction techniques in model checking Rebeca
• Verifying distributed real-time properties of embedded systems via graph transformations and model checking
• Title not available (Why is that?)
• Interval duration logic: expressiveness and decidability
• Automatic verification of a lip-synchronisation protocol using UPPAAL
• Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
• Reachability relations of timed pushdown automata
• Title not available (Why is that?)
• Analysis of a multimedia stream using stochastic process algebra
• How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study
• Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
• Axiomatisation and decidability of multi-dimensional Duration Calculus
• A compositional modelling and analysis framework for stochastic hybrid systems
• Verification of the legOS scheduler using Uppaal
• Algebraic Methodology and Software Technology
• An engineering process for the verification of real-time systems
• Timed CTL Model Checking in Real-Time Maude
• Rigorous Simulation-Based Analysis of Linear Hybrid Systems
• A theory of stochastic systems. I: Stochastic automata
• PLC-automata: A new class of implementable real-time automata
• Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata
• Quantitative Attack Tree Analysis via Priced Timed Automata
• 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. Proceedings
• Cost-related interface for software product lines
• Title not available (Why is that?)
• Model Checking Real-Time Systems
• Parametric Deadlock-Freeness Checking Timed Automata
• Verification of continuous dynamical systems by timed automata
• Accelerating worst case execution time analysis of timed automata models with cyclic behaviour
• Using heuristic search for finding deadlocks in concurrent systems
• Compositional Abstraction in Real-Time Model Checking
• Analysis of scheduling behaviour using generic timed automata
• Guided synthesis of control programs using UPPAAL

This page was built for software: Uppaal