Cited in
(only showing first 100 items - show all)- Model-checking timed temporal logics
- Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
- Scenario-Based Timing Consistency Checking for Time Petri Nets
- MR4UM: a framework for adding fault tolerance to UML state diagrams
- Models and formal verification of multiprocessor system-on-chips
- Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based evolutionary endosymbiotic learning automata approach
- Timed hyperproperties
- Non-convex invariants and urgency conditions on linear hybrid automata
- scientific article; zbMATH DE number 1324667 (Why is no real title available?)
- Verification and performance evaluation of timed game strategies
- Continuous modeling of real-time and hybrid systems: From concepts to tools
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Compositional sequentialization of periodic programs
- Verification of Linear Duration Invariants by Model Checking CTL Properties
- Spatio-temporal Model Checking for Mobile Real-Time Systems
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
- Formal model-driven design of distributed algorithms
- Timed-pNets: a communication behavioural semantic model for distributed systems
- Translation of timed Promela to timed automata with discrete data
- Formal design and analysis of a hybrid supervisory control structure for Virtual Production Systems
- Real-Time Systems
- Timed automata with disjoint activity
- Dealing with practical limitations of distributed timed model checking for timed automata
- Exploring optimal solution to hardware/software partitioning for synchronous model
- Monitor-based statistical model checking for weighted metric temporal logic
- Validation and verification of web services choreographies by using timed automata
- A framework for verification of software with time and probabilities
- Modelling and verification of weighted spiking neural systems
- Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system
- Timed recursive state machines: expressiveness and complexity
- Compositional schedulability analysis of real-time actor-based systems
- Schedulability of asynchronous real-time concurrent objects
- Improved BDD-based discrete analysis of timed systems
- Using forward reachability analysis for verification of timed Petri nets
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
- \textsc{LTL} falsification in infinite-state systems
- Constructing test automata from graphical real-time requirements
- A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems
- scientific article; zbMATH DE number 1670789 (Why is no real title available?)
- scientific article; zbMATH DE number 1759608 (Why is no real title available?)
- Time4sys2imi: a tool to formalize real-time system models under uncertainty
- 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
- Efficient algorithms for pre* and post* on interprocedural parallel flow graphs
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Exact acceleration of real-time model checking
- Automatic discovery of fair paths in infinite-state transition systems
- Input urgent semantics for asynchronous timed session types
- Parametric probabilistic transition systems for system design and analysis
- Formal Modeling and Analysis of Timed Systems
- Formal Modeling and Analysis of Timed Systems
- Efficient Detection of Zeno Runs in Timed Automata
- Verifying complex continuous real-time systems with coinductive CLP(R)
- Two-stage agent program verification
- scientific article; zbMATH DE number 2143088 (Why is no real title available?)
- Robust safety of timed automata
- PuRSUE -- from specification of robotic environments to synthesis of controllers
- scientific article; zbMATH DE number 7566069 (Why is no real title available?)
- 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
- Interrupt timed automata: verification and expressiveness
- scientific article; zbMATH DE number 1670779 (Why is no real title available?)
- scientific article; zbMATH DE number 1693437 (Why is no real title available?)
- \textsc{MightyL}: a compositional translation from MITL to timed automata
- Scheduling with timed automata
- Semantics and pragmatics of real-time maude
- Memory arbiter synthesis and verification for a radar memory interface card
- A Kleene-Schützenberger theorem for weighted timed automata
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- scientific article; zbMATH DE number 1973996 (Why is no real title available?)
- Formal modeling and analysis of business process timed constraints
- Multi-scale verification of distributed synchronisation
- Conformance testing for real-time systems
- Analysis of Linear Hybrid Systems in CLP
- A translator of Java programs to TADDs
- scientific article; zbMATH DE number 1670795 (Why is no real title available?)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Design and verification of long-running transactions in a timed framework
- Formal Modeling and Analysis of Timed Systems
- A flattening algorithm for hierarchical timed automata
- Timed CTL model checking in Real-Time Maude
- Optimal deployment of eventually-serializable data services
- Timed modal logics for real-time systems. Specification, verification and control
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis
- scientific article; zbMATH DE number 1956577 (Why is no real title available?)
- A survey on temporal logics for specifying and verifying real-time systems
- Formal Methods for the Design of Real-Time Systems
- Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
- On using priced timed automata to achieve optimal scheduling
- Formal Approaches to Software Testing
- FM 2005: Formal Methods
- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
- Translating between models of concurrency
- Tools and algorithms for the construction and analysis of systems. 7th international conference, TACAS 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2--6, 2001. Proceedings
- Hybrid Control and Verification of a Pulsed Welding Process
This page was built for software: Uppaal
