Building partitioned architectures based on the Ravenscar profile
ACM SIGAda Ada Letters - special issue on presentations from SIGAda 2000
Safety critical systems based on formal models
ACM SIGAda Ada Letters - special issue on presentations from SIGAda 2000
Real-time convergence of Ada and Java™
Proceedings of the 2001 annual ACM SIGAda international conference on Ada
Exception support for the ravenscar profile
ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
Hardware implementation of the Ravenscar Ada tasking profile
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Ravenscar-Java: a high integrity profile for real-time Java
JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*
Real-Time Systems
An Architectual Perspective of Real-Time Ada Applications
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Can Java Meet Its Real-Time Deadlines?
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Assessment of the Java programming language for use in high integrity systems
ACM SIGPLAN Notices
Task attribute-based scheduling: extending Ada's support for scheduling
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
On the dynamic semantics and the timing behavior of Ravenscar kernels
Real-Time Systems
Temporal skeletons for verifying time
Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
SafetyChip: a time monitoring and policing device
Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
A Ravenscar-Java profile implementation
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Safety critical applications and hard real-time profile for Java: a case study in avionics
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Issues in building an ANRTS platform
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Proving the absence of RTSJ related runtime errors through data flow analysis
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Procedures and parameters in the real-time program refinement calculus
Science of Computer Programming
Real-time Java from an automated code generation perspective
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Garbage collection for safety critical Java
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Suggestions for stream based parallel systems in Ada
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Development of Safety-Critical Systems with RTCP-Nets Support
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Adding temporal annotations and associated verification to the Ravenscar profile
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
A test environment for high integrity software development
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Handling temporal faults in Ada 2005
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Mission modes for safety critical Java
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Temporal isolation with the ravenscar profile and Ada 2005
ACM SIGAda Ada Letters
Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
An Ada design pattern recognition tool for AADL performance analysis
SIGAda '11 Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language
A comparison of ada and real-time Java™ for safety-critical applications
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Extending ravenscar with CSP channels
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Preservation of timing properties with the ada ravenscar profile
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
An MDE approach to address synchronization needs in component-based real-time systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Ada ravenscar code archetypes for component-based development
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Safety-critical Java on a Java processor
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
A desktop 3D printer in safety-critical Java
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
An EDF run-time profile based on ravenscar
ACM SIGAda Ada Letters
Charting the evolution of the Ada Ravenscar code archetypes
ACM SIGAda Ada Letters
Chip-multiprocessor hardware locks for safety-critical Java
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
On real-time partitioned multicore systems
ACM SIGAda Ada Letters
ACM SIGBED Review - Special Issue on the 3rd Embedded Operating System Workshop (EWiLi 2013)
Hi-index | 0.00 |