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)

• Real-Time Systems
• Timed automata with disjoint activity
• Schedulability of asynchronous real-time concurrent objects
• Efficient Detection of Zeno Runs in Timed Automata
• Scheduling with timed automata
• Semantics and pragmatics of real-time maude
• Title not available (Why is that?)
• Design and verification of long-running transactions in a timed framework
• On using priced timed automata to achieve optimal scheduling
• Modeling Routing Protocols in Adhoc Networks
• Efficiently identifying deterministic real-time automata from labeled data
• Runtime enforcement of timed properties revisited
• Verification from Declarative Specifications Using Logic Programming
• The efficiency of identifying timed automata and the power of clocks
• Bounded Model Checking for Parametric Timed Automata
• Completeness for flat modal fixpoint logics
• Inference of Event-Recording Automata Using Timed Decision Trees
• Title not available (Why is that?)
• Testing timed automata
• Verification of graph grammars using a logical approach
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Title not available (Why is that?)
• Title not available (Why is that?)
• An automata-theoretic approach to infinite-state systems
• Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL}
• Formal modeling and analysis of timed systems. 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
• Partial Order Reduction for Verification of Real-Time Components
• Hybridization methods for the analysis of nonlinear systems
• A concurrency-preserving translation from time Petri nets to networks of timed automata
• Title not available (Why is that?)
• State space computation and analysis of Time Petri Nets
• Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty
• To store or not to store.
• Model checking of time Petri nets using the state class timed automaton
• Title not available (Why is that?)
• Control: a perspective
• Title not available (Why is that?)
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
• How to stop time stopping
• Revisiting Semantics of Interactions for Trace Validity Analysis
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Linear temporal logic symbolic model checking
• Automatic verification of reduction techniques in higher order logic
• Correct Hardware Design and Verification Methods
• Generalized discrete timed automata: Decidable approximations for safety verification.
• The power of reachability testing for timed automata
• Compact data structures and state-space reduction for model-checking real-time systems
• Can decision diagrams overcome state space explosion in real-time verification?
• A brief history of process algebra
• Model checking JAVA programs using JAVA PathFinder
• Title not available (Why is that?)
• Integrating deployment architectures and resource consumption in timed object-oriented models
• Improving active Mealy machine learning for protocol conformance testing
• Efficient emptiness check for timed Büchi automata
• Learning of event-recording automata
• Verification, performance analysis and controller synthesis for real-time systems
• Title not available (Why is that?)
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Robust Analysis of Timed Automata Via Channel Machines
• Robust reachability in timed automata and games: a game-based approach
• A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets
• An architectural approach to the analysis, verification and validation of software intensive embedded systems
• Analysis of a clock synchronization protocol for wireless sensor networks
• Formal Modeling and Analysis of Timed Systems
• Detecting synchronisation of biological oscillators by model checking
• Hybrid systems: From verification to falsification by combining motion planning and discrete search
• Structural transformations for data-enriched real-time systems
• Fundamentals of software engineering. 5th international conference, FSEN 2013 Tehran, Iran, April 24--26, 2013. Revised selected papers
• Timed verification of the generic architecture of a memory circuit using parametric timed automata
• Hybrid Systems: Computation and Control
• Verification of asynchronous circuits using timed automata
• One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit
• A logical characterization of data languages.
• Model checking mobile ad hoc networks
• Tools and Algorithms for the Construction and Analysis of Systems
• Behavioral cartography of timed automata
• Structural translation from time Petri nets to timed automata
• Merge and conquer: state merging in parametric timed automata
• Automated verification of an audio-control protocol using UPPAAL
• Models and formal verification of multiprocessor system-on-chips
• Timed hyperproperties
• Constructing test automata from graphical real-time requirements
• 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?)
• Timed CTL model checking in Real-Time Maude
• Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
• Rigorous simulation-based analysis of linear hybrid systems
• 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

This page was built for software: Uppaal