Kronos
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Model-checking timed temporal logics
- Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
- A survey of timed automata for the development of real-time systems
- scientific article; zbMATH DE number 1324667 (Why is no real title available?)
- Verification and performance evaluation of timed game strategies
- Continuous modeling of real-time and hybrid systems: From concepts to tools
- Symbolic model checking of timed guarded commands using difference decision diagrams
- Model Checking Software
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Verification of Linear Duration Invariants by Model Checking CTL Properties
- Model checking weighted integer reset timed automata
- scientific article; zbMATH DE number 1670801 (Why is no real title available?)
- Dealing with practical limitations of distributed timed model checking for timed automata
- A framework for verification of software with time and probabilities
- Timed recursive state machines: expressiveness and complexity
- Using forward reachability analysis for verification of timed Petri nets
- Constructing test automata from graphical real-time requirements
- scientific article; zbMATH DE number 1670789 (Why is no real title available?)
- Explaining safety violations in real-time systems
- Adding Invariants to Event Zone Automata
- Efficient Detection of Zeno Runs in Timed Automata
- scientific article; zbMATH DE number 2080772 (Why is no real title available?)
- Topologies, Continuity and Bisimulations
- Reachability in timed automata with diagonal constraints
- A compared study of two correctness proofs for the standardized algorithm of ABR conformance
- A Ravenscar-compliant run-time kernel for safety-critical systems
- Interrupt timed automata: verification and expressiveness
- Scheduling with timed automata
- Semantics and pragmatics of real-time maude
- A Kleene-Schützenberger theorem for weighted timed automata
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- Towards light-weight probabilistic model checking
- Conformance testing for real-time systems
- Design and verification of long-running transactions in a timed framework
- Formal Modeling and Analysis of Timed Systems
- Timed CTL model checking in Real-Time Maude
- Timed modal logics for real-time systems. Specification, verification and control
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis
- A survey on temporal logics for specifying and verifying real-time systems
- Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
- On using priced timed automata to achieve optimal scheduling
- scientific article; zbMATH DE number 2080038 (Why is no real title available?)
- Static detection of Zeno runs in UPPAAL networks based on synchronization matrices and two data-variable heuristics
- Applications and Theory of Petri Nets 2004
- Lectures on Concurrency and Petri Nets
- Automated Technology for Verification and Analysis
- Analysis of a biphase mark protocol with Uppaal and PVS
- Universality analysis for one-clock timed automata
- Computer Aided Verification
- Comparing model checking and logical reasoning for real-time systems
- Event-clock automata: a determinizable class of timed automata
- The Power of Proofs: New Algorithms for Timed Automata Model Checking
- Improving the landcover classification using domain knowledge
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
- Checking timed Büchi automata emptiness on simulation graphs
- Advances in verification of time Petri nets and timed automata. A temporal logic approach.
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques
- Efficient on-the-fly algorithm for checking alternating timed simulation
- scientific article; zbMATH DE number 1905118 (Why is no real title available?)
- Robust model-checking of timed automata via pumping in channel machines
- Robust reachability in timed automata: a game-based approach
- Linear parametric model checking of timed automata
- An abstraction technique for real-time verification
- Testing timed automata
- scientific article; zbMATH DE number 1905119 (Why is no real title available?)
- Stochastic games for verification of probabilistic timed automata
- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata
- Proving sequential function chart programs using timed automata
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
- Interval duration logic: expressiveness and decidability
- Pushdown timed automata: A binary reachability characterization and safety verification.
- Coarse abstractions make Zeno behaviours difficult to detect
- scientific article; zbMATH DE number 2043460 (Why is no real title available?)
- Implementation and analysis of real-time communication protocol compositions
- Reachability relations of timed pushdown automata
- scientific article; zbMATH DE number 1424030 (Why is no real title available?)
- Zone-Based Universality Analysis for Single-Clock Timed Automata
- An approximation algorithm for box abstraction of transition systems on real state spaces
- Specification of real-time and hybrid systems in rewriting logic
- scientific article; zbMATH DE number 2104635 (Why is no real title available?)
- TCTL inevitability analysis of dense-time systems
- Modeling Bitcoin contracts by timed automata
- A compositional translation of timed automata with deadlines to Uppaal timed automata
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions
- Shrinking timed automata
- How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
- Reachability analysis for timed automata using max-plus algebra
- Improvements for the Symbolic Verification of Timed Automata
- scientific article; zbMATH DE number 2064231 (Why is no real title available?)
- Modeling for Verification
- Axiomatisation and decidability of multi-dimensional Duration Calculus
- Performance evaluation of schedulers in a probabilistic setting
- On reachability and minimum cost optimal control
- Partial order path technique for checking parallel timed automata
- SetExp: a method of transformation of timed automata into finite state automata
- Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
- M-nets: a survey
- Hybridization methods for the analysis of nonlinear systems
This page was built for software: Kronos
