


Остановите войну!
for scientists:


default search action
Andy 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]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]