On the public citation graph
The Ravenscar tasking profile for high integrity real-time programs
0 signed · 127 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/978-1-4615-2796-1openalex-snapshot
A Practitioner’s Handbook for Real-Time Analysis
inferredcites →https://doi.org/10.1007/bf00365316openalex-snapshot
Combining static worst-case timing analysis and program proof
inferredcites →https://doi.org/10.1007/bfb0013478openalex-snapshot
Ada95: An effective concurrent programming language
inferredcites →https://doi.org/10.1109/32.241774openalex-snapshot
Engineering and analysis of fixed priority schedulers
inferredcites →https://doi.org/10.1145/271658.271689openalex-snapshot
T-SMART---task-safe, minimal Ada realtime toolset
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/cpe.2882openalex-snapshot
Supporting lock‐based multiprocessor resource sharing protocols in real‐time programming languages
inferred← citeshttps://doi.org/10.1002/cpe.3950openalex-snapshot
Hardware locks for a real‐time Java chip multiprocessor
inferred← citeshttps://doi.org/10.1002/cpe.3963openalex-snapshot
Safety‐critical Java for embedded systems
inferred← citeshttps://doi.org/10.1002/cpe.843openalex-snapshot
Ravenscar‐Java: a high‐integrity profile for real‐time Java
inferred← citeshttps://doi.org/10.1007/1-84628-447-3_11openalex-snapshot
Safety Aspects of a Landing Gear System
inferred← citeshttps://doi.org/10.1007/10722060_4openalex-snapshot
An Open Ravenscar Real-Time Kernel for GNAT
inferred← citeshttps://doi.org/10.1007/11499909_7openalex-snapshot
Extending Ravenscar with CSP Channels
inferred← citeshttps://doi.org/10.1007/11767077_18openalex-snapshot
The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems
inferred← citeshttps://doi.org/10.1007/11767077_2openalex-snapshot
A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications
inferred← citeshttps://doi.org/10.1007/3-540-44947-7_27openalex-snapshot
A Test Environment for High Integrity Software Development
inferred← citeshttps://doi.org/10.1007/3-540-44947-7_5openalex-snapshot
Adding Temporal Annotations and Associated Verification to the Ravenscar Profile
inferred← citeshttps://doi.org/10.1007/3-540-45136-6_5openalex-snapshot
Can Java™ Meet Its Real-Time Deadlines?
inferred← citeshttps://doi.org/10.1007/3-540-48046-3_13openalex-snapshot
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT
inferred← citeshttps://doi.org/10.1007/3-540-48046-3_18openalex-snapshot
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95
inferred← citeshttps://doi.org/10.1007/3-540-48753-0_1openalex-snapshot
An Architectural Perspective of Real-Time Ada Applications
inferred← citeshttps://doi.org/10.1007/978-1-4471-0883-2_8openalex-snapshot
Ada Tasking for High-Integrity Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-40436-8_2openalex-snapshot
UTP, Circus, and Isabelle
inferred← citeshttps://doi.org/10.1007/978-3-319-08311-7_9openalex-snapshot
Deadline-Aware Programming and Scheduling
inferred← citeshttps://doi.org/10.1007/978-3-319-60588-3_2openalex-snapshot
Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime
inferred← citeshttps://doi.org/10.1007/978-3-319-92432-8_9openalex-snapshot
Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP
inferred← citeshttps://doi.org/10.1007/978-3-540-24841-5_10openalex-snapshot
Implementing Execution-Time Clocks for the Ada Ravenscar Profile
inferred← citeshttps://doi.org/10.1007/978-3-540-24841-5_8openalex-snapshot
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications
inferred← citeshttps://doi.org/10.1007/978-3-540-30470-8_49openalex-snapshot
Memory Management Based on Method Invocation in RTSJ
inferred← citeshttps://doi.org/10.1007/978-3-540-39962-9_43openalex-snapshot
JOP: A Java Optimized Processor
inferred← citeshttps://doi.org/10.1007/978-3-540-45236-2_34openalex-snapshot
A Circus Semantics for Ravenscar Protected Objects
inferred← citeshttps://doi.org/10.1007/978-3-540-73230-3_2openalex-snapshot
Handling Temporal Faults in Ada 2005
inferred← citeshttps://doi.org/10.1007/978-3-540-75664-4_11openalex-snapshot
Mission Modes for Safety Critical Java
inferred← citeshttps://doi.org/10.1007/978-3-642-01924-1_1openalex-snapshot
Requirements on the Target Programming Language for High-Integrity MDE
inferred← citeshttps://doi.org/10.1007/978-3-642-01924-1_2openalex-snapshot
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-13550-7_11openalex-snapshot
Preservation of Timing Properties with the Ada Ravenscar Profile
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_3openalex-snapshot
Runtime Monitoring of Time-Sensitive Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-30598-6_1openalex-snapshot
Ada Ravenscar Code Archetypes for Component-Based Development
inferred← citeshttps://doi.org/10.1007/978-3-642-30598-6_7openalex-snapshot
Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development
inferred← citeshttps://doi.org/10.1007/978-3-642-38601-5_9openalex-snapshot
A Model-Based Framework for Developing Real-Time Safety Ada Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-38977-1_8openalex-snapshot
Cross-Domain Reuse: Lessons Learned in a Multi-project Trajectory
inferred← citeshttps://doi.org/10.1007/978-3-642-40888-5_2openalex-snapshot
Automatic Development of Embedded Systems Using Model Driven Engineering and Compile-Time Virtualisation
inferred← citeshttps://doi.org/10.1016/j.scico.2006.06.002openalex-snapshot
Procedures and parameters in the real-time program refinement calculus
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:1021701221847openalex-snapshot
A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*
inferred← citeshttps://doi.org/10.1023/b:time.0000048937.17571.2bopenalex-snapshot
On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels
inferred← citeshttps://doi.org/10.1109/dasc.2000.886892openalex-snapshot
Analysis of real-time code by model checking
inferred← citeshttps://doi.org/10.1109/dasc.2003.1245822openalex-snapshot
A hardware implementation of a Ravenscar-compliant run-time kernel
inferred← citeshttps://doi.org/10.1109/ecrts.2005.11openalex-snapshot
Component-Based Approach to Run-Time Kernel Specification and Verification
inferred← citeshttps://doi.org/10.1109/etfa.2010.5641342openalex-snapshot
Design and implementation of real-time distributed systems with the ASSERT Virtual Machine
inferred← citeshttps://doi.org/10.1109/fdl53530.2021.9568380openalex-snapshot
CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function
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/icis.2017.7959999openalex-snapshot
Development of a parser for the AADL error model annex
inferred← citeshttps://doi.org/10.1109/isorc.2000.839536openalex-snapshot
GLADE: a framework for building large object-oriented real-time distributed systems
inferred← citeshttps://doi.org/10.1109/isorc.2001.922813openalex-snapshot
A profile for high-integrity real-time Java programs
inferred← citeshttps://doi.org/10.1109/isorc.2003.1199262openalex-snapshot
Predictable memory utilization in the Ravenscar-Java profile
inferred← citeshttps://doi.org/10.1109/isorc.2004.1300334openalex-snapshot
Restrictions of Java for embedded real-time systems
inferred← citeshttps://doi.org/10.1109/isorc.2005.46openalex-snapshot
Revisiting COTS middleware for DRE systems
inferred← citeshttps://doi.org/10.1109/isorc.2007.48openalex-snapshot
Predictable Serialization in Java
inferred← citeshttps://doi.org/10.1109/isorc.2007.9openalex-snapshot
A Profile for Safety Critical Java
inferred← citeshttps://doi.org/10.1109/isorc.2013.6913210openalex-snapshot
Deterministic implementation of periodic-delayed communications and experimentation in AADL
inferred← citeshttps://doi.org/10.1109/memcod.2005.1487926openalex-snapshot
Extended abstract: evaluation of delay queues for a ravenscar HW kernel
inferred← citeshttps://doi.org/10.1109/rsp.2012.6380699openalex-snapshot
Challenges in software development for multicore System-on-Chip development
inferred← citeshttps://doi.org/10.1109/rsp.2013.6683959openalex-snapshot
Enforcing software engineering tools interoperability: An example with AADL subsets
inferred← citeshttps://doi.org/10.1109/rtas.2012.23openalex-snapshot
Developing Predictable Real-Time Embedded Systems Using AnvilJ
inferred← citeshttps://doi.org/10.1109/rtcsa.1999.811200openalex-snapshot
Portable code for complex critical systems
inferred← citeshttps://doi.org/10.1109/rtcsa.1999.811307openalex-snapshot
A formal model of a run-time kernel for Ravenscar
inferred← citeshttps://doi.org/10.1109/rtcsa.2007.19openalex-snapshot
An Approach to the Timing Analysis of Hierarchical Systems
inferred← citeshttps://doi.org/10.1109/rtcsa.2007.6openalex-snapshot
A Deterministic Implementation Process for Accurate and Traceable System Timing and Space Analysis
inferred← citeshttps://doi.org/10.1109/rtcsa.2010.39openalex-snapshot
Towards a Cache-Aware Development of High Integrity Real-Time Systems
inferred← citeshttps://doi.org/10.1109/wetice.2013.41openalex-snapshot
Fault Tolerance for Distributed Real Time Dynamically Reconfigurable Systems from Modeling to Implementation
inferred← citeshttps://doi.org/10.1109/wkdd.2009.63openalex-snapshot
Predictable Real-Time Java Profile Based on RTSJ
inferred← citeshttps://doi.org/10.1109/words.2003.1218062openalex-snapshot
Algorithms for dependable hard real-time systems
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/1167999.1168008openalex-snapshot
A Ravenscar-Java profile implementation
inferred← citeshttps://doi.org/10.1145/1167999.1168021openalex-snapshot
Safety critical applications and hard real-time profile for Java
inferred← citeshttps://doi.org/10.1145/1167999.1168025openalex-snapshot
Proving the absence of RTSJ related runtime errors through data flow analysis
inferred← citeshttps://doi.org/10.1145/1185642.1185652openalex-snapshot
Schizophrenic middleware support for fault tolerance
inferred← citeshttps://doi.org/10.1145/1288940.1288950openalex-snapshot
Real-time Java from an automated code generation perspective
inferred← citeshttps://doi.org/10.1145/1288940.1288953openalex-snapshot
Garbage collection for safety critical Java
inferred← citeshttps://doi.org/10.1145/1288940.1288962openalex-snapshot
Towards a Java multiprocessor
inferred← citeshttps://doi.org/10.1145/1316002.1316021openalex-snapshot
Suggestions for stream based parallel systems in Ada
inferred← citeshttps://doi.org/10.1145/1434790.1434807openalex-snapshot
Model-based schedulability analysis of safety critical hard real-time Java programs
inferred← citeshttps://doi.org/10.1145/1806546.1806551openalex-snapshot
Temporal isolation with the ravenscar profile and Ada 2005
inferred← citeshttps://doi.org/10.1145/2070336.2070359openalex-snapshot
An Ada design pattern recognition tool for AADL performance analysis
inferred← citeshttps://doi.org/10.1145/2070337.2070359openalex-snapshot
An Ada design pattern recognition tool for AADL performance analysis
inferred← citeshttps://doi.org/10.1145/2304736.2304758openalex-snapshot
An MDE approach to address synchronization needs in component-based real-time systems
inferred← citeshttps://doi.org/10.1145/2388936.2388946openalex-snapshot
Safety-critical Java on a Java processor
inferred← citeshttps://doi.org/10.1145/2388936.2388949openalex-snapshot
A desktop 3D printer in safety-critical Java
inferred← citeshttps://doi.org/10.1145/2492312.2492316openalex-snapshot
An EDF run-time profile based on ravenscar
inferred← citeshttps://doi.org/10.1145/2512989.2512995openalex-snapshot
Chip-multiprocessor hardware locks for safety-critical Java
inferred← citeshttps://doi.org/10.1145/2552999.2553003openalex-snapshot
On real-time partitioned multicore systems
inferred← citeshttps://doi.org/10.1145/2597457.2597463openalex-snapshot
Composition of design patterns
inferred← citeshttps://doi.org/10.1145/2661020.2661025openalex-snapshot
Certifiable Java for Embedded Systems
inferred← citeshttps://doi.org/10.1145/2822304.2822308openalex-snapshot
Multiprocessor Priority Ceiling Emulation for Safety-Critical Java
inferred← citeshttps://doi.org/10.1145/2870544.2870550openalex-snapshot
ARINC-653 Inter-partition Communications and the Ravenscar Profile
inferred← citeshttps://doi.org/10.1145/3019612.3019681openalex-snapshot
Synthesis of ada code from graph-based task models
inferred← citeshttps://doi.org/10.1145/329607.334744openalex-snapshot
An experimental testbed for embedded real time Ada 95
inferred← citeshttps://doi.org/10.1145/334725.334744openalex-snapshot
An experimental testbed for embedded real time Ada 95
inferred← citeshttps://doi.org/10.1145/3394514.3394517openalex-snapshot
Verification of Ada Programs with AdaHorn
inferred← citeshttps://doi.org/10.1145/369264.369266openalex-snapshot
Building partitioned architectures based on the Ravenscar profile
inferred← citeshttps://doi.org/10.1145/369264.369267openalex-snapshot
Safety critical systems based on formal models
inferred← citeshttps://doi.org/10.1145/374369.374377openalex-snapshot
Implementation of mode changes with the Ravenscar profile
inferred← citeshttps://doi.org/10.1145/502217.502233openalex-snapshot
Hardware compilation of sequential ada
inferred← citeshttps://doi.org/10.1145/507546.507579openalex-snapshot
Real-time convergence of Ada and Java ™
inferred← citeshttps://doi.org/10.1145/568671.568686openalex-snapshot
Exception support for the ravenscar profile
inferred← citeshttps://doi.org/10.1145/581630.581641openalex-snapshot
Hardware implementation of the Ravenscar Ada tasking profile
inferred← citeshttps://doi.org/10.1145/611817.611871openalex-snapshot
FPGAs in critical hardware/software systems
inferred← citeshttps://doi.org/10.1145/844091.844099openalex-snapshot
Assessment of the Java programming language for use in high integrity systems
inferred← citeshttps://doi.org/10.1145/959221.959230openalex-snapshot
Task attribute-based scheduling
inferred← citeshttps://doi.org/10.3166/tsi.23.1301-1328openalex-snapshot
Des vertus de la schizophrénie pour le prototypage d'applications à composants interopérables.
inferred← citeshttps://doi.org/10.3182/20080706-5-kr-1001.01810openalex-snapshot
The ASSERT Virtual Machine: A Predictable Platform for Real-Time Systems
inferred← citeshttps://doi.org/10.48456/tr-588openalex-snapshot
MulTEP: A MultiThreaded Embedded Processor
inferred← citeshttps://doi.org/10.5075/epfl-thesis-1903openalex-snapshot
Replication of non-deterministic objects
inferred← citeshttps://doi.org/10.5555/1769168.1769170openalex-snapshot
Handling temporal faults in Ada 2005
inferred← citeshttps://doi.org/10.5555/1769168.1769184openalex-snapshot
Design and performance of a generic consensus component for critical distributed applications
inferred← citeshttps://doi.org/10.5555/1898953.1899096openalex-snapshot
Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems
inferred← citeshttps://doi.org/10.5821/dissertation-2117-121011openalex-snapshot
High-level compiler analysis for OpenMP
inferred← citeshttps://doi.org/10.6092/unibo/amsdottorato/3847openalex-snapshot
Definition, realization and evaluation of a software reference architecture for use in space applications
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.