Kronos
From MaRDI portal
Software:14010
swMATH1270MaRDI QIDQ14010FDOQ14010
Author name not available (Why is that?)
Cited In (only showing first 100 items - show all)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Topologies, Continuity and Bisimulations
- Title not available (Why is that?)
- Explaining safety violations in real-time systems
- A Kleene-Schützenberger theorem for weighted timed automata
- Conformance testing for real-time systems
- Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
- Applications and Theory of Petri Nets 2004
- Timed modal logics for real-time systems. Specification, verification and control
- The Power of Proofs: New Algorithms for Timed Automata Model Checking
- Analysis of a biphase mark protocol with Uppaal and PVS
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking
- Interval duration logic: expressiveness and decidability
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
- Reachability relations of timed pushdown automata
- Implementation and analysis of real-time communication protocol compositions
- How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study
- Axiomatisation and decidability of multi-dimensional Duration Calculus
- SetExp: a method of transformation of timed automata into finite state automata
- M-nets: a survey
- Formal Modeling and Analysis of Timed Systems
- Is your model checker on time? On the complexity of model checking for timed modal logics
- Presburger liveness verification of discrete timed automata.
- Timed CTL Model Checking in Real-Time Maude
- A supervisory control method for ensuring the conformance of real-time discrete event systems
- Reachability results for timed automata with unbounded data structures
- Formal Modeling and Analysis of Timed Systems
- A theory of stochastic systems. I: Stochastic automata
- Counterexample-guided predicate abstraction of hybrid systems
- PLC-automata: A new class of implementable real-time automata
- A refinement-based process algebra for timed automata
- Computing efficient operation schemes for chemical plants in multi-batch mode
- Cost-related interface for software product lines
- Model Checking Real-Time Systems
- Extending CTL with Actions and Real Time
- An Abstraction Technique for Real-Time Verification
- Title not available (Why is that?)
- Reconciling fault-tolerant distributed algorithms and real-time computing
- Scenario-based verification of real-time systems using UPPAAL
- Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics
- Title not available (Why is that?)
- A tool for the syntactic detection of Zeno-timelocks in timed automata
- Constructing Test Automata from Graphical Real-Time Requirements
- Using formal verification to evaluate the execution time of Spark applications
- Abstraction and completeness for real-time Maude
- FM 2005: Formal Methods
- Efficient verification of distributed real-time systems with broadcasting behaviors
- Petri nets with causal time for system verification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Efficient On-the-Fly Algorithms for Partially Observable Timed Games
- Title not available (Why is that?)
- Timed discrete event control of parallel production lines with continuous outputs
- Finding minimum and maximum termination time of timed automata models with cyclic behaviour
- Formal Modeling and Analysis of Timed Systems
- Validation of Stochastic Systems
- Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC
- Real-time system = discrete system + clock variables
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Bounded model checking for timed automata
- Model Checking Software
- Coarse Abstractions Make Zeno Behaviours Difficult to Detect
- A survey of timed automata for the development of real-time systems
- Model checking weighted integer reset timed automata
- Timed recursive state machines: expressiveness and complexity
- Adding Invariants to Event Zone Automata
- Efficient Detection of Zeno Runs in Timed Automata
- Verification of Timed Automata via Satisfiability Checking
- Scheduling with timed automata
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp>
- Formal Modeling and Analysis of Timed Systems
- Interrupt timed automata: verification and expressiveness
- Semantics and pragmatics of real-time maude
- Design and verification of long-running transactions in a timed framework
- Lectures on Concurrency and Petri Nets
- On using priced timed automata to achieve optimal scheduling
- Model Checking of Biological Systems
- Automated Technology for Verification and Analysis
- Event-clock automata: a determinizable class of timed automata
- Checking timed Büchi automata emptiness on simulation graphs
- Title not available (Why is that?)
- Testing timed automata
- Event Clock Automata: From Theory to Practice
- Linear parametric model checking of timed automata
- Rewriting Modulo SMT and Open System Analysis
- Pushdown timed automata: A binary reachability characterization and safety verification.
- Title not available (Why is that?)
- Zone-Based Universality Analysis for Single-Clock Timed Automata
- Specification of real-time and hybrid systems in rewriting logic
- Improvements for the Symbolic Verification of Timed Automata
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
- On reachability and minimum cost optimal control
- Reachability analysis for timed automata using max-plus algebra
- Hybridization methods for the analysis of nonlinear systems
- Updatable timed automata
- A concurrency-preserving translation from time Petri nets to networks of timed automata
- State space computation and analysis of Time Petri Nets
- Performance analysis of probabilistic timed automata using digital clocks
- Checking timed Büchi automata emptiness efficiently
This page was built for software: Kronos