Andy J. Wellings

236 papers A* 1A 10B 16C 15Misc 24Journal 72Unranked 89

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources. IEEE Trans. Computers Shuai Zhao, Wanli Chang, Ran Wei, Weichen Liu, Nan Guan, Alan Burns, Andy J. Wellings
2020	J	`jnl`	A complete run-time overhead-aware schedulability analysis for MrsP under nested resources. J. Syst. Softw. Shuai Zhao, Jorge Garrido, Ran Wei, Alan Burns, Andy J. Wellings, Juan Antonio de la Puente
2020	J	`jnl`	Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis. ACM Trans. Embed. Comput. Syst. Wanli Chang, Ran Wei, Shuai Zhao, Andy J. Wellings, Jim Woodcock, Alan Burns
2019	B	`conf`	From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper). LCTES Wanli Chang, Shuai Zhao, Ran Wei, Andy J. Wellings, Alan Burns
2018	J	`jnl`	A Formal Model of the Safety-Critical Java Level 2 Paradigm. CoRR Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings
2018	J	`jnl`	Safety-Critical Java: Level 2 in Practice. CoRR Matt Luckcuck, Andy J. Wellings, Ana Cavalcanti
2017	J	`jnl`	A Distributed Stream Library for Java 8. IEEE Trans. Big Data Yu Chan, Andy J. Wellings, Ian Gray, Neil C. Audsley
2017	B	`conf`	New schedulability analysis for MrsP. RTCSA Shuai Zhao, Jorge Garrido, Alan Burns, Andy J. Wellings
2017	J	`jnl`	Safety-Critical Java: level 2 in practice. Concurr. Comput. Pract. Exp. Matt Luckcuck, Andy J. Wellings, Ana Cavalcanti
2017	J	`jnl`	Safety-critical Java for embedded systems. Concurr. Comput. Pract. Exp. 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
2017	Misc	`conf`	Supporting Nested Resources in MrsP. Ada-Europe Jorge Garrido, Shuai Zhao, Alan Burns, Andy J. Wellings
2016	B	`conf`	A Formal Model of the Safety-Critical Java Level 2 Paradigm. IFM Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings
2016	C	`conf`	A Java-Based Real-Time Reactive Stream Framework. ISORC Haitao Mei, Ian Gray, Andy J. Wellings
2016	J	`jnl`	Architecting Time-Critical Big-Data Systems. CoRR Pablo Basanta-Val, Neil C. Audsley, Andy J. Wellings, Ian Gray, Norberto Fernández García
2016	J	`jnl`	Architecting Time-Critical Big-Data Systems. IEEE Trans. Big Data Pablo Basanta-Val, Neil C. Audsley, Andy J. Wellings, Ian Gray, Norberto Fernández García
2016	—	`conf`	Java in the Safety-Critical Domain. SETSS Ana Cavalcanti, Alvaro Miyazawa, Andy J. Wellings, Jim Woodcock, Shuai Zhao
2016	B	`conf`	Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. IFM Leo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings
2016	Misc	`conf`	Real-Time Stream Processing in Java. Ada-Europe Haitao Mei, Ian Gray, Andy J. Wellings
2015	J	`jnl`	Improving the predictability of distributed stream processors. Future Gener. Comput. Syst. Pablo Basanta-Val, Norberto Fernández García, Andy J. Wellings, Neil C. Audsley
2015	—	`conf`	Integrating Java 8 Streams with The Real-Time Specification for Java. JTRES Haitao Mei, Ian Gray, Andy J. Wellings
2015	—	`conf`	Mobile CSP. SBMF Jim Woodcock, Andy J. Wellings, Ana Cavalcanti
2015	—	`conf`	Safety-Critical Java Virtual Machine Services. JTRES James Baxter, Ana Cavalcanti, Andy J. Wellings, Leo Freitas
2015	—	`conf`	Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time Environment. JTRES Shuai Zhao, Andy J. Wellings, Stephan Erbs Korsholm
2015	J	`jnl`	Transparent hardware synthesis of Java for predictable large-scale distributed systems. CoRR Ian Gray, Yu Chan, Jamie Garside, Neil C. Audsley, Andy J. Wellings
2014	—	`conf`	Architecture-Awareness for Real-Time Big Data Systems. EuroMPI/ASIA Ian Gray, Yu Chan, Neil C. Audsley, Andy J. Wellings
2014	Misc	`conf`	Deadline-Aware Programming and Scheduling. Ada-Europe Alan Burns, Andy J. Wellings
2014	J	`jnl`	Introduction to the Special Issue on Java Technologies for Real-Time and Embedded Systems: JTRES 2012. Concurr. Comput. Pract. Exp. M. Teresa Higuera-Toledano, Andy J. Wellings
2014	—	`conf`	On the Locality of Java 8 Streams in Real-Time Big Data Applications. JTRES Yu Chan, Andy J. Wellings, Ian Gray, Neil C. Audsley
2014	—	`conf`	Real-time big data: the Juniper approach. REACTION Neil C. Audsley, Yu Chan, Ian Gray, Andy J. Wellings
2014	—	`conf`	Using JetBench to Evaluate the Efficiency of Multiprocessor Support for Parallel Processing. JTRES Haitao Mei, Andy J. Wellings
2013	B	`conf`	A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP. ECRTS Alan Burns, Andy J. Wellings
2013	—	`conf`	Safety-critical Java level 2: motivations, example applications and issues. JTRES Andy J. Wellings, Matt Luckcuck, Ana Cavalcanti
2013	J	`jnl`	Safety-critical Java programs from Circus models. Real Time Syst. Ana Cavalcanti, Frank Zeyda, Andy J. Wellings, Jim Woodcock, Kun Wei
2013	J	`jnl`	Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages. Concurr. Comput. Pract. Exp. Shiyao Lin, Andy J. Wellings, Alan Burns
2013	J	`jnl`	The Safety-Critical Java memory model formalised. Formal Aspects Comput. Ana Cavalcanti, Andy J. Wellings, Jim Woodcock
2012	C	`ed.`	15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2012, Shenzhen, China, April 11-13, 2012 ISORC Chunming Hu, Gabor Karsai, Jie Xu, Andreas Polze, Ji Wang, Andy J. Wellings
2012	J	`jnl`	Asynchronous event handling and Safety Critical Java. Concurr. Comput. Pract. Exp. Andy J. Wellings, MinSeong Kim
2012	—	`ed.`	The 10th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '12, Copenhagen, Denmark, October 24-26, 2012 JTRES Martin Schoeberl, Andy J. Wellings
2012	—	`conf`	The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada. JTRES Neeraj Kumar Singh, Andy J. Wellings, Ana Cavalcanti
2011	J	`jnl`	A model-based development approach for the verification of real-time Java code. Concurr. Comput. Pract. Exp. Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings
2011	J	`jnl`	Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ. Concurr. Comput. Pract. Exp. MinSeong Kim, Andy J. Wellings
2011	J	`jnl`	Multiprocessors and Asynchronous Event Handling in the Real-Time Specification for Java. Comput. J. MinSeong Kim, Andy J. Wellings
2011	J	`jnl`	On the road to real-time OSGi: extending OSGi with an admission control protocol. Comput. Syst. Sci. Eng. Thomas Richardson, Andy J. Wellings
2011	—	`conf`	Resource sharing in RTSJ and SCJ systems. JTRES Andy J. Wellings, Shiyao Lin, Alan Burns
2011	—	`conf`	Safety-critical Java in Circus. JTRES Ana Cavalcanti, Andy J. Wellings, Jim Woodcock, Kun Wei, Frank Zeyda
2011	—	`ed.`	The 9th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '11, York, United Kingdom, September 26-28, 2011 JTRES Andy J. Wellings, Anders P. Ravn
2011	B	`conf`	The Safety-Critical Java Memory Model: A Formal Account. FM Ana Cavalcanti, Andy J. Wellings, Jim Woodcock
2011	C	`conf`	The Safety-Critical Java Mission Model: A Formal Account. ICFEM Frank Zeyda, Ana Cavalcanti, Andy J. Wellings
2011	—	`conf`	User-defined clocks in the real-time specification for Java. JTRES Andy J. Wellings, Martin Schoeberl
2010	J	`jnl`	A framework for flexible scheduling in the RTSJ. ACM Trans. Embed. Comput. Syst. Alexandros Zerzelidis, Andy J. Wellings
2010	—	`conf`	A locality model for the real-time specification for Java. JTRES Abdul Haseeb Malik, Andy J. Wellings, Yang Chang
2010	C	`conf`	An Admission Control Protocol for Real-Time OSGi. ISORC Thomas Richardson, Andy J. Wellings
2010	—	`conf`	Asynchronous event handling and safety critical Java. JTRES Andy J. Wellings, MinSeong Kim
2010	Misc	`conf`	Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada. Ada-Europe Alan Burns, Andy J. Wellings
2010	J	`jnl`	Efficient asynchronous event handling in the real-time specification for Java. ACM Trans. Embed. Comput. Syst. MinSeong Kim, Andy J. Wellings
2010	J	`jnl`	Focus Section Editorial. Softw. Pract. Exp. R. Nigel Horspool, Andy J. Wellings
2010	J	`jnl`	Garbage Collection for Flexible Hard Real-Time Systems. IEEE Trans. Computers Yang Chang, Andy J. Wellings
2010	J	`jnl`	Measuring and policing blocking times in real-time systems. ACM Trans. Embed. Comput. Syst. Osmar Marchi dos Santos, Andy J. Wellings
2010	B	`conf`	TART: Timed-Automata to Real-Time Java Tool. SEFM Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings
2010	Misc	`conf`	The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005. Ada-Europe Andy J. Wellings, Alan Burns
2010	—	`conf`	Towards memory management for service-oriented real-time systems. JTRES Thomas Richardson, Andy J. Wellings, Jose Ángel Dianes, Manuel Díaz
2010	—	`conf`	Using the executor framework to implement asynchronous event handling in the RTSJ. JTRES MinSeong Kim, Andy J. Wellings
2009	—	`conf`	An RTSJ-based reconfigurable server component. JTRES Mohammed AlRahmawy, Andy J. Wellings
2009	—	`conf`	Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ. JTRES MinSeong Kim, Andy J. Wellings
2009	Misc	`conf`	Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005. Ada-Europe Alan Burns, Andy J. Wellings, Fengxiang Zhang
2009	—	`conf`	Design patterns for supporting RTSJ component models. JTRES Mohammed AlRahmawy, Andy J. Wellings
2009	—	`conf`	Enhancing the platform independence of the real-time specification for Java. JTRES Andy J. Wellings, Yang Chang, Thomas Richardson
2009	—	`conf`	JSR-282 status report. JTRES Peter C. Dibble, Andy J. Wellings
2009	—	`conf`	Providing temporal isolation in the OSGi framework. JTRES Thomas Richardson, Andy J. Wellings, Jose Ángel Dianes, Manuel Díaz
2009	B	`conf`	Refactoring Asynchronous Event Handling in the Real-Time Specification for Java. ECRTS MinSeong Kim, Andy J. Wellings
2009	C	`conf`	Thread-Local Scope Caching for Real-time Java. ISORC Andy J. Wellings, Martin Schoeberl
2008	—	`conf`	An efficient and predictable implementation of asynchronous event handling in the RTSJ. JTRES MinSeong Kim, Andy J. Wellings
2008	—	`conf`	Blocking time monitoring in the real-time specification for Java. JTRES Osmar Marchi dos Santos, Andy J. Wellings
2008	J	`jnl`	Implementation of a constant-time dynamic storage allocator. Softw. Pract. Exp. Miguel Masmano, Ismael Ripoll, Jorge Real, Alfons Crespo, Andy J. Wellings
2008	C	`conf`	Multiprocessors and the Real-Time Specification for Java. ISORC Andy J. Wellings
2008	—	`conf`	Processing group parameters in the real-time specification for Java. JTRES Andy J. Wellings, M. S. Kim
2008	B	`conf`	Run Time Detection of Blocking Time Violations in Real-Time Systems. RTCSA Osmar Marchi dos Santos, Andy J. Wellings
2007	—	`conf`	A framework for real-time utilities for Ada 2005. IRTAW Andy J. Wellings, Alan Burns
2007	—	`conf`	A model for real time mobility based on the RTSJ. JTRES Mohammed AlRahmawy, Andy J. Wellings
2007	—	`conf`	Asynchronous event handling in the real-time specification for Java. JTRES MinSeong Kim, Andy J. Wellings
2007	—	`conf`	Beyond Ada 2005: allocating tasks to processors in SMP systems. IRTAW Andy J. Wellings, Alan Burns
2007	—	`book`	Concurrent and real-time programming in Ada. Alan Burns, Andy J. Wellings
2007	—	`conf`	Correcting the EDF protocol in Ada 2005. IRTAW Alexandros Zerzelidis, Alan Burns, Andy J. Wellings
2007	J	`jnl`	Cost enforcement in the real-time specification for Java. Real Time Syst. Osmar Marchi dos Santos, Andy J. Wellings
2007	—	`conf`	Delivering Real-Time Behaviour. Domain Modeling and the Duration Calculus Alan Burns, Andy J. Wellings
2007	—	`conf`	Integrating OOP and tasking: the missing requeue. IRTAW Andy J. Wellings, Alan Burns
2007	C	`conf`	Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java. ISORC Andy J. Wellings, Alan Burns, Osmar Marchi dos Santos, Benjamin M. Brosgol
2007	—	`conf`	Introduction. IRTAW Alan Burns, Andy J. Wellings
2007	—	`ch.`	Programming Execution-Time Servers and Supporting EDF Scheduling in Ada 2005. Handbook of Real-Time and Embedded Systems Alan Burns, Andy J. Wellings
2007	—	`conf`	Programming execution-time servers in Ada 2005. IRTAW Alan Burns, Andy J. Wellings
2007	—	`ch.`	Real-Time Java. Handbook of Real-Time and Embedded Systems Alan Burns, Andy J. Wellings
2007	Misc	`conf`	Real-Time Utilities for Ada 2005. Ada-Europe Andy J. Wellings, Alan Burns
2006	Misc	`conf`	A Comparison of Ada and Real-Time Java Ada-Europe Benjamin M. Brosgol, Andy J. Wellings
2006	—	`conf`	Formal analysis of aperiodic and sporadic real-time threads in the RTSJ. JTRES Osmar Marchi dos Santos, Andy J. Wellings
2006	C	`conf`	Getting More Flexible Scheduling in the RTSJ. ISORC Alexandros Zerzelidis, Andy J. Wellings
2006	A	`conf`	Hard Real-Time Hybrid Garbage Collection with Low Memory Requirements. RTSS Yang Chang, Andy J. Wellings
2006	—	`conf`	Low memory overhead real-time garbage collection for Java. JTRES Yang Chang, Andy J. Wellings
2006	—	`conf`	Model-based verification of a framework for flexible scheduling in the real-time specification for Java. JTRES Alexandros Zerzelidis, Andy J. Wellings
2006	—	`conf`	Motivations and support for single nested scoping in Ravenscar-Java. SEUS/WCCIA Jagun Kwon, Andy J. Wellings
2006	A	`conf`	Programming Execution-Time Servers in Ada 2005. RTSS Alan Burns, Andy J. Wellings
2006	B	`conf`	Real-Time Memory Management: Life and Times. ECRTS Andrew Borg, Andy J. Wellings, Christopher D. Gill, Ron K. Cytron
2006	J	`jnl`	Scoped, coarse-grain memory management and the RTSJ scoped memory model in the development of real-time applications. Int. J. Embed. Syst. Andrew Borg, Andy J. Wellings
2005	A	`conf`	Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation. RTSS Osmar Marchi dos Santos, Andy J. Wellings
2005	J	`jnl`	Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. 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
2005	B	`conf`	Integrating Hybrid Garbage Collection with Dual Priority Scheduling. RTCSA Yang Chang, Andy J. Wellings
2005	J	`jnl`	Ravenscar-Java: a high-integrity profile for real-time Java. Concurr. Pract. Exp. Jagun Kwon, Andy J. Wellings, Steve King
2005	Misc	`ed.`	Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings Ada-Europe Tullio Vardanega, Andy J. Wellings
2005	J	`jnl`	Requirements for a real-time .NET framework. ACM SIGPLAN Notices Alexandros Zerzelidis, Andy J. Wellings
2005	C	`conf`	Temporal Isolation in Ravenscar-Java. ISORC Hao Cai, Andy J. Wellings
2005	Misc	`conf`	The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95. Ada-Europe Patrick Rogers, Andy J. Wellings
2004	C	`conf`	A Real-Time Isolate Specification for Ravenscar-Java. ISORC Hao Cai, Andy J. Wellings
2004	—	`book`	Concurrent and real-time programming in Java. Andy J. Wellings
2004	C	`conf`	Cost Enforcement and Deadline Monitoring in the Real-Time Specification for Java. ISORC Andy J. Wellings, Gregory Bollella, Peter C. Dibble, David Holmes
2004	—	`conf`	Memory Management Based on Method Invocation in RTSJ. OTM Workshops Jagun Kwon, Andy J. Wellings
2004	Misc	`conf`	OpenAda: Compile-Time Reflection for Ada 95. Ada-Europe Patrick Rogers, Andy J. Wellings
2004	J	`jnl`	Replication Management in Reliable Real-Time Systems. Real Time Syst. Luís Miguel Pinho, Francisco Vasques, Andy J. Wellings
2004	Misc	`conf`	Supporting Deadlines and EDF Scheduling in Ada. Ada-Europe Alan Burns, Andy J. Wellings, S. Tucker Taft
2004	—	`conf`	Supporting Mixed Criticality Applications in a Ravenscar-Java Environment. OTM Workshops Hao Cai, Andy J. Wellings
2004	C	`conf`	The Real-Time Specification for Java: Current Status and Future Work. ISORC Peter C. Dibble, Andy J. Wellings
2004	—	`conf`	Towards an Understanding of the Expressive Power of the RTSJ Scoped Memory Model. OTM Workshops Andrew Borg, Andy J. Wellings
2003	Misc	`conf`	A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java. Ada-Europe Benjamin M. Brosgol, Andy J. Wellings
2003	B	`conf`	A Real-Time RMI Framework for the RTSJ. ECRTS Andrew Borg, Andy J. Wellings
2003	Misc	`conf`	A Round Robin Scheduling Policy for Ada. Ada-Europe Alan Burns, Michael González Harbour, Andy J. Wellings
2003	J	`jnl`	Assessment of the Java programming language for use in high integrity systems. ACM SIGPLAN Notices Jagun Kwon, Andy J. Wellings, Steve King
2003	—	`conf`	Deriving Java Virtual Machine Timing Models for Portable Worst-Case Execution Time Analysis. OTM Workshops Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat
2003	J	`jnl`	Evaluating the Expressive Power of the Real-Time Specification for Java. Real Time Syst. Andy J. Wellings, Peter P. Puschner
2003	C	`conf`	Gain Time Reclaiming in High Performance Real-Time Java Systems. ISORC Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat
2003	—	`conf`	Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95? IRTAW Andy J. Wellings
2003	C	`conf`	Predictable Memory Utilization in the Ravenscar-Java Profile. ISORC Jagun Kwon, Andy J. Wellings, Steve King
2003	—	`conf`	Processing Group Parameters in the Real-Time Specification for Java. OTM Workshops Alan Burns, Andy J. Wellings
2003	—	`conf`	Reference Objects for RTSJ Memory Areas. OTM Workshops Andrew Borg, Andy J. Wellings
2003	—	`conf`	Report of session: flexible scheduling in Ada. IRTAW Alan Burns, Andy J. Wellings, Tullio Vardanega
2003	—	`conf`	Session summary: integration versus orthogonality (RTSJ scheduling policies versus Ada's). IRTAW Andy J. Wellings, Joyce L. Tokar
2003	—	`conf`	Task attribute-based scheduling: extending Ada's support for scheduling. IRTAW Alan Burns, Andy J. Wellings
2003	—	`conf`	Towards a High Integrity Real-Time Java Virtual Machine. OTM Workshops Hao Cai, Andy J. Wellings
2003	B	`conf`	XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment. RTCSA Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat
2002	—	`conf`	A Framework for Integrating the Real-Time Specification for Java and Java's Remote Method Invocation. Symposium on Object-Oriented Real-Time Distributed Computing Andy J. Wellings, Roy Clark, E. Douglas Jensen, Douglas Wells
2002	—	`conf`	A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems. WORDS Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings
2002	—	`conf`	Accessing delay queues. IRTAW Alan Burns, Andy J. Wellings
2002	—	`conf`	Addressing Dynamic Dispatching Issues in WCET Analysis for Object-Oriented Hard Real-Time Systems. Symposium on Object-Oriented Real-Time Distributed Computing Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings
2002	—	`conf`	Asynchronous Event Handling and Real-time Threads in the Real-time Specification for Java. IEEE Real Time Technology and Applications Symposium Andy J. Wellings, Alan Burns
2002	—	`conf`	Protected ceiling changes. IRTAW Jorge Real, Alfons Crespo, Andy J. Wellings, Alan Burns
2002	—	`conf`	Ravenscar-Java: a high integrity profile for real-time Java. Java Grande Jagun Kwon, Andy J. Wellings, Steve King
2002	—	`conf`	Report of session: language changes for scheduling, modeling and analysis. IRTAW Andy J. Wellings, Tullio Vardanega
2001	C	`conf`	A Profile for High-Integrity Real-Time Java Programs. ISORC Peter P. Puschner, Andy J. Wellings
2001	J	`jnl`	Modelling and verification of an atomic action protocol implemented in Ada. Comput. Syst. Sci. Eng. Alan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev
2000	—	`conf`	Extensible protected types: proposal status. IRTAW Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf, Stephen Michell
2000	J	`jnl`	Integrating object-oriented programming and protected objects in Ada 95. ACM Trans. Program. Lang. Syst. Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf, Stephen Michell
2000	—	`conf`	Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems. IRTAW Neil C. Audsley, Andy J. Wellings
2000	Misc	`conf`	Object-Oriented Programming and Protected Objects in Ada 95. Ada-Europe Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf, Stephen Michell
2000	—	`conf`	On developing and verifying design abstractions for reliable concurrent programming in Ada. IRTAW Alan Burns, Andy J. Wellings, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev
2000	B	`conf`	Portable worst-case execution time analysis using Java Byte Code. ECRTS Guillem Bernat, Alan Burns, Andy J. Wellings
2000	J	`jnl`	Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems. IEEE Trans. Computers Stefan Poledna, Alan Burns, Andy J. Wellings, Peter Barrett
2000	J	`jnl`	State restoration in Ada 95: a portable approach to supporting software fault tolerance. J. Syst. Softw. Patrick Rogers, Andy J. Wellings
2000	—	`conf`	Status and future of the Ravenscar profile session summary. IRTAW Andy J. Wellings
2000	J	`jnl`	Techniques to increase the schedulable utilization of cache-based preemptive real-time systems. J. Syst. Archit. José V. Busquets-Mataix, Daniel Gil, Pedro J. Gil, Andy J. Wellings
1999	Misc	`conf`	An Incremental RecoveryCache Supporting Sotware Fault Tolerance. Ada-Europe Patrick Rogers, Andy J. Wellings
1999	—	`conf`	Dynamic ceiling priorities and Ada 95. IRTAW Jorge Real, Andy J. Wellings
1999	J	`jnl`	GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems. IEEE Trans. Parallel Distributed Syst. David Powell, Jean Arlat, Ljerka Beus-Dukic, Andrea Bondavalli, P. Coppola, Alessandro Fantechi, Eric Jenn, Christophe Rabéjac, Andy J. Wellings
1999	—	`conf`	How to verify concurrent Ada programs: the application of model checking. IRTAW Alan Burns, Andy J. Wellings
1999	B	`conf`	Implementing mode changes with shared resources in Ada. ECRTS Jorge Real, Andy J. Wellings
1999	—	`conf`	New language features and other language issues (session summary). IRTAW Andy J. Wellings
1999	Misc	`conf`	The Ceiling Protocol in Multi-moded Real-Time Systems. Ada-Europe Jorge Real, Andy J. Wellings
1998	J	`jnl`	Distributed Atomic Actions in Ada 95. Comput. J. Stuart E. Mitchell, Andy J. Wellings, Alexander B. Romanovsky
1998	—	`conf`	Extensible Protected Types. SIGAda O. P. Kiddle, Andy J. Wellings
1998	—	`conf`	MOPping up Exceptions. ECOOP Workshops Stuart E. Mitchell, Alan Burns, Andy J. Wellings
1998	A	`conf`	Real-Time Scheduling in a Generic Fault-Tolerant Architecture. RTSS Andy J. Wellings, Ljerka Beus-Dukic, David Powell
1998	J	`jnl`	Requirements for a COTS software component: A case study. Requir. Eng. Ljerka Beus-Dukic, Andy J. Wellings
1997	—	`conf`	Adaptive Scheduling Using Reflection. ECOOP Workshops Stuart E. Mitchell, Alan Burns, Andy J. Wellings
1997	J	`jnl`	An Action-Based Formal Model for Concurrent Real-Time Systems. Formal Aspects Comput. Colin J. Fidge, Andy J. Wellings
1997	—	`conf`	Feature interactions with dynamic priorities. IRTAW Alan Burns, Andy J. Wellings
1997	A	`conf`	Formal development of a real-time kernel. RTSS Simon Fowler, Andy J. Wellings
1997	—	`conf`	Hybrid instruction cache partitioning for preemptive real-time systems. RTS José V. Busquets-Mataix, Juan José Serrano, Andy J. Wellings
1997	J	`jnl`	Implementing Atomic Actions in Ada 95. IEEE Trans. Software Eng. Andy J. Wellings, Alan Burns
1997	—	`conf`	Object-oriented programming and real-time (session summary). IRTAW Andy J. Wellings, Juan Antonio de la Puente
1997	Misc	`conf`	On Programming Atomic Actions in Ada 95. Ada-Europe Alexander B. Romanovsky, Stuart E. Mitchell, Andy J. Wellings
1997	—	`ed.`	Proceedings of the Eighth International Workshop on Real-Time Ada, IRTAW 1997, Ravenscar, United Kingdom, 1997 IRTAW Andy J. Wellings
1997	—	`conf`	Restricted tasking models. IRTAW Alan Burns, Andy J. Wellings
1997	J	`jnl`	Synchronous sessions and fixed priority scheduling. J. Syst. Archit. Alan Burns, Andy J. Wellings
1997	Misc	`conf`	Task Termination in Ada 95. Ada-Europe Andy J. Wellings, Alan Burns, Offer Pazy
1997	—	`conf`	Task termination and Ada 95. IRTAW Andy J. Wellings, Alan Burns, Offer Pazy
1996	—	`conf`	A Worst-Case Behavior Analysis for Hard Real-Time Transactions. RTDB Jeongyoujng Byun, Andy J. Wellings, Alan Burns
1996	Misc	`conf`	Ada 95: An Effective Concurrent Programming Language. Ada-Europe Alan Burns, Andy J. Wellings
1996	—	`conf`	Adding instruction cache effect to schedulability analysis of preemptive real-time systems. IEEE Real Time Technology and Applications Symposium José V. Busquets-Mataix, Juan José Serrano, Rafael Ors, Pedro J. Gil, Andy J. Wellings
1996	A*	`conf`	An Efficient and Practical Local Synchronous Bandwidth Allocation Scheme for the Timed-Token MAC Protocol. INFOCOM Sijing Zhang, Alan Burns, Andy J. Wellings
1996	A	`conf`	Analysing APEX applications. RTSS Neil C. Audsley, Andy J. Wellings
1996	J	`jnl`	Combining Static Worst-Case Timing Analysis and Program Proof. Real Time Syst. Roderick Chapman, Alan Burns, Andy J. Wellings
1996	—	`conf`	Formal Analysis of a Real-Time Kernel Specification. FTRTFT Simon Fowler, Andy J. Wellings
1996	J	`jnl`	Integrating optional software components into hard real-time systems. Softw. Eng. J. Neil C. Audsley, Alan Burns, Robert I. Davis, D. J. Scholefield, Andy J. Wellings
1996	J	`jnl`	Programming Replicated Systems in Ada 95. Comput. J. Andy J. Wellings, Alan Burns
1996	—	`conf`	Real-time programming in the concurrent object-oriented language TAO. WORDS Stuart E. Mitchell, Andy J. Wellings
1996	J	`jnl`	Synchronisation, Concurrent Object-Oriented Programming and the Inheritance Anomaly. Comput. Lang. Stuart E. Mitchell, Andy J. Wellings
1996	B	`conf`	Using harmonic task-sets to increase the schedulable utilization of cache-based preemptive real-time systems. RTCSA José V. Busquets-Mataix, Juan José Serrano, Rafael Ors, Pedro J. Gil, Andy J. Wellings
1995	J	`jnl`	Analysis of Hard Real-Time Communications. Real Time Syst. Ken Tindell, Alan Burns, Andy J. Wellings
1995	J	`jnl`	Data Consistency in Hard Real-Time Systems. Informatica (Slovenia) Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings
1995	A	`conf`	Dual Priority Scheduling. RTSS Robert I. Davis, Andy J. Wellings
1995	J	`jnl`	Effective Analysis for Engineering Real-Time Fixed Priority Schedulers. IEEE Trans. Software Eng. Alan Burns, Ken Tindell, Andy J. Wellings
1995	J	`jnl`	Engineering a Hard Real-time System: From Theory to Practice. Softw. Pract. Exp. Alan Burns, Andy J. Wellings
1995	J	`jnl`	Fixed Priority Pre-emptive Scheduling: An Historical Perspective. Real Time Syst. Neil C. Audsley, Alan Burns, Robert I. Davis, Ken Tindell, Andy J. Wellings
1995	—	`conf`	Real-time distributed computing. FTDCS Alan Burns, Neil C. Audsley, Andy J. Wellings
1995	Misc	`conf`	Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD. Ada-Europe Pete Cornwell, Andy J. Wellings
1994	J	`jnl`	An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks. Real Time Syst. Ken Tindell, Alan Burns, Andy J. Wellings
1994	A	`conf`	Analysing Real-Time Communications: Controller Area Network (CAN). RTSS Ken Tindell, H. Hanssmon, Andy J. Wellings
1994	J	`jnl`	HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. Real Time Syst. Alan Burns, Andy J. Wellings
1994	J	`jnl`	STRESS: a Simulator for Hard Real-time Systems. Softw. Pract. Exp. Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings
1994	J	`jnl`	Supporting distribution and dynamic reconfiguration in AdaPT. Distributed Syst. Eng. Anthony B. Gargaro, Stephen J. Goldsack, A. A. Holzbacher-Valero, Richard A. Volz, Raymond Waldrop, Andy J. Wellings
1993	J	`jnl`	Applying new scheduling theory to static priority pre-emptive scheduling. Softw. Eng. J. Neil C. Audsley, Alan Burns, Mike M. Richardson, Ken Tindell, Andy J. Wellings
1993	Misc	`conf`	The Impact of an Ada Run-Time System's Performance Characteristics on Scheduling Models. Ada-Europe Alan Burns, Andy J. Wellings, A. D. Hutcheon
1993	Misc	`conf`	The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation. Ada-Europe Alan Burns, Andy J. Wellings, C. M. Bailey, E. Fyfe
1993	A	`conf`	The use of preemptive priority-based scheduling for space applications. RTSS C. M. Bailey, E. Fyfe, Tullio Vardanega, Andy J. Wellings
1992	—	`conf`	A System for Building Scalable Parallel Applications. Programming Environments for Parallel Computing Simon A. Dobson, Andy J. Wellings
1992	J	`jnl`	Allocating Hard Real-Time tasks: An NP-Hard Problem Made Easy. Real Time Syst. Ken Tindell, Alan Burns, Andy J. Wellings
1992	Misc	`conf`	Designing Hard Real-Time Systems. Ada-Europe Alan Burns, Andy J. Wellings
1992	J	`jnl`	File system caching in large point-to-point networks. Softw. Eng. J. Paul Baden Austin, Kevin Murray, Andy J. Wellings
1992	A	`conf`	Mode Changes In Priority Pre-Emptively Scheduled Systems. RTSS Ken Tindell, Alan Burns, Andy J. Wellings
1991	J	`jnl`	Criticality and Utility in the Next Generation. Real Time Syst. Alan Burns, Andy J. Wellings
1991	J	`jnl`	Priority Inheritance and Message Passing Communication: A Formal Treatment. Real Time Syst. Alan Burns, Andy J. Wellings
1991	—	`conf`	Scheduling time constrained messages on miniMAP. RTS Ljerka Beus-Dukic, Andy J. Wellings
1991	J	`jnl`	The Design of an Operating System for a Scalable Parallel Computing Engine. Softw. Pract. Exp. Paul Baden Austin, Kevin Murray, Andy J. Wellings
1990	—	`conf`	Adapting Ada distribution and fault tolerance. IRTAW Anthony B. Gargaro, Stephen J. Goldsack, R. K. Powers, Richard A. Volz, Andy J. Wellings
1990	—	`conf`	Asynchronous transfer of control in Ada 9X. IRTAW Alan Burns, Andy J. Wellings, Gordon Davies
1990	—	`conf`	Real-time requirements. IRTAW Andy J. Wellings
1990	J	`jnl`	Specifying restrictions on imperative programming languages for use in a distributed embedded environment. Softw. Eng. J. Andrew D. Hutcheon, Andy J. Wellings
1990	J	`jnl`	The Notion of Priority in Real-Time Programming Languages. Comput. Lang. Alan Burns, Andy J. Wellings
1990	J	`jnl`	Wisdom: A distributed operating system for transputers. Comput. Syst. Sci. Eng. Kevin Murray, Andy J. Wellings
1989	J	`jnl`	Dynamic change management and Ada. J. Softw. Maintenance Res. Pract. Alan Burns, Andy J. Wellings
1989	—	`conf`	Real-time Ada: outstanding problem areas. IRTAW Alan Burns, Andy J. Wellings
1989	—	`conf`	Usability of the Ada tasking-model. IRTAW Alan Burns, Andy J. Wellings
1988	J	`jnl`	A Modula-2 implementation of a real-time process abstraction. ACM SIGPLAN Notices Alan Burns, Gordon Davies, Andy J. Wellings
1988	J	`jnl`	Issues in the design and implementation of a distributed operating system for a network of transputers. Microprocess. Microprogramming Kevin Murray, Andy J. Wellings
1988	—	`conf`	Supporting Ada in a distributed environment. IRTAW Andrew D. Hutcheon, Andy J. Wellings
1987	—	`book`	A Review of Ada Tasking Alan Burns, Andrew M. Lister, Andy J. Wellings
1987	—	`conf`	Programming and debugging distributed real-time applications in Ada. IRTAW Andrew D. Hutcheon, David S. Snowden, Andy J. Wellings
1987	—	`conf`	Real-time Ada issues. IRTAW Alan Burns, Andy J. Wellings
1986	—	`book`	Real-time systems and their programming languages. Alan Burns, Andy J. Wellings
1985	J	`jnl`	The PULSE Distributed File System. Softw. Pract. Exp. G. M. Tomlinson, D. Keeffe, I. C. Wand, Andy J. Wellings