On the public citation graph
Timed transition systems
0 signed · 237 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-50302-1_4openalex-snapshot
Applications of temporal logic to the specification of real time systems
inferredcites →https://doi.org/10.1007/978-3-642-82921-5_4openalex-snapshot
Notes on Communicating Sequential Systems
inferredcites →https://doi.org/10.1007/bf01872848openalex-snapshot
Appraising fairness in languages for distributed programming
inferredcites →https://doi.org/10.1007/bfb0013024openalex-snapshot
The anchored version of the temporal framework
inferredcites →https://doi.org/10.1016/0020-0190(92)90005-gopenalex-snapshot
Sooner is safer than later
inferredcites →https://doi.org/10.1016/0890-5401(88)90020-xopenalex-snapshot
Compositional semantics for real-time distributed computing
inferredcites →https://doi.org/10.1109/jcit.1990.128356openalex-snapshot
An interleaving model for real-time
inferredcites →https://doi.org/10.1109/lics.1988.5115openalex-snapshot
The existence of refinement mappings
inferredcites →https://doi.org/10.1109/lics.1990.113764openalex-snapshot
Real-time logics: complexity and expressiveness
inferredcites →https://doi.org/10.1109/lics.1990.113765openalex-snapshot
Explicit clock temporal logic
inferredcites →https://doi.org/10.1145/360248.360251openalex-snapshot
Formal verification of parallel programs
inferredcites →https://doi.org/10.1145/512644.512660openalex-snapshot
A really abstract concurrent model and its temporal logic
inferredcites →https://doi.org/10.1145/93385.93429openalex-snapshot
Half-order modal logic: how to prove real-time properties
inferredcites →https://doi.org/10.1145/99583.99629openalex-snapshot
Temporal proof methodologies for real-time systems
inferredcites →https://doi.org/10.21236/ada326062openalex-snapshot
An Interleaving Model for Real Time,
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/j.2334-5837.2008.tb00877.xopenalex-snapshot
11.3.1 Formal Verification in System Design Process: From EFFBDs to Petri nets
inferred← citeshttps://doi.org/10.1002/j.2334-5837.2010.tb01097.xopenalex-snapshot
5.4.1 Simulation and Verification of [Dys]functional Behavior Models: Model Checking for SE
inferred← citeshttps://doi.org/10.1002/stvr.1622openalex-snapshot
A simplification of a real‐time verification problem
inferred← citeshttps://doi.org/10.1006/inco.1994.1060openalex-snapshot
Temporal Proof Methodologies for Timed Transition-Systems
inferred← citeshttps://doi.org/10.1006/inco.1996.0060openalex-snapshot
Forward and Backward Simulations
inferred← citeshttps://doi.org/10.1007/11535294_4openalex-snapshot
Real-Time Event Structures and Scott Domains
inferred← citeshttps://doi.org/10.1007/11668855_2openalex-snapshot
NuEditor – A Tool Suite for Specification and Verification of NuSCR
inferred← citeshttps://doi.org/10.1007/3-540-48092-7_3openalex-snapshot
Real-Time Constraints Through the ProCoS Layers
inferred← citeshttps://doi.org/10.1007/3-540-48118-4_20openalex-snapshot
Communication and synchronisation using interaction objects
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-55719-9_103openalex-snapshot
What good are digital clocks?
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_23openalex-snapshot
Verification of real-time systems using PVS
inferred← citeshttps://doi.org/10.1007/3-540-57209-0_22openalex-snapshot
Integration of structured analysis and timed statecharts for real-time and concurrency specification
inferred← citeshttps://doi.org/10.1007/3-540-57318-6_23openalex-snapshot
An extended duration calculus for hybrid real-time systems
inferred← citeshttps://doi.org/10.1007/3-540-57318-6_24openalex-snapshot
Towards refining temporal specifications into hybrid systems
inferred← citeshttps://doi.org/10.1007/3-540-57318-6_28openalex-snapshot
An approach to the description and analysis of hybrid systems
inferred← citeshttps://doi.org/10.1007/3-540-57318-6_31openalex-snapshot
Hybrid Systems: the SIGNAL approach
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_160openalex-snapshot
Development of hybrid systems
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_180openalex-snapshot
Reasoning about durations in Metric Temporal Logic
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_191openalex-snapshot
Specifying timed state sequences in powerful decidable logics and timed automata
inferred← citeshttps://doi.org/10.1007/3-540-60222-4_111openalex-snapshot
COVERS — A tool for the design of real-time concurrent systems
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_54openalex-snapshot
Compositionality in real-time shared variable concurrency
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/3-540-63371-5_51openalex-snapshot
COVERS 3.0 — A C++ based graphical modeling and simulation tool
inferred← citeshttps://doi.org/10.1007/3-540-64358-3_44openalex-snapshot
Formal verification of safety-critical hybrid systems
inferred← citeshttps://doi.org/10.1007/978-0-387-34892-6_3openalex-snapshot
A temporal reachability analysis
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-35198-8_3openalex-snapshot
Real-time TTCN for testing real-time and multimedia systems
inferred← citeshttps://doi.org/10.1007/978-0-387-35497-2_28openalex-snapshot
TimedTTCN-3 — A Real-Time Extension for TTCN-3
inferred← citeshttps://doi.org/10.1007/978-1-4471-4276-8openalex-snapshot
Control of Discrete-Event Systems : Automata and Petri Net Perspectives
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-30923-7_7openalex-snapshot
Statistical Model Checking of Complex Robotic Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-57852-7_7openalex-snapshot
Finite Interval-Time Transition System for Real-Time Actors
inferred← citeshttps://doi.org/10.1007/978-3-030-61470-6_5openalex-snapshot
Parametric Timed Bisimulation
inferred← citeshttps://doi.org/10.1007/978-3-319-02444-8_38openalex-snapshot
CELL: A Compositional Verification Framework
inferred← citeshttps://doi.org/10.1007/978-3-319-02444-8_7openalex-snapshot
An Automatic Technique for Checking the Simulation of Timed Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10882-7_8openalex-snapshot
Heterogeneous Timed Machines
inferred← citeshttps://doi.org/10.1007/978-3-319-11743-0_12openalex-snapshot
Verifying Hypermedia Applications by Using an MDE Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-19147-8_11openalex-snapshot
Some Issues on an Object-Oriented Programming Language for Physarum Machines
inferred← citeshttps://doi.org/10.1007/978-3-319-25754-9_42openalex-snapshot
Roughness in Timed Transition Systems Modeling Propagation of Plasmodium
inferred← citeshttps://doi.org/10.1007/978-3-319-26662-6_29openalex-snapshot
p-Adic Computation with Physarum
inferred← citeshttps://doi.org/10.1007/978-3-319-45243-2_30openalex-snapshot
On Expressiveness of TCTL $$^{\varDelta }_{h}$$ for Model Checking Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-57288-8_4openalex-snapshot
Multi-timed Bisimulation for Distributed Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-319-57666-4_10openalex-snapshot
Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-91542-5_3openalex-snapshot
Unconventional Computers Designed on Swarm Behaviours
inferred← citeshttps://doi.org/10.1007/978-3-322-94703-1_16openalex-snapshot
Improving Structured Analysis — Achieving Preciseness, Executability, and Real-Time Specification
inferred← citeshttps://doi.org/10.1007/978-3-540-30138-7_14openalex-snapshot
PLC-Based Safety Critical Software Development for Nuclear Power Plants
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-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-78624-5_5openalex-snapshot
Generating Macro-Temporality in Timed Transition Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-642-01924-1_14openalex-snapshot
Modeling AADL Data Communication with BIP
inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_38openalex-snapshot
Specifying and Verifying Business Processes Using PPML
inferred← citeshttps://doi.org/10.1007/978-3-642-21759-3_19openalex-snapshot
Verification of Timed BPEL 2.0 Models
inferred← citeshttps://doi.org/10.1007/978-3-642-22606-9_18openalex-snapshot
A Framework for Specification and Verification of Timeout Models of Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-24372-1_9openalex-snapshot
An Alternative Definition for Timed Automata Composition
inferred← citeshttps://doi.org/10.1007/978-3-642-29709-0_10openalex-snapshot
Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction
inferred← citeshttps://doi.org/10.1007/978-3-642-30564-1_8openalex-snapshot
Revising and Extending the Uppaal Communication Mechanism
inferred← citeshttps://doi.org/10.1007/978-3-642-32332-4_7openalex-snapshot
Synchronous Abstract Machines
inferred← citeshttps://doi.org/10.1007/978-3-642-40229-6_13openalex-snapshot
On Fixed Points of Strictly Causal Functions
inferred← citeshttps://doi.org/10.1007/978-3-642-40229-6_8openalex-snapshot
A Mechanized Semantic Framework for Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-54848-2_12openalex-snapshot
The Unmet Challenge of Timed Systems
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-60729-5_13openalex-snapshot
A Proposal for a Real-Time Extension of TTCN
inferred← citeshttps://doi.org/10.1007/978-3-662-46081-8_9openalex-snapshot
A Model for Industrial Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-7091-9288-7_4openalex-snapshot
Timed Statecharts and Real Time Logic
inferred← citeshttps://doi.org/10.1007/bf01214917openalex-snapshot
Compositional verification of real-time systems with Explicit Clock Temporal Logic
inferred← citeshttps://doi.org/10.1007/bf01383987openalex-snapshot
An embedding of Timed Transition Systems in HOL
inferred← citeshttps://doi.org/10.1007/bf03005246openalex-snapshot
Modeling and analysis of temporal constraints in communication protocols
inferred← citeshttps://doi.org/10.1007/bfb0013977openalex-snapshot
Combining temporal specification techniques
inferred← citeshttps://doi.org/10.1007/bfb0014337openalex-snapshot
Coalgebraic specifications and models of deterministic hybrid systems
inferred← citeshttps://doi.org/10.1007/bfb0020978openalex-snapshot
Specification and verification of hybrid dynamic systems with Timed ∀-automata
inferred← citeshttps://doi.org/10.1007/bfb0032002openalex-snapshot
Forward and backward simulations for timing-based systems
inferred← citeshttps://doi.org/10.1007/bfb0055337openalex-snapshot
Reuse in requirements engineering: Discovery and application of a real-time requirement pattern
inferred← citeshttps://doi.org/10.1007/s001650050034openalex-snapshot
Probabilistic Duration Calculus for Continuous Time
inferred← citeshttps://doi.org/10.1007/s00236-017-0302-9openalex-snapshot
Event algebra for transition systems composition application to timed automata
inferred← citeshttps://doi.org/10.1007/s10626-017-0240-2openalex-snapshot
Controller synthesis for dynamic hierarchical real-time plants using timed automata
inferred← citeshttps://doi.org/10.1007/s11241-007-9013-6openalex-snapshot
Predictable real-time software synthesis
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)00151-8openalex-snapshot
Metric temporal logic with durations
inferred← citeshttps://doi.org/10.1016/b978-0-444-89880-7.50022-xopenalex-snapshot
A Comparison between Statecharts and State Transition Assertions
inferred← citeshttps://doi.org/10.1016/b978-0-444-89880-7.50023-1openalex-snapshot
An Embedding of Timed Transition Systems in HOL
inferred← citeshttps://doi.org/10.1016/j.future.2011.02.004openalex-snapshot
A safety-focused verification using software fault trees
inferred← citeshttps://doi.org/10.1016/j.ijhcs.2012.05.010openalex-snapshot
Generating phenotypical erroneous human behavior to evaluate human–automation interaction using model checking
inferred← citeshttps://doi.org/10.1016/j.jisa.2021.102926openalex-snapshot
Bounded opacity for timed systems
inferred← citeshttps://doi.org/10.1016/j.jss.2003.10.018openalex-snapshot
A formal software requirements specification method for digital nuclear plant protection systems
inferred← citeshttps://doi.org/10.1016/j.nancom.2015.04.004openalex-snapshot
Behavioural observations of cell movements with timing aspects
inferred← citeshttps://doi.org/10.1016/j.ress.2004.08.024openalex-snapshot
An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification
inferred← citeshttps://doi.org/10.1016/j.ress.2020.107064openalex-snapshot
A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems
inferred← citeshttps://doi.org/10.1016/j.scico.2015.03.003openalex-snapshot
Towards a verified transformation from AADL to the formal component-based language FIACRE
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.scico.2020.102513openalex-snapshot
Trace semantics and refinement patterns for real-time properties in event-B models
inferred← citeshttps://doi.org/10.1016/j.tcs.2015.01.036openalex-snapshot
The fixed-point theory of strictly causal functions
inferred← citeshttps://doi.org/10.1016/s0140-3664(96)01153-xopenalex-snapshot
Validation of protocols with temporal constraints
inferred← citeshttps://doi.org/10.1016/s0140-3664(98)00246-1openalex-snapshot
Towards the automatic generation of quality-of-service-preserving implementations from formal specifications
inferred← citeshttps://doi.org/10.1016/s0164-1212(97)00168-4openalex-snapshot
Industrial integration of graphical and formal specifications
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/s0169-7552(97)00132-3openalex-snapshot
Formal methods for broadband and multimedia systems
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00363-2openalex-snapshot
Specification of real-time and hybrid systems in rewriting logic
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00213-3openalex-snapshot
Object-oriented hybrid systems of coalgebras plus monoid actions
inferred← citeshttps://doi.org/10.1016/s0950-5849(98)00036-6openalex-snapshot
A framework and patterns for the specification of reactive systems
inferred← citeshttps://doi.org/10.1016/s0950-5849(99)00037-3openalex-snapshot
A framework for the specification of test cases for real-time distributed systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)41394-2openalex-snapshot
A Formal Approach to Real-Time Object Oriented Software
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00157-4openalex-snapshot
Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I
inferred← citeshttps://doi.org/10.1023/a:1002837232103openalex-snapshot
Logic Control and “Reactive” Systems: Algorithmization and Programming
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.1023/a:1025697810124openalex-snapshot
A Formal Approach to Agent Design: An Overview of Constraint-Based Agents
inferred← citeshttps://doi.org/10.1023/a:1026585115440openalex-snapshot
Extending the SCR Method for Real-Time Systems
inferred← citeshttps://doi.org/10.1049/ip-cta:19960768openalex-snapshot
Error specification, monitoring andrecovery in computer-integratedmanufacturing: An analytic approach
inferred← citeshttps://doi.org/10.1080/00207721.2020.1783590openalex-snapshot
Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras
inferred← citeshttps://doi.org/10.1093/logcom/exab091openalex-snapshot
Ensuring trustworthy and ethical behaviour in intelligent logical agents
inferred← citeshttps://doi.org/10.1109/32.265634openalex-snapshot
Proving properties of real-time systems through logical specifications and Petri net models
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.491647openalex-snapshot
Reasoning about places, times, and actions in the presence of mobility
inferred← citeshttps://doi.org/10.1109/43.980253openalex-snapshot
Lazy transition systems and asynchronous circuit synthesis with relative timing assumptions
inferred← citeshttps://doi.org/10.1109/5.259434openalex-snapshot
Reasoning assertionally about real-time systems
inferred← citeshttps://doi.org/10.1109/5.871302openalex-snapshot
High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS)
inferred← citeshttps://doi.org/10.1109/acsd.2005.34openalex-snapshot
Verification of Concurrent Systems with Parametric Delays Using Octahedra
inferred← citeshttps://doi.org/10.1109/ase.2017.8115657openalex-snapshot
O2O service composition with social collaboration
inferred← citeshttps://doi.org/10.1109/aspdac.2004.1337668openalex-snapshot
Verification of timed circuits with symbolic delays
inferred← citeshttps://doi.org/10.1109/case.2011.6042481openalex-snapshot
A symbolic schedulability technique of real-time systems modeled by P-Time Petri nets
inferred← citeshttps://doi.org/10.1109/cmpsac.1997.624810openalex-snapshot
On the concurrent behaviour of SCR specifications
inferred← citeshttps://doi.org/10.1109/cscloud/edgecom.2019.00014openalex-snapshot
Model for Cloud Migration Cost
inferred← citeshttps://doi.org/10.1109/ecbs.1997.581865openalex-snapshot
Systems modeling, simulation and analysis using COVERS active objects
inferred← citeshttps://doi.org/10.1109/edtc.1994.326854openalex-snapshot
A new model to uniformly represent the function and timing of MOS circuits and its application to VHDL simulation
inferred← citeshttps://doi.org/10.1109/emwrts.1994.336838openalex-snapshot
Relating specified time tolerances to implementation performances
inferred← citeshttps://doi.org/10.1109/hldvt.2002.1224431openalex-snapshot
Using Aspect-GAMMA in the design of embedded systems
inferred← citeshttps://doi.org/10.1109/iceccs.2009.9openalex-snapshot
A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts
inferred← citeshttps://doi.org/10.1109/icsmc.1993.384952openalex-snapshot
Hybrid systems: the SIGNAL approach
inferred← citeshttps://doi.org/10.1109/idsrta.1997.568656openalex-snapshot
COVERS 3.0-an object-oriented environment for modeling, simulation and analysis of real-time concurrent systems
inferred← citeshttps://doi.org/10.1109/indin45582.2020.9442188openalex-snapshot
Timed model checking of fault-tolerant nuclear I&C systems
inferred← citeshttps://doi.org/10.1109/iwssd.1993.315509openalex-snapshot
Specifying reactive systems with attributed finite state machines
inferred← citeshttps://doi.org/10.1109/kimas.2003.1245121openalex-snapshot
An integrating semantics of hybrid dynamic systems
inferred← citeshttps://doi.org/10.1109/kimas.2005.1427129openalex-snapshot
An integrating semantics of hybrid dynamic systems
inferred← citeshttps://doi.org/10.1109/norchp.2004.1423881openalex-snapshot
Formal timing model for hardware components
inferred← citeshttps://doi.org/10.1109/rcis.2016.7549356openalex-snapshot
Process mining for recommender strategies support in news media
inferred← citeshttps://doi.org/10.1109/real.1993.393489openalex-snapshot
RTSL: a language for real-time schedulability analysis
inferred← citeshttps://doi.org/10.1109/real.1996.563701openalex-snapshot
Correctness of vehicle control systems-a case study
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/sami.2010.5423710openalex-snapshot
Time semantics in Time Basic nets
inferred← citeshttps://doi.org/10.1109/sies.2011.5953652openalex-snapshot
Robustness in real-time systems
inferred← citeshttps://doi.org/10.1109/tase.2018.00028openalex-snapshot
Semantics of Real-Time Trigger-Response Properties in Event-B
inferred← citeshttps://doi.org/10.1109/tii.2008.2008998openalex-snapshot
Formal Methods for Systems Engineering Behavior Models
inferred← citeshttps://doi.org/10.1109/time.2012.21openalex-snapshot
Compositional Refinement for Real-Time Systems with Priorities
inferred← citeshttps://doi.org/10.1109/time.2013.23openalex-snapshot
Event Algebra for Transition Systems Composition - Application to Timed Automata
inferred← citeshttps://doi.org/10.1109/tits.2021.3076399openalex-snapshot
Assuring Intelligent Systems: Contingency Management for UAS
inferred← citeshttps://doi.org/10.1109/tron.1992.313260openalex-snapshot
TGHC: timed guarded Horn clauses
inferred← citeshttps://doi.org/10.1109/tsmca.2011.2109709openalex-snapshot
A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic Models
inferred← citeshttps://doi.org/10.1109/tsmca.2012.2210406openalex-snapshot
Using Formal Verification to Evaluate Human-Automation Interaction: A Review
inferred← citeshttps://doi.org/10.1109/wift.1995.515476openalex-snapshot
The architectural specification of an avionic subsystem
inferred← citeshttps://doi.org/10.1109/wodes.2016.7497878openalex-snapshot
Analysis of Timed Automata with Guards in dioids algebra
inferred← citeshttps://doi.org/10.1109/wsc.2000.899183openalex-snapshot
Java engine for UML based hybrid state machines
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.1145/1450058.1450060openalex-snapshot
Event order abstraction for parametric real-time system verification
inferred← citeshttps://doi.org/10.1145/1755952.1755953openalex-snapshot
Amir Pnueli and the dawn of hybrid systems
inferred← citeshttps://doi.org/10.1145/2382636.2382685openalex-snapshot
An approach to verify live NCL applications
inferred← citeshttps://doi.org/10.1145/253228.253813openalex-snapshot
Formal methods for broadband and multimedia systems (tutorial)
inferred← citeshttps://doi.org/10.1145/3447246openalex-snapshot
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems
inferred← citeshttps://doi.org/10.1145/3450267.3450531openalex-snapshot
Model-bounded monitoring of hybrid systems
inferred← citeshttps://doi.org/10.1145/3529095openalex-snapshot
Model-bounded Monitoring of Hybrid Systems
inferred← citeshttps://doi.org/10.1145/973620.973674openalex-snapshot
Approach for software realization of processor for real time control model of photometric systems complex
inferred← citeshttps://doi.org/10.1177/0037549713519842openalex-snapshot
An introduction to Timed Sequential Machines
inferred← citeshttps://doi.org/10.1360/jos180062openalex-snapshot
A Method for Testing Real-Time System Based on Timed Automata
inferred← citeshttps://doi.org/10.14236/ewic/room2000.7openalex-snapshot
An Overview of The Mensurae Language: Specifying Business Processes
inferred← citeshttps://doi.org/10.14279/depositonce-743openalex-snapshot
Time Partition Testing | Systematischer Test des kontinuierlichen Verhaltens von eingebetteten Systemen
inferred← citeshttps://doi.org/10.14569/ijacsa.2018.090561openalex-snapshot
Control of Industrial Systems to Avoid Failures: Application to Electrical System
inferred← citeshttps://doi.org/10.15439/2015f199openalex-snapshot
PhysarumSoft - a Software Tool for Programming Physarum Machines and Simulating Physarum Games
inferred← citeshttps://doi.org/10.1609/aaai.v28i1.9040openalex-snapshot
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty
inferred← citeshttps://doi.org/10.17084/2014.i-1(17).7openalex-snapshot
APPLICATION OF TIME PETRI NETS TO THE DEVELOPMENT OF REAL TIME SYSTEMS FOR OBJECTS’ STATUS MONITORING
inferred← citeshttps://doi.org/10.17169/refubium-11605openalex-snapshot
Testing Framework for Real-time And Embedded Systems
inferred← citeshttps://doi.org/10.18255/1818-1015-2012-4-78-86openalex-snapshot
Generalized Asynchronous Systems
inferred← citeshttps://doi.org/10.21236/ada256199openalex-snapshot
Trace Algebra for Automatic Verification of Real-Time Concurrent Systems
inferred← citeshttps://doi.org/10.2478/amcs-2018-0041openalex-snapshot
Slime Mould Games Based on Rough Set Theory
inferred← citeshttps://doi.org/10.2495/cr100661openalex-snapshot
Modelling and design of the formal approach for generating test sequences of ETCS level 2 based on the CPN
inferred← citeshttps://doi.org/10.2514/6.2004-6352openalex-snapshot
Robust Model-based Execution of Critical Spacecraft Sequences
inferred← citeshttps://doi.org/10.3233/faia230954openalex-snapshot
Deontics and Time in Contracts: An Executable Semantics for the L4 DSL
inferred← citeshttps://doi.org/10.3233/fi-1997-291202openalex-snapshot
SEMANTICS OF TIMED CONCURRENT SYSTEMS
inferred← citeshttps://doi.org/10.3233/fi-2014-1067openalex-snapshot
A Domain View of Timed Behaviors
inferred← citeshttps://doi.org/10.3906/elk-1112-27openalex-snapshot
A new extension of activity networks for modeling and verification of timed systems
inferred← citeshttps://doi.org/10.4204/eptcs.387.1openalex-snapshot
Timed Actors and Their Formal Verification
inferred← citeshttps://doi.org/10.4204/eptcs.392.1openalex-snapshot
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata
inferred← citeshttps://doi.org/10.4230/dagsemproc.06351.11openalex-snapshot
System model for UML – The interactions case
inferred← citeshttps://doi.org/10.46298/lmcs-18(2:13)2022openalex-snapshot
Specification and Verification of Timing Properties in Interoperable Medical Systems
inferred← citeshttps://doi.org/10.48084/etasr.4611openalex-snapshot
Deadline Verification for Web Services Using Timed Automata
inferred← citeshttps://doi.org/10.48550/arxiv.1008.1417openalex-snapshot
A Simplification of a Real-Time Verification Problem
inferred← citeshttps://doi.org/10.48550/arxiv.1203.3098openalex-snapshot
Generalized Asynchronous Systems
showing the first 200 of 219 · page through all 219
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.