default search action
Andy J. Wellings
Person information
- affiliation: University of York, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j70]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): 1006-1018 (2021) - 2020
- [j69]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) - [j68]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): 31:1-31:26 (2020)
2010 – 2019
- 2019
- [j67]Alvaro Miyazawa, Ana Cavalcanti, Andy J. Wellings:
SCJ-Circus: Specification and refinement of Safety-Critical Java programs. Sci. Comput. Program. 181: 140-176 (2019) - [c158]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: 123-134 - 2018
- [i4]Matt Luckcuck, Andy J. Wellings, Ana Cavalcanti:
Safety-Critical Java: Level 2 in Practice. CoRR abs/1805.10710 (2018) - [i3]Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings:
A Formal Model of the Safety-Critical Java Level 2 Paradigm. CoRR abs/1805.10711 (2018) - 2017
- [j66]Matt Luckcuck, Andy J. Wellings, Ana Cavalcanti:
Safety-Critical Java: level 2 in practice. Concurr. Comput. Pract. Exp. 29(6) (2017) - [j65]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) - [j64]Yu Chan, Andy J. Wellings, Ian Gray, Neil C. Audsley:
A Distributed Stream Library for Java 8. IEEE Trans. Big Data 3(3): 262-275 (2017) - [c157]Jorge Garrido, Shuai Zhao, Alan Burns, Andy J. Wellings:
Supporting Nested Resources in MrsP. Ada-Europe 2017: 73-86 - [c156]Shuai Zhao, Jorge Garrido, Alan Burns, Andy J. Wellings:
New schedulability analysis for MrsP. RTCSA 2017: 1-10 - 2016
- [j63]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): 310-324 (2016) - [c155]HaiTao Mei, Ian Gray, Andy J. Wellings:
Real-Time Stream Processing in Java. Ada-Europe 2016: 44-57 - [c154]Leo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings:
Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. IFM 2016: 63-78 - [c153]Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings:
A Formal Model of the Safety-Critical Java Level 2 Paradigm. IFM 2016: 226-241 - [c152]HaiTao Mei, Ian Gray, Andy J. Wellings:
A Java-Based Real-Time Reactive Stream Framework. ISORC 2016: 204-211 - [c151]Ana Cavalcanti, Alvaro Miyazawa, Andy J. Wellings, Jim Woodcock, Shuai Zhao:
Java in the Safety-Critical Domain. SETSS 2016: 110-150 - [i2]Pablo Basanta-Val, Neil C. Audsley, Andy J. Wellings, Ian Gray, Norberto Fernández García:
Architecting Time-Critical Big-Data Systems. CoRR abs/1611.00946 (2016) - 2015
- [j62]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: 22-36 (2015) - [c150]Shuai Zhao, Andy J. Wellings, Stephan Erbs Korsholm:
Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time Environment. JTRES 2015: 1:1-1:10 - [c149]James Baxter, Ana Cavalcanti, Andy J. Wellings, Leo Freitas:
Safety-Critical Java Virtual Machine Services. JTRES 2015: 7:1-7:10 - [c148]HaiTao Mei, Ian Gray, Andy J. Wellings:
Integrating Java 8 Streams with The Real-Time Specification for Java. JTRES 2015: 10:1-10:10 - [c147]Jim Woodcock, Andy J. Wellings, Ana Cavalcanti:
Mobile CSP. SBMF 2015: 39-55 - [i1]Ian Gray, Yu Chan, Jamie Garside, Neil C. Audsley, Andy J. Wellings:
Transparent hardware synthesis of Java for predictable large-scale distributed systems. CoRR abs/1508.07142 (2015) - 2014
- [j61]Frank Zeyda, Lalkhumsanga Lalkhumsanga, Ana Cavalcanti, Andy J. Wellings:
Circus Models for Safety-Critical Java Programs. Comput. J. 57(7): 1046-1091 (2014) - [j60]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): 2405-2406 (2014) - [c146]Alan Burns, Andy J. Wellings:
Deadline-Aware Programming and Scheduling. Ada-Europe 2014: 107-118 - [c145]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: 20 - [c144]HaiTao Mei, Andy J. Wellings:
Using JetBench to Evaluate the Efficiency of Multiprocessor Support for Parallel Processing. JTRES 2014: 47 - [c143]Ian Gray, Yu Chan, Neil C. Audsley, Andy J. Wellings:
Architecture-Awareness for Real-Time Big Data Systems. EuroMPI/ASIA 2014: 151 - [c142]Neil C. Audsley, Yu Chan, Ian Gray, Andy J. Wellings:
Real-time big data: the Juniper approach. REACTION 2014 - 2013
- [j59]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): 2227-2251 (2013) - [j58]Ana Cavalcanti, Andy J. Wellings, Jim Woodcock:
The Safety-Critical Java memory model formalised. Formal Aspects Comput. 25(1): 37-57 (2013) - [j57]Ana Cavalcanti, Frank Zeyda, Andy J. Wellings, Jim Woodcock, Kun Wei:
Safety-critical Java programs from Circus models. Real Time Syst. 49(5): 614-667 (2013) - [c141]Alan Burns, Andy J. Wellings:
A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP. ECRTS 2013: 282-291 - [c140]Andy J. Wellings, Matt Luckcuck, Ana Cavalcanti:
Safety-critical Java level 2: motivations, example applications and issues. JTRES 2013: 48-57 - 2012
- [j56]Andy J. Wellings, MinSeong Kim:
Asynchronous event handling and Safety Critical Java. Concurr. Comput. Pract. Exp. 24(8): 813-832 (2012) - [c139]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: 62-71 - [e5]Chunming Hu, Gabor Karsai, Jie Xu, Andreas Polze, Ji Wang, Andy J. Wellings:
15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2012, Shenzhen, China, April 11-13, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-0499-3 [contents] - [e4]Martin Schoeberl, Andy J. Wellings:
The 10th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '12, Copenhagen, Denmark, October 24-26, 2012. ACM 2012, ISBN 978-1-4503-1688-0 [contents] - 2011
- [j55]MinSeong Kim, Andy J. Wellings:
Multiprocessors and Asynchronous Event Handling in the Real-Time Specification for Java. Comput. J. 54(8): 1308-1324 (2011) - [j54]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): 1583-1606 (2011) - [j53]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): 1609-1622 (2011) - [j52]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) - [c138]Ana Cavalcanti, Andy J. Wellings, Jim Woodcock:
The Safety-Critical Java Memory Model: A Formal Account. FM 2011: 246-261 - [c137]Frank Zeyda, Ana Cavalcanti, Andy J. Wellings:
The Safety-Critical Java Mission Model: A Formal Account. ICFEM 2011: 49-65 - [c136]Andy J. Wellings, Shiyao Lin, Alan Burns:
Resource sharing in RTSJ and SCJ systems. JTRES 2011: 11-19 - [c135]Ana Cavalcanti, Andy J. Wellings, Jim Woodcock, Kun Wei, Frank Zeyda:
Safety-critical Java in Circus. JTRES 2011: 20-29 - [c134]Andy J. Wellings, Martin Schoeberl:
User-defined clocks in the real-time specification for Java. JTRES 2011: 74-81 - [e3]Andy J. Wellings, Anders P. Ravn:
The 9th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '11, York, United Kingdom, September 26-28, 2011. ACM 2011, ISBN 978-1-4503-0731-4 [contents] - 2010
- [j51]R. Nigel Horspool, Andy J. Wellings:
Focus Section Editorial. Softw. Pract. Exp. 40(12): 1105 (2010) - [j50]Yang Chang, Andy J. Wellings:
Garbage Collection for Flexible Hard Real-Time Systems. IEEE Trans. Computers 59(8): 1063-1075 (2010) - [j49]Osmar Marchi dos Santos, Andy J. Wellings:
Measuring and policing blocking times in real-time systems. ACM Trans. Embed. Comput. Syst. 10(1): 2:1-2:29 (2010) - [j48]Alexandros Zerzelidis, Andy J. Wellings:
A framework for flexible scheduling in the RTSJ. ACM Trans. Embed. Comput. Syst. 10(1): 3:1-3:44 (2010) - [j47]MinSeong Kim, Andy J. Wellings:
Efficient asynchronous event handling in the real-time specification for Java. ACM Trans. Embed. Comput. Syst. 10(1): 5:1-5:34 (2010) - [c133]Alan Burns, Andy J. Wellings:
Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada. Ada-Europe 2010: 41-53 - [c132]Andy J. Wellings, Alan Burns:
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005. Ada-Europe 2010: 196-207 - [c131]Thomas Richardson, Andy J. Wellings:
An Admission Control Protocol for Real-Time OSGi. ISORC 2010: 217-224 - [c130]MinSeong Kim, Andy J. Wellings:
Using the executor framework to implement asynchronous event handling in the RTSJ. JTRES 2010: 16-25 - [c129]Abdul Haseeb Malik, Andy J. Wellings, Yang Chang:
A locality model for the real-time specification for Java. JTRES 2010: 36-45 - [c128]Andy J. Wellings, MinSeong Kim:
Asynchronous event handling and safety critical Java. JTRES 2010: 53-62 - [c127]Thomas Richardson, Andy J. Wellings, Jose Ángel Dianes, Manuel Díaz:
Towards memory management for service-oriented real-time systems. JTRES 2010: 128-137 - [c126]Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings:
TART: Timed-Automata to Real-Time Java Tool. SEFM 2010: 299-309
2000 – 2009
- 2009
- [b6]Alan Burns, Andrew J. Wellings:
Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition. International computer science series, Addison-Wesley 2009, ISBN 978-0-321-41745-9, pp. I-XVIII, 1-602 - [c125]Alan Burns, Andy J. Wellings, Fengxiang Zhang:
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005. Ada-Europe 2009: 119-133 - [c124]MinSeong Kim, Andy J. Wellings:
Refactoring Asynchronous Event Handling in the Real-Time Specification for Java. ECRTS 2009: 25-34 - [c123]Andy J. Wellings, Martin Schoeberl:
Thread-Local Scope Caching for Real-time Java. ISORC 2009: 275-282 - [c122]Thomas Richardson, Andy J. Wellings, Jose Ángel Dianes, Manuel Díaz:
Providing temporal isolation in the OSGi framework. JTRES 2009: 1-10 - [c121]Mohammed AlRahmawy, Andy J. Wellings:
Design patterns for supporting RTSJ component models. JTRES 2009: 11-20 - [c120]Mohammed AlRahmawy, Andy J. Wellings:
An RTSJ-based reconfigurable server component. JTRES 2009: 31-40 - [c119]Andy J. Wellings, Yang Chang, Thomas Richardson:
Enhancing the platform independence of the real-time specification for Java. JTRES 2009: 61-69 - [c118]MinSeong Kim, Andy J. Wellings:
Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ. JTRES 2009: 80-89 - [c117]Peter C. Dibble, Andy J. Wellings:
JSR-282 status report. JTRES 2009: 179-182 - 2008
- [j46]Miguel Masmano, Ismael Ripoll, Jorge Real, Alfons Crespo, Andy J. Wellings:
Implementation of a constant-time dynamic storage allocator. Softw. Pract. Exp. 38(10): 995-1026 (2008) - [c116]Andy J. Wellings:
Multiprocessors and the Real-Time Specification for Java. ISORC 2008: 255-261 - [c115]Andy J. Wellings, M. S. Kim:
Processing group parameters in the real-time specification for Java. JTRES 2008: 3-9 - [c114]MinSeong Kim, Andy J. Wellings:
An efficient and predictable implementation of asynchronous event handling in the RTSJ. JTRES 2008: 48-57 - [c113]Osmar Marchi dos Santos, Andy J. Wellings:
Blocking time monitoring in the real-time specification for Java. JTRES 2008: 135-143 - [c112]Osmar Marchi dos Santos, Andy J. Wellings:
Run Time Detection of Blocking Time Violations in Real-Time Systems. RTCSA 2008: 347-356 - 2007
- [b5]Alan Burns, Andy J. Wellings:
Concurrent and real-time programming in Ada. Cambridge University Press 2007, pp. I-XIV, 1-461 - [j45]Osmar Marchi dos Santos, Andy J. Wellings:
Cost enforcement in the real-time specification for Java. Real Time Syst. 37(2): 139-179 (2007) - [c111]Alan Burns, Andy J. Wellings:
Delivering Real-Time Behaviour. Domain Modeling and the Duration Calculus 2007: 1-50 - [c110]Andy J. Wellings, Alan Burns:
Real-Time Utilities for Ada 2005. Ada-Europe 2007: 1-14 - [c109]Alexandros Zerzelidis, Alan Burns, Andy J. Wellings:
Correcting the EDF protocol in Ada 2005. IRTAW 2007: 18-22 - [c108]Andy J. Wellings, Alan Burns:
Integrating OOP and tasking: the missing requeue. IRTAW 2007: 23-28 - [c107]Andy J. Wellings, Alan Burns:
A framework for real-time utilities for Ada 2005. IRTAW 2007: 41-47 - [c106]Alan Burns, Andy J. Wellings:
Programming execution-time servers in Ada 2005. IRTAW 2007: 48-52 - [c105]Alan Burns, Andy J. Wellings:
Introduction. IRTAW 2007: 59-60 - [c104]Andy J. Wellings, Alan Burns:
Beyond Ada 2005: allocating tasks to processors in SMP systems. IRTAW 2007: 75-81 - [c103]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: 115-123 - [c102]MinSeong Kim, Andy J. Wellings:
Asynchronous event handling in the real-time specification for Java. JTRES 2007: 3-12 - [c101]Mohammed AlRahmawy, Andy J. Wellings:
A model for real time mobility based on the RTSJ. JTRES 2007: 155-164 - [r2]Alan Burns, Andy J. Wellings:
Real-Time Java. Handbook of Real-Time and Embedded Systems 2007 - [r1]Alan Burns, Andy J. Wellings:
Programming Execution-Time Servers and Supporting EDF Scheduling in Ada 2005. Handbook of Real-Time and Embedded Systems 2007 - 2006
- [j44]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): 166-183 (2006) - [c100]Benjamin M. Brosgol, Andy J. Wellings:
A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications. Ada-Europe 2006: 13-26 - [c99]Andrew Borg, Andy J. Wellings, Christopher D. Gill, Ron K. Cytron:
Real-Time Memory Management: Life and Times. ECRTS 2006: 237-250 - [c98]Alexandros Zerzelidis, Andy J. Wellings:
Getting More Flexible Scheduling in the RTSJ. ISORC 2006: 3-10 - [c97]Osmar Marchi dos Santos, Andy J. Wellings:
Formal analysis of aperiodic and sporadic real-time threads in the RTSJ. JTRES 2006: 10-19 - [c96]Alexandros Zerzelidis, Andy J. Wellings:
Model-based verification of a framework for flexible scheduling in the real-time specification for Java. JTRES 2006: 20-29 - [c95]Yang Chang, Andy J. Wellings:
Low memory overhead real-time garbage collection for Java. JTRES 2006: 85-94 - [c94]Alan Burns, Andy J. Wellings:
Programming Execution-Time Servers in Ada 2005. RTSS 2006: 47-56 - [c93]Yang Chang, Andy J. Wellings:
Hard Real-Time Hybrid Garbage Collection with Low Memory Requirements. RTSS 2006: 77-88 - [c92]Jagun Kwon, Andy J. Wellings:
Motivations and support for single nested scoping in Ravenscar-Java. SEUS/WCCIA 2006: 43-48 - 2005
- [j43]Jagun Kwon, Andy J. Wellings, Steve King:
Ravenscar-Java: a high-integrity profile for real-time Java. Concurr. Pract. Exp. 17(5-6): 681-713 (2005) - [j42]Alexandros Zerzelidis, Andy J. Wellings:
Requirements for a real-time .NET framework. ACM SIGPLAN Notices 40(2): 41-50 (2005) - [j41]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): 587-611 (2005) - [c91]Patrick Rogers, Andy J. Wellings:
The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95. Ada-Europe 2005: 236-247 - [c90]Hao Cai, Andy J. Wellings:
Temporal Isolation in Ravenscar-Java. ISORC 2005: 364-371 - [c89]Yang Chang, Andy J. Wellings:
Integrating Hybrid Garbage Collection with Dual Priority Scheduling. RTCSA 2005: 185-188 - [c88]Osmar Marchi dos Santos, Andy J. Wellings:
Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation. RTSS 2005: 177-186 - [e2]Tullio Vardanega, Andy J. Wellings:
Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings. Lecture Notes in Computer Science 3555, Springer 2005, ISBN 3-540-26286-5 [contents] - 2004
- [b4]Andy J. Wellings:
Concurrent and real-time programming in Java. Wiley 2004, ISBN 978-0-470-84437-3, pp. I-XIV, 1-431 - [j40]Luís Miguel Pinho, Francisco Vasques, Andy J. Wellings:
Replication Management in Reliable Real-Time Systems. Real Time Syst. 26(3): 261-296 (2004) - [c87]Alan Burns, Andy J. Wellings, S. Tucker Taft:
Supporting Deadlines and EDF Scheduling in Ada. Ada-Europe 2004: 156-165 - [c86]Patrick Rogers, Andy J. Wellings:
OpenAda: Compile-Time Reflection for Ada 95. Ada-Europe 2004: 166-177 - [c85]Peter C. Dibble, Andy J. Wellings:
The Real-Time Specification for Java: Current Status and Future Work. ISORC 2004: 71-77 - [c84]Andy J. Wellings, Gregory Bollella, Peter C. Dibble, David Holmes:
Cost Enforcement and Deadline Monitoring in the Real-Time Specification for Java. ISORC 2004: 78-85 - [c83]Hao Cai, Andy J. Wellings:
A Real-Time Isolate Specification for Ravenscar-Java. ISORC 2004: 325-328 - [c82]Hao Cai, Andy J. Wellings:
Supporting Mixed Criticality Applications in a Ravenscar-Java Environment. OTM Workshops 2004: 278-291 - [c81]Andrew Borg, Andy J. Wellings:
Towards an Understanding of the Expressive Power of the RTSJ Scoped Memory Model. OTM Workshops 2004: 315-332 - [c80]Jagun Kwon, Andy J. Wellings:
Memory Management Based on Method Invocation in RTSJ. OTM Workshops 2004: 333-345 - 2003
- [j39]Andy J. Wellings, Peter P. Puschner:
Evaluating the Expressive Power of the Real-Time Specification for Java. Real Time Syst. 24(3): 319-359 (2003) - [j38]Jagun Kwon, Andy J. Wellings, Steve King:
Assessment of the Java programming language for use in high integrity systems. ACM SIGPLAN Notices 38(4): 34-46 (2003) - [c79]Benjamin M. Brosgol, Andy J. Wellings:
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java. Ada-Europe 2003: 113-128 - [c78]Alan Burns, Michael González Harbour, Andy J. Wellings:
A Round Robin Scheduling Policy for Ada. Ada-Europe 2003: 334-343 - [c77]Andrew Borg, Andy J. Wellings:
A Real-Time RMI Framework for the RTSJ. ECRTS 2003: 238- - [c76]Andy J. Wellings, Joyce L. Tokar:
Session summary: integration versus orthogonality (RTSJ scheduling policies versus Ada's). IRTAW 2003: 13-15 - [c75]Andy J. Wellings:
Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95? IRTAW 2003: 16-21 - [c74]Alan Burns, Andy J. Wellings, Tullio Vardanega:
Report of session: flexible scheduling in Ada. IRTAW 2003: 32-35 - [c73]Alan Burns, Andy J. Wellings:
Task attribute-based scheduling: extending Ada's support for scheduling. IRTAW 2003: 36-41 - [c72]Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat:
Gain Time Reclaiming in High Performance Real-Time Java Systems. ISORC 2003: 249-256 - [c71]Jagun Kwon, Andy J. Wellings, Steve King:
Predictable Memory Utilization in the Ravenscar-Java Profile. ISORC 2003: 267-276 - [c70]Hao Cai, Andy J. Wellings:
Towards a High Integrity Real-Time Java Virtual Machine. OTM Workshops 2003: 319-334 - [c69]Alan Burns, Andy J. Wellings:
Processing Group Parameters in the Real-Time Specification for Java. OTM Workshops 2003: 360-370 - [c68]Andrew Borg, Andy J. Wellings:
Reference Objects for RTSJ Memory Areas. OTM Workshops 2003: 397-410 - [c67]Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat:
Deriving Java Virtual Machine Timing Models for Portable Worst-Case Execution Time Analysis. OTM Workshops 2003: 411-424 - [c66]Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat:
XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment. RTCSA 2003: 208-228 - 2002
- [c65]Jorge Real, Alfons Crespo, Andy J. Wellings, Alan Burns:
Protected ceiling changes. IRTAW 2002: 66-71 - [c64]Alan Burns, Andy J. Wellings:
Accessing delay queues. IRTAW 2002: 72-76 - [c63]Andy J. Wellings, Tullio Vardanega:
Report of session: language changes for scheduling, modeling and analysis. IRTAW 2002: 125-127 - [c62]Andy J. Wellings, Roy Clark, E. Douglas Jensen, Douglas Wells:
A Framework for Integrating the Real-Time Specification for Java and Java's Remote Method Invocation. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 13-22 - [c61]Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings:
Addressing Dynamic Dispatching Issues in WCET Analysis for Object-Oriented Hard Real-Time Systems. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 109-118 - [c60]Jagun Kwon, Andy J. Wellings, Steve King:
Ravenscar-Java: a high integrity profile for real-time Java. Java Grande 2002: 131-140 - [c59]Andy J. Wellings, Alan Burns:
Asynchronous Event Handling and Real-time Threads in the Real-time Specification for Java. IEEE Real Time Technology and Applications Symposium 2002: 81-89 - [c58]Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings:
A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems. WORDS 2002: 77-84 - 2001
- [j37]Alan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev:
Modelling and verification of an atomic action protocol implemented in Ada. Comput. Syst. Sci. Eng. 16(3): 173-182 (2001) - [c57]Peter P. Puschner, Andy J. Wellings:
A Profile for High-Integrity Real-Time Java Programs. ISORC 2001: 15-22 - 2000
- [j36]José V. Busquets-Mataix, Daniel Gil, Pedro J. Gil, Andy J. Wellings:
Techniques to increase the schedulable utilization of cache-based preemptive real-time systems. J. Syst. Archit. 46(4): 357-378 (2000) - [j35]Patrick Rogers, Andy J. Wellings:
State restoration in Ada 95: a portable approach to supporting software fault tolerance. J. Syst. Softw. 50(3): 237-255 (2000) - [j34]Stefan Poledna, Alan Burns, Andy J. Wellings, Peter Barrett:
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems. IEEE Trans. Computers 49(2): 100-111 (2000) - [j33]Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf, Stephen Michell:
Integrating object-oriented programming and protected objects in Ada 95. ACM Trans. Program. Lang. Syst. 22(3): 506-539 (2000) - [c56]Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf, Stephen Michell:
Object-Oriented Programming and Protected Objects in Ada 95. Ada-Europe 2000: 16-28 - [c55]Guillem Bernat, Alan Burns, Andy J. Wellings:
Portable worst-case execution time analysis using Java Byte Code. ECRTS 2000: 81-88 - [c54]Andy J. Wellings:
Status and future of the Ravenscar profile session summary. IRTAW 2000: 5-8 - [c53]Neil C. Audsley, Andy J. Wellings:
Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems. IRTAW 2000: 33-39 - [c52]Alan Burns, Andy J. Wellings, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev:
On developing and verifying design abstractions for reliable concurrent programming in Ada. IRTAW 2000: 48-55 - [c51]Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf, Stephen Michell:
Extensible protected types: proposal status. IRTAW 2000: 105-110
1990 – 1999
- 1999
- [j32]David Powell, Jean Arlat, Ljerka Beus-Dukic, Andrea Bondavalli, P. Coppola, Alessandro Fantechi, Eric Jenn, Christophe Rabéjac, Andy J. Wellings:
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems. IEEE Trans. Parallel Distributed Syst. 10(6): 580-599 (1999) - [c50]Jorge Real, Andy J. Wellings:
The Ceiling Protocol in Multi-moded Real-Time Systems. Ada-Europe 1999: 275-286 - [c49]Patrick Rogers, Andy J. Wellings:
An Incremental RecoveryCache Supporting Sotware Fault Tolerance. Ada-Europe 1999: 385-396 - [c48]Jorge Real, Andy J. Wellings:
Implementing mode changes with shared resources in Ada. ECRTS 1999: 86-93 - [c47]Andy J. Wellings:
New language features and other language issues (session summary). IRTAW 1999: 19-20 - [c46]Jorge Real, Andy J. Wellings:
Dynamic ceiling priorities and Ada 95. IRTAW 1999: 41-48 - [c45]Alan Burns, Andy J. Wellings:
How to verify concurrent Ada programs: the application of model checking. IRTAW 1999: 78-83 - 1998
- [j31]Stuart E. Mitchell, Andy J. Wellings, Alexander B. Romanovsky:
Distributed Atomic Actions in Ada 95. Comput. J. 41(7): 486-502 (1998) - [j30]Ljerka Beus-Dukic, Andy J. Wellings:
Requirements for a COTS software component: A case study. Requir. Eng. 3(1): 115-120 (1998) - [c44]Stuart E. Mitchell, Alan Burns, Andy J. Wellings:
MOPping up Exceptions. ECOOP Workshops 1998: 365-366 - [c43]Andy J. Wellings, Ljerka Beus-Dukic, David Powell:
Real-Time Scheduling in a Generic Fault-Tolerant Architecture. RTSS 1998: 390-398 - [c42]O. P. Kiddle, Andy J. Wellings:
Extensible Protected Types. SIGAda 1998: 229-239 - 1997
- [b3]Alan Burns, Andrew J. Wellings:
Real-time systems and their programming languages (2. ed.). Addison-Wesley 1997, ISBN 978-0-201-40365-7, pp. I-XVI, 1-611 - [j29]Colin J. Fidge, Andy J. Wellings:
An Action-Based Formal Model for Concurrent Real-Time Systems. Formal Aspects Comput. 9(2): 175-207 (1997) - [j28]Alan Burns, Andy J. Wellings:
Synchronous sessions and fixed priority scheduling. J. Syst. Archit. 44(2): 107-118 (1997) - [j27]Andy J. Wellings, Alan Burns:
Implementing Atomic Actions in Ada 95. IEEE Trans. Software Eng. 23(2): 107-123 (1997) - [c41]Andy J. Wellings, Alan Burns, Offer Pazy:
Task Termination in Ada 95. Ada-Europe 1997: 149-160 - [c40]Alexander B. Romanovsky, Stuart E. Mitchell, Andy J. Wellings:
On Programming Atomic Actions in Ada 95. Ada-Europe 1997: 254-265 - [c39]Stuart E. Mitchell, Alan Burns, Andy J. Wellings:
Adaptive Scheduling Using Reflection. ECOOP Workshops 1997: 74-79 - [c38]José V. Busquets-Mataix, Juan José Serrano, Andy J. Wellings:
Hybrid instruction cache partitioning for preemptive real-time systems. RTS 1997: 56-63 - [c37]Andy J. Wellings, Juan Antonio de la Puente:
Object-oriented programming and real-time (session summary). IRTAW 1997: 16-17 - [c36]Alan Burns, Andy J. Wellings:
Feature interactions with dynamic priorities. IRTAW 1997: 24-26 - [c35]Alan Burns, Andy J. Wellings:
Restricted tasking models. IRTAW 1997: 27-32 - [c34]Andy J. Wellings, Alan Burns, Offer Pazy:
Task termination and Ada 95. IRTAW 1997: 100-105 - [c33]Simon Fowler, Andy J. Wellings:
Formal development of a real-time kernel. RTSS 1997: 220-229 - [c32]Stuart E. Mitchell, Alan Burns, Andrew J. Wellings:
Developing a real-time metaobject protocol. WORDS 1997: 323-330 - [e1]Andy J. Wellings:
Proceedings of the Eighth International Workshop on Real-Time Ada, IRTAW 1997, Ravenscar, United Kingdom, 1997. ACM 1997, ISBN 978-1-4503-7311-1 [contents] - 1996
- [j26]Andy J. Wellings, Alan Burns:
Programming Replicated Systems in Ada 95. Comput. J. 39(5): 361-373 (1996) - [j25]Stuart E. Mitchell, Andy J. Wellings:
Synchronisation, Concurrent Object-Oriented Programming and the Inheritance Anomaly. Comput. Lang. 22(1): 15-26 (1996) - [j24]Neil C. Audsley, Alan Burns, Robert I. Davis, D. J. Scholefield, Andy J. Wellings:
Integrating optional software components into hard real-time systems. Softw. Eng. J. 11(3): 133-140 (1996) - [j23]Roderick Chapman, Alan Burns, Andy J. Wellings:
Combining Static Worst-Case Timing Analysis and Program Proof. Real Time Syst. 11(2): 145-171 (1996) - [c31]Alan Burns, Andy J. Wellings:
Ada 95: An Effective Concurrent Programming Language. Ada-Europe 1996: 58-77 - [c30]José V. Busquets-Mataix, Juan José Serrano, Rafael Ors Carot, Pedro J. Gil, Andrew J. Wellings:
Adding Instruction Cache Effect to an Exact Schedulability Analysis of Preemptive Real-Time Systems. RTS 1996: 271-276 - [c29]Simon Fowler, Andy J. Wellings:
Formal Analysis of a Real-Time Kernel Specification. FTRTFT 1996: 440-458 - [c28]Sijing Zhang, Alan Burns, Andy J. Wellings:
An Efficient and Practical Local Synchronous Bandwidth Allocation Scheme for the Timed-Token MAC Protocol. INFOCOM 1996: 920-927 - [c27]José V. Busquets-Mataix, Juan José Serrano, Rafael Ors, Pedro J. Gil, Andy J. Wellings:
Adding instruction cache effect to schedulability analysis of preemptive real-time systems. IEEE Real Time Technology and Applications Symposium 1996: 204-212 - [c26]José V. Busquets-Mataix, Juan José Serrano, Rafael Ors, Pedro J. Gil, Andy J. Wellings:
Using harmonic task-sets to increase the schedulable utilization of cache-based preemptive real-time systems. RTCSA 1996: 195-202 - [c25]Jeongyoujng Byun, Andy J. Wellings, Alan Burns:
A Worst-Case Behavior Analysis for Hard Real-Time Transactions. RTDB 1996: 144-149 - [c24]Neil C. Audsley, Andy J. Wellings:
Analysing APEX applications. RTSS 1996: 39-44 - [c23]Stuart E. Mitchell, Andy J. Wellings:
Real-time programming in the concurrent object-oriented language TAO. WORDS 1996: 179-181 - 1995
- [j22]Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings:
Data Consistency in Hard Real-Time Systems. Informatica (Slovenia) 19(2) (1995) - [j21]Neil C. Audsley, Alan Burns, Robert I. Davis, Ken Tindell, Andy J. Wellings:
Fixed Priority Pre-emptive Scheduling: An Historical Perspective. Real Time Syst. 8(2-3): 173-198 (1995) - [j20]Ken Tindell, Alan Burns, Andy J. Wellings:
Analysis of Hard Real-Time Communications. Real Time Syst. 9(2): 147-171 (1995) - [j19]Alan Burns, Andy J. Wellings:
Engineering a Hard Real-time System: From Theory to Practice. Softw. Pract. Exp. 25(7): 705-726 (1995) - [j18]Alan Burns, Ken Tindell, Andy J. Wellings:
Effective Analysis for Engineering Real-Time Fixed Priority Schedulers. IEEE Trans. Software Eng. 21(5): 475-480 (1995) - [c22]Pete Cornwell, Andy J. Wellings:
Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD. Ada-Europe 1995: 365-378 - [c21]Alan Burns, Neil C. Audsley, Andy J. Wellings:
Real-time distributed computing. FTDCS 1995: 34-40 - [c20]Robert I. Davis, Andy J. Wellings:
Dual Priority Scheduling. RTSS 1995: 100-109 - 1994
- [j17]Anthony B. Gargaro, Stephen J. Goldsack, A. A. Holzbacher-Valero, Richard A. Volz, Raymond Waldrop, Andy J. Wellings:
Supporting distribution and dynamic reconfiguration in AdaPT. Distributed Syst. Eng. 1(3): 145-161 (1994) - [j16]Alan Burns, Andy J. Wellings:
HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. Real Time Syst. 6(1): 73-114 (1994) - [j15]Ken Tindell, Alan Burns, Andy J. Wellings:
An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks. Real Time Syst. 6(2): 133-151 (1994) - [j14]Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings:
STRESS: a Simulator for Hard Real-time Systems. Softw. Pract. Exp. 24(6): 543-564 (1994) - [c19]Alan Burns, Ken Tindell, Andrew J. Wellings:
Fixed priority scheduling with deadlines prior to completion. RTS 1994: 138-142 - [c18]Ken Tindell, H. Hanssmon, Andy J. Wellings:
Analysing Real-Time Communications: Controller Area Network (CAN). RTSS 1994: 259-263 - 1993
- [j13]Neil C. Audsley, Alan Burns, Mike M. Richardson, Ken Tindell, Andy J. Wellings:
Applying new scheduling theory to static priority pre-emptive scheduling. Softw. Eng. J. 8(5): 284-292 (1993) - [c17]Alan Burns, Andy J. Wellings, C. M. Bailey, E. Fyfe:
The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation. Ada-Europe 1993: 19-35 - [c16]Alan Burns, Andy J. Wellings, A. D. Hutcheon:
The Impact of an Ada Run-Time System's Performance Characteristics on Scheduling Models. Ada-Europe 1993: 240-248 - [c15]Alan Burns, Andrew J. Wellings:
Dual Priority Assignment: A Practical Method For Increasing Processor Utilisation. RTS 1993: 48-53 - [c14]C. M. Bailey, E. Fyfe, Tullio Vardanega, Andy J. Wellings:
The use of preemptive priority-based scheduling for space applications. RTSS 1993: 253-257 - 1992
- [j12]Paul Baden Austin, Kevin Murray, Andy J. Wellings:
File system caching in large point-to-point networks. Softw. Eng. J. 7(1): 65-80 (1992) - [j11]Ken Tindell, Alan Burns, Andy J. Wellings:
Allocating Hard Real-Time tasks: An NP-Hard Problem Made Easy. Real Time Syst. 4(2): 145-165 (1992) - [c13]Alan Burns, Andy J. Wellings:
Designing Hard Real-Time Systems. Ada-Europe 1992: 116-127 - [c12]Neil C. Audsley, Alan Burns, Mike F. Richardson, Andrew J. Wellings:
Absolute and relative temporal constraints in hard real-time databases. RTS 1992: 148-153 - [c11]Simon A. Dobson, Andy J. Wellings:
A System for Building Scalable Parallel Applications. Programming Environments for Parallel Computing 1992: 215-230 - [c10]Ken Tindell, Alan Burns, Andy J. Wellings:
Mode Changes In Priority Pre-Emptively Scheduled Systems. RTSS 1992: 100-109 - 1991
- [j10]Alan Burns, Andy J. Wellings:
Priority Inheritance and Message Passing Communication: A Formal Treatment. Real Time Syst. 3(1): 19-44 (1991) - [j9]Alan Burns, Andy J. Wellings:
Criticality and Utility in the Next Generation. Real Time Syst. 3(4): 351-354 (1991) - [j8]Paul Baden Austin, Kevin Murray, Andy J. Wellings:
The Design of an Operating System for a Scalable Parallel Computing Engine. Softw. Pract. Exp. 21(10): 989-1013 (1991) - [c9]Ljerka Beus-Dukic, Andy J. Wellings:
Scheduling time constrained messages on miniMAP. RTS 1991: 106-110 - 1990
- [j7]Alan Burns, Andy J. Wellings:
The Notion of Priority in Real-Time Programming Languages. Comput. Lang. 15(3): 153-162 (1990) - [j6]Kevin Murray, Andy J. Wellings:
Wisdom: A distributed operating system for transputers. Comput. Syst. Sci. Eng. 5(1): 13-20 (1990) - [j5]Andrew D. Hutcheon, Andy J. Wellings:
Specifying restrictions on imperative programming languages for use in a distributed embedded environment. Softw. Eng. J. 5(2): 93-104 (1990) - [c8]Andy J. Wellings:
Real-time requirements. IRTAW 1990: 1-16 - [c7]Alan Burns, Andy J. Wellings, Gordon Davies:
Asynchronous transfer of control in Ada 9X. IRTAW 1990: 75-84 - [c6]Anthony B. Gargaro, Stephen J. Goldsack, R. K. Powers, Richard A. Volz, Andy J. Wellings:
Adapting Ada distribution and fault tolerance. IRTAW 1990: 111-117
1980 – 1989
- 1989
- [j4]Alan Burns, Andy J. Wellings:
Dynamic change management and Ada. J. Softw. Maintenance Res. Pract. 1(2): 121-131 (1989) - [c5]Alan Burns, Andy J. Wellings:
Real-time Ada: outstanding problem areas. IRTAW 1989: 5-14 - [c4]Alan Burns, Andy J. Wellings:
Usability of the Ada tasking-model. IRTAW 1989: 49-56 - 1988
- [j3]Kevin Murray, Andy J. Wellings:
Issues in the design and implementation of a distributed operating system for a network of transputers. Microprocess. Microprogramming 24(1-5): 169-177 (1988) - [j2]Alan Burns, Gordon Davies, Andy J. Wellings:
A Modula-2 implementation of a real-time process abstraction. ACM SIGPLAN Notices 23(10): 49-58 (1988) - [c3]Andrew D. Hutcheon, Andy J. Wellings:
Supporting Ada in a distributed environment. IRTAW 1988: 113-117 - 1987
- [b2]Alan Burns, Andrew M. Lister, Andy J. Wellings:
A Review of Ada Tasking. Lecture Notes in Computer Science 262, Springer 1987, ISBN 3-540-18008-7 - [c2]Alan Burns, Andy J. Wellings:
Real-time Ada issues. IRTAW 1987: 43-46 - [c1]Andrew D. Hutcheon, David S. Snowden, Andy J. Wellings:
Programming and debugging distributed real-time applications in Ada. IRTAW 1987: 73-76 - 1986
- [b1]Alan Burns, Andy J. Wellings:
Real-time systems and their programming languages. International computer science series, Addison-Wesley 1986, ISBN 978-0-201-17529-5 - 1985
- [j1]G. M. Tomlinson, D. Keeffe, I. C. Wand, Andy J. Wellings:
The PULSE Distributed File System. Softw. Pract. Exp. 15(11): 1087-1101 (1985)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-05 02:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint