IF-2.0
From MaRDI portal
Software:15835
swMATH3303MaRDI QIDQ15835FDOQ15835
Author name not available (Why is that?)
Official website: http://www-if.imag.fr/
Cited In (51)
- A survey of timed automata for the development of real-time systems
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
- 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?)
- A compositional translation of timed automata with deadlines to Uppaal timed automata
- Performance evaluation of schedulers in a probabilistic setting
- 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
- ObjectCheck
- TAPAAL
- PetriNets
- CADP
- Uppaal
- DREAM Tool
- STG
- The Unmet Challenge of Timed Systems
- Formal Modeling and Analysis of Timed Systems
- csp2B
- dSPIN
- McAiT
- CoVer
- Tempo
- CMC
- GloMoSim
- SAT based bounded model checking with partial order semantics for timed automata
- Charon
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
- Reconciling urgency and variable abstraction in a hybrid compositional setting
- Model-checking timed automata with deadlines with Uppaal
- 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
- 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
- Model Checking Software
This page was built for software: IF-2.0
