On the public citation graph
The theory of timed automata
0 signed · 271 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1006/inco.1994.1035openalex-snapshot
A Partial Approach to Model Checking
inferredcites →https://doi.org/10.1007/3-540-52590-4_43openalex-snapshot
A unified approach for showing language containment and equivalence between various types of ω-automata
inferredcites →https://doi.org/10.1007/3-540-54233-7_128openalex-snapshot
Model-checking for probabilistic real-time systems
inferredcites →https://doi.org/10.1007/3-540-55179-4_37openalex-snapshot
Minimum and maximum delay problems in realtime systems
inferredcites →https://doi.org/10.1007/978-1-4613-8928-6_23openalex-snapshot
On a Decision Method in Restricted Second Order Arithmetic
inferredcites →https://doi.org/10.1007/bf00709157openalex-snapshot
Minimum and maximum delay problems in real-time systems
inferredcites →https://doi.org/10.1007/bfb0015772openalex-snapshot
The complementation problem for Büchi automata with applications to temporal logic
inferredcites →https://doi.org/10.1007/bfb0023741openalex-snapshot
Synthesizing processes and schedulers from temporal specifications
inferredcites →https://doi.org/10.1007/bfb0027047openalex-snapshot
Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends
inferredcites →https://doi.org/10.1016/0020-0190(93)90069-lopenalex-snapshot
A unified approach for showing language inclusion and equivalence between various types of ω-automata
inferredcites →https://doi.org/10.1016/0022-0000(87)90036-5openalex-snapshot
Complementing deterministic Büchi automata in polynomial time
inferredcites →https://doi.org/10.1016/0167-6423(83)90017-5openalex-snapshot
Using branching time temporal logic to synthesize synchronization skeletons
inferredcites →https://doi.org/10.1016/0168-0072(91)90066-uopenalex-snapshot
Verification of concurrent programs: the automata-theoretic framework*
inferredcites →https://doi.org/10.1016/0304-3975(87)90008-9openalex-snapshot
The complementation problem for Büchi automata with applications to temporal logic
inferredcites →https://doi.org/10.1016/0378-4754(81)90068-9openalex-snapshot
Introduction to automata theory, languages and computation
inferredcites →https://doi.org/10.1016/0890-5401(92)90017-aopenalex-snapshot
Symbolic model checking: 1020 States and beyond
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50009-3openalex-snapshot
Automata on Infinite Objects
inferredcites →https://doi.org/10.1016/s0019-9958(66)80013-xopenalex-snapshot
Testing and generating infinite sequences by a finite automaton
inferredcites →https://doi.org/10.1016/s0022-0000(74)80051-6openalex-snapshot
Theories of automata on ω-tapes: A simplified approach
inferredcites →https://doi.org/10.1109/cdc.1991.261658openalex-snapshot
The control of dense real-time discrete event systems
inferredcites →https://doi.org/10.1109/lics.1990.113766openalex-snapshot
Model-checking for real-time systems
inferredcites →https://doi.org/10.1109/lics.1990.113767openalex-snapshot
Symbolic model checking: 10/sup 20/ states and beyond
inferredcites →https://doi.org/10.1109/lics.1991.151664openalex-snapshot
A partial approach to model checking
inferredcites →https://doi.org/10.1109/sfcs.1983.51openalex-snapshot
Reasoning about infinite computation paths
inferredcites →https://doi.org/10.1109/sfcs.1988.21948openalex-snapshot
On the complexity of omega -automata
inferredcites →https://doi.org/10.1145/112600.112613openalex-snapshot
The benefits of relaxing punctuality
inferredcites →https://doi.org/10.1145/357980.358021openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/359576.359585openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/5397.5399openalex-snapshot
Automatic verification of finite-state concurrent systems using temporal logic specifications
inferredcites →https://doi.org/10.21236/ada325997openalex-snapshot
The Control of Dense Real-Time Discrete Event Systems,
inferredcites →https://doi.org/10.2307/2316720openalex-snapshot
Theory of Recursive Functions and Effective Computability.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/(sici)1520-684x(19990615)30:6<13::aid-scj2>3.0.co;2-mopenalex-snapshot
State fence diagrams?A graphical representation for designing reactive systems
inferred← citeshttps://doi.org/10.1002/1520-684x(200012)31:14<47::aid-scj6>3.0.co;2-qopenalex-snapshot
Descriptions of timing in requirements for reactive systems
inferred← citeshttps://doi.org/10.1002/stvr.1505openalex-snapshot
Extending model checkers for hybrid system verification: the case study of SPIN
inferred← citeshttps://doi.org/10.1007/11516798_3openalex-snapshot
Testing Mobile and Distributed Systems: Method and Experimentation
inferred← citeshttps://doi.org/10.1007/11535294_2openalex-snapshot
Timed Equivalences for Timed Event Structures
inferred← citeshttps://doi.org/10.1007/11535294_4openalex-snapshot
Real-Time Event Structures and Scott Domains
inferred← citeshttps://doi.org/10.1007/3-540-36137-5_1openalex-snapshot
Conformance Testing Techniques for Timed Systems
inferred← citeshttps://doi.org/10.1007/3-540-36190-1_8openalex-snapshot
Timed Verification of Asynchronous Circuits
inferred← citeshttps://doi.org/10.1007/3-540-40891-6_4openalex-snapshot
Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs
inferred← citeshttps://doi.org/10.1007/3-540-40911-4_22openalex-snapshot
Predicate Diagrams for the Verification of Reactive Systems
inferred← citeshttps://doi.org/10.1007/3-540-44669-9_28openalex-snapshot
On the Category of Event Structures with Dense Time
inferred← citeshttps://doi.org/10.1007/3-540-44743-1_12openalex-snapshot
Characterizing Timed Net Processes Categorically
inferred← citeshttps://doi.org/10.1007/3-540-45294-x_12openalex-snapshot
Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter
inferred← citeshttps://doi.org/10.1007/3-540-45319-9_35openalex-snapshot
An Automata Based Interpretation of Live Sequence Charts
inferred← citeshttps://doi.org/10.1007/3-540-45441-1_24openalex-snapshot
Scenario-Based Monitoring and Testing of Real-Time UML Models
inferred← citeshttps://doi.org/10.1007/3-540-45526-4_3openalex-snapshot
Analysis of Reactive Systems with n Timers
inferred← citeshttps://doi.org/10.1007/3-540-45575-2_21openalex-snapshot
Observational Semantics for Timed Event Structures
inferred← citeshttps://doi.org/10.1007/3-540-45628-7_10openalex-snapshot
Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach
inferred← citeshttps://doi.org/10.1007/3-540-45657-0_15openalex-snapshot
Automatic Derivation of Timing Constraints by Failure Analysis
inferred← citeshttps://doi.org/10.1007/3-540-45678-3_22openalex-snapshot
On Removing the Pushdown Stack in Reachability Constructions
inferred← citeshttps://doi.org/10.1007/3-540-45739-9_10openalex-snapshot
From the Specification to the Scheduling of Time-Dependent Systems
inferred← citeshttps://doi.org/10.1007/3-540-48257-1_9openalex-snapshot
A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems
inferred← citeshttps://doi.org/10.1007/3-540-48321-7_46openalex-snapshot
A partial order method for the verification of time Petri nets
inferred← citeshttps://doi.org/10.1007/3-540-49163-5_8openalex-snapshot
Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties
inferred← citeshttps://doi.org/10.1007/3-540-49253-4_7openalex-snapshot
Verification of Bounded Delay Asynchronous Circuits with Timed Traces
inferred← citeshttps://doi.org/10.1007/3-540-56891-3_17openalex-snapshot
A Kahn principle for networks of nonmonotonic real-time processes
inferred← citeshttps://doi.org/10.1007/3-540-56922-7_21openalex-snapshot
Timed modal specification — Theory and tools
inferred← citeshttps://doi.org/10.1007/3-540-57880-3_4openalex-snapshot
An asynchronous process algebra with multiple clocks
inferred← citeshttps://doi.org/10.1007/3-540-58179-0_40openalex-snapshot
Real-time system verification using P/T nets
inferred← citeshttps://doi.org/10.1007/3-540-59293-8_224openalex-snapshot
Describing a Signal Analyzer in the process algebra PMC — A case study
inferred← citeshttps://doi.org/10.1007/3-540-60045-0_52openalex-snapshot
Local model checking for real-time systems
inferred← citeshttps://doi.org/10.1007/3-540-60045-0_67openalex-snapshot
Efficient timing analysis of a class of Petri nets
inferred← citeshttps://doi.org/10.1007/3-540-61042-1_47openalex-snapshot
Timed Condition/Event systems: A framework for modular discrete models of chemical plants and verification of their real-time discrete control
inferred← citeshttps://doi.org/10.1007/3-540-61055-3_36openalex-snapshot
Durations for truly-concurrent transitions
inferred← citeshttps://doi.org/10.1007/3-540-61604-7_64openalex-snapshot
Rewriting logic as a semantic framework for concurrency: a progress report
inferred← citeshttps://doi.org/10.1007/3-540-61648-9_39openalex-snapshot
Weak chop inverses and liveness in Mean-Value Calculus
inferred← citeshttps://doi.org/10.1007/3-540-61648-9_54openalex-snapshot
Compositionality in real-time shared variable concurrency
inferred← citeshttps://doi.org/10.1007/3-540-63010-4_11openalex-snapshot
A visual formalism for real time requirement specifications
inferred← citeshttps://doi.org/10.1007/978-0-387-34892-6_2openalex-snapshot
Specifying Real-Time Requirements for SDL Specifications — A Temporal Logic-Based Approach
inferred← citeshttps://doi.org/10.1007/978-0-387-34945-9_9openalex-snapshot
A Reachability Analysis of RT-LOTOS Specifications
inferred← citeshttps://doi.org/10.1007/978-0-387-35079-0_19openalex-snapshot
Implementation of multimedia systems based on a real-time extension of Estelle
inferred← citeshttps://doi.org/10.1007/978-0-387-35409-5_16openalex-snapshot
Timing Constraints Validation Using Uppaal
inferred← citeshttps://doi.org/10.1007/978-0-85729-277-3_7openalex-snapshot
Extended Finite State Machine
inferred← citeshttps://doi.org/10.1007/978-1-4471-1009-5_25openalex-snapshot
Real-Time Object-Oriented Method
inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_6openalex-snapshot
Rigorous specification of real-time systems
inferred← citeshttps://doi.org/10.1007/978-1-4757-3281-8_17openalex-snapshot
A mixed event-value based specification model for reactive systems
inferred← citeshttps://doi.org/10.1007/978-3-030-00856-7_13openalex-snapshot
Formalizing Reusable Communication Models for Distributed Systems Architecture
inferred← citeshttps://doi.org/10.1007/978-3-030-02450-5_4openalex-snapshot
The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System
inferred← citeshttps://doi.org/10.1007/978-3-030-23703-5_2openalex-snapshot
Challenges in Digital Twin Development for Cyber-Physical Production Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-28042-0_2openalex-snapshot
Reachability Analysis and Hybrid Systems Biology - In Memoriam Oded Maler
inferred← citeshttps://doi.org/10.1007/978-3-030-32505-3_8openalex-snapshot
Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains
inferred← citeshttps://doi.org/10.1007/978-3-030-62822-2_5openalex-snapshot
Randomized Refinement Checking of Timed I/O Automata
inferred← citeshttps://doi.org/10.1007/978-3-031-16336-4_19openalex-snapshot
Monte Carlo Tree Search for Priced Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-031-94634-9_10openalex-snapshot
Energy Transfer in Timed Cyclic Networks
inferred← citeshttps://doi.org/10.1007/978-3-032-35298-9_19openalex-snapshot
Witnesses and Counterexamples for Timed Bisimulation
inferred← citeshttps://doi.org/10.1007/978-3-319-12096-6_33openalex-snapshot
A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-23437-3_1openalex-snapshot
Modelling and Analysing Mixed Reality Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-25150-9_31openalex-snapshot
Enforcement of (Timed) Properties with Uncontrollable Events
inferred← citeshttps://doi.org/10.1007/978-3-319-32582-8_5openalex-snapshot
River Basin Management with Spin
inferred← citeshttps://doi.org/10.1007/978-3-319-39883-9_4openalex-snapshot
Efficient Model Checking Timed and Weighted Interpreted Systems Using SMT and SAT Solvers
inferred← citeshttps://doi.org/10.1007/978-3-319-66302-9_3openalex-snapshot
Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm of an Industrial Real Time System
inferred← citeshttps://doi.org/10.1007/978-3-319-67549-7_16openalex-snapshot
GREP: Games for the Runtime Enforcement of Properties
inferred← citeshttps://doi.org/10.1007/978-3-319-76348-4_80openalex-snapshot
A Support Vector Machine Based Approach to Real Time Fault Signal Classification for High Speed BLDC Motor
inferred← citeshttps://doi.org/10.1007/978-3-540-39866-0_26openalex-snapshot
Open Maps and Trace Semantics for Timed Partial Order Models
inferred← citeshttps://doi.org/10.1007/978-3-540-39979-7_23openalex-snapshot
Formal Design of Interactive Multimedia Documents
inferred← citeshttps://doi.org/10.1007/978-3-540-70881-0_39openalex-snapshot
Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction
inferred← citeshttps://doi.org/10.1007/978-3-540-73940-1_4openalex-snapshot
A Categorical Observation of Timed Testing Equivalence
inferred← citeshttps://doi.org/10.1007/978-3-540-89330-1_7openalex-snapshot
The Complexity of Coverage
inferred← citeshttps://doi.org/10.1007/978-3-642-03275-2_3openalex-snapshot
Towards Parametric Verification of Prioritized Time Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-13161-5_28openalex-snapshot
Implementation of a New Hybrid Methodology for Fault Signal Classification Using Short -Time Fourier Transform and Support Vector Machines
inferred← citeshttps://doi.org/10.1007/978-3-642-27242-4_33openalex-snapshot
Statistical and Fusion Based Hybrid Approach for Fault Signal Classification in Electromechanical System
inferred← citeshttps://doi.org/10.1007/978-3-642-27269-1_17openalex-snapshot
Performance Verification in Complex Enterprise-Level Component Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-34691-0_10openalex-snapshot
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-41175-5_7openalex-snapshot
Formal Evaluation Methodology of Educational Scenario in Distance Learning
inferred← citeshttps://doi.org/10.1007/978-3-642-58622-4_10openalex-snapshot
Research Directions in Rewriting Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-59048-1_7openalex-snapshot
Timed Rewriting Logic for the Specification of Time-Sensitive Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-59615-5_16openalex-snapshot
Control for a Class of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-60085-2_6openalex-snapshot
Horn Logic Denotations and Their Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-60211-5_23openalex-snapshot
Modeling and Analysis of Hybrid Control Systems
inferred← citeshttps://doi.org/10.1007/978-981-96-0617-7_6openalex-snapshot
Efficient State Estimation of Discrete-Timed Automata
inferred← citeshttps://doi.org/10.1007/bf01211086openalex-snapshot
Duration calculus: Logical foundations
inferred← citeshttps://doi.org/10.1007/bf01213605openalex-snapshot
Model-checking discrete duration calculus
inferred← citeshttps://doi.org/10.1007/bf02551330openalex-snapshot
The complementary-slackness class of hybrid systems
inferred← citeshttps://doi.org/10.1007/bf02997770openalex-snapshot
Temporal validation of multimedia protocols
inferred← citeshttps://doi.org/10.1007/bf03005246openalex-snapshot
Modeling and analysis of temporal constraints in communication protocols
inferred← citeshttps://doi.org/10.1007/bfb0000471openalex-snapshot
Software design, specification, and verification: Lessons learned from the Rether case study
inferred← citeshttps://doi.org/10.1007/bfb0002885openalex-snapshot
Analyzing schedulability of astral specifications using extended timed automata
inferred← citeshttps://doi.org/10.1007/bfb0023457openalex-snapshot
Temporal logics for the specification of performance and reliability
inferred← citeshttps://doi.org/10.1007/bfb0055344openalex-snapshot
Partition refinement in real-time model checking
inferred← citeshttps://doi.org/10.1007/bfb0055346openalex-snapshot
Synchronizing clocked transition systems
inferred← citeshttps://doi.org/10.1007/bfb0056604openalex-snapshot
Logic programming and model checking
inferred← citeshttps://doi.org/10.1007/s00165-007-0030-yopenalex-snapshot
Predicate diagrams for the verification of real-time systems
inferred← citeshttps://doi.org/10.1007/s00165-020-00515-2openalex-snapshot
Runtime enforcement of timed properties usinggames
inferred← citeshttps://doi.org/10.1007/s10009-017-0478-xopenalex-snapshot
Integrating river basin DSSs with model checking
inferred← citeshttps://doi.org/10.1007/s10009-020-00585-wopenalex-snapshot
Formal testing of timed graph transformation systems using metric temporal graph logic
inferred← citeshttps://doi.org/10.1007/s10009-022-00681-zopenalex-snapshot
Randomized reachability analysis in UPPAAL: fast error detection in timed systems
inferred← citeshttps://doi.org/10.1007/s100090050031openalex-snapshot
Local model checking and protocol analysis
inferred← citeshttps://doi.org/10.1007/s10270-013-0342-8openalex-snapshot
Formal synthesis of application and platform behaviors of embedded software systems
inferred← citeshttps://doi.org/10.1007/s10626-009-0083-6openalex-snapshot
Supervisory Control of (max,+) Automata: A Behavioral Approach
inferred← citeshttps://doi.org/10.1007/s10703-023-00434-xopenalex-snapshot
Verification modulo theories
inferred← citeshttps://doi.org/10.1007/s11042-023-18051-5openalex-snapshot
Temporal automata for robotic scenario modeling with CIT framework
inferred← citeshttps://doi.org/10.1007/s11334-011-0152-5openalex-snapshot
Using integer clocks to verify clock-synchronization protocols
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00149-dopenalex-snapshot
Constraint nets: a semantic model for hybrid dynamic systems
inferred← citeshttps://doi.org/10.1016/0304-3975(94)90029-9openalex-snapshot
On the effects of noise and speed on computations
inferred← citeshttps://doi.org/10.1016/b978-008044485-7/50165-2openalex-snapshot
Fault Detection for HDS by Means of Neural Networks: Application to Two Tanks Hydraulic System
inferred← citeshttps://doi.org/10.1016/b978-012646490-0/50006-8openalex-snapshot
Computational Issues in Intelligent Control: Discrete-Event and Hybrid Systems
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2018.04.006openalex-snapshot
Petri nets and Automatic Control: A historical perspective
inferred← citeshttps://doi.org/10.1016/j.compag.2008.02.008openalex-snapshot
Using timed automata and model-checking to simulate material flow in agricultural production systems—Application to animal waste management
inferred← citeshttps://doi.org/10.1016/j.compchemeng.2013.12.001openalex-snapshot
Scope for industrial applications of production scheduling models and solution methods
inferred← citeshttps://doi.org/10.1016/j.compind.2021.103584openalex-snapshot
AFMT: Maintaining the safety-security of industrial control systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.10.010openalex-snapshot
Predicate Diagrams for the Verification of Real-Time Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2010.07.020openalex-snapshot
Coinduction in Concurrent Timed Systems
inferred← citeshttps://doi.org/10.1016/j.ifacol.2017.08.156openalex-snapshot
Modeling, analysis and control of Discrete Event Systems: a Petri net perspective
inferred← citeshttps://doi.org/10.1016/j.infsof.2017.11.003openalex-snapshot
IgS-wBSRM: A time-aware Web Service QoS monitoring approach in dynamic environments
inferred← citeshttps://doi.org/10.1016/j.sysarc.2023.102928openalex-snapshot
Compositional verification of embedded real-time systems
inferred← citeshttps://doi.org/10.1016/s0140-3664(99)00240-6openalex-snapshot
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
inferred← citeshttps://doi.org/10.1016/s0167-6423(96)00024-xopenalex-snapshot
Timed rewriting logic with an application to object-based specification
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00545-5openalex-snapshot
Eliminating the storage tape in reachability constructions
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00074-1openalex-snapshot
On the rational behaviors of concurrent timers
inferred← citeshttps://doi.org/10.1016/s0378-4754(98)00076-7openalex-snapshot
Modelling and analysis of hybrid systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)30764-4openalex-snapshot
Abstraction of continuous system trajectories into timed automata
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)39311-4openalex-snapshot
Verification Method of Interoperability for Real Time Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)41876-3openalex-snapshot
Supervisor Control Design of Hybrid Systems Using Timed Petri Nets Based on Invariant Properties
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)44837-3openalex-snapshot
Model Checking for Real-Time Specification
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00044-1openalex-snapshot
Specifying Real-Time Systems in Rewriting Logic
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80671-6openalex-snapshot
Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams1 1This work was carried out while the authors were at the Department of Information Technology, Technical University of Denmark, and was finnancially supported by a grant from the Danish Technical Research Council.
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)81030-2openalex-snapshot
A Safety Mechanism Using Software Patterns
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)81046-6openalex-snapshot
Testing and Monitoring Model-based Generated Program
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80230-0openalex-snapshot
Formal Specification, Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach
inferred← citeshttps://doi.org/10.1016/s1574-6526(07)03012-xopenalex-snapshot
Chapter 12 Temporal Representation and Reasoning
inferred← citeshttps://doi.org/10.1017/s0960129517000123openalex-snapshot
Optimal enforcement of (timed) properties with uncontrollable events
inferred← citeshttps://doi.org/10.1021/ie101652dopenalex-snapshot
An Intuitive and Efficient Approach to Process Scheduling with Sequence-Dependent Changeovers Using Timed Automata Models
inferred← citeshttps://doi.org/10.1023/a:1008293802713openalex-snapshot
Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control
inferred← citeshttps://doi.org/10.1023/a:1008655714875openalex-snapshot
Bounded Delay Timing Analysis of a Class of CSP Programs
inferred← citeshttps://doi.org/10.1023/a:1018938205540openalex-snapshot
Specification and analysis of real-time systems with PARAGON
inferred← citeshttps://doi.org/10.1023/a:1025180310659openalex-snapshot
Reactive and Real-Time Systems Course: How to Get the Most Out of it
inferred← citeshttps://doi.org/10.1080/00207720903480691openalex-snapshot
Reachability analysis of rational eigenvalue linear systems
inferred← citeshttps://doi.org/10.1109/12.475126openalex-snapshot
An algorithm for exact bounds on the time separation of events in concurrent systems
inferred← citeshttps://doi.org/10.1109/32.629494openalex-snapshot
Specification of realtime systems using ASTRAL
inferred← citeshttps://doi.org/10.1109/32.935853openalex-snapshot
Simulation-verification: biting at the state explosion problem
inferred← citeshttps://doi.org/10.1109/9.855548openalex-snapshot
Template languages for fault monitoring of timed discrete event processes
inferred← citeshttps://doi.org/10.1109/acsd.2013.26openalex-snapshot
Implementing Timed Automata Specifications: The "Sandwich" Approach
inferred← citeshttps://doi.org/10.1109/apsec.1995.496953openalex-snapshot
From scenarios to timed automata: building specifications from users requirements
inferred← citeshttps://doi.org/10.1109/apsec.2011.40openalex-snapshot
Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing
inferred← citeshttps://doi.org/10.1109/apsec.2013.81openalex-snapshot
Results for Compositional Timed Testing
inferred← citeshttps://doi.org/10.1109/aspdac.1995.486384openalex-snapshot
Transformation of timing diagram specifications into VHDL code
inferred← citeshttps://doi.org/10.1109/async.1994.656281openalex-snapshot
Bounded delay timing analysis of a class of CSP programs with choice
inferred← citeshttps://doi.org/10.1109/ccece.1995.526419openalex-snapshot
Models for distributed systems specification
inferred← citeshttps://doi.org/10.1109/cdc.1994.411613openalex-snapshot
Reduction of timed hybrid systems
inferred← citeshttps://doi.org/10.1109/cdc.1995.480309openalex-snapshot
Robustness issues for hybrid systems
inferred← citeshttps://doi.org/10.1109/ddecs52668.2021.9417069openalex-snapshot
Using Model Checker to Analyze and Test Digital Circuits with Regard to Delay Faults
inferred← citeshttps://doi.org/10.1109/ddecs54261.2022.9770166openalex-snapshot
Analyzing Dynamic Aspects of AxC Systems by Means of Statistical Model Checking
inferred← citeshttps://doi.org/10.1109/emwrts.1996.557829openalex-snapshot
The symbolic model-checking for real-time systems
inferred← citeshttps://doi.org/10.1109/emwrts.1998.685072openalex-snapshot
XTG-an engineering approach to modelling and analysis of real-time systems
inferred← citeshttps://doi.org/10.1109/ftdcs.1995.525017openalex-snapshot
Formal timing verification techniques for distributed system
inferred← citeshttps://doi.org/10.1109/hicss.2001.927265openalex-snapshot
Application of parametric model checking - the Root Contention protocol
inferred← citeshttps://doi.org/10.1109/hicss.2002.994478openalex-snapshot
Splitting trees and partition refinement in real-time model checking
inferred← citeshttps://doi.org/10.1109/iccd.1993.393387openalex-snapshot
An algorithm for exact bounds on the time separation of events in concurrent systems
inferred← citeshttps://doi.org/10.1109/iceccs.1996.558488openalex-snapshot
Modeling and analysis of complex computer systems-the MTCCS approach
inferred← citeshttps://doi.org/10.1109/icinfa.2009.5205124openalex-snapshot
Symbolic reachability computation of a class of second-order systems
inferred← citeshttps://doi.org/10.1109/icis.2009.146openalex-snapshot
Symbolic Reachability Computation of a Class of Nonlinear Systems
inferred← citeshttps://doi.org/10.1109/icme.2006.262526openalex-snapshot
A Three-Layer Virtual Director Model for Supporting Automated Multi-Site Distributed Education
inferred← citeshttps://doi.org/10.1109/icsmc.1999.814079openalex-snapshot
From discrete-event systems to hybrid systems
inferred← citeshttps://doi.org/10.1109/icstw.2014.50openalex-snapshot
Designing Sequence Diagram Models for Robustness to Attacks
inferred← citeshttps://doi.org/10.1109/icstw60967.2024.00022openalex-snapshot
Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors
inferred← citeshttps://doi.org/10.1109/isorc.1998.666811openalex-snapshot
Experience of responsiveness verification for connection establishment protocols
inferred← citeshttps://doi.org/10.1109/isorc.2016.15openalex-snapshot
Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems
inferred← citeshttps://doi.org/10.1109/issre.2014.33openalex-snapshot
Deadlock and Temporal Properties Analysis in Mixed Reality Applications
inferred← citeshttps://doi.org/10.1109/lcsys.2023.3285141openalex-snapshot
Safety-Critical Control for Systems With Impulsive Actuators and Dwell Time Constraints
inferred← citeshttps://doi.org/10.1109/nabic.2009.5393634openalex-snapshot
Design methodology internal sub state observer using CPLD
inferred← citeshttps://doi.org/10.1109/newcas.2008.4606376openalex-snapshot
SystemC/TLM semantics for heterogeneous system-on-chip validation
inferred← citeshttps://doi.org/10.1109/prdc.2002.1185640openalex-snapshot
Level oriented formal model for asynchronous circuit verification and its efficient analysis method
inferred← citeshttps://doi.org/10.1109/real.1997.641285openalex-snapshot
A constraint-based approach for specification and verification of real-time systems
inferred← citeshttps://doi.org/10.1109/rtcsa.1995.528771openalex-snapshot
Verification system for real-time specification based on extended real-time logic
inferred← citeshttps://doi.org/10.1109/rtcsa.1997.629191openalex-snapshot
Experiences with analysis of formal specifications in Astral
inferred← citeshttps://doi.org/10.1109/rtcsa.2000.896393openalex-snapshot
Parametric verification of the IEEE 1394a Root Contention protocol using LPMC
inferred← citeshttps://doi.org/10.1109/rtse.1998.766513openalex-snapshot
Student projects in reactive and real-time systems course
inferred← citeshttps://doi.org/10.1109/seep.1996.533998openalex-snapshot
The verification system by dense timing constraints and probabilities
inferred← citeshttps://doi.org/10.1109/tase.2016.20openalex-snapshot
Automatic Conversion and Verification System Based on AADL Scheduling Model
inferred← citeshttps://doi.org/10.1109/tc.2025.3587514openalex-snapshot
Towards a Unified Framework for Modeling and Analyzing User-Defined Online Non-Preemptive Scheduling Policies
inferred← citeshttps://doi.org/10.1109/tie.2017.2682042openalex-snapshot
A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements
inferred← citeshttps://doi.org/10.1109/tii.2010.2060206openalex-snapshot
Timed and Resource-Oriented Statecharts for Embedded Software
inferred← citeshttps://doi.org/10.1109/tse.2010.95openalex-snapshot
Tuning Temporal Features within the Stochastic π-Calculus
inferred← citeshttps://doi.org/10.1109/wfcs.2000.882552openalex-snapshot
Adaptative timed tests for temporal interoperability verification
inferred← citeshttps://doi.org/10.1109/wodes.2008.4605922openalex-snapshot
Control of (max,+) automata: Logical and timing aspects
inferred← citeshttps://doi.org/10.1109/wodes69290.2026.11598520openalex-snapshot
Performance and Applicability of State Estimation Methods for Timed Automata
inferred← citeshttps://doi.org/10.1109/words.1996.506285openalex-snapshot
Object-oriented method for real-time systems based on timed automaton
inferred← citeshttps://doi.org/10.1109/wpdrts.1996.557693openalex-snapshot
Automatic verification system based on automaton theory
inferred← citeshttps://doi.org/10.1134/s0361768808030018openalex-snapshot
Semantic domains of timed event structures
inferred← citeshttps://doi.org/10.1134/s0361768810030023openalex-snapshot
Unifying behavioral equivalences of timed transition systems
inferred← citeshttps://doi.org/10.1134/s0361768812060023openalex-snapshot
Composition methods for constructing characteristic formulas for dense-time models
showing the first 200 of 239 · page through all 239
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.