IF-2.0
From MaRDI portal
Software:15835
No author found.
Related Items (36)
Scheduling with timed automata ⋮ Performance Evaluation of Schedulers in a Probabilistic Setting ⋮ Verifying distributed real-time properties of embedded systems via graph transformations and model checking ⋮ Scaling up livelock verification for network-on-chip routing algorithms ⋮ Schedulability of asynchronous real-time concurrent objects ⋮ Unnamed Item ⋮ Specification and analysis of the AER/NCA active network protocol suite in real-time Maude ⋮ Semantics and pragmatics of real-time maude ⋮ Formal Modeling and Analysis of Timed Systems ⋮ Formal Modeling and Analysis of Timed Systems ⋮ Unnamed Item ⋮ Translating FSP into LOTOS and networks of automata ⋮ A survey of timed automata for the development of real-time systems ⋮ Approximating Continuous Systems by Timed Automata ⋮ Model-checking timed automata with deadlines with Uppaal ⋮ Bounded determinization of timed automata with silent transitions ⋮ The Implementation of Mazurkiewicz Traces in POEM ⋮ Efficient verification of distributed real-time systems with broadcasting behaviors ⋮ Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets ⋮ TCTL-preserving translations from timed-arc Petri nets to networks of timed automata ⋮ Process Algebra for Parallel and Distributed Processing ⋮ SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata ⋮ The Unmet Challenge of Timed Systems ⋮ Detecting synchronisation of biological oscillators by model checking ⋮ Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting ⋮ Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format ⋮ Dynamic and formal verification of embedded systems: A comparative survey ⋮ Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude ⋮ Verification of Timed-Arc Petri Nets ⋮ CONCUR 2005 – Concurrency Theory ⋮ A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata ⋮ Model Checking Software ⋮ Model Checking Software ⋮ 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
This page was built for software: IF-2.0
