On the public citation graph
Real-Time Symbolic Model Checking for Discrete Time Models
0 signed · 53 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 points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11867340_18openalex-snapshot
Model-Checking Timed ATL for Durational Concurrent Game Structures
inferred← citeshttps://doi.org/10.1007/3-540-48153-2_20openalex-snapshot
Modeling and Checking Networks of Communicating Real-Time Processes
inferred← citeshttps://doi.org/10.1007/3-540-48683-6_30openalex-snapshot
Efficient Timed Reachability Analysis Using Clock Difference Diagrams
inferred← citeshttps://doi.org/10.1007/3-540-48778-6_6openalex-snapshot
ProbVerus: Probabilistic Symbolic Model Checking
inferred← citeshttps://doi.org/10.1007/3-540-63010-4_3openalex-snapshot
Deductive verification of real-time systems using STeP
inferred← citeshttps://doi.org/10.1007/3-540-63166-6_19openalex-snapshot
Some progress in the symbolic verification of timed automata
inferred← citeshttps://doi.org/10.1007/978-3-319-11936-6_6openalex-snapshot
Quantitative Verification of Weighted Kripke Structures
inferred← citeshttps://doi.org/10.1007/978-3-540-27863-4_29openalex-snapshot
Modeling and Formal Verification of Production Automation Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-28644-8_25openalex-snapshot
Model Checking Timed Automata with One or Two Clocks
inferred← citeshttps://doi.org/10.1007/978-3-540-30206-3_9openalex-snapshot
Symbolic Model Checking for Simply-Timed Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-79707-4_6openalex-snapshot
Introducing Time in an Industrial Application of Model-Checking
inferred← citeshttps://doi.org/10.1007/bfb0014710openalex-snapshot
A new algorithm for discrete timed symbolic model checking
inferred← citeshttps://doi.org/10.1007/bfb0014737openalex-snapshot
Data-structures for the verification of timed automata
inferred← citeshttps://doi.org/10.1007/s11704-009-0066-7openalex-snapshot
A new model for model checking: cycle-weighted Kripke structure
inferred← citeshttps://doi.org/10.1016/j.engappai.2004.08.031openalex-snapshot
Autonomic fault mitigation in embedded systems
inferred← citeshttps://doi.org/10.1016/j.scico.2014.06.006openalex-snapshot
Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories
inferred← citeshttps://doi.org/10.1016/j.scico.2017.11.004openalex-snapshot
An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.11.020openalex-snapshot
Efficient timed model checking for discrete-time systems
inferred← citeshttps://doi.org/10.1016/s0004-3702(01)00059-5openalex-snapshot
Min-max Computation Tree Logic
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00088-8openalex-snapshot
Deductive verification of real-time systems using STeP
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:1014742013173openalex-snapshot
Generating Model Checkers from Algebraic Specifications
inferred← citeshttps://doi.org/10.1023/a:1024437214071openalex-snapshot
Symbolic Verification and Analysis of Discrete Timed Systems
inferred← citeshttps://doi.org/10.1049/ip-cdt:20000684openalex-snapshot
Exploiting timed transition relations in sequential cycle-based simulation of embedded 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/43.845084openalex-snapshot
Model checking on timed-event structures
inferred← citeshttps://doi.org/10.1109/apsec.2005.12openalex-snapshot
A parametric model checking approach for real-time systems design
inferred← citeshttps://doi.org/10.1109/emrts.2001.934025openalex-snapshot
A new approach to the specification and verification of real-time systems
inferred← citeshttps://doi.org/10.1109/emrts.2002.1019206openalex-snapshot
Formal data analysis of timed finite state systems
inferred← citeshttps://doi.org/10.1109/emwrts.1996.557829openalex-snapshot
The symbolic model-checking for real-time systems
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/icvd.1999.745163openalex-snapshot
An efficiently checkable subset of TCTL for formal verification of transition systems with delays
inferred← citeshttps://doi.org/10.1109/iscas.2001.922001openalex-snapshot
Abstractions for model checking of event timings
inferred← citeshttps://doi.org/10.1109/lics.2003.1210059openalex-snapshot
Revisiting digitization, robustness, and decidability for timed automata
inferred← citeshttps://doi.org/10.1109/real.1994.342709openalex-snapshot
Computing quantitative characteristics of finite-state real-time systems
inferred← citeshttps://doi.org/10.1109/time.2001.930720openalex-snapshot
Symbolic model checking of real-time systems
inferred← citeshttps://doi.org/10.1109/wift.1995.515482openalex-snapshot
Timing analysis of industrial real-time systems
inferred← citeshttps://doi.org/10.1109/wift.1995.515483openalex-snapshot
Automated modular specification and verification of real-time reactive systems
inferred← citeshttps://doi.org/10.1145/1120725.1120820openalex-snapshot
Forward symbolic model checking for real time systems
inferred← citeshttps://doi.org/10.1145/295558.295560openalex-snapshot
Composition and refinement of discrete real-time systems
inferred← citeshttps://doi.org/10.1145/307418.307427openalex-snapshot
Computing timed transition relations for sequential cycle-based simulation
inferred← citeshttps://doi.org/10.14257/ijhit.2013.6.6.18openalex-snapshot
Verification of Embedded Real-Time Systems Using Symbolic Model Checking: A Case Study
inferred← citeshttps://doi.org/10.25148/etd.fi14062292openalex-snapshot
A methodology for formally modeling and analyzing software architecture of mobile agent systems
inferred← citeshttps://doi.org/10.4230/lipics.fsttcs.2015.69openalex-snapshot
Weighted Strategy Logic with Boolean Goals Over One-Counter Games
inferred← citeshttps://doi.org/10.5555/787259.787609openalex-snapshot
An efficient algorithm for real-time symbolic model checking
inferred← citeshttps://doi.org/10.5555/882452.874498openalex-snapshot
Extending Synchronous Languages for Generating Abstract Real-Time Models
inferred← citeshttps://doi.org/10.7146/brics.v5i47.19492openalex-snapshot
Efficient Timed Reachability Analysis using Clock Difference Diagrams
inferred← citeshttps://doi.org/10.7936/k7ng4nvjopenalex-snapshot
Verification of Component-based Distributed Real-time Systems
inferred← citeshttps://doi.org/10.7936/k7s75djtopenalex-snapshot
Modeling Timed Component-Based Real-time Systems
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.