Andy J. Wellings

According to our database1, Andy J. Wellings
  • authored at least 195 papers between 1985 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
A Distributed Stream Library for Java 8.
IEEE Trans. Big Data, 2017

Safety-critical Java for embedded systems.
Concurrency and Computation: Practice and Experience, 2017

Safety-Critical Java: level 2 in practice.
Concurrency and Computation: Practice and Experience, 2017

New schedulability analysis for MrsP.
Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017

Supporting Nested Resources in MrsP.
Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2016
Architecting Time-Critical Big-Data Systems.
IEEE Trans. Big Data, 2016

Architecting Time-Critical Big-Data Systems.
CoRR, 2016

Java in the Safety-Critical Domain.
Proceedings of the Engineering Trustworthy Software Systems - Second International School, 2016

A Java-Based Real-Time Reactive Stream Framework.
Proceedings of the 19th IEEE International Symposium on Real-Time Distributed Computing, 2016

A Formal Model of the Safety-Critical Java Level 2 Paradigm.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Real-Time Stream Processing in Java.
Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015
Improving the predictability of distributed stream processors.
Future Generation Comp. Syst., 2015

Transparent hardware synthesis of Java for predictable large-scale distributed systems.
CoRR, 2015

Mobile CSP.
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time Environment.
Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, 2015

Integrating Java 8 Streams with The Real-Time Specification for Java.
Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, 2015

Safety-Critical Java Virtual Machine Services.
Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, 2015

2014
Introduction to the Special Issue on Java Technologies for Real-Time and Embedded Systems: JTRES 2012.
Concurrency and Computation: Practice and Experience, 2014

Circus Models for Safety-Critical Java Programs.
Comput. J., 2014

Real-time big data: the Juniper approach.
Proceedings of the REACTION 2014, 2014

Architecture-Awareness for Real-Time Big Data Systems.
Proceedings of the 21st European MPI Users' Group Meeting, 2014

Using JetBench to Evaluate the Efficiency of Multiprocessor Support for Parallel Processing.
Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems, 2014

On the Locality of Java 8 Streams in Real-Time Big Data Applications.
Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems, 2014

Deadline-Aware Programming and Scheduling.
Proceedings of the Reliable Software Technologies, 2014

2013
Safety-critical Java programs from Circus models.
Real-Time Systems, 2013

The Safety-Critical Java memory model formalised.
Formal Asp. Comput., 2013

Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages.
Concurrency and Computation: Practice and Experience, 2013

Safety-critical Java level 2: motivations, example applications and issues.
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP.
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

2012
Asynchronous event handling and Safety Critical Java.
Concurrency and Computation: Practice and Experience, 2012

The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada.
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

2011
On the road to real-time OSGi: extending OSGi with an admission control protocol.
Comput. Syst. Sci. Eng., 2011

A model-based development approach for the verification of real-time Java code.
Concurrency and Computation: Practice and Experience, 2011

Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ.
Concurrency and Computation: Practice and Experience, 2011

Multiprocessors and Asynchronous Event Handling in the Real-Time Specification for Java.
Comput. J., 2011

User-defined clocks in the real-time specification for Java.
Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

Resource sharing in RTSJ and SCJ systems.
Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

Safety-critical Java in Circus.
Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

The Safety-Critical Java Mission Model: A Formal Account.
Proceedings of the Formal Methods and Software Engineering, 2011

The Safety-Critical Java Memory Model: A Formal Account.
Proceedings of the FM 2011: Formal Methods, 2011

2010
A framework for flexible scheduling in the RTSJ.
ACM Trans. Embedded Comput. Syst., 2010

Measuring and policing blocking times in real-time systems.
ACM Trans. Embedded Comput. Syst., 2010

Efficient asynchronous event handling in the real-time specification for Java.
ACM Trans. Embedded Comput. Syst., 2010

Garbage Collection for Flexible Hard Real-Time Systems.
IEEE Trans. Computers, 2010

Focus Section Editorial.
Softw., Pract. Exper., 2010

TART: Timed-Automata to Real-Time Java Tool.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Asynchronous event handling and safety critical Java.
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

Towards memory management for service-oriented real-time systems.
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

A locality model for the real-time specification for Java.
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

Using the executor framework to implement asynchronous event handling in the RTSJ.
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

An Admission Control Protocol for Real-Time OSGi.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005.
Proceedings of the Reliable Software Technologiey, 2010

Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada.
Proceedings of the Reliable Software Technologiey, 2010

2009
Enhancing the platform independence of the real-time specification for Java.
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Providing temporal isolation in the OSGi framework.
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ.
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

JSR-282 status report.
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

An RTSJ-based reconfigurable server component.
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Design patterns for supporting RTSJ component models.
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Thread-Local Scope Caching for Real-time Java.
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

Refactoring Asynchronous Event Handling in the Real-Time Specification for Java.
Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009

Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005.
Proceedings of the Reliable Software Technologies, 2009

2008
Implementation of a constant-time dynamic storage allocator.
Softw., Pract. Exper., 2008

Run Time Detection of Blocking Time Violations in Real-Time Systems.
Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

Processing group parameters in the real-time specification for Java.
Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, 2008

Blocking time monitoring in the real-time specification for Java.
Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, 2008

An efficient and predictable implementation of asynchronous event handling in the RTSJ.
Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, 2008

Multiprocessors and the Real-Time Specification for Java.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

2007
Programming Execution-Time Servers and Supporting EDF Scheduling in Ada 2005.
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Real-Time Java.
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Cost enforcement in the real-time specification for Java.
Real-Time Systems, 2007

Asynchronous event handling in the real-time specification for Java.
Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, 2007

A model for real time mobility based on the RTSJ.
Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, 2007

Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

Real-Time Utilities for Ada 2005.
Proceedings of the Reliable Software Technologies, 2007

Delivering Real-Time Behaviour.
Proceedings of the Domain Modeling and the Duration Calculus, 2007

Concurrent and real-time programming in Ada.
Cambridge University Press, 2007

2006
Scoped, coarse-grain memory management and the RTSJ scoped memory model in the development of real-time applications.
IJES, 2006

Motivations and support for single nested scoping in Ravenscar-Java.
Proceedings of the Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems and the Second International Workshop on Collaborative Computing, 2006

Hard Real-Time Hybrid Garbage Collection with Low Memory Requirements.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Programming Execution-Time Servers in Ada 2005.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Getting More Flexible Scheduling in the RTSJ.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Real-Time Memory Management: Life and Times.
Proceedings of the 18th Euromicro Conference on Real-Time Systems, 2006

A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications.
Proceedings of the Reliable Software Technologies, 2006

2005
Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embedded Comput. Syst., 2005

Requirements for a real-time .NET framework.
SIGPLAN Notices, 2005

Ravenscar-Java: a high-integrity profile for real-time Java.
Concurrency - Practice and Experience, 2005

Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Integrating Hybrid Garbage Collection with Dual Priority Scheduling.
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

Temporal Isolation in Ravenscar-Java.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95.
Proceedings of the Reliable Software Technology, 2005

2004
Replication Management in Reliable Real-Time Systems.
Real-Time Systems, 2004

Memory Management Based on Method Invocation in RTSJ.
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

Supporting Mixed Criticality Applications in a Ravenscar-Java Environment.
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

Towards an Understanding of the Expressive Power of the RTSJ Scoped Memory Model.
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

Cost Enforcement and Deadline Monitoring in the Real-Time Specification for Java.
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

The Real-Time Specification for Java: Current Status and Future Work.
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

A Real-Time Isolate Specification for Ravenscar-Java.
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

OpenAda: Compile-Time Reflection for Ada 95.
Proceedings of the Reliable Software Technologies, 2004

Supporting Deadlines and EDF Scheduling in Ada.
Proceedings of the Reliable Software Technologies, 2004

Concurrent and real-time programming in Java.
Wiley, ISBN: 978-0-470-84437-3, 2004

2003
Assessment of the Java programming language for use in high integrity systems.
SIGPLAN Notices, 2003

Evaluating the Expressive Power of the Real-Time Specification for Java.
Real-Time Systems, 2003

XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment.
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003

Deriving Java Virtual Machine Timing Models for Portable Worst-Case Execution Time Analysis.
Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

Towards a High Integrity Real-Time Java Virtual Machine.
Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

Processing Group Parameters in the Real-Time Specification for Java.
Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

Reference Objects for RTSJ Memory Areas.
Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

Predictable Memory Utilization in the Ravenscar-Java Profile.
Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

Gain Time Reclaiming in High Performance Real-Time Java Systems.
Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

A Real-Time RMI Framework for the RTSJ.
Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

A Round Robin Scheduling Policy for Ada.
Proceedings of the Reliable Software Technologies, 2003

A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java.
Proceedings of the Reliable Software Technologies, 2003

2002
A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems.
Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

Asynchronous Event Handling and Real-time Threads in the Real-time Specification for Java.
Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 2002

Ravenscar-Java: a high integrity profile for real-time Java.
Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, 2002

A Framework for Integrating the Real-Time Specification for Java and Java's Remote Method Invocation.
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

Addressing Dynamic Dispatching Issues in WCET Analysis for Object-Oriented Hard Real-Time Systems.
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

2001
Modelling and verification of an atomic action protocol implemented in Ada.
Comput. Syst. Sci. Eng., 2001

A Profile for High-Integrity Real-Time Java Programs.
Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

2000
Integrating object-oriented programming and protected objects in Ada 95.
ACM Trans. Program. Lang. Syst., 2000

Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems.
IEEE Trans. Computers, 2000

State restoration in Ada 95: a portable approach to supporting software fault tolerance.
Journal of Systems and Software, 2000

Techniques to increase the schedulable utilization of cache-based preemptive real-time systems.
Journal of Systems Architecture, 2000

Portable worst-case execution time analysis using Java Byte Code.
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

Object-Oriented Programming and Protected Objects in Ada 95.
Proceedings of the Reliable Software Technologies, 2000

1999
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems.
IEEE Trans. Parallel Distrib. Syst., 1999

Implementing mode changes with shared resources in Ada.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

An Incremental RecoveryCache Supporting Sotware Fault Tolerance.
Proceedings of the Reliable Software Technologies, 1999

The Ceiling Protocol in Multi-moded Real-Time Systems.
Proceedings of the Reliable Software Technologies, 1999

1998
Distributed Atomic Actions in Ada 95.
Comput. J., 1998

Extensible Protected Types.
SIGAda, 1998

Real-Time Scheduling in a Generic Fault-Tolerant Architecture.
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

MOPping up Exceptions.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997
Implementing Atomic Actions in Ada 95.
IEEE Trans. Software Eng., 1997

Synchronous sessions and fixed priority scheduling.
Journal of Systems Architecture, 1997

An Action-Based Formal Model for Concurrent Real-Time Systems.
Formal Asp. Comput., 1997

Developing a real-time metaobject protocol.
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Formal development of a real-time kernel.
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

Hybrid instruction cache partitioning for preemptive real-time systems.
Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

Adaptive Scheduling Using Reflection.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Task Termination in Ada 95.
Proceedings of the Reliable Software Technologies, 1997

On Programming Atomic Actions in Ada 95.
Proceedings of the Reliable Software Technologies, 1997

Real-time systems and their programming languages (2. ed.).
Addison-Wesley, ISBN: 978-0-201-40365-7, 1997

1996
Combining Static Worst-Case Timing Analysis and Program Proof.
Real-Time Systems, 1996

Integrating optional software components into hard real-time systems.
Software Engineering Journal, 1996

Synchronisation, Concurrent Object-Oriented Programming and the Inheritance Anomaly.
Comput. Lang., 1996

Programming Replicated Systems in Ada 95.
Comput. J., 1996

Real-time programming in the concurrent object-oriented language TAO.
Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

Analysing APEX applications.
Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996

A Worst-Case Behavior Analysis for Hard Real-Time Transactions.
RTDB, 1996

Using harmonic task-sets to increase the schedulable utilization of cache-based preemptive real-time systems.
Proceedings of the Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30, 1996

Adding instruction cache effect to schedulability analysis of preemptive real-time systems.
Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996

An Efficient and Practical Local Synchronous Bandwidth Allocation Scheme for the Timed-Token MAC Protocol.
Proceedings of the Proceedings IEEE INFOCOM '96, 1996

Formal Analysis of a Real-Time Kernel Specification.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Adding Instruction Cache Effect to an Exact Schedulability Analysis of Preemptive Real-Time Systems.
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

Ada 95: An Effective Concurrent Programming Language.
Proceedings of the Reliable Software Technologies, 1996

1995
Effective Analysis for Engineering Real-Time Fixed Priority Schedulers.
IEEE Trans. Software Eng., 1995

Engineering a Hard Real-time System: From Theory to Practice.
Softw., Pract. Exper., 1995

Analysis of Hard Real-Time Communications.
Real-Time Systems, 1995

Fixed Priority Pre-emptive Scheduling: An Historical Perspective.
Real-Time Systems, 1995

Data Consistency in Hard Real-Time Systems.
Informatica (Slovenia), 1995

Dual Priority Scheduling.
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

Real-time distributed computing.
Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD.
Proceedings of the Ada in Europe, Second International Eurospace, 1995

1994
STRESS: a Simulator for Hard Real-time Systems.
Softw., Pract. Exper., 1994

An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks.
Real-Time Systems, 1994

HRT-HOOD: A Structured Design Method for Hard Real-Time Systems.
Real-Time Systems, 1994

Supporting distribution and dynamic reconfiguration in AdaPT.
Distributed Systems Engineering, 1994

Analysing Real-Time Communications: Controller Area Network (CAN).
Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

Fixed priority scheduling with deadlines prior to completion.
Proceedings of the Sixth Euromicro Workshop on Real-Time Systems, 1994

1993
Applying new scheduling theory to static priority pre-emptive scheduling.
Software Engineering Journal, 1993

The use of preemptive priority-based scheduling for space applications.
Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, December 1993, 1993

Dual Priority Assignment: A Practical Method For Increasing Processor Utilisation.
Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

The Impact of an Ada Run-Time System's Performance Characteristics on Scheduling Models.
Proceedings of the Ada-Europe '93, 12th Ada-Europe International Conference, 1993

The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation.
Proceedings of the Ada-Europe '93, 12th Ada-Europe International Conference, 1993

1992
Allocating Hard Real-Time tasks: An NP-Hard Problem Made Easy.
Real-Time Systems, 1992

File system caching in large point-to-point networks.
Software Engineering Journal, 1992

Mode Changes In Priority Pre-Emptively Scheduled Systems.
Proceedings of the Real-Time Systems Symposium, 1992

A System for Building Scalable Parallel Applications.
Proceedings of the Programming Environments for Parallel Computing, 1992

Absolute and relative temporal constraints in hard real-time databases.
Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

Designing Hard Real-Time Systems.
Proceedings of the Ada: Moving Towards 2000, 1992

1991
The Design of an Operating System for a Scalable Parallel Computing Engine.
Softw., Pract. Exper., 1991

Criticality and Utility in the Next Generation.
Real-Time Systems, 1991

Priority Inheritance and Message Passing Communication: A Formal Treatment.
Real-Time Systems, 1991

Scheduling time constrained messages on miniMAP.
Proceedings of the Euromicro '91 Workshop on Real Time Systems, 1991

1990
Specifying restrictions on imperative programming languages for use in a distributed embedded environment.
Software Engineering Journal, 1990

Wisdom: A distributed operating system for transputers.
Comput. Syst. Sci. Eng., 1990

The Notion of Priority in Real-Time Programming Languages.
Comput. Lang., 1990

1989
Dynamic change management and Ada.
Journal of Software Maintenance, 1989

1988
A Modula-2 implementation of a real-time process abstraction.
SIGPLAN Notices, 1988

1987
A Review of Ada Tasking
Lecture Notes in Computer Science 262, Springer, ISBN: 3-540-18008-7, 1987

1986
Real-time systems and their programming languages.
International computer science series, Addison-Wesley, ISBN: 978-0-201-17529-5, 1986

1985
The PULSE Distributed File System.
Softw., Pract. Exper., 1985


  Loading...