Andy J. Wellings

Affiliations:
  • University of York, UK


According to our database1, Andy J. Wellings authored at least 233 papers between 1985 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources.
IEEE Trans. Computers, 2021

2020
Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis.
ACM Trans. Embed. Comput. Syst., 2020

A complete run-time overhead-aware schedulability analysis for MrsP under nested resources.
J. Syst. Softw., 2020

2019
<i>SCJ-Circus</i>: Specification and refinement of Safety-Critical Java programs.
Sci. Comput. Program., 2019

From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper).
Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, 2019

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

Safety-critical Java for embedded systems.
Concurr. Comput. Pract. Exp., 2017

Safety-Critical Java: level 2 in practice.
Concurr. Comput. Pract. Exp., 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

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 Gener. Comput. 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.
Concurr. Comput. Pract. Exp., 2014

<i>Circus</i> 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 Syst., 2013

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

Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages.
Concurr. Comput. Pract. Exp., 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.
Concurr. Comput. Pract. Exp., 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.
Concurr. Comput. Pract. Exp., 2011

Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ.
Concurr. Comput. Pract. Exp., 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. Embed. Comput. Syst., 2010

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

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

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

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

TART: Timed-Automata to Real-Time Java Tool.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 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

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

Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition.
International computer science series, Addison-Wesley, ISBN: 978-0-321-41745-9, 2009

2008
Implementation of a constant-time dynamic storage allocator.
Softw. Pract. Exp., 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 Syst., 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

Correcting the EDF protocol in Ada 2005.
Proceedings of the 13th International Workshop on Real-Time Ada, 2007

A framework for real-time utilities for Ada 2005.
Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Integrating OOP and tasking: the missing requeue.
Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Beyond Ada 2005: allocating tasks to processors in SMP systems.
Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Programming execution-time servers in Ada 2005.
Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Introduction.
Proceedings of the 13th International Workshop on Real-Time Ada, 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.
Int. J. Embed. Syst., 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

Model-based verification of a framework for flexible scheduling in the real-time specification for Java.
Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

Formal analysis of aperiodic and sporadic real-time threads in the RTSJ.
Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

Low memory overhead real-time garbage collection for Java.
Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 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 Java<sup>TM</sup> for Safety-Critical Applications.
Proceedings of the Reliable Software Technologies, 2006

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

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

Ravenscar-Java: a high-integrity profile for real-time Java.
Concurr. Pract. Exp., 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 Syst., 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.
ACM SIGPLAN Notices, 2003

Evaluating the Expressive Power of the Real-Time Specification for Java.
Real Time Syst., 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

Session summary: integration versus orthogonality (RTSJ scheduling policies versus Ada's).
Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95?
Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Report of session: flexible scheduling in Ada.
Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Task attribute-based scheduling: extending Ada's support for scheduling.
Proceedings of the 12th International Workshop on Real-Time Ada, 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

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

Report of session: language changes for scheduling, modeling and analysis.
Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Protected ceiling changes.
Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Accessing delay queues.
Proceedings of the 11th International Workshop on Real-Time Ada, 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.
J. Syst. Softw., 2000

Techniques to increase the schedulable utilization of cache-based preemptive real-time systems.
J. Syst. Archit., 2000

Extensible protected types: proposal status.
Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Status and future of the Ravenscar profile session summary.
Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems.
Proceedings of the 10th International Workshop on Real-Time Ada, 2000

On developing and verifying design abstractions for reliable concurrent programming in Ada.
Proceedings of the 10th International Workshop on Real-Time Ada, 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 Distributed Syst., 1999

New language features and other language issues (session summary).
Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

Dynamic ceiling priorities and Ada 95.
Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

How to verify concurrent Ada programs: the application of model checking.
Proceedings of the Ninth International Workshop on Real-Time Ada, 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
Requirements for a COTS software component: A case study.
Requir. Eng., 1998

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

Extensible Protected Types.
Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 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.
J. Syst. Archit., 1997

An Action-Based Formal Model for Concurrent Real-Time Systems.
Formal Aspects 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

Object-oriented programming and real-time (session summary).
Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

Task termination and Ada 95.
Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

Restricted tasking models.
Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

Feature interactions with dynamic priorities.
Proceedings of the Eighth International Workshop on Real-Time Ada, 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 Syst., 1996

Integrating optional software components into hard real-time systems.
Softw. Eng. J., 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.
Proceedings of the Online-Proceedings of the First International Workshop on Real-Time Databases: Issues and Applications, 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. Exp., 1995

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

Fixed Priority Pre-emptive Scheduling: An Historical Perspective.
Real Time Syst., 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. Exp., 1994

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

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

Supporting distribution and dynamic reconfiguration in AdaPT.
Distributed Syst. Eng., 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.
Softw. Eng. J., 1993

The use of preemptive priority-based scheduling for space applications.
Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, 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 Syst., 1992

File system caching in large point-to-point networks.
Softw. Eng. J., 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. Exp., 1991

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

Priority Inheritance and Message Passing Communication: A Formal Treatment.
Real Time Syst., 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.
Softw. Eng. J., 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

Real-time requirements.
Proceedings of the Fourth International Workshop on Real-Time Ada Issues, 1990

Adapting Ada distribution and fault tolerance.
Proceedings of the Fourth International Workshop on Real-Time Ada Issues, 1990

Asynchronous transfer of control in Ada 9X.
Proceedings of the Fourth International Workshop on Real-Time Ada Issues, 1990

1989
Dynamic change management and Ada.
J. Softw. Maintenance Res. Pract., 1989

Usability of the Ada tasking-model.
Proceedings of the Third International Workshop on Real-Time Ada Issues, 1989

Real-time Ada: outstanding problem areas.
Proceedings of the Third International Workshop on Real-Time Ada Issues, 1989

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

Issues in the design and implementation of a distributed operating system for a network of transputers.
Microprocess. Microprogramming, 1988

Supporting Ada in a distributed environment.
Proceedings of the Second International Workshop on Real-Time Ada Issues, 1988

1987
Programming and debugging distributed real-time applications in Ada.
Proceedings of the First International Workshop on Real-Time Ada Issues, 1987

Real-time Ada issues.
Proceedings of the First International Workshop on Real-Time Ada Issues, 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. Exp., 1985


  Loading...