Andy J. Wellings

Andy J. Wellings's AcademicInfluence.com Rankings

Andy J. Wellings

Computer Science

#6654

World Rank

#7013

Historical Rank

Database

#3734

World Rank

#3887

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Andy J. Wellings's Degrees

PhD Computer Science University of York
Bachelors Computer Science University of York

Similar Degrees You Can Earn

Why Is Andy J. Wellings Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Andy J. Wellings's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Applying new scheduling theory to static priority pre-emptive scheduling (1993) (1251)
Calculating controller area network (can) message response times (1994) (626)
Hard Real-Time Scheduling: The Deadline-Monotonic Approach (1991) (571)
Analysing real-time communications: controller area network (CAN) (1994) (464)
An extendible approach for analyzing fixed priority hard real-time tasks (1994) (434)
Real-Time Systems and Programming Languages (2009) (422)
Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX (2009) (324)
Real-time systems and their programming languages (1986) (319)
Fixed priority pre-emptive scheduling: An historical perspective (1995) (306)
Allocating hard real-time tasks: An NP-Hard problem made easy (1992) (283)
Concurrent and real-time programming in Java (2004) (223)
Hrt-Hood: A Structured Design Method for Hard Real-Time ADA Systems (1995) (219)
Adding instruction cache effect to schedulability analysis of preemptive real-time systems (1996) (191)
Effective Analysis for Engineering Real-Time Fixed Priority Schedulers (1995) (183)
Mode changes in priority preemptively scheduled systems (1992) (169)
Dual priority scheduling (1995) (166)
Concurrency in ADA (1995) (148)
Analysis of hard real-time communications (1995) (141)
STRESS: A simulator for hard real‐time systems (1994) (139)
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems (1997) (115)
Deadline monotonic scheduling theory and application (1993) (102)
Portable worst-case execution time analysis using Java Byte Code (2000) (100)
Ravenscar-Java: a high integrity profile for real-time Java (2002) (89)
Guidelines for a graduate curriculum on embedded software and systems (2005) (86)
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems (2000) (79)
Chapter 3 – An Overview of Aspect (1991) (73)
A. framework for integrating the real-time specification for Java and Java's remote method invocation (2002) (72)
A Schedulability Compatible Multiprocessor Resource Sharing Protocol -- MrsP (2013) (72)
HRT-HOOD: A structured design method for hard real-time systems (2005) (70)
Real-Time System Scheduling (1995) (69)
Architecting Time-Critical Big-Data Systems (2016) (61)
A profile for high-integrity real-time Java programs (2001) (60)
Fixed priority scheduling with deadlines prior to completion (1994) (59)
A Review of Ada Tasking (1987) (57)
Deadline Monotonic Scheduling Theory (1992) (55)
Analysing APEX applications (1996) (55)
Embedded Real-Time Systems: a Specification and Design Methodology (1994) (52)
A real-time RMI framework for the RTSJ (2003) (52)
The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation (1993) (50)
Implementing Atomic Actions in Ada 95 (1997) (49)
Improving the predictability of distributed stream processors (2015) (48)
Ravenscar‐Java: a high‐integrity profile for real‐time Java (2005) (48)
Dual Priority Assignment: A Practical Method For Increasing Processor Utilisation (1993) (45)
Engineering a hard real‐time system: From theory to practice (1995) (40)
Data Consistency in Hard Real-Time Systems (1995) (39)
Adding instruction cache effect to an exact schedulability analysis of preemptive real-time systems (1996) (38)
INCORPORATING UNBOUNDED ALGORITHMS INTO PREDICTABLE REAL-TIME SYSTEMS (1993) (38)
Combining static worst-case timing analysis and program proof (1996) (38)
The Impact of an Ada Run-Time System's Performance Characteristics on Scheduling Models (1993) (35)
Hybrid instruction cache partitioning for preemptive real-time systems (1997) (33)
Absolute and relative temporal constraints in hard real-time databases (1992) (32)
Addressing dynamic dispatching issues in WCET analysis for object-oriented hard real-time systems (2002) (28)
An efficient and practical local synchronous bandwidth allocation scheme for the timed-token MAC protocol (1996) (28)
The Safety-Critical Java Memory Model: A Formal Account (2011) (27)
Safety-critical Java programs from Circus models (2013) (27)
Restricted tasking models (1997) (26)
The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada (2012) (25)
Formal Analysis of a Real-Time Kernel Specification (1996) (25)
Safety-critical Java in Circus (2011) (24)
Providing temporal isolation in the OSGi framework (2009) (23)
Memory Management Based on Method Invocation in RTSJ (2004) (22)
Real-time memory management: life and times (2006) (22)
Processing group parameters in the real-time specification for Java (2003) (22)
Programming Execution-Time Servers in Ada 2005 (2006) (21)
Static worst-case timing analysis of Ada (1994) (21)
XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment (2003) (21)
Garbage Collection for Flexible Hard Real-Time Systems (2010) (21)
The Safety-Critical Java memory model formalised (2012) (21)
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java (2003) (21)
Supporting lock‐based multiprocessor resource sharing protocols in real‐time programming languages (2013) (20)
Synchronisation, Concurrent Object-Oriented Programming and the Inheritance Anomaly (1996) (20)
Using harmonic task-sets to increase the schedulable utilization of cache-based preemptive real-time systems (1996) (20)
Assessment of the Java programming language for use in high integrity systems (2003) (19)
Guaranteeing Hard Real Time End-to-End Communications Deadlines (1991) (19)
Reference Objects for RTSJ Memory Areas (2003) (18)
A problem with Ada and resource allocation (1984) (18)
A framework for real-time utilities for Ada 2005 (2007) (18)
A static timing analysis environment using Java architecture for safety critical real-time systems (2002) (18)
Deriving Java Virtual Machine Timing Models for Portable Worst-Case Execution Time Analysis (2003) (18)
Multiprocessors and the Real-Time Specification for Java (2008) (18)
A Round Robin Scheduling Policy for Ada (2003) (17)
Replication Management in Reliable Real-Time Systems (2004) (17)
Integrating object-oriented programming and protected objects in Ada 95 (2000) (17)
A Performance Analysis of a Hard Real-time System (1994) (17)
On Programming Atomic Actions in Ada 95 (1997) (16)
The Notion of Priority in Real-Time Programming Languages (1990) (16)
Real-time Ada issues (1987) (16)
An Admission Control Protocol for Real-Time OSGi (2010) (16)
Correcting the EDF protocol in Ada 2005 (2007) (16)
Concurrency in Ada (2nd ed.) (1998) (16)
JSR-282 status report (2009) (16)
The pulse distributed file system (1985) (16)
Supporting Nested Resources in MrsP (2017) (16)
Cost enforcement and deadline monitoring in the real-time specification for Java (2004) (15)
Real-time scheduling in a generic fault-tolerant architecture (1998) (15)
New schedulability analysis for MrsP (2017) (15)
Keynote paper: A performance analysis of a hard real-time system (1995) (15)
Worst-case timing analysis of exception handling in Ada (1993) (15)
Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada (2010) (15)
The use of preemptive priority-based scheduling for space applications (1993) (15)
Beyond Ada 2005: allocating tasks to processors in SMP systems (2007) (14)
Formal development of a real-time kernel (1997) (14)
Reducing Queue Lock Pessimism in Multiprocessor Schedulability Analysis (2010) (14)
A framework for flexible scheduling in the RTSJ (2010) (14)
Real-Time Utilities for Ada 2005 (2007) (14)
Integrating Unbounded Software Components into Hard Real-Time Systems (1995) (14)
Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems (2001) (14)
Programming Replicated Systems in Ada 95 (1996) (14)
TART: Timed-Automata to Real-Time Java Tool (2010) (14)
Asynchronous event handling and Safety Critical Java (2010) (14)
The Safety-Critical Java Mission Model: A Formal Account (2011) (13)
The Ceiling Protocol in Multi-moded Real-Time Systems (1999) (13)
Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java (2007) (13)
Circus Models for Safety-Critical Java Programs (2014) (13)
Supporting Ada in a distributed environment (1988) (13)
Implementation of a constant‐time dynamic storage allocator (2008) (13)
Getting more flexible scheduling in the RTSJ (2006) (13)
Requirements for a real-time .NET framework (2005) (13)
Asynchronous event handling and real-time threads in the real-time specification for Java (2002) (12)
Thread-Local Scope Caching for Real-time Java (2009) (12)
Schedulability Analysis for a Real-time Multiprocessor System Based on Service Contracts and Resource Partitioning ∗ (2008) (12)
Designing Hard Real-Time Systems (1992) (12)
Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets (2000) (12)
Distributed Ada: developments and experiences: The York Distributed Ada Project (1990) (11)
A Worst-Case Behavior Analysis for Hard Real-Time Transactions (1996) (11)
Implementing analysable hard real-time sporadic tasks in Ada 9X (1994) (11)
Pulse: An Ada-Based Distributed Operating System (1985) (11)
Status and future of the Ravenscar profile session summary (2001) (11)
Temporal isolation in Ravenscar-Java (2005) (11)
Developing a real-time metaobject protocol (1997) (11)
Supporting Deadlines and EDF Scheduling in Ada (2004) (11)
Distributed, Embedded and Real-time Java Systems (2012) (11)
Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95? (2003) (11)
Concurrent and Real-Time Programming in Ada 2005: Preface (2007) (11)
A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications (2006) (11)
The Real-Time Specification for Java: current status and future work (2004) (11)
Integrating Best Effort and Fixed Priority Scheduling (1994) (11)
An action-based formal model for concurrent real-time systems (2005) (10)
Appropriate mechanisms for the support of optional processing in hard real-time systems (1994) (10)
An efficient and predictable implementation of asynchronous event handling in the RTSJ (2008) (10)
The drtee architecture for distributed hard real-time systems (1992) (10)
Refactoring Asynchronous Event Handling in the Real-Time Specification for Java (2007) (10)
Genericity and Upgradability in Ultra-Dependable Real-Time Architectures (1996) (10)
Towards a High Integrity Real-Time Java Virtual Machine (2003) (10)
Efficient asynchronous event handling in the real-time specification for Java (2010) (10)
A Distributed Stream Library for Java 8 (2017) (10)
Safety‐critical Java for embedded systems (2017) (9)
In support of the Ada 9X real-time facilities (1992) (9)
Real-time Ada: outstanding problem areas (1989) (9)
Dual Priority Scheduling in ADA 95 and Real-Time Posix (1996) (9)
Locking policies for multiprocessor ada (2013) (9)
Ada and cc-NUMA architectures what can be achieved with Ada 2005? (2010) (9)
Implementation of a constant-time dynamic storage allocator (2008) (9)
Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD (1995) (9)
Models of Replication for Safety Critical Hard Real Time Systems (1996) (8)
Dynamic ceiling priorities and Ada 95 (1999) (8)
On the Locality of Java 8 Streams in Real-Time Big Data Applications (2014) (8)
Wisdom: A distributed operating system for transputers (1990) (8)
Techniques to increase the schedulable utilization of cache-based preemptive real-time systems (2000) (8)
Real-time big data: the Juniper approach (2014) (8)
Model-based verification of a framework for flexible scheduling in the real-time specification for Java (2006) (8)
Safety-critical Java level 2: motivations, example applications and issues (2013) (8)
Real-Time Java (2007) (8)
Distributed Atomic Actions in Ada 95 (1998) (8)
Multiprocessor systems session summary (2010) (8)
Issues in the design and implementation of a distributed operating system for a network of transputers (1988) (8)
Implementing mode changes with shared resources in Ada (1999) (8)
Applying fixed‐priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ (2011) (8)
Cost monitoring and enforcement in the real-time specification for Java $a formal evaluation (2005) (8)
Ada 95: An Effective Concurrent Programming Language (1996) (8)
Adapting Ada distribution and fault tolerance (1990) (7)
Hard Real-Time Hybrid Garbage Collection with Low Memory Requirements (2006) (7)
Pulse: an ada-based distributed operating system (apic studies in data processing No 26) (1985) (7)
Towards memory management for service-oriented real-time systems (2010) (7)
Ravenscar-Java: a high-integrity profile for real-time Java: Research Articles (2005) (7)
How to verify concurrent Ada programs: the application of model checking (1999) (7)
Supporting execution on multiprocessor platforms (2010) (7)
Architecture-Awareness for Real-Time Big Data Systems (2014) (7)
Usability of the Ada tasking-model (1989) (7)
MOPping up exceptions (1998) (7)
UML and the formal development of safety-critical real-time systems (1999) (7)
File system caching in large point-to-point networks (1992) (7)
Concurrent and Real-Time Programming in Ada 2005: Scheduling real-time systems – fixed priority dispatching (2007) (7)
Predictable memory utilization in the Ravenscar-Java profile (2003) (6)
Real-time distributed computing (1995) (6)
Supporting Multiprocessors in the Real-Time Specification for Java Version 1.1 (2012) (6)
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 (2009) (6)
A real-time isolate specification for Ravenscar-Java (2004) (6)
Integrating optional software components into hard real-time systems (1996) (6)
Design patterns for supporting RTSJ component models (2009) (6)
Integrating Java 8 Streams with The Real-Time Specification for Java (2015) (6)
Resource sharing in RTSJ and SCJ systems (2011) (6)
User-defined clocks in the real-time specification for Java (2011) (6)
RT-OSGi: Integrating the OSGi Framework with the Real-Time Specification for Java (2012) (6)
Protected ceiling changes (2002) (6)
A model‐based development approach for the verification of real‐time Java code (2011) (6)
Session summary: locking protocols (2013) (6)
Real-Time Stream Processing in Java (2016) (6)
A model for real time mobility based on the RTSJ (2007) (6)
Gain time reclaiming in high performance real-time Java systems (2003) (6)
Enhancing the platform independence of the real-time specification for Java (2009) (5)
Towards an Understanding of the Expressive Power of the RTSJ Scoped Memory Model (2004) (5)
Improved Schedulability Analysis for Multiprocessor Systems with Resource Sharing (2010) (5)
Priority inheritance and message passing communication: A formal treatment (1991) (5)
Accessing delay queues (2002) (5)
Adaptive Scheduling Using Reflection (1997) (5)
Formal analysis of aperiodic and sporadic real-time threads in the RTSJ (2006) (5)
Towards supporting distributed systems in Ada 9X (1990) (5)
Distributed Ada: developments and experiences: Supporting Reliable Distributed Systems in Ada 9X (1990) (5)
Mobile CSP (2015) (5)
Dynamic change management and Ada (1989) (5)
Scoped, coarse-grain memory management and the RTSJ scoped memory model in the development of real-time applications (2006) (5)
Multilevel integrity mechanisms (2001) (5)
Scheduling time constrained messages on miniMAP (1991) (5)
Java in the Safety-Critical Domain (2016) (5)
Ada 2012: resource sharing and multiprocessors (2013) (5)
OpenAda: Compile-Time Reflection for Ada 95 (2004) (5)
Programming atomic actions in Ada (1989) (5)
Real-time systems and their programming languages (2. ed.) (1997) (5)
OpenAda : A Metaobject Protocol for Ada (2000) (5)
State restoration in Ada 95: a portable approach to supporting software fault tolerance (2000) (5)
Synchronous sessions and fixed priority scheduling (1997) (5)
A Java-Based Real-Time Reactive Stream Framework (2016) (4)
Extensible protected types (1998) (4)
A Safe Mobile Code Representation and Run-time Architecture for High Integrity Real-Time Java Programs (2001) (4)
Integrating hybrid garbage collection with dual priority scheduling (2005) (4)
Real-time requirements (1990) (4)
Measuring and policing blocking times in real-time systems (2010) (4)
Supporting Mixed Criticality Applications in a Ravenscar-Java Environment (2004) (4)
Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time Environment (2015) (4)
From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper) (2019) (4)
Blocking time monitoring in the real-time specification for Java (2008) (4)
Transaction integration for reusable hard real-time components (1996) (4)
Generalizing the EDF scheduling support in Ada 2005 (2010) (4)
Implementing a high-integrity executive using Ravenscar (2001) (4)
The design of an operating system for a scalable parallel computing engine (1991) (4)
A complete run-time overhead-aware schedulability analysis for MrsP under nested resources (2020) (3)
Ada for distributed systems (1987) (3)
A Novel Gain Time Reclaiming Framework Integrating WCET Analysis for Object-Oriented Real-Time Systems (2002) (3)
An Incremental RecoveryCache Supporting Sotware Fault Tolerance (1999) (3)
Implementation and Evaluation of Multiprocessor Resource Synchronization Protocol ( MrsP ) on LITMUS RT (2017) (3)
Task attribute-based scheduling: extending Ada's support for scheduling (2003) (3)
Safety-Critical Java Virtual Machine Services (2015) (3)
Run Time Detection of Blocking Time Violations in Real-Time Systems (2008) (3)
Language vulnerabilities: let's not forget concurrency (2010) (3)
Integrating OOP and tasking: the missing requeue (2007) (3)
Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment (2016) (3)
A Modula-2 implementation of a real-time process abstraction (1988) (3)
Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources (2021) (3)
New language features and other language issues (session summary) (1999) (3)
Evaluating the Expressive Power of the Real-Time Specification for Java* (2003) (3)
FPGA-based hardware acceleration for Real-Time Big Data systems (2015) (3)
Debugging distributed real-time applications: a case study in ada (1990) (3)
Delivering Real-Time Behaviour (2007) (3)
Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition (2009) (3)
Real-time software (1991) (3)
Programming and debugging distributed real-time applications in Ada (1987) (3)
A System for Building Scalable Parallel Applications (1992) (3)
Safety‐Critical Java: level 2 in practice (2017) (3)
Object-oriented programming with protected types in Ada 95 (1995) (3)
Measuring, monitoring and enforcing CPU execution time (1993) (3)
Supporting distribution and dynamic reconfiguration in AdaPT (1994) (3)
Using JetBench to Evaluate the Efficiency of Multiprocessor Support for Parallel Processing (2014) (3)
TIME-RELATED DEPENDABILITY MECHANISMS IN GUARDS (1999) (3)
The Deadline Floor Protocol and Ada (2016) (3)
Cost enforcement in the real-time specification for Java (2007) (3)
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005 (2010) (3)
Programming Embedded Systems: Interacting with the Embedded Platform (2012) (2)
Synchronous Task Control and Synchronous Barriers (2016) (2)
Real-time Java for embedded devices: The JavaMen project (2005) (2)
Transparent hardware synthesis of Java for predictable large-scale distributed systems (2015) (2)
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems (2012) (2)
TTF-ravenscar: a profile to support reliable high-integrity multiprocessor ada applications (2013) (2)
Integrity management in GUARDS (2009) (2)
User-defined clocks is it the right time now? (2010) (2)
Correspondence: Criticality and utility in the next generation (1991) (2)
Asynchronous transfer of control in Ada 9X (1990) (2)
Concurrent and Real-Time Programming in Ada 2005: Timing events and execution-time control (2007) (2)
Session summary: multiprocessor issues, part 2 (resource control protocols) (2013) (2)
Wisdom: a prototype scalable operating system (1990) (2)
17th IEEE Real-Time Systems Symposium: Work in Progress Sessions (1996) (2)
Sporadic tasks in hard real-time systems (1995) (2)
Chapter 10 – Programming and Debugging Distributed Target Systems (1991) (2)
On the road to real-time OSGi: extending OSGi with an admission control protocol (2011) (2)
Extensible protected types: proposal status (2001) (2)
Report of session: flexible scheduling in Ada (2003) (2)
A locality model for the real-time specification for Java (2010) (2)
Multiprocessors and Asynchronous Event Handling in the Real-Time Specification for Java (2011) (2)
Support for distributed systems in Ada 9X (1991) (2)
Support for multiprocessor platforms (2013) (2)
A Formal Model of the Safety-Critical Java Level 2 Paradigm (2016) (2)
Low memory overhead real-time garbage collection for Java (2006) (2)
Using the executor framework to implement asynchronous event handling in the RTSJ (2010) (1)
Interrupts, Timing Events and Dispatching Domains (2015) (1)
Real-time programming in the concurrent object-oriented language TAO (1996) (1)
An RTSJ-based reconfigurable server component (2009) (1)
A First Step Towards Using Real-Time Java for Spacecraft On-Board Software (2007) (1)
Development Automation of Real-Time Java (2020) (1)
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (2011) (1)
Concurrent and Real-Time Programming in Ada 2005: Concurrency utilities (2007) (1)
Feature interactions with dynamic priorities (1997) (1)
On developing and verifying design abstractions for reliable concurrent programming in Ada (2001) (1)
Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings (2005) (1)
Implementation and Evaluation of Multiprocessor Resource Synchronization Protocol (MrsP) on LITMUS (2020) (1)
Modelling and verification of an atomic action protocol implemented in Ada (2001) (1)
Testing Conformity to the Real-Time Annex (2015) (1)
Deadline-Aware Programming and Scheduling (2014) (1)
The DEAR-COTS Replication Framework (2001) (1)
Session Summary (2015) (1)
Architecture development environment (2001) (1)
Programming Execution-Time Servers and Supporting EDF Scheduling in Ada 2005 (2007) (1)
An assessment of the use of occam for dependable real-time systems (1990) (1)
Cache-Based Checkpointing for Preemptive Real-Time Systems (1997) (1)
Task Termination in Ada 95 (1997) (1)
Implementing Safety-Critical Java Missions in Ada (2016) (1)
Specifying restrictions on imperative programming languages for use in a distributed embedded environment (1990) (1)
Aspects of portability of the UNIX shell (1985) (1)
Task termination and Ada 95 (1997) (1)
Summary of the 6th International Workshop on real-time Ada issues (1993) (1)
Technology Transfer : An Integrated ‘ Culture-Friendly ’ Approach (2001) (1)
Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ (2009) (1)
Software Failure Propagation Prevention of FailurePropagation between Software of Different Criticality Categories (2012) (0)
The DrTee project (1992) (0)
Real-Time Systems and Programming Languages WEB APPENDICES to 4 th Edition Occam 2 and Modula (2009) (0)
8 Language changes and extensions (1987) (0)
Object-oriented programming and real-time (session summary) (1997) (0)
The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95 (2005) (0)
Session Summary: Deadline Floor Protocol (2016) (0)
Concurrent and Real-Time Programming in Ada 2005: Inter-process communication (2007) (0)
Applying new sc to static priority scheduling ; heduling theory pre-emptive by (2004) (0)
Introduction (2007) (0)
Requirements for a COTS software component: A case study (1998) (0)
Session details: Hardware support for real-time systems (2009) (0)
Programming simple reactive systems in ada: premature program termination (2013) (0)
Selecting Execution-Time Server Parameters for Real-Time Stream Processing Systems (2016) (0)
4 Concurrent programming (1987) (0)
7 Implementation issues (1987) (0)
3 Formal aspects (1987) (0)
Task types and objects (2007) (0)
Ultra-Dependable and Real-Time Systems: The GUARDS Approach (1997) (0)
Report of session: language changes for scheduling, modeling and analysis (2002) (0)
ABSOLUTE AND RELATIVE TEMPORAL CONSTRAINTS (1992) (0)
Evaluating the virtual node approach to implementing distributed applications in Ada (1989) (0)
Wisdom: A Prototype Scalable Operating System (Extended Abstract) (1990) (0)
The select statement and the rendezvous (2007) (0)
Architecting Time-Critical Big-Data (preprint) (2016) (0)
Ada-the reasons for change (1989) (0)
Schedulability Analysis for Guards Computational Models Guards D1a4/ao/7013b (1996) (0)
Concurrent and Real-Time Programming in Ada 2005: Tasking and systems programming (2007) (0)
Concurrent and Real-Time Programming in Ada 2005: Scheduling real-time systems – other dispatching facilities (2007) (0)
Exceptions, abort and asynchronous transfer of control (2007) (0)
5 Embedded systems (1987) (0)
Focus Section Editorial (2010) (0)
Introduction to the Special Issue on Java Technologies for Real‐Time and Embedded Systems: JTRES 2012 (2014) (0)
Ada 9X for distributed systems (1990) (0)
The Design and Analysis of a Close-In Weapons System Simulator using HRT-HOOD (1995) (0)
Real-time utilities (2007) (0)
Protected objects and data-oriented communication (2007) (0)
Proceedings of the eighth international workshop on Real-Time Ada (1997) (0)
MAKING JAVA HARD REAL-TIME (2001) (0)
REAL-TIME JAVA FOR EMBEDDED DEVICES: (2006) (0)
SCJ-Circus: Specification and refinement of Safety-Critical Java programs (2019) (0)
6 Distributed systems (1987) (0)
Topics Document for Entry in October 2007 (2007) (0)
DEADLINE MONOTONIC SCHEDULING THEORY††This work is supported, in part, by the Information Engineering Advanced Technology Programme (UK), Grant GR/F 35920/4/1/1214; and the European Space Agency (ESTEC Contract 9198/90/NL/SF). (1992) (0)
Motivations and support for single nested scoping in Ravenscar-Java (2006) (0)
Object-oriented programming and tasking (2007) (0)
Session summary: integration versus orthogonality (RTSJ scheduling policies versus Ada's) (2003) (0)
2 The Ada Tasking model (1987) (0)
Scheduling time-constrained messages in a process control environment (1991) (0)
Concurrent and Real-Time Programming in Ada 2005: Restrictions, metrics and the Ravenscar profile (2007) (0)
Concurrent and Real-Time Programming in Ada 2005: The nature and uses of concurrent programming (2007) (0)
Concurrent and Real-Time Programming in Ada 2005: Avoidance synchronisation and the requeue facility (2007) (0)
Regular path algebra applied to non-functional properties of critical software (1998) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Andy J. Wellings?

Andy J. Wellings is affiliated with the following schools:

University of York

Andy J. Wellings's Academic­Influence.com Rankings