On the public citation graph
Timing analysis of Ada tasking programs
0 signed · 91 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.1995.1059openalex-snapshot
Timing Verification by Successive Approximation
inferredcites →https://doi.org/10.1007/3-540-60472-3_14openalex-snapshot
HyTech: The Cornell Hybrid Technology Tool
inferredcites →https://doi.org/10.1007/bfb0032042openalex-snapshot
Automata for modeling real-time systems
inferredcites →https://doi.org/10.1016/0164-1212(90)90074-vopenalex-snapshot
TRIO: A logic language for executable specifications of real-time systems
inferredcites →https://doi.org/10.1016/0304-3975(88)90030-8openalex-snapshot
A timed model for communicating sequential processes
inferredcites →https://doi.org/10.1016/0304-3975(94)00202-topenalex-snapshot
The algorithmic analysis of hybrid systems
inferredcites →https://doi.org/10.1016/b978-155860702-6/50016-8openalex-snapshot
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
inferredcites →https://doi.org/10.1109/2.76286openalex-snapshot
Experiments with a program timing tool based on source-level timing schema
inferredcites →https://doi.org/10.1109/32.106975openalex-snapshot
Automated analysis of concurrent systems with the constrained expression toolset
inferredcites →https://doi.org/10.1109/32.159837openalex-snapshot
Compiling real-time specifications into extended automata
inferredcites →https://doi.org/10.1109/32.159838openalex-snapshot
A layered approach to automating the verification of real-time systems
inferredcites →https://doi.org/10.1109/32.263752openalex-snapshot
Timing analysis for fixed-priority scheduling of hard real-time systems
inferredcites →https://doi.org/10.1109/32.29487openalex-snapshot
Reasoning about time in higher-level language software
inferredcites →https://doi.org/10.1109/32.317429openalex-snapshot
Automated derivation of time bounds in uniprocessor concurrent systems
inferredcites →https://doi.org/10.1109/32.489078openalex-snapshot
Evaluating deadlock detection methods for concurrent software
inferredcites →https://doi.org/10.1109/32.67597openalex-snapshot
A unified high-level Petri net formalism for time-critical systems
inferredcites →https://doi.org/10.1109/32.75415openalex-snapshot
Modeling and verification of time dependent systems using time Petri nets
inferredcites →https://doi.org/10.1109/71.80145openalex-snapshot
Deciding properties of timed transition models
inferredcites →https://doi.org/10.1109/real.1993.393489openalex-snapshot
RTSL: a language for real-time schedulability analysis
inferredcites →https://doi.org/10.1109/real.1994.342723openalex-snapshot
Modeling and analysis of real-time Ada tasking programs
inferredcites →https://doi.org/10.1109/real.1994.342726openalex-snapshot
An accurate worst case timing analysis technique for RISC processors
inferredcites →https://doi.org/10.1109/tse.1986.6313045openalex-snapshot
Safety analysis of timing properties in real-time systems
inferredcites →https://doi.org/10.1109/tse.1987.233201openalex-snapshot
Scheduling Tasks with Resource Requirements in Hard Real-Time Systems
inferredcites →https://doi.org/10.1145/143557.144009openalex-snapshot
Using POSIX threads to implement Ada tasking
inferredcites →https://doi.org/10.1145/154183.154263openalex-snapshot
A practical technique for bounding the time between events in concurrent real-time systems
inferredcites →https://doi.org/10.1145/170657.170736openalex-snapshot
Implementing Ada 9X features using POSIX Threads
inferredcites →https://doi.org/10.1145/197978.197989openalex-snapshot
The GNU Ada runtime library (GNARL)
inferredcites →https://doi.org/10.1145/226295.226323openalex-snapshot
Constructing abstract models of concurrent real-time software
inferredcites →https://doi.org/10.1145/229000.226323openalex-snapshot
Constructing abstract models of concurrent real-time software
inferredcites →https://doi.org/10.1145/321738.321743openalex-snapshot
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
inferredcites →https://doi.org/10.1145/512760.512770openalex-snapshot
Automatic discovery of linear restraints among variables of a program
inferredcites →https://doi.org/10.1145/69586.69587openalex-snapshot
A general-purpose algorithm for analyzing concurrent programs
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1006/jcss.1998.1581openalex-snapshot
What's Decidable about Hybrid Automata?
inferred← citeshttps://doi.org/10.1007/3-540-45499-3_17openalex-snapshot
The Algebra of Multi-tasking
inferred← citeshttps://doi.org/10.1007/3-540-46419-0_11openalex-snapshot
Symbolic Model Checking for Rectangular Hybrid Systems
inferred← citeshttps://doi.org/10.1007/3-540-46430-1_14openalex-snapshot
Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods
inferred← citeshttps://doi.org/10.1007/3-540-48166-4_30openalex-snapshot
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification
inferred← citeshttps://doi.org/10.1007/3-540-63166-6_48openalex-snapshot
HyTech: A model checker for hybrid systems
inferred← citeshttps://doi.org/10.1007/978-3-319-77935-5_22openalex-snapshot
On the Timed Analysis of Big-Data Applications
inferred← citeshttps://doi.org/10.1007/978-3-540-40903-8_18openalex-snapshot
Analysis of Real Time Operating System Based Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-59615-5_13openalex-snapshot
The Theory of Hybrid Automata
inferred← citeshttps://doi.org/10.1007/bfb0002885openalex-snapshot
Analyzing schedulability of astral specifications using extended timed automata
inferred← citeshttps://doi.org/10.1007/s00165-020-00505-4openalex-snapshot
Using formal verification to evaluate theexecution time of Spark applications
inferred← citeshttps://doi.org/10.1007/s100090050008openalex-snapshot
HYTECH: a model checker for hybrid systems
inferred← citeshttps://doi.org/10.1007/s11241-007-9036-zopenalex-snapshot
Formal verification of multitasking applications based on timed automata model
inferred← citeshttps://doi.org/10.1016/j.jss.2009.04.042openalex-snapshot
Case study on distributed and fault tolerant system modeling based on timed automata
inferred← citeshttps://doi.org/10.1016/s0096-0551(99)00014-4openalex-snapshot
Compositional Petri net models of advanced tasking in Ada-95
inferred← citeshttps://doi.org/10.1016/s0167-6423(00)00025-3openalex-snapshot
A formal design language for real-time systems with data
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)30344-0openalex-snapshot
Analysis of OSEK/VDX Based Automotive Applications
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)36111-6openalex-snapshot
Timed Automata Approach to CAN Verification
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)39989-5openalex-snapshot
Using Timed Automata for Response Time Analysis of Distributed Real-Time Systems
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80883-1openalex-snapshot
Analysis of Scheduling Behaviour using Generic Timed Automata
inferred← citeshttps://doi.org/10.1023/a:1002837232103openalex-snapshot
Logic Control and “Reactive” Systems: Algorithmization and Programming
inferred← citeshttps://doi.org/10.1049/ic:19980529openalex-snapshot
Modelling and analysis of broadcasting embedded control systems
inferred← citeshttps://doi.org/10.1109/32.707696openalex-snapshot
Analyzing partially-implemented real-time systems
inferred← citeshttps://doi.org/10.1109/32.940727openalex-snapshot
Static analysis and dynamic steering of time-dependent systems
inferred← citeshttps://doi.org/10.1109/cdc.2001.980714openalex-snapshot
Some lessons from the HYTECH experience
inferred← citeshttps://doi.org/10.1109/dasc.2000.886892openalex-snapshot
Analysis of real-time code by model checking
inferred← citeshttps://doi.org/10.1109/ecbs.2003.1194793openalex-snapshot
Integrated modeling and analysis of computer-based embedded control 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/iceccs.2001.930162openalex-snapshot
A method for verifying real-time properties of Ada programs
inferred← citeshttps://doi.org/10.1109/icse.1998.671100openalex-snapshot
Modeling and analysis of a virtual reality system with time Petri nets
inferred← citeshttps://doi.org/10.1109/indin.2008.4618279openalex-snapshot
Comprehensive formal description of IEC 61499 control devices
inferred← citeshttps://doi.org/10.1109/ipdps.2005.319openalex-snapshot
Over-Approximate Model of Multitasking Application Based on Timed Automata Using Only One Clock
inferred← citeshttps://doi.org/10.1109/ipdps.2006.1639421openalex-snapshot
Schedulability analysis of AADL models
inferred← citeshttps://doi.org/10.1109/lics.1996.561342openalex-snapshot
The theory of hybrid automata
inferred← citeshttps://doi.org/10.1109/real.2004.13openalex-snapshot
Automatic Verification of Component-Based Real-Time CORBA Applications
inferred← citeshttps://doi.org/10.1109/robio.2010.5723437openalex-snapshot
Dynamic monitoring approach for verification of control software of robot using synchronized Petri nets
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.2010.28openalex-snapshot
Modeling of Real-Time System Designs for Parametric Analysis
inferred← citeshttps://doi.org/10.1109/rttas.1998.683201openalex-snapshot
bCANDLE: formal modelling and analysis of CAN control systems
inferred← citeshttps://doi.org/10.1109/tse.2004.1265815openalex-snapshot
Timed state space analysis of real-time preemptive systems
inferred← citeshttps://doi.org/10.1109/tse.2014.2382474openalex-snapshot
2014 Index IEEE Transactions on Software Engineering Vol. 40
inferred← citeshttps://doi.org/10.1145/1103846.1103854openalex-snapshot
Temporal skeletons for verifying time
inferred← citeshttps://doi.org/10.1145/1104011.1103854openalex-snapshot
Temporal skeletons for verifying time
inferred← citeshttps://doi.org/10.1145/225058.225162openalex-snapshot
What's decidable about hybrid automata?
inferred← citeshttps://doi.org/10.1145/253228.253275openalex-snapshot
Analyzing partially-implemented real-time systems
inferred← citeshttps://doi.org/10.1145/271771.271778openalex-snapshot
Constructing compact models of concurrent Java programs
inferred← citeshttps://doi.org/10.1145/271775.271778openalex-snapshot
Constructing compact models of concurrent Java programs
inferred← citeshttps://doi.org/10.1145/318774.319266openalex-snapshot
Verification of real-time designs
inferred← citeshttps://doi.org/10.1145/332740.332741openalex-snapshot
Using shape analysis to reduce finite-state models of concurrent Java programs
inferred← citeshttps://doi.org/10.1145/505145.505146openalex-snapshot
A formal design notation for real-time systems
inferred← citeshttps://doi.org/10.1504/ijmms.2009.024357openalex-snapshot
Functional and temporal formal modelling of embedded controllers for intelligent mechatronic systems
inferred← citeshttps://doi.org/10.3182/20050703-6-cz-1902.01066openalex-snapshot
TIMED AUTOMATA MODEL OF PREEMPTIVE MULTITASKING APPLICATIONS
inferred← citeshttps://doi.org/10.4018/978-1-60566-750-8.ch008openalex-snapshot
Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock
inferred← citeshttps://doi.org/10.5555/1898953.1899118openalex-snapshot
Schedulability analysis of AADL models
inferred← citeshttps://doi.org/10.5555/302163.302167openalex-snapshot
Modeling and analysis of a virtual reality system with time Petri nets
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.