default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndy J. Wellings
Andrew 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
showing all ?? records
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]