On the public citation graph
Quantitative temporal reasoning
0 signed · 209 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-10003-2_69openalex-snapshot
Characterizing correctness properties of parallel programs using fixpoints
inferredcites →https://doi.org/10.1007/3-540-10843-2_21openalex-snapshot
Finite models for deterministic propositional dynamic logic
inferredcites →https://doi.org/10.1007/3-540-11494-7_22openalex-snapshot
Specification and verification of concurrent systems in CESAR
inferredcites →https://doi.org/10.1007/3-540-15648-8_7openalex-snapshot
Automata, tableaux, and temporal logics
inferredcites →https://doi.org/10.1007/3-540-50302-1_4openalex-snapshot
Applications of temporal logic to the specification of real time systems
inferredcites →https://doi.org/10.1007/3-540-51803-7_29openalex-snapshot
Extending interval logic to real time systems
inferredcites →https://doi.org/10.1007/3-540-54947-1openalex-snapshot
Specification and Compositional Verification of Real-Time Systems
inferredcites →https://doi.org/10.1007/3-540-56283-4openalex-snapshot
Specifying Message Passing and Time-Critical Systems with Temporal Logic
inferredcites →https://doi.org/10.1007/978-3-540-69850-0_12openalex-snapshot
DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
inferredcites →https://doi.org/10.1007/bf01257083openalex-snapshot
The temporal logic of branching time
inferredcites →https://doi.org/10.1007/bf01995674openalex-snapshot
Specifying real-time properties with metric temporal logic
inferredcites →https://doi.org/10.1007/bfb0012782openalex-snapshot
Results on the propositional μ-calculus
inferredcites →https://doi.org/10.1007/bfb0032042openalex-snapshot
Automata for modeling real-time systems
inferredcites →https://doi.org/10.1016/0022-0000(79)90046-1openalex-snapshot
Propositional dynamic logic of regular programs
inferredcites →https://doi.org/10.1016/0022-0000(80)90061-6openalex-snapshot
A near-optimal method for reasoning about action
inferredcites →https://doi.org/10.1016/0022-0000(85)90001-7openalex-snapshot
Decision procedures and expressiveness in the temporal logic of branching time
inferredcites →https://doi.org/10.1016/0022-0000(86)90026-7openalex-snapshot
Automata-theoretic techniques for modal logics of programs
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/0167-6423(87)90036-0openalex-snapshot
Modalities for model checking: branching time logic strikes back
inferredcites →https://doi.org/10.1016/0304-3975(82)90125-6openalex-snapshot
Results on the propositional μ-calculus
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50021-4openalex-snapshot
Temporal and Modal Logic
inferredcites →https://doi.org/10.1016/s0019-9958(82)91258-xopenalex-snapshot
Propositional dynamic logic of looping and converse is elementarily decidable
inferredcites →https://doi.org/10.1016/s0019-9958(83)80051-5openalex-snapshot
Temporal logic can be more expressive
inferredcites →https://doi.org/10.1016/s0019-9958(84)80047-9openalex-snapshot
Deciding full branching time logic
inferredcites →https://doi.org/10.1109/71.80145openalex-snapshot
Deciding properties of timed transition models
inferredcites →https://doi.org/10.1109/lics.1990.113763openalex-snapshot
A logic of concrete time intervals
inferredcites →https://doi.org/10.1109/lics.1990.113764openalex-snapshot
Real-time logics: complexity and expressiveness
inferredcites →https://doi.org/10.1109/lics.1990.113766openalex-snapshot
Model-checking for real-time systems
inferredcites →https://doi.org/10.1109/real.1988.51104openalex-snapshot
Specification of real-time systems in real-time temporal interval logic
inferredcites →https://doi.org/10.1109/real.1990.128761openalex-snapshot
Specifying and verifying a real-time priority queue with modal algebra
inferredcites →https://doi.org/10.1109/sfcs.1983.51openalex-snapshot
Reasoning about infinite computation paths
inferredcites →https://doi.org/10.1109/tc.1987.5009519openalex-snapshot
A Graph-Theoretic Approach for Timing Analysis and its Implementation
inferredcites →https://doi.org/10.1145/112600.112613openalex-snapshot
The benefits of relaxing punctuality
inferredcites →https://doi.org/10.1145/318593.318622openalex-snapshot
Checking that finite state concurrent programs satisfy their linear specification
inferredcites →https://doi.org/10.1145/357172.357178openalex-snapshot
Proving Liveness Properties of Concurrent Programs
inferredcites →https://doi.org/10.1145/357233.357237openalex-snapshot
Synthesis of Communicating Processes from Temporal Logic Specifications
inferredcites →https://doi.org/10.1145/3828.3837openalex-snapshot
The complexity of propositional linear temporal logics
inferredcites →https://doi.org/10.1145/41840.41865openalex-snapshot
Avoiding the state explosion problem in temporal logic model checking
inferredcites →https://doi.org/10.1145/4904.4999openalex-snapshot
“Sometimes” and “not never” revisited
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.1145/567067.567080openalex-snapshot
Automatic verification of finite state concurrent system using temporal logic specifications
inferredcites →https://doi.org/10.1145/567067.567081openalex-snapshot
"Sometimes" and "not never" revisited
inferredcites →https://doi.org/10.1145/567446.567462openalex-snapshot
On the temporal analysis of fairness
inferredcites →https://doi.org/10.1145/75277.75292openalex-snapshot
Efficient temporal reasoning (extended abstract)
inferredcites →https://doi.org/10.1145/75277.75293openalex-snapshot
On the synthesis of a reactive module
inferredcites →https://doi.org/10.1145/800057.808711openalex-snapshot
Automata theoretic techniques for modal logics of programs
inferredcites →https://doi.org/10.1145/800070.802190openalex-snapshot
Decision procedures and expressiveness in the temporal logic of branching time
inferredcites →https://doi.org/10.1145/800076.802492openalex-snapshot
Propositional Dynamic Logic of looping and converse
inferredcites →https://doi.org/10.1145/800221.806721openalex-snapshot
Real-time programming and asynchronous message passing
inferredcites →https://doi.org/10.1145/93385.93429openalex-snapshot
Half-order modal logic: how to prove real-time properties
inferredcites →https://doi.org/10.1146/annurev.cs.02.060187.001413openalex-snapshot
Research on Automatic Verification of Finite-State Concurrent Systems
inferredcites →https://doi.org/10.1184/r1/6603317openalex-snapshot
An improved algorithm for the automatic verification of finite state systems using temporal logic
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1006/inco.1993.1024openalex-snapshot
Model-Checking in Dense Real-Time
inferred← citeshttps://doi.org/10.1006/inco.1993.1025openalex-snapshot
Real-Time Logics: Complexity and Expressiveness
inferred← citeshttps://doi.org/10.1006/inco.1994.1060openalex-snapshot
Temporal Proof Methodologies for Timed Transition-Systems
inferred← citeshttps://doi.org/10.1006/inco.1995.1059openalex-snapshot
Timing Verification by Successive Approximation
inferred← citeshttps://doi.org/10.1006/inco.1996.0086openalex-snapshot
Parametric Timing Analysis for Real-Time Systems
inferred← citeshttps://doi.org/10.1007/0-387-26151-6_20openalex-snapshot
Symbolic Model Checking and Simulation with Temporal Assertions
inferred← citeshttps://doi.org/10.1007/10719839_43openalex-snapshot
On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics
inferred← citeshttps://doi.org/10.1007/11562948_6openalex-snapshot
Comprehensive Verification Framework for Dependability of Self-optimizing Systems
inferred← citeshttps://doi.org/10.1007/11752578_125openalex-snapshot
Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS
inferred← citeshttps://doi.org/10.1007/11901914_21openalex-snapshot
Branching-Time Property Preservation Between Real-Time Systems
inferred← citeshttps://doi.org/10.1007/3-540-44450-5_11openalex-snapshot
A Decidable Dense Branching-Time Temporal Logic
inferred← citeshttps://doi.org/10.1007/3-540-45657-0_33openalex-snapshot
On Discrete Modeling and Model Checking for Nonlinear Analog Systems
inferred← citeshttps://doi.org/10.1007/3-540-45694-5_18openalex-snapshot
A Decidable Fixpoint Logic for Time-Outs*
inferred← citeshttps://doi.org/10.1007/3-540-45740-2_8openalex-snapshot
Condensed State Spaces for Timed Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-48523-6_13openalex-snapshot
Parametric Temporal Logic for “Model Measuring”
inferred← citeshttps://doi.org/10.1007/3-540-52148-8_17openalex-snapshot
Timing assumptions and verification of finite-state concurrent systems
inferred← citeshttps://doi.org/10.1007/3-540-52148-8_20openalex-snapshot
Automated verification of timed transition models
inferred← citeshttps://doi.org/10.1007/3-540-55092-5_12openalex-snapshot
Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronization
inferred← citeshttps://doi.org/10.1007/3-540-55719-9_103openalex-snapshot
What good are digital clocks?
inferred← citeshttps://doi.org/10.1007/3-540-56496-9_2openalex-snapshot
Modular abstractions for verifying real-time distributed systems
inferred← citeshttps://doi.org/10.1007/3-540-56496-9_23openalex-snapshot
Model-checking for real-time systems specified in Lotos
inferred← citeshttps://doi.org/10.1007/3-540-56922-7_16openalex-snapshot
Computing accumulated delays in real-time systems
inferred← citeshttps://doi.org/10.1007/3-540-57529-4_52openalex-snapshot
A real-time interval logic and its decision procedure
inferred← citeshttps://doi.org/10.1007/3-540-60218-6_40openalex-snapshot
Temporal logic + timed automata: Expressiveness and decidability
inferred← citeshttps://doi.org/10.1007/3-540-61604-7_73openalex-snapshot
A space-efficient on-the-fly algorithm for real-time model checking
inferred← citeshttps://doi.org/10.1007/3-540-63010-4_5openalex-snapshot
The verus language: Representing time efficiently with BDDs
inferred← citeshttps://doi.org/10.1007/3-540-63166-6_46openalex-snapshot
The verus tool: A quantitative approach to the formal verification of real-time systems
inferred← citeshttps://doi.org/10.1007/978-0-387-35190-2_10openalex-snapshot
Symbolic Model Checking for a Discrete Clocked Temporal Logic with Intervals
inferred← citeshttps://doi.org/10.1007/978-0-387-35271-8_14openalex-snapshot
Concept of Quantified Abstract Quotient Automaton and its advantage
inferred← citeshttps://doi.org/10.1007/978-0-387-35394-4_16openalex-snapshot
Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers
inferred← citeshttps://doi.org/10.1007/978-1-4471-3431-2_6openalex-snapshot
Real-Time and Safety-Critical Systems
inferred← citeshttps://doi.org/10.1007/978-1-4614-3879-3_7openalex-snapshot
Early Time-Budgeting for Component-Based Embedded Control Systems
inferred← citeshttps://doi.org/10.1007/978-1-4615-3220-0_4openalex-snapshot
Modeling Real-Time and Reliability
inferred← citeshttps://doi.org/10.1007/978-3-540-27755-2_18openalex-snapshot
Application of Coloured Petri Nets in System Development
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-30536-1_13openalex-snapshot
Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures
inferred← citeshttps://doi.org/10.1007/978-3-540-73368-3_44openalex-snapshot
From Liveness to Promptness
inferred← citeshttps://doi.org/10.1007/978-3-540-75596-8_4openalex-snapshot
Branching vs. Linear Time: Semantical Perspective
inferred← citeshttps://doi.org/10.1007/978-3-642-04143-3_3openalex-snapshot
Verification of Epistemic Properties in Probabilistic Multi-Agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-05356-6_2openalex-snapshot
Spezifikation digitaler Systeme
inferred← citeshttps://doi.org/10.1007/978-3-642-11512-7_15openalex-snapshot
Meanings of Model Checking
inferred← citeshttps://doi.org/10.1007/978-94-015-9586-5_3openalex-snapshot
Compositional Verification of Timed Statecharts
inferred← citeshttps://doi.org/10.1007/bf00121125openalex-snapshot
Formal hardware verification methods: A survey
inferred← citeshttps://doi.org/10.1007/bf01383942openalex-snapshot
Modular abstractions for verifying real-time distributed systems
inferred← citeshttps://doi.org/10.1007/bf02745518openalex-snapshot
A real-time interval logic and its decision procedure
inferred← citeshttps://doi.org/10.1007/bfb0000467openalex-snapshot
On the specification and verification of performance properties for a timed process algebra
inferred← citeshttps://doi.org/10.1007/bfb0030596openalex-snapshot
Generalized quantitative temporal reasoning: An automata-theoretic approach
inferred← citeshttps://doi.org/10.1007/bfb0031988openalex-snapshot
Logics and models of real time: A survey
inferred← citeshttps://doi.org/10.1007/bfb0031992openalex-snapshot
Real-time and the Mu-Calculus (preliminary report)
inferred← citeshttps://doi.org/10.1007/bfb0055640openalex-snapshot
It's about time: Real-time logics reviewed
inferred← citeshttps://doi.org/10.1007/bfb0084802openalex-snapshot
Minimization of timed transition systems
inferred← citeshttps://doi.org/10.1007/s00165-012-0273-0openalex-snapshot
Time-budgeting: a component based development methodology for real-time embedded systems
inferred← citeshttps://doi.org/10.1007/s002360100067openalex-snapshot
Timed tree automata with an application to temporal logic
inferred← citeshttps://doi.org/10.1007/s100090050033openalex-snapshot
Analysis and verification of real-time systems using quantitative symbolic algorithms
inferred← citeshttps://doi.org/10.1007/s100090050046openalex-snapshot
NUSMV: a new symbolic model checker
inferred← citeshttps://doi.org/10.1007/s10703-009-0067-zopenalex-snapshot
From liveness to promptness
inferred← citeshttps://doi.org/10.1007/s11704-013-2195-2openalex-snapshot
A survey on temporal logics for specifying and verifying real-time systems
inferred← citeshttps://doi.org/10.1016/0140-3664(96)81596-9openalex-snapshot
Formal description of distributed multimedia systems: an assessment of potential techniques
inferred← citeshttps://doi.org/10.1016/0164-1212(92)90045-lopenalex-snapshot
Formal methods for the specification and design of real-time safety critical systems
inferred← citeshttps://doi.org/10.1016/0304-3975(94)90010-8openalex-snapshot
A theory of timed automata
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.02.008openalex-snapshot
Model-based Runtime Verification Framework for Self-optimizing Systems
inferred← citeshttps://doi.org/10.1016/j.jlamp.2020.100632openalex-snapshot
Semantics of temporal constrained objects
inferred← citeshttps://doi.org/10.1016/j.scico.2013.07.012openalex-snapshot
Specifying safety-critical systems with a decidable duration logic
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.08.006openalex-snapshot
Quantitative μ-calculus and CTL defined over constraint semirings
inferred← citeshttps://doi.org/10.1016/s0004-3702(01)00059-5openalex-snapshot
Min-max Computation Tree Logic
inferred← citeshttps://doi.org/10.1016/s0004-3702(97)00009-xopenalex-snapshot
Processing disjunctions in temporal constraint networks
inferred← citeshttps://doi.org/10.1016/s0167-6423(96)00030-5openalex-snapshot
Symbolic techniques for formally verifying industrial systems
inferred← citeshttps://doi.org/10.1016/s0167-6423(99)00016-7openalex-snapshot
Verification of a safety-critical railway interlocking system with real-time constraints
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00090-6openalex-snapshot
The Verus language: representing time efficiently with BDDs
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00644-8openalex-snapshot
On the expressivity and complexity of quantitative branching-time temporal logics
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00008-0openalex-snapshot
Verification of reactive systems using temporal logic with clocks
inferred← citeshttps://doi.org/10.1016/s0736-5853(05)80019-xopenalex-snapshot
Bounded-time fault-tolerant rule-based systems
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(05)80445-1openalex-snapshot
The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs
inferred← citeshttps://doi.org/10.1023/a:1008626013578openalex-snapshot
Computing Accumulated Delays in Real-time Systems
inferred← citeshttps://doi.org/10.1023/a:1014742013173openalex-snapshot
Generating Model Checkers from Algebraic Specifications
inferred← citeshttps://doi.org/10.1023/a:1023217515688openalex-snapshot
A Branching Time Temporal Framework for Quantitative Reasoning
inferred← citeshttps://doi.org/10.1037/0000114-016openalex-snapshot
Where are we now, and where do we go from here?
inferred← citeshttps://doi.org/10.1049/ic:19980529openalex-snapshot
Modelling and analysis of broadcasting embedded control systems
inferred← citeshttps://doi.org/10.1049/sej.1994.0026openalex-snapshot
Application-oriented real-time algebra
inferred← citeshttps://doi.org/10.1093/logcom/exl035openalex-snapshot
Generalized Strong Preservation by Abstract Interpretation
inferred← citeshttps://doi.org/10.1109/32.241770openalex-snapshot
Analysis of real-time rule-based systems with behavioral constraint assertions specified in Estella
inferred← citeshttps://doi.org/10.1109/32.489073openalex-snapshot
Compositional validation of time-critical systems using communicating time Petri nets
inferred← citeshttps://doi.org/10.1109/32.935853openalex-snapshot
Simulation-verification: biting at the state explosion problem
inferred← citeshttps://doi.org/10.1109/32.940727openalex-snapshot
Static analysis and dynamic steering of time-dependent systems
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/apsec.2006.56openalex-snapshot
Timing Verification of UML Activity Diagram Based Code Block Level Models for Real Time Multiprocessor System-on-Chip Applications
inferred← citeshttps://doi.org/10.1109/apsec.2017.48openalex-snapshot
Domain-Specific Language Facilitates Scheduling in Model Checking
inferred← citeshttps://doi.org/10.1109/compsac.2008.53openalex-snapshot
A New Temporal Logic CTL[k-QDDC] and Its Verification
inferred← citeshttps://doi.org/10.1109/ftcs.1998.689498openalex-snapshot
Verification of a safety-critical railway interlocking system with real-time constraints
inferred← citeshttps://doi.org/10.1109/gcce.2017.8229475openalex-snapshot
Deductively verifying embedded software in the era of artificial intelligence = machine learning + software science
inferred← citeshttps://doi.org/10.1109/hase.1997.648037openalex-snapshot
A graphical property specification language
inferred← citeshttps://doi.org/10.1109/iccd.1995.528793openalex-snapshot
Verifying the performance of the PCI local bus using symbolic techniques
inferred← citeshttps://doi.org/10.1109/icst46399.2020.00042openalex-snapshot
EC.LANG – A Language for Specifying Response Time Analyses of Event Chains
inferred← citeshttps://doi.org/10.1109/idt.2008.4802520openalex-snapshot
Specification and verification of technical plant behavior with symbolic timing diagrams
inferred← citeshttps://doi.org/10.1109/indin.2014.6945486openalex-snapshot
Scheduling real-time systems with periodic tasks using a model-checking approach
inferred← citeshttps://doi.org/10.1109/isorc.1999.776399openalex-snapshot
Architectural techniques for the description and validation of distributed real-time systems
inferred← citeshttps://doi.org/10.1109/lics.1990.113764openalex-snapshot
Real-time logics: complexity and expressiveness
inferred← citeshttps://doi.org/10.1109/lics.1990.113765openalex-snapshot
Explicit clock temporal logic
inferred← citeshttps://doi.org/10.1109/lics.1990.113766openalex-snapshot
Model-checking for real-time systems
inferred← citeshttps://doi.org/10.1109/lics.1992.185551openalex-snapshot
Symbolic model checking for real-time systems
inferred← citeshttps://doi.org/10.1109/lics.1995.523242openalex-snapshot
Complete proof systems for first order interval temporal logic
inferred← citeshttps://doi.org/10.1109/lics.1995.523249openalex-snapshot
Timing behavior analysis for real-time systems
inferred← citeshttps://doi.org/10.1109/lics.1999.782628openalex-snapshot
Parametric quantitative temporal reasoning
inferred← citeshttps://doi.org/10.1109/qsic.2008.10openalex-snapshot
SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper)
inferred← citeshttps://doi.org/10.1109/real.1989.63560openalex-snapshot
Real-time temporal logic decision procedures
inferred← citeshttps://doi.org/10.1109/real.1989.63561openalex-snapshot
A framework for reasoning about time and reliability
inferred← citeshttps://doi.org/10.1109/real.1993.393490openalex-snapshot
Really visual temporal reasoning
inferred← citeshttps://doi.org/10.1109/real.1993.393518openalex-snapshot
Symbolic model checking for event-driven real-time systems
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/rtcsa.1995.528771openalex-snapshot
Verification system for real-time specification based on extended real-time logic
inferred← citeshttps://doi.org/10.1109/sbcci.1999.803097openalex-snapshot
Symbolic model checking in practice
inferred← citeshttps://doi.org/10.1109/tcst.2014.2313352openalex-snapshot
Reconfigurable Coordination of Distributed Discrete Event Control Systems
inferred← citeshttps://doi.org/10.1109/time.2003.1214877openalex-snapshot
Reasoning about extremal properties of events
inferred← citeshttps://doi.org/10.1109/tse.2003.1223645openalex-snapshot
On inspection and verification of software with timing requirements
inferred← citeshttps://doi.org/10.1109/vlsid.2007.141openalex-snapshot
Simulation Based Verification using Temporally Attributed Boolean Logic
inferred← citeshttps://doi.org/10.1109/wift.1995.515482openalex-snapshot
Timing analysis of industrial real-time systems
inferred← citeshttps://doi.org/10.1142/s0218194004001750openalex-snapshot
CONSTRAINT PROPAGATION AND PROGRESSIVE VERIFICATION FOR COMPONENT-BASED PROCESS MODEL
inferred← citeshttps://doi.org/10.1142/s021819409600017xopenalex-snapshot
A METHODOLOGY AND SUPPORT TOOLS FOR ANALYSIS OF REAL-TIME SPECIFICATIONS
inferred← citeshttps://doi.org/10.1142/s0218194099000139openalex-snapshot
AN INCREMENTAL VERIFICATION ALGORITHM FOR REAL-TIME SYSTEMS
inferred← citeshttps://doi.org/10.1145/1080334.1080337openalex-snapshot
The open family of temporal logics
inferred← citeshttps://doi.org/10.1145/1391962.1391971openalex-snapshot
Simulation-based verification using Temporally Attributed Boolean Logic
inferred← citeshttps://doi.org/10.1145/244795.244803openalex-snapshot
Symbolic model checking for event-driven real-time systems
inferred← citeshttps://doi.org/10.1145/2633638.2633648openalex-snapshot
Temporal semantics for a live coding language
inferred← citeshttps://doi.org/10.1145/349194.349197openalex-snapshot
Temporal logics for real-time system specification
inferred← citeshttps://doi.org/10.1145/377978.377990openalex-snapshot
Parametric temporal logic for “model measuring”
inferred← citeshttps://doi.org/10.1145/513918.513954openalex-snapshot
Formal verification of module interfaces against real time specifications
inferred← citeshttps://doi.org/10.1145/99583.99629openalex-snapshot
Temporal proof methodologies for real-time systems
inferred← citeshttps://doi.org/10.1155/2015/813476openalex-snapshot
Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems
inferred← citeshttps://doi.org/10.14569/ijacsa.2017.080458openalex-snapshot
A Framework to Reason about the Knowledge of Agents in Continuous Dynamic Systems
inferred← citeshttps://doi.org/10.1587/transinf.2017edp7391openalex-snapshot
Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies
inferred← citeshttps://doi.org/10.21236/ada265408openalex-snapshot
The Priority Inversion Problem and Real-Time Symbolic Model Checking
inferred← citeshttps://doi.org/10.21941/kcss/2021/2openalex-snapshot
Modeling and Analysis of Automotive Cyber-physical Systems
inferred← citeshttps://doi.org/10.22028/d291-25759openalex-snapshot
Formal methods for real-time requirements engineering
inferred← citeshttps://doi.org/10.3390/electronics8101163openalex-snapshot
Deductive Verification Method of Real-Time Safety Properties for Embedded Assembly Programs
inferred← citeshttps://doi.org/10.48550/arxiv.1005.3200openalex-snapshot
Real-time and Probabilistic Temporal Logics: An Overview
inferred← citeshttps://doi.org/10.5555/952786.952803openalex-snapshot
A compositional proof system for real-time systems based on explicit clock temporal logic
inferred← citeshttps://doi.org/10.6092/unina/fedoa/8131openalex-snapshot
Models and Algorithms for Fairness and Priority in Scheduling
inferred← citeshttps://doi.org/10.6100/ir594545openalex-snapshot
Predictability in real-time software design
inferred← citeshttps://doi.org/10.6100/ir630368openalex-snapshot
Predictable design for real-time systems
inferred← citeshttps://doi.org/10.70675/d0eefcb9zbecaz4939z8823z5b1c43b77882openalex-snapshot
Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles
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.