IF-2.0
From MaRDI portal
Software:15835
swMATH3303MaRDI QIDQ15835FDOQ15835
Author name not available (Why is that?)
Cited In (36)
- A survey of timed automata for the development of real-time systems
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
- Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting
- Schedulability of asynchronous real-time concurrent objects
- Scheduling with timed automata
- Semantics and pragmatics of real-time maude
- Dynamic and formal verification of embedded systems: A comparative survey
- Model Checking Software
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking
- The Implementation of Mazurkiewicz Traces in POEM
- Title not available (Why is that?)
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
- Title not available (Why is that?)
- Verification of Timed-Arc Petri Nets
- Formal Modeling and Analysis of Timed Systems
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
- Translating FSP into LOTOS and networks of automata
- Scaling up livelock verification for network-on-chip routing algorithms
- The Unmet Challenge of Timed Systems
- Formal Modeling and Analysis of Timed Systems
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
- Model-checking timed automata with deadlines with Uppaal
- Performance Evaluation of Schedulers in a Probabilistic Setting
- Approximating Continuous Systems by Timed Automata
- CONCUR 2005 – Concurrency Theory
- Detecting synchronisation of biological oscillators by model checking
- Process Algebra for Parallel and Distributed Processing
- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata
- Efficient verification of distributed real-time systems with broadcasting behaviors
- Bounded determinization of timed automata with silent transitions
- Recent advances in real-time Maude
- Language-oriented formal analysis: a case study on protocols and distributed systems
- Translating Java for multiple model checkers: The Bandera back-end
- SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata
- Model Checking Software
This page was built for software: IF-2.0
