Kronos

swMATH1270MaRDI QIDQ14010FDOQ14010

Author name not available (Why is that?)

Described by source

• Kronos: A verification tool for real-time systems

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