Andy J. Wellings

Publication Activity (10 Years)

Years Active: 1985-2021
Publications (10 Years): 25

Top Venues

JTRES

CoRR

Concurr. Comput. Pract. Exp.

Ada-Europe

Publications

Shuai Zhao, Wanli Chang, Ran Wei, Weichen Liu, Nan Guan, Alan Burns, Andy J. Wellings
Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources. IEEE Trans. Computers 70 (7) (2021)
Shuai Zhao, Jorge Garrido, Ran Wei, Alan Burns, Andy J. Wellings, Juan Antonio de la Puente
A complete run-time overhead-aware schedulability analysis for MrsP under nested resources. J. Syst. Softw. 159 (2020)
Wanli Chang, Ran Wei, Shuai Zhao, Andy J. Wellings, Jim Woodcock, Alan Burns
Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis. ACM Trans. Embed. Comput. Syst. 19 (5) (2020)
Wanli Chang, Shuai Zhao, Ran Wei, Andy J. Wellings, Alan Burns
From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper). LCTES (2019)
Alvaro Miyazawa, Ana Cavalcanti, Andy J. Wellings
: Specification and refinement of Safety-Critical Java programs. Sci. Comput. Program. 181 (2019)
Matt Luckcuck, Andy J. Wellings, Ana Cavalcanti
Safety-Critical Java: Level 2 in Practice. CoRR (2018)
Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings
A Formal Model of the Safety-Critical Java Level 2 Paradigm. CoRR (2018)
Shuai Zhao, Jorge Garrido, Alan Burns, Andy J. Wellings
New schedulability analysis for MrsP. RTCSA (2017)
Yu Chan, Andy J. Wellings, Ian Gray, Neil C. Audsley
A Distributed Stream Library for Java 8. IEEE Trans. Big Data 3 (3) (2017)
Martin Schoeberl, Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Stephan Erbs Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Tórur Biskopstø Strøm, Hans Søndergaard, Andy J. Wellings, Shuai Zhao
Safety-critical Java for embedded systems. Concurr. Comput. Pract. Exp. 29 (22) (2017)
Matt Luckcuck, Andy J. Wellings, Ana Cavalcanti
Safety-Critical Java: level 2 in practice. Concurr. Comput. Pract. Exp. 29 (6) (2017)
Jorge Garrido, Shuai Zhao, Alan Burns, Andy J. Wellings
Supporting Nested Resources in MrsP. Ada-Europe (2017)
HaiTao Mei, Ian Gray, Andy J. Wellings
Real-Time Stream Processing in Java. Ada-Europe (2016)
Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings
A Formal Model of the Safety-Critical Java Level 2 Paradigm. IFM (2016)
Leo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings
Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. IFM (2016)
Ana Cavalcanti, Alvaro Miyazawa, Andy J. Wellings, Jim Woodcock, Shuai Zhao
Java in the Safety-Critical Domain. SETSS (2016)
Pablo Basanta-Val, Neil C. Audsley, Andy J. Wellings, Ian Gray, Norberto Fernández García
Architecting Time-Critical Big-Data Systems. CoRR (2016)
HaiTao Mei, Ian Gray, Andy J. Wellings
A Java-Based Real-Time Reactive Stream Framework. ISORC (2016)
Pablo Basanta-Val, Neil C. Audsley, Andy J. Wellings, Ian Gray, Norberto Fernández García
Architecting Time-Critical Big-Data Systems. IEEE Trans. Big Data 2 (4) (2016)
Ian Gray, Yu Chan, Jamie Garside, Neil C. Audsley, Andy J. Wellings
Transparent hardware synthesis of Java for predictable large-scale distributed systems. CoRR (2015)
Shuai Zhao, Andy J. Wellings, Stephan Erbs Korsholm
Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time Environment. JTRES (2015)
Jim Woodcock, Andy J. Wellings, Ana Cavalcanti
Mobile CSP. SBMF (2015)
HaiTao Mei, Ian Gray, Andy J. Wellings
Integrating Java 8 Streams with The Real-Time Specification for Java. JTRES (2015)
Pablo Basanta-Val, Norberto Fernández García, Andy J. Wellings, Neil C. Audsley
Improving the predictability of distributed stream processors. Future Gener. Comput. Syst. 52 (2015)
James Baxter, Ana Cavalcanti, Andy J. Wellings, Leo Freitas
Safety-Critical Java Virtual Machine Services. JTRES (2015)
Ian Gray, Yu Chan, Neil C. Audsley, Andy J. Wellings
Architecture-Awareness for Real-Time Big Data Systems. EuroMPI/ASIA (2014)
Frank Zeyda, Lalkhumsanga Lalkhumsanga, Ana Cavalcanti, Andy J. Wellings
Models for Safety-Critical Java Programs. Comput. J. 57 (7) (2014)
M. Teresa Higuera-Toledano, Andy J. Wellings
Introduction to the Special Issue on Java Technologies for Real-Time and Embedded Systems: JTRES 2012. Concurr. Comput. Pract. Exp. 26 (14) (2014)
Yu Chan, Andy J. Wellings, Ian Gray, Neil C. Audsley
On the Locality of Java 8 Streams in Real-Time Big Data Applications. JTRES (2014)
Alan Burns, Andy J. Wellings
Deadline-Aware Programming and Scheduling. Ada-Europe (2014)
Neil C. Audsley, Yu Chan, Ian Gray, Andy J. Wellings
Real-time big data: the Juniper approach. REACTION (2014)
HaiTao Mei, Andy J. Wellings
Using JetBench to Evaluate the Efficiency of Multiprocessor Support for Parallel Processing. JTRES (2014)
Andy J. Wellings, Matt Luckcuck, Ana Cavalcanti
Safety-critical Java level 2: motivations, example applications and issues. JTRES (2013)
Ana Cavalcanti, Andy J. Wellings, Jim Woodcock
The Safety-Critical Java memory model formalised. Formal Aspects Comput. 25 (1) (2013)
Ana Cavalcanti, Frank Zeyda, Andy J. Wellings, Jim Woodcock, Kun Wei
Safety-critical Java programs from Circus models. Real Time Syst. 49 (5) (2013)
Alan Burns, Andy J. Wellings
A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP. ECRTS (2013)
Shiyao Lin, Andy J. Wellings, Alan Burns
Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages. Concurr. Comput. Pract. Exp. 25 (16) (2013)
Andy J. Wellings, MinSeong Kim
Asynchronous event handling and Safety Critical Java. Concurr. Comput. Pract. Exp. 24 (8) (2012)
Neeraj Kumar Singh, Andy J. Wellings, Ana Cavalcanti
The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada. JTRES (2012)
Frank Zeyda, Ana Cavalcanti, Andy J. Wellings
The Safety-Critical Java Mission Model: A Formal Account. ICFEM (2011)
MinSeong Kim, Andy J. Wellings
Multiprocessors and Asynchronous Event Handling in the Real-Time Specification for Java. Comput. J. 54 (8) (2011)
Ana Cavalcanti, Andy J. Wellings, Jim Woodcock, Kun Wei, Frank Zeyda
Safety-critical Java in Circus. JTRES (2011)
Thomas Richardson, Andy J. Wellings
On the road to real-time OSGi: extending OSGi with an admission control protocol. Comput. Syst. Sci. Eng. 26 (6) (2011)
MinSeong Kim, Andy J. Wellings
Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ. Concurr. Comput. Pract. Exp. 23 (14) (2011)
Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings
A model-based development approach for the verification of real-time Java code. Concurr. Comput. Pract. Exp. 23 (13) (2011)
Andy J. Wellings, Martin Schoeberl
User-defined clocks in the real-time specification for Java. JTRES (2011)
Andy J. Wellings, Shiyao Lin, Alan Burns
Resource sharing in RTSJ and SCJ systems. JTRES (2011)
Ana Cavalcanti, Andy J. Wellings, Jim Woodcock
The Safety-Critical Java Memory Model: A Formal Account. FM (2011)
Alan Burns, Andy J. Wellings
Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada. Ada-Europe (2010)
Yang Chang, Andy J. Wellings
Garbage Collection for Flexible Hard Real-Time Systems. IEEE Trans. Computers 59 (8) (2010)
Thomas Richardson, Andy J. Wellings, Jose Ángel Dianes, Manuel Díaz
Towards memory management for service-oriented real-time systems. JTRES (2010)
Thomas Richardson, Andy J. Wellings
An Admission Control Protocol for Real-Time OSGi. ISORC (2010)
Alexandros Zerzelidis, Andy J. Wellings
A framework for flexible scheduling in the RTSJ. ACM Trans. Embed. Comput. Syst. 10 (1) (2010)
MinSeong Kim, Andy J. Wellings
Efficient asynchronous event handling in the real-time specification for Java. ACM Trans. Embed. Comput. Syst. 10 (1) (2010)
Osmar Marchi dos Santos, Andy J. Wellings
Measuring and policing blocking times in real-time systems. ACM Trans. Embed. Comput. Syst. 10 (1) (2010)
R. Nigel Horspool, Andy J. Wellings
Focus Section Editorial. Softw. Pract. Exp. 40 (12) (2010)
Abdul Haseeb Malik, Andy J. Wellings, Yang Chang
A locality model for the real-time specification for Java. JTRES (2010)
MinSeong Kim, Andy J. Wellings
Using the executor framework to implement asynchronous event handling in the RTSJ. JTRES (2010)
Andy J. Wellings, MinSeong Kim
Asynchronous event handling and safety critical Java. JTRES (2010)
Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings
TART: Timed-Automata to Real-Time Java Tool. SEFM (2010)
Andy J. Wellings, Alan Burns
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005. Ada-Europe (2010)
Mohammed AlRahmawy, Andy J. Wellings
Design patterns for supporting RTSJ component models. JTRES (2009)
MinSeong Kim, Andy J. Wellings
Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ. JTRES (2009)
Andy J. Wellings, Martin Schoeberl
Thread-Local Scope Caching for Real-time Java. ISORC (2009)
MinSeong Kim, Andy J. Wellings
Refactoring Asynchronous Event Handling in the Real-Time Specification for Java. ECRTS (2009)
Thomas Richardson, Andy J. Wellings, Jose Ángel Dianes, Manuel Díaz
Providing temporal isolation in the OSGi framework. JTRES (2009)
Alan Burns, Andy J. Wellings, Fengxiang Zhang
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005. Ada-Europe (2009)
Andy J. Wellings, Yang Chang, Thomas Richardson
Enhancing the platform independence of the real-time specification for Java. JTRES (2009)
Mohammed AlRahmawy, Andy J. Wellings
An RTSJ-based reconfigurable server component. JTRES (2009)
Peter C. Dibble, Andy J. Wellings
JSR-282 status report. JTRES (2009)
Andy J. Wellings
Multiprocessors and the Real-Time Specification for Java. ISORC (2008)
Andy J. Wellings, M. S. Kim
Processing group parameters in the real-time specification for Java. JTRES (2008)
MinSeong Kim, Andy J. Wellings
An efficient and predictable implementation of asynchronous event handling in the RTSJ. JTRES (2008)
Osmar Marchi dos Santos, Andy J. Wellings
Run Time Detection of Blocking Time Violations in Real-Time Systems. RTCSA (2008)
Miguel Masmano, Ismael Ripoll, Jorge Real, Alfons Crespo, Andy J. Wellings
Implementation of a constant-time dynamic storage allocator. Softw. Pract. Exp. 38 (10) (2008)
Osmar Marchi dos Santos, Andy J. Wellings
Blocking time monitoring in the real-time specification for Java. JTRES (2008)
Mohammed AlRahmawy, Andy J. Wellings
A model for real time mobility based on the RTSJ. JTRES (2007)
Andy J. Wellings, Alan Burns
Beyond Ada 2005: allocating tasks to processors in SMP systems. IRTAW (2007)
Andy J. Wellings, Alan Burns
A framework for real-time utilities for Ada 2005. IRTAW (2007)
Andy J. Wellings, Alan Burns
Real-Time Utilities for Ada 2005. Ada-Europe (2007)
Alexandros Zerzelidis, Alan Burns, Andy J. Wellings
Correcting the EDF protocol in Ada 2005. IRTAW (2007)
Andy J. Wellings, Alan Burns, Osmar Marchi dos Santos, Benjamin M. Brosgol
Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java. ISORC (2007)
MinSeong Kim, Andy J. Wellings
Asynchronous event handling in the real-time specification for Java. JTRES (2007)
Alan Burns, Andy J. Wellings
Programming execution-time servers in Ada 2005. IRTAW (2007)
Alan Burns, Andy J. Wellings
Delivering Real-Time Behaviour. Domain Modeling and the Duration Calculus (2007)
Andy J. Wellings, Alan Burns
Integrating OOP and tasking: the missing requeue. IRTAW (2007)
Osmar Marchi dos Santos, Andy J. Wellings
Cost enforcement in the real-time specification for Java. Real Time Syst. 37 (2) (2007)
Alan Burns, Andy J. Wellings
Introduction. IRTAW (2007)
Jagun Kwon, Andy J. Wellings
Motivations and support for single nested scoping in Ravenscar-Java. SEUS/WCCIA (2006)
Andrew Borg, Andy J. Wellings
Scoped, coarse-grain memory management and the RTSJ scoped memory model in the development of real-time applications. Int. J. Embed. Syst. 2 (3/4) (2006)
Andrew Borg, Andy J. Wellings, Christopher D. Gill, Ron K. Cytron
Real-Time Memory Management: Life and Times. ECRTS (2006)
Osmar Marchi dos Santos, Andy J. Wellings
Formal analysis of aperiodic and sporadic real-time threads in the RTSJ. JTRES (2006)
Yang Chang, Andy J. Wellings
Low memory overhead real-time garbage collection for Java. JTRES (2006)
Alexandros Zerzelidis, Andy J. Wellings
Model-based verification of a framework for flexible scheduling in the real-time specification for Java. JTRES (2006)
Alan Burns, Andy J. Wellings
Programming Execution-Time Servers in Ada 2005. RTSS (2006)
Benjamin M. Brosgol, Andy J. Wellings
for Safety-Critical Applications. Ada-Europe (2006)
Alexandros Zerzelidis, Andy J. Wellings
Getting More Flexible Scheduling in the RTSJ. ISORC (2006)
Yang Chang, Andy J. Wellings
Hard Real-Time Hybrid Garbage Collection with Low Memory Requirements. RTSS (2006)
Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi
Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. 4 (3) (2005)
Alexandros Zerzelidis, Andy J. Wellings
Requirements for a real-time .NET framework. ACM SIGPLAN Notices 40 (2) (2005)

Andy J. Wellings.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andy J. Wellings