Andy J. Wellings Home Page Coauthor index pubzone.org

Andrew J. Wellings

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ana Cavalcanti, Andy J. Wellings, Jim Woodcock: The Safety-Critical Java memory model formalised. Formal Asp. Comput. 25(1): 37-57 (2013)
2012
j49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy J. Wellings, MinSeong Kim: Asynchronous event handling and Safety Critical Java. Concurrency and Computation: Practice and Experience 24(8): 813-832 (2012)
c96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
e4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chunming Hu, Gabor Karsai, Jie Xu, Andreas Polze, Ji Wang, Andy J. Wellings (Eds.): 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2012, Shenzhen, China, April 11-13, 2012. IEEE 2012, isbn 978-1-4673-0499-3
e3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martin Schoeberl, Andy J. Wellings (Eds.): 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
2011
j48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
MinSeong Kim, Andy J. Wellings: Multiprocessors and Asynchronous Event Handling in the Real-Time Specification for Java. Comput. J. 54(8): 1308-1324 (2011)
j47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings: A model-based development approach for the verification of real-time Java code. Concurrency and Computation: Practice and Experience 23(13): 1583-1606 (2011)
j46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
MinSeong Kim, Andy J. Wellings: Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ. Concurrency and Computation: Practice and Experience 23(14): 1609-1622 (2011)
j45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ana Cavalcanti, Andy J. Wellings, Jim Woodcock: The Safety-Critical Java Memory Model: A Formal Account. FM 2011: 246-261
c94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frank Zeyda, Ana Cavalcanti, Andy J. Wellings: The Safety-Critical Java Mission Model: A Formal Account. ICFEM 2011: 49-65
c93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy J. Wellings, S. Lin, Alan Burns: Resource sharing in RTSJ and SCJ systems. JTRES 2011: 11-19
c92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ana Cavalcanti, Andy J. Wellings, Jim Woodcock, Kun Wei, Frank Zeyda: Safety-critical Java in Circus. JTRES 2011: 20-29
c91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy J. Wellings, Martin Schoeberl: User-defined clocks in the real-time specification for Java. JTRES 2011: 74-81
e2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy J. Wellings, Anders P. Ravn (Eds.): 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
2010
j44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
R. Nigel Horspool, Andy J. Wellings: Focus Section Editorial. Softw., Pract. Exper. 40(12): 1105 (2010)
j43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yang Chang, Andy J. Wellings: Garbage Collection for Flexible Hard Real-Time Systems. IEEE Trans. Computers 59(8): 1063-1075 (2010)
j42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
MinSeong Kim, Andy J. Wellings: Efficient asynchronous event handling in the real-time specification for Java. ACM Trans. Embedded Comput. Syst. 10(1) (2010)
j41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Osmar Marchi dos Santos, Andy J. Wellings: Measuring and policing blocking times in real-time systems. ACM Trans. Embedded Comput. Syst. 10(1) (2010)
j40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexandros Zerzelidis, Andy J. Wellings: A framework for flexible scheduling in the RTSJ. ACM Trans. Embedded Comput. Syst. 10(1) (2010)
c90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Burns, Andy J. Wellings: Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada. Ada-Europe 2010: 41-53
c89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy J. Wellings, Alan Burns: The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005. Ada-Europe 2010: 196-207
c88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Richardson, Andy J. Wellings: An Admission Control Protocol for Real-Time OSGi. ISORC 2010: 217-224
c87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
MinSeong Kim, Andy J. Wellings: Using the executor framework to implement asynchronous event handling in the RTSJ. JTRES 2010: 16-25
c86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abdul Haseeb Malik, Andy J. Wellings, Yang Chang: A locality model for the real-time specification for Java. JTRES 2010: 36-45
c85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy J. Wellings, MinSeong Kim: Asynchronous event handling and safety critical Java. JTRES 2010: 53-62
c84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Richardson, Andy J. Wellings, J. A. Dianes, M. Díaz: Towards memory management for service-oriented real-time systems. JTRES 2010: 128-137
c83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings: TART: Timed-Automata to Real-Time Java Tool. SEFM 2010: 299-309
2009
c82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Burns, Andy J. Wellings, Fengxiang Zhang: Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005. Ada-Europe 2009: 119-133
c81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
MinSeong Kim, Andy J. Wellings: Refactoring Asynchronous Event Handling in the Real-Time Specification for Java. ECRTS 2009: 25-34
c80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy J. Wellings, Martin Schoeberl: Thread-Local Scope Caching for Real-time Java. ISORC 2009: 275-282
c79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Richardson, Andy J. Wellings, J. A. Dianes, M. Díaz: Providing temporal isolation in the OSGi framework. JTRES 2009: 1-10
c78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohammed AlRahmawy, Andy J. Wellings: Design patterns for supporting RTSJ component models. JTRES 2009: 11-20
c77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohammed AlRahmawy, Andy J. Wellings: An RTSJ-based reconfigurable server component. JTRES 2009: 31-40
c76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy J. Wellings, Yang Chang, Thomas Richardson: Enhancing the platform independence of the real-time specification for Java. JTRES 2009: 61-69
c75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
MinSeong Kim, Andy J. Wellings: Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ. JTRES 2009: 80-89
c74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter C. Dibble, Andy J. Wellings: JSR-282 status report. JTRES 2009: 179-182
2008
j39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miguel Masmano, Ismael Ripoll, Jorge Real, Alfons Crespo, Andy J. Wellings: Implementation of a constant-time dynamic storage allocator. Softw., Pract. Exper. 38(10): 995-1026 (2008)
c73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy J. Wellings: Multiprocessors and the Real-Time Specification for Java. ISORC 2008: 255-261
c72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy J. Wellings, M. S. Kim: Processing group parameters in the real-time specification for Java. JTRES 2008: 3-9
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
MinSeong Kim, Andy J. Wellings: An efficient and predictable implementation of asynchronous event handling in the RTSJ. JTRES 2008: 48-57
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Osmar Marchi dos Santos, Andy J. Wellings: Blocking time monitoring in the real-time specification for Java. JTRES 2008: 135-143
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Osmar Marchi dos Santos, Andy J. Wellings: Run Time Detection of Blocking Time Violations in Real-Time Systems. RTCSA 2008: 347-356
2007
b5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Burns, Andy J. Wellings: Concurrent and real-time programming in Ada. Cambridge University Press 2007, pp. I-XIV, 1-461
j38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Osmar Marchi dos Santos, Andy J. Wellings: Cost enforcement in the real-time specification for Java. Real-Time Systems 37(2): 139-179 (2007)
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Burns, Andy J. Wellings: Delivering Real-Time Behaviour. Domain Modeling and the Duration Calculus 2007: 1-50
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy J. Wellings, Alan Burns: Real-Time Utilities for Ada 2005. Ada-Europe 2007: 1-14
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
MinSeong Kim, Andy J. Wellings: Asynchronous event handling in the real-time specification for Java. JTRES 2007: 3-12
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohammed AlRahmawy, Andy J. Wellings: A model for real time mobility based on the RTSJ. JTRES 2007: 155-164
2006
j37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrew Borg, Andy J. Wellings: Scoped, coarse-grain memory management and the RTSJ scoped memory model in the development of real-time applications. IJES 2(3/4): 166-183 (2006)
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Benjamin M. Brosgol, Andy J. Wellings: A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications. Ada-Europe 2006: 13-26
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrew Borg, Andy J. Wellings, Christopher D. Gill, Ron K. Cytron: Real-Time Memory Management: Life and Times. ECRTS 2006: 237-250
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexandros Zerzelidis, Andy J. Wellings: Getting More Flexible Scheduling in the RTSJ. ISORC 2006: 3-10
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Burns, Andy J. Wellings: Programming Execution-Time Servers in Ada 2005. RTSS 2006: 47-56
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yang Chang, Andy J. Wellings: Hard Real-Time Hybrid Garbage Collection with Low Memory Requirements. RTSS 2006: 77-88
2005
j36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jagun Kwon, Andy J. Wellings, Steve King: Ravenscar-Java: a high-integrity profile for real-time Java. Concurrency - Practice and Experience 17(5-6): 681-713 (2005)
j35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexandros Zerzelidis, Andy J. Wellings: Requirements for a real-time .NET framework. SIGPLAN Notices 40(2): 41-50 (2005)
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Rogers, Andy J. Wellings: The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95. Ada-Europe 2005: 236-247
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hao Cai, Andy J. Wellings: Temporal Isolation in Ravenscar-Java. ISORC 2005: 364-371
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yang Chang, Andy J. Wellings: Integrating Hybrid Garbage Collection with Dual Priority Scheduling. RTCSA 2005: 185-188
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tullio Vardanega, Andy J. Wellings (Eds.): 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
2004
b4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy J. Wellings: Concurrent and real-time programming in Java. Wiley 2004, isbn 978-0-470-84437-3, pp. I-XIV, 1-431
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luís Miguel Pinho, Francisco Vasques, Andy J. Wellings: Replication Management in Reliable Real-Time Systems. Real-Time Systems 26(3): 261-296 (2004)
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Burns, Andy J. Wellings, S. Tucker Taft: Supporting Deadlines and EDF Scheduling in Ada. Ada-Europe 2004: 156-165
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Rogers, Andy J. Wellings: OpenAda: Compile-Time Reflection for Ada 95. Ada-Europe 2004: 166-177
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter C. Dibble, Andy J. Wellings: The Real-Time Specification for Java: Current Status and Future Work. ISORC 2004: 71-77
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hao Cai, Andy J. Wellings: A Real-Time Isolate Specification for Ravenscar-Java. ISORC 2004: 325-328
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hao Cai, Andy J. Wellings: Supporting Mixed Criticality Applications in a Ravenscar-Java Environment. OTM Workshops 2004: 278-291
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrew Borg, Andy J. Wellings: Towards an Understanding of the Expressive Power of the RTSJ Scoped Memory Model. OTM Workshops 2004: 315-332
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jagun Kwon, Andy J. Wellings: Memory Management Based on Method Invocation in RTSJ. OTM Workshops 2004: 333-345
2003
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy J. Wellings, Peter P. Puschner: Evaluating the Expressive Power of the Real-Time Specification for Java. Real-Time Systems 24(3): 319-359 (2003)
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jagun Kwon, Andy J. Wellings, Steve King: Assessment of the Java programming language for use in high integrity systems. SIGPLAN Notices 38(4): 34-46 (2003)
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Burns, Michael González Harbour, Andy J. Wellings: A Round Robin Scheduling Policy for Ada. Ada-Europe 2003: 334-343
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrew Borg, Andy J. Wellings: A Real-Time RMI Framework for the RTSJ. ECRTS 2003: 238-
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat: Gain Time Reclaiming in High Performance Real-Time Java Systems. ISORC 2003: 249-256
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jagun Kwon, Andy J. Wellings, Steve King: Predictable Memory Utilization in the Ravenscar-Java Profile. ISORC 2003: 267-276
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hao Cai, Andy J. Wellings: Towards a High Integrity Real-Time Java Virtual Machine. OTM Workshops 2003: 319-334
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Burns, Andy J. Wellings: Processing Group Parameters in the Real-Time Specification for Java. OTM Workshops 2003: 360-370
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrew Borg, Andy J. Wellings: Reference Objects for RTSJ Memory Areas. OTM Workshops 2003: 397-410
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat: XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment. RTCSA 2003: 208-228
2002
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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-
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jagun Kwon, Andy J. Wellings, Steve King: Ravenscar-Java: a high integrity profile for real-time Java. Java Grande 2002: 131-140
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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-
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter P. Puschner, Andy J. Wellings: A Profile for High-Integrity Real-Time Java Programs. ISORC 2001: 15-22
2000
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. Journal of Systems Architecture 46(4): 357-378 (2000)
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Rogers, Andy J. Wellings: State restoration in Ada 95: a portable approach to supporting software fault tolerance. Journal of Systems and Software 50(3): 237-255 (2000)
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy J. Wellings, Bob Johnson, Bo Sanden, 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)
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy J. Wellings, Bob Johnson, Bo Sanden, Jörg Kienzle, Thomas Wolf, Stephen Michell: Object-Oriented Programming and Protected Objects in Ada 95. Ada-Europe 2000: 16-28
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Guillem Bernat, Alan Burns, Andy J. Wellings: Portable worst-case execution time analysis using Java Byte Code. ECRTS 2000: 81-88
1999
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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 Distrib. Syst. 10(6): 580-599 (1999)
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jorge Real, Andy J. Wellings: The Ceiling Protocol in Multi-moded Real-Time Systems. Ada-Europe 1999: 275-286
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Rogers, Andy J. Wellings: An Incremental RecoveryCache Supporting Sotware Fault Tolerance. Ada-Europe 1999: 385-396
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jorge Real, Andy J. Wellings: Implementing mode changes with shared resources in Ada. ECRTS 1999: 86-93
1998
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stuart E. Mitchell, Andy J. Wellings, Alexander B. Romanovsky: Distributed Atomic Actions in Ada 95. Comput. J. 41(7): 486-502 (1998)
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stuart E. Mitchell, Alan Burns, Andy J. Wellings: MOPping up Exceptions. ECOOP Workshops 1998: 365-366
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy J. Wellings, Ljerka Beus-Dukic, David Powell: Real-Time Scheduling in a Generic Fault-Tolerant Architecture. RTSS 1998: 390-398
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
O. P. Kiddle, Andy J. Wellings: Extensible Protected Types. SIGAda 1998: 229-239
1997
b3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Colin J. Fidge, Andy J. Wellings: An Action-Based Formal Model for Concurrent Real-Time Systems. Formal Asp. Comput. 9(2): 175-207 (1997)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Burns, Andy J. Wellings: Synchronous sessions and fixed priority scheduling. Journal of Systems Architecture 44(2): 107-118 (1997)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy J. Wellings, Alan Burns: Implementing Atomic Actions in Ada 95. IEEE Trans. Software Eng. 23(2): 107-123 (1997)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy J. Wellings, Alan Burns, Offer Pazy: Task Termination in Ada 95. Ada-Europe 1997: 149-160
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander B. Romanovsky, Stuart E. Mitchell, Andy J. Wellings: On Programming Atomic Actions in Ada 95. Ada-Europe 1997: 254-265
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stuart E. Mitchell, Alan Burns, Andy J. Wellings: Adaptive Scheduling Using Reflection. ECOOP Workshops 1997: 74-79
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Simon Fowler, Andy J. Wellings: Formal development of a real-time kernel. RTSS 1997: 220-229
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stuart E. Mitchell, Alan Burns, Andrew J. Wellings: Developing a real-time metaobject protocol. WORDS 1997: 323-330
1996
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy J. Wellings, Alan Burns: Programming Replicated Systems in Ada 95. Comput. J. 39(5): 361-373 (1996)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stuart E. Mitchell, Andy J. Wellings: Synchronisation, Concurrent Object-Oriented Programming and the Inheritance Anomaly. Comput. Lang. 22(1): 15-26 (1996)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roderick Chapman, Alan Burns, Andy J. Wellings: Combining Static Worst-Case Timing Analysis and Program Proof. Real-Time Systems 11(2): 145-171 (1996)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Burns, Andy J. Wellings: Ada 95: An Effective Concurrent Programming Language. Ada-Europe 1996: 58-77
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Simon Fowler, Andy J. Wellings: Formal Analysis of a Real-Time Kernel Specification. FTRTFT 1996: 440-458
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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-
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jeongyoujng Byun, Andy J. Wellings, Alan Burns: A Worst-Case Behavior Analysis for Hard Real-Time Transactions. RTDB 1996: 144-149
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Neil C. Audsley, Andy J. Wellings: Analysing APEX applications. RTSS 1996: 39-44
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stuart E. Mitchell, Andy J. Wellings: Real-time programming in the concurrent object-oriented language TAO. WORDS 1996: 179-181
1995
j17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings: Data Consistency in Hard Real-Time Systems. Informatica (Slovenia) 19(2) (1995)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Neil C. Audsley, Alan Burns, Robert I. Davis, Ken Tindell, Andy J. Wellings: Fixed Priority Pre-emptive Scheduling: An Historical Perspective. Real-Time Systems 8(2-3): 173-198 (1995)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ken Tindell, Alan Burns, Andy J. Wellings: Analysis of Hard Real-Time Communications. Real-Time Systems 9(2): 147-171 (1995)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Burns, Andy J. Wellings: Engineering a Hard Real-time System: From Theory to Practice. Softw., Pract. Exper. 25(7): 705-726 (1995)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pete Cornwell, Andy J. Wellings: Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD. Ada-Europe 1995: 365-378
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Burns, Neil C. Audsley, Andy J. Wellings: Real-time distributed computing. FTDCS 1995: 34-40
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert I. Davis, Andy J. Wellings: Dual Priority Scheduling. RTSS 1995: 100-109
1994
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
A. B. Gargaro, S. J. Goldsack, A. A. Holzbacher-Valero, Richard A. Volz, R. Waldrop, Andy J. Wellings: Supporting distribution and dynamic reconfiguration in AdaPT. Distributed Systems Engineering 1(3): 145-161 (1994)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Burns, Andy J. Wellings: HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. Real-Time Systems 6(1): 73-114 (1994)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ken Tindell, Alan Burns, Andy J. Wellings: An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks. Real-Time Systems 6(2): 133-151 (1994)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings: STRESS: a Simulator for Hard Real-time Systems. Softw., Pract. Exper. 24(6): 543-564 (1994)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ken Tindell, H. Hanssmon, Andy J. Wellings: Analysing Real-Time Communications: Controller Area Network (CAN). RTSS 1994: 259-263
1993
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
1992
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ken Tindell, Alan Burns, Andy J. Wellings: Allocating Hard Real-Time tasks: An NP-Hard Problem Made Easy. Real-Time Systems 4(2): 145-165 (1992)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Burns, Andy J. Wellings: Designing Hard Real-Time Systems. Ada-Europe 1992: 116-127
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Simon A. Dobson, Andy J. Wellings: A System for Building Scalable Parallel Applications. Programming Environments for Parallel Computing 1992: 215-230
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ken Tindell, Alan Burns, Andy J. Wellings: Mode Changes In Priority Pre-Emptively Scheduled Systems. RTSS 1992: 100-109
1991
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Burns, Andy J. Wellings: Priority Inheritance and Message Passing Communication: A Formal Treatment. Real-Time Systems 3(1): 19-44 (1991)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Burns, Andy J. Wellings: Criticality and Utility in the Next Generation. Real-Time Systems 3(4): 351-354 (1991)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Austin, Kevin Murray, Andy J. Wellings: The Design of an Operating System for a Scalable Parallel Computing Engine. Softw., Pract. Exper. 21(10): 989-1013 (1991)
1990
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Burns, Andy J. Wellings: The Notion of Priority in Real-Time Programming Languages. Comput. Lang. 15(3): 153-162 (1990)
j3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kevin Murray, Andy J. Wellings: Wisdom: A distributed operating system for transputers. Comput. Syst. Sci. Eng. 5(1): 13-20 (1990)
1988
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Burns, Gordon Davies, Andy J. Wellings: A Modula-2 implementation of a real-time process abstraction. SIGPLAN Notices 23(10): 49-58 (1988)
1987
b2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
1986
b1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
G. M. Tomlinson, D. Keeffe, I. C. Wand, Andy J. Wellings: The PULSE Distributed File System. Softw., Pract. Exper. 15(11): 1087-1101 (1985)

Coauthor Index

1Mohammed AlRahmawy
[c78] [c77] [c64]
2Luís Almeida
[j34]
3Jean Arlat
[j25]
4Neil C. Audsley
[c11] [j17] [j16] [c8] [j9]
5Paul Austin
[j5]
6C. M. Bailey
[c5]
7Peter Barrett
[j27]
8Albert Benveniste
[j34]
9Guillem Bernat
[c43] [c38] [c37] [c35] [c32] [c29]
10Ljerka Beus-Dukic
[j25] [c24]
11Gregory Bollella
[c51]
12Andrea Bondavalli
[j25]
13Andrew Borg
[j37] [c62] [c48] [c44] [c39]
14Bruno Bouyssounouse
[j34]
15Benjamin M. Brosgol (Ben Brosgol)
[c66] [c63] [c46]
16Alan Burns
[c93] [c90] [c89] [c82] [b5] [c68] [c67] [c66] [c60] [c54] [c45] [c40] [c33] [j30] [j27] [c29] [c25] [b3] [j22] [j21] [c22] [c20] [c18] [j20] [j18] [c17] [c15] [c12] [j17] [j16] [j15] [j14] [j13] [c8] [j11] [j10] [j9] [c5] [c4] [j8] [c3] [c1] [j7] [j6] [j4] [j2] [b2] [b1]
17Frank P. Burns
[j30]
18José V. Busquets-Mataix (J. V. Busquets)
[j29] [c14] [c13]
19Giorgio C. Buttazzo
[j34]
20Jeongyoujng Byun
[c12]
21Hao Cai
[c57] [c50] [c49] [c41]
22Rafael Ors Carot (Rafael Ors)
[c14] [c13]
23Paul Caspi
[j34]
24Ana Cavalcanti
[j50] [c96] [c95] [c94] [c92]
25Yang Chang
[j43] [c86] [c76] [c59] [c56]
26Roderick Chapman
[j18]
27Roy Clark
[c36]
28P. Coppola
[j25]
29Pete Cornwell
[c9]
30Alfons Crespo (Alfons Crespo i Lorente)
[j39]
31Ivica Crnkovic
[j34]
32Ron Cytron (Ron K. Cytron)
[c62]
33Werner Damm
[j34]
34Gordon Davies
[j2]
35Robert I. Davis
[j16] [c7]
36J. A. Dianes
[c84] [c79]
37Peter C. Dibble
[c74] [c52] [c51]
38Simon A. Dobson (Simon Dobson)
[c2]
39M. Díaz
[c84] [c79]
40Jakob Engblom
[j34]
41Alessandro Fantechi
[j25]
42Colin J. Fidge
[j23]
43Gerhard Fohler
[j34]
44Simon Fowler
[c19] [c16]
45E. Fyfe
[c5]
46Marisol García-Valls
[j34]
47A. B. Gargaro
[j12]
48Daniel Gil (Daniel Gil-Tomas)
[j29]
49Pedro J. Gil (Pedro J. Gil-Vicente)
[j29] [c14] [c13]
50Christopher D. Gill
[c62]
51S. J. Goldsack
[j12]
52Niusha Hakimipour
[j47] [c83]
53H. Hanssmon
[c6]
54Michael González Harbour
[c45]
55David Holmes
[c51]
56A. A. Holzbacher-Valero
[j12]
57R. Nigel Horspool
[j44]
58Chunming Hu
[e4]
59Erik Yu-Shing Hu
[c43] [c38] [c37] [c35] [c32]
60A. D. Hutcheon
[c4]
61Eric Jenn
[j25]
62E. Douglas Jensen
[c36]
63Bob Johnson
[j26] [c30]
64Gabor Karsai
[e4]
65D. Keeffe
[j1]
66O. P. Kiddle
[c23]
67Jörg Kienzle
[j26] [c30]
68M. S. Kim
[c72]
69MinSeong Kim
[j49] [j48] [j46] [j42] [c87] [c85] [c81] [c75] [c71] [c65]
70Steve King
[j36] [j31] [c42] [c34]
71Albert Koelmans
[j30]
72Hermann Kopetz
[j34]
73Maciej Koutny
[j30]
74Jagun Kwon
[j36] [c47] [j31] [c42] [c34]
75Yassine Lakhnech
[j34]
76François Laroussinie
[j34]
77Luciano Lavagno
[j34]
78S. Lin
[c93]
79Giuseppe Lipari
[j34]
80Andrew M. Lister
[b2]
81Abdul Haseeb Malik
[c86]
82Florence Maraninchi
[j34]
83Miguel Masmano
[j39]
84Stephen Michell
[j26] [c30]
85Stuart E. Mitchell
[j24] [c25] [c21] [c20] [c18] [j19] [c10]
86Kevin Murray
[j5] [j3]
87Offer Pazy
[c22]
88Philipp Peti
[j34]
89Luís Miguel Pinho
[j33]
90Stefan Poledna
[j27]
91Andreas Polze
[e4]
92David Powell
[j25] [c24]
93Juan Antonio de la Puente
[j34]
94Peter P. Puschner
[j32] [c31]
95Christophe Rabéjac
[j25]
96Anders P. Ravn
[e2]
97Jorge Real
[j39] [c28] [c26]
98Mike F. Richardson
[j17] [j9]
99Thomas Richardson
[j45] [c88] [c84] [c79] [c76]
100Ismael Ripoll
[j39]
101Patrick Rogers
[c58] [c53] [j28] [c27]
102Alexander Romanovsky (Alexander B. Romanovsky)
[j30] [j24] [c21]
103Bo Sandén (Bo Sanden)
[j26] [c30]
104Alberto L. Sangiovanni-Vincentelli
[j34]
105Osmar Marchi dos Santos
[j41] [c70] [c69] [j38] [c66] [c55]
106Norman Scaife
[j34]
107Martin Schoeberl
[e3] [c91] [c80]
108Juan José Serrano
[c14] [c13]
109Joseph Sifakis
[j34]
110Robert de Simone
[j34]
111Neeraj Kumar Singh
[c96]
112Paul A. Strooper
[j47] [c83]
113S. Tucker Taft
[c54]
114Ken Tindell
[j16] [j15] [j13] [j10] [c6] [j8] [c1]
115G. M. Tomlinson
[j1]
116Martin Törngren
[j34]
117Tullio Vardanega
[e1]
118Francisco Vasques
[j33]
119Paulo Veríssimo
[j34]
120Richard A. Volz
[j12]
121R. Waldrop
[j12]
122I. C. Wand
[j1]
123Ji Wang
[e4]
124Kun Wei
[c92]
125Douglas Wells
[c36]
126Reinhard Wilhelm
[j34]
127Tim A. C. Willemse
[j34]
128Thomas Wolf
[j26] [c30]
129Jim Woodcock (J. C. P. Woodcock)
[j50] [c95] [c92]
130Jie Xu
[e4]
131Alexandre Yakovlev (Alex Yakovlev)
[j30]
132Wang Yi 0001
[j34]
133Alexandros Zerzelidis
[j40] [c61] [j35]
134Frank Zeyda
[c94] [c92]
135Fengxiang Zhang
[c82]
136Sijing Zhang
[c15]

Colors in the list of coauthors

Last update Tue May 21 07:09:59 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page