On the public citation graph
Diagnostic model-checking for real-time systems
0 signed · 68 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.1007/3-540-51237-3_14openalex-snapshot
The use of static constructs in a model process logic
inferredcites →https://doi.org/10.1007/3-540-56922-7_18openalex-snapshot
An efficient algorithm for minimizing real-time transition systems
inferredcites →https://doi.org/10.1007/3-540-56922-7_28openalex-snapshot
Delay analysis in synchronous programs
inferredcites →https://doi.org/10.1007/3-540-58468-4_165openalex-snapshot
Verification of an audio control protocol
inferredcites →https://doi.org/10.1007/3-540-60045-0_64openalex-snapshot
Automated analysis of an audio control protocol
inferredcites →https://doi.org/10.1007/3-540-60218-6_3openalex-snapshot
Compositional model checking of real time systems
inferredcites →https://doi.org/10.1007/3-540-60246-1_158openalex-snapshot
From timed automata to logic — and back
inferredcites →https://doi.org/10.1007/3-540-61756-6_99openalex-snapshot
Modeling sharing and recursion for weak reduction strategies using explicit substitution
inferredcites →https://doi.org/10.1007/978-0-387-34878-0_18openalex-snapshot
Automatic Verification of Real-Time Communicating Systems by Constraint-Solving
inferredcites →https://doi.org/10.1007/bfb0020949openalex-snapshot
UPPAAL — a tool suite for automatic verification of real-time systems
inferredcites →https://doi.org/10.1007/bfb0030626openalex-snapshot
A compositional proof of a real-time mutual exclusion protocol
inferredcites →https://doi.org/10.1016/0304-3975(94)90010-8openalex-snapshot
A theory of timed automata
inferredcites →https://doi.org/10.1023/a:1008621829508openalex-snapshot
An Efficient Algorithm for Minimizing Real-Time Transition Systems
inferredcites →https://doi.org/10.1109/lics.1992.185551openalex-snapshot
Symbolic model checking for real-time systems
inferredcites →https://doi.org/10.1109/real.1995.495198openalex-snapshot
Compositional and symbolic model-checking of real-time systems
inferredcites →https://doi.org/10.7146/brics.v2i2.19504openalex-snapshot
From Timed Automata to Logic - and Back
inferredcites →https://doi.org/10.7146/brics.v3i58.18769openalex-snapshot
UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/scj.10565openalex-snapshot
Development and evaluation of symbolic model checker based on approximation for real‐time systems
inferred← citeshttps://doi.org/10.1007/11562948_13openalex-snapshot
Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems
inferred← citeshttps://doi.org/10.1007/11754008_19openalex-snapshot
Test Case Minimization for Real-Time Systems Using Timed Bound Traces
inferred← citeshttps://doi.org/10.1007/3-540-45319-9_13openalex-snapshot
Efficient Guiding Towards Cost-Optimality in UPPAAL
inferred← citeshttps://doi.org/10.1007/3-540-45499-3_7openalex-snapshot
Process Algebra versus Axiomatic Specification of a Real-Time Protocol
inferred← citeshttps://doi.org/10.1007/3-540-48778-6_17openalex-snapshot
Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal
inferred← citeshttps://doi.org/10.1007/3-540-49059-0_5openalex-snapshot
Timed Diagnostics for Reachability Properties
inferred← citeshttps://doi.org/10.1007/3-540-61474-5_73openalex-snapshot
Verification of an Audio Protocol with bus collision using Uppaal
inferred← citeshttps://doi.org/10.1007/978-0-387-35520-7_17openalex-snapshot
Stochastically Enhanced Timed Automata
inferred← citeshttps://doi.org/10.1007/978-0-387-35562-7_32openalex-snapshot
Composition in Multi-Paradigm Specification Techniques
inferred← citeshttps://doi.org/10.1007/978-0-387-35578-8_7openalex-snapshot
Stress Testing of Distributed Multimedia Software Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-55089-9_5openalex-snapshot
Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling
inferred← citeshttps://doi.org/10.1007/978-3-031-15839-1_2openalex-snapshot
Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next?
inferred← citeshttps://doi.org/10.1007/978-3-319-46433-6_13openalex-snapshot
Simulating Hybrid Systems Within SIMTHESys Multi-formalism Models
inferred← citeshttps://doi.org/10.1007/978-3-540-68524-1_17openalex-snapshot
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis
inferred← citeshttps://doi.org/10.1007/978-3-540-78917-8_3openalex-snapshot
Testing Real-Time Systems Using UPPAAL
inferred← citeshttps://doi.org/10.1007/bfb0014568openalex-snapshot
Symbolic model-checking method based on approximations and binary decision diagrams for real-time systems
inferred← citeshttps://doi.org/10.1007/bfb0014721openalex-snapshot
Modelling a time-dependent protocol using the Circal process algebra
inferred← citeshttps://doi.org/10.1007/bfb0020949openalex-snapshot
UPPAAL — a tool suite for automatic verification of real-time systems
inferred← citeshttps://doi.org/10.1007/bfb0030626openalex-snapshot
A compositional proof of a real-time mutual exclusion protocol
inferred← citeshttps://doi.org/10.1007/s100090050006openalex-snapshot
Continuous modeling of real-time and hybrid systems: from concepts to tools
inferred← citeshttps://doi.org/10.1007/s100090100059openalex-snapshot
Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.12.042openalex-snapshot
Verification of Web Services with Timed Automata
inferred← citeshttps://doi.org/10.1016/j.entcs.2016.09.021openalex-snapshot
Modeling Hybrid Systems in SIMTHESys
inferred← citeshttps://doi.org/10.1016/j.scico.2014.07.005openalex-snapshot
Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00261-0openalex-snapshot
Trail-Directed Model Checking
inferred← citeshttps://doi.org/10.1023/a:1025132427497openalex-snapshot
Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems
inferred← citeshttps://doi.org/10.1109/compsac.2013.89openalex-snapshot
Verification and Implementation of the Protocol Standard in Train Control System
inferred← citeshttps://doi.org/10.1109/csd.1998.657543openalex-snapshot
Formal verification of real-time software by symbolic model-checker
inferred← citeshttps://doi.org/10.1109/qsic.2004.5openalex-snapshot
A test case generation algorithm for real-time systems
inferred← citeshttps://doi.org/10.1109/real.1997.641265openalex-snapshot
Efficient verification of real-time systems: compact data structure and state-space reduction
inferred← citeshttps://doi.org/10.1109/rtcsa.1999.811305openalex-snapshot
Real-time symbolic model checking for hard real-time systems
inferred← citeshttps://doi.org/10.1109/words.2001.945115openalex-snapshot
The use of automata in modelling and building a real-time component based system
inferred← citeshttps://doi.org/10.1145/1416729.1416747openalex-snapshot
Optimal tester synthesis for real-time systems
inferred← citeshttps://doi.org/10.14236/ewic/iwfm1999.3openalex-snapshot
Stochastic Specification and Verification
inferred← citeshttps://doi.org/10.15439/2022f176openalex-snapshot
Formal analysis of timeliness in the RaSTA protocol
inferred← citeshttps://doi.org/10.2514/6.2005-6051openalex-snapshot
Ellipsoidal Approximation of Reachable Sets for the Steady Climbing Turn Resolution Maneuver
inferred← citeshttps://doi.org/10.5555/1767297.1767363openalex-snapshot
Timed sequence diagrams and tool-based analysis: a case study
inferred← citeshttps://doi.org/10.7146/brics.v3i24.20005openalex-snapshot
Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL
inferred← citeshttps://doi.org/10.7146/brics.v3i55.20058openalex-snapshot
A Compositional Proof of a Real-Time Mutual Exclusion Protocol
inferred← citeshttps://doi.org/10.7146/brics.v3i57.18682openalex-snapshot
Diagnostic Model Checking for Real-Time Systems
inferred← citeshttps://doi.org/10.7146/brics.v3i59.18770openalex-snapshot
Compositional and Symbolic Model-Checking of Real-Time Systems
inferred← citeshttps://doi.org/10.7146/brics.v3i61.18773openalex-snapshot
Proof of a Conjecture of S. Mac Lane
inferred← citeshttps://doi.org/10.7146/brics.v3i62.18563openalex-snapshot
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
inferred← citeshttps://doi.org/10.7146/brics.v4i1.18780openalex-snapshot
Partial Evaluation of the Euclidian Algorithm (Extended Version)
inferred← citeshttps://doi.org/10.7146/brics.v4i2.18781openalex-snapshot
Abstract Interpretation in the Operational Semantics Hierarchy
inferred← citeshttps://doi.org/10.7146/brics.v4i3.18782openalex-snapshot
A Definability Theorem for First Order Logic
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.