scientific article; zbMATH DE number 177824
From MaRDI portal
Publication:4038702
Recommendations
Cited in
(only showing first 100 items - show all)- Interval logics and their decision procedures. II: A real-time interval logic
- A unified model for real-time systems: symbolic techniques and implementation
- A real-time interval logic and its decision procedure
- An introduction to timed automata
- Sooner is safer than later
- Automated verification of an audio-control protocol using UPPAAL
- The Verus language: Representing time efficiently with BDDs
- Model-checking timed temporal logics
- A survey of timed automata for the development of real-time systems
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
- Deciding properties of integral relational automata
- On some relations between dynamical systems and transition systems
- Specification and automatic verification of self-timed queues
- Validation and verification of web services choreographies by using timed automata
- Fuzzy regular languages over finite and infinite words
- Minimum and maximum delay problems in real-time systems
- Exact acceleration of real-time model checking
- Compositional design of stochastic timed automata
- What good are digital clocks?
- Discount-optimal infinite runs in priced timed automata
- Quantitative analysis of weighted transition systems
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- Alternation-free weighted mu-calculus: decidability and completeness
- Incremental methods for checking real-time consistency
- On using priced timed automata to achieve optimal scheduling
- On-the-fly \(TCTL\) model checking for time Petri nets
- Verification of gap-order constraint abstractions of counter systems
- A method for the modular synthesis of controllers for timed discrete-event systems
- Reachability solution characterization of parametric real-time systems
- Bounded model checking for knowledge and real time
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- A proof-based method for modelling timed systems
- A Survey on Analog Models of Computation
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
- Computational bounds on polynomial differential equations
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
- Modeling objects moving in a complex environment with world automata
- Timed automata and additive clock constraints
- Verifying automata specification of distributed probabilistic real-time systems
- Optimal infinite scheduling for multi-priced timed automata
- Linear parametric model checking of timed automata
- Language preservation problems in parametric timed automata
- Interval duration logic: expressiveness and decidability
- Language preservation problems in parametric timed automata
- Equivalence checking 40 years after: a review of bisimulation tools
- Information system design of manufacturing environments
- scientific article; zbMATH DE number 795181 (Why is no real title available?)
- Timed automata and recognizability
- Elimination of detached regions in dependency graph verification
- Using mappings to prove timing properties
- On a class of timer hybrid systems reducible to finite state automata
- A process algebra of communicating shared resources with dense time and priorities
- Reachability analysis for timed automata using max-plus algebra
- A logic for reasoning about time and reliability
- Removing \(\epsilon \)-transitions in timed automata
- Computing with polynomial ordinary differential equations
- Process algebra for hybrid systems
- On the regularization of Zeno hybrid automata
- Verification of gap-order constraint abstractions of counter systems
- Updatable timed automata
- Boundedness of the domain of definition is undecidable for polynomial ODEs
- An engineering process for the verification of real-time systems
- Formalized timed automata
- Discussion on: ``Formal specification method for systems automation
- Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties
- Protocol scheduling
- Verification of Timed-Arc Petri Nets
- Concurrent weighted logic
- Optimal reachability for multi-priced timed automata
- Consistent approximations of the Zeno behaviour in affine-type switched dynamic systems
- Network invariants for real-time systems
- Symbolic state estimation in bounded timed labeled Petri nets
- Contraction of the ITCPN state space
- Decidable hybrid systems
- Zeno hybrid systems
- Timed substitutions for regular signal-event languages
- Parametric Verification of Weighted Systems
- A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets
- Symbolic timing devices
- Continuity controlled hybrid automata
- A brief account of runtime verification
- On decidability of recursive weighted logics
- Time abstracted bisimulation: Implicit specifications and decidability
- Hybrid Systems: Computation and Control
- Theorem of abstraction for equivalent controllers in hybrid systems
- Dynamic exploration of multi-agent systems with periodic timed tasks
- Investigating the usability of real-time scheduling theory with the Cheddar project
- scientific article; zbMATH DE number 1870546 (Why is no real title available?)
- Computation with perturbed dynamical systems
- Nonblocking supervisory control of timed discrete event systems under communication delays: the existence conditions
- Deciding properties of regular real timed processes
- Formal verification of speed-dependent asynchronous circuits using symbolic model checking of Branching Time Regular Temporal Logic
- Minimum and maximum delay problems in realtime systems
- Contracts for cross-organizational workflows as timed dynamic condition response graphs
- A menagerie of timed automata
- Formal language properties of hybrid systems with strong resets
- An iterative approach to verification of real-time systems
- Model-checking precision agriculture logistics: the case of the differential harvest
- On the Modeling of Sequential Reactive Systems by Means of Real Time Automata
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4038702)
