2008 | ||
---|---|---|
110 | EE | Andy J. Wellings: Multiprocessors and the Real-Time Specification for Java. ISORC 2008: 255-261 |
109 | EE | Osmar Marchi dos Santos, Andy J. Wellings: Blocking time monitoring in the real-time specification for Java. JTRES 2008: 135-143 |
108 | EE | Andy J. Wellings, M. S. Kim: Processing group parameters in the real-time specification for Java. JTRES 2008: 3-9 |
107 | EE | MinSeong Kim, Andy J. Wellings: An efficient and predictable implementation of asynchronous event handling in the RTSJ. JTRES 2008: 48-57 |
106 | EE | Osmar Marchi dos Santos, Andy J. Wellings: Run Time Detection of Blocking Time Violations in Real-Time Systems. RTCSA 2008: 347-356 |
105 | EE | 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) |
2007 | ||
104 | EE | Andy J. Wellings, Alan Burns: Real-Time Utilities for Ada 2005. Ada-Europe 2007: 1-14 |
103 | EE | Alan Burns, Andy J. Wellings: Delivering Real-Time Behaviour. Domain Modeling and the Duration Calculus 2007: 1-50 |
102 | EE | 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 |
101 | EE | Mohammed AlRahmawy, Andy J. Wellings: A model for real time mobility based on the RTSJ. JTRES 2007: 155-164 |
100 | EE | MinSeong Kim, Andy J. Wellings: Asynchronous event handling in the real-time specification for Java. JTRES 2007: 3-12 |
99 | EE | Osmar Marchi dos Santos, Andy J. Wellings: Cost enforcement in the real-time specification for Java. Real-Time Systems 37(2): 139-179 (2007) |
2006 | ||
98 | EE | Benjamin M. Brosgol, Andy J. Wellings: A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications. Ada-Europe 2006: 13-26 |
97 | EE | Andrew Borg, Andy J. Wellings, Christopher D. Gill, Ron K. Cytron: Real-Time Memory Management: Life and Times. ECRTS 2006: 237-250 |
96 | EE | Alexandros Zerzelidis, Andy J. Wellings: Getting More Flexible Scheduling in the RTSJ. ISORC 2006: 3-10 |
95 | EE | Alan Burns, Andy J. Wellings: Programming Execution-Time Servers in Ada 2005. RTSS 2006: 47-56 |
94 | EE | Yang Chang, Andy J. Wellings: Hard Real-Time Hybrid Garbage Collection with Low Memory Requirements. RTSS 2006: 77-88 |
93 | EE | 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) |
2005 | ||
92 | 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 Springer 2005 | |
91 | EE | Patrick Rogers, Andy J. Wellings: The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95. Ada-Europe 2005: 236-247 |
90 | EE | Hao Cai, Andy J. Wellings: Temporal Isolation in Ravenscar-Java. ISORC 2005: 364-371 |
89 | EE | Yang Chang, Andy J. Wellings: Integrating Hybrid Garbage Collection with Dual Priority Scheduling. RTCSA 2005: 185-188 |
88 | EE | 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 |
87 | EE | 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. Embedded Comput. Syst. 4(3): 587-611 (2005) |
86 | EE | 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) |
85 | EE | Alexandros Zerzelidis, Andy J. Wellings: Requirements for a real-time .NET framework. SIGPLAN Notices 40(2): 41-50 (2005) |
2004 | ||
84 | EE | Alan Burns, Andy J. Wellings, S. Tucker Taft: Supporting Deadlines and EDF Scheduling in Ada. Ada-Europe 2004: 156-165 |
83 | EE | Patrick Rogers, Andy J. Wellings: OpenAda: Compile-Time Reflection for Ada 95. Ada-Europe 2004: 166-177 |
82 | EE | Hao Cai, Andy J. Wellings: A Real-Time Isolate Specification for Ravenscar-Java. ISORC 2004: 325-328 |
81 | EE | Peter C. Dibble, Andy J. Wellings: The Real-Time Specification for Java: Current Status and Future Work. ISORC 2004: 71-77 |
80 | EE | 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 |
79 | EE | Hao Cai, Andy J. Wellings: Supporting Mixed Criticality Applications in a Ravenscar-Java Environment. OTM Workshops 2004: 278-291 |
78 | EE | Andrew Borg, Andy J. Wellings: Towards an Understanding of the Expressive Power of the RTSJ Scoped Memory Model. OTM Workshops 2004: 315-332 |
77 | EE | Jagun Kwon, Andy J. Wellings: Memory Management Based on Method Invocation in RTSJ. OTM Workshops 2004: 333-345 |
76 | EE | Luís Miguel Pinho, Francisco Vasques, Andy J. Wellings: Replication Management in Reliable Real-Time Systems. Real-Time Systems 26(3): 261-296 (2004) |
2003 | ||
75 | EE | 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 |
74 | EE | Alan Burns, Michael González Harbour, Andy J. Wellings: A Round Robin Scheduling Policy for Ada. Ada-Europe 2003: 334-343 |
73 | EE | Andrew Borg, Andy J. Wellings: A Real-Time RMI Framework for the RTSJ. ECRTS 2003: 238- |
72 | EE | Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat: Gain Time Reclaiming in High Performance Real-Time Java Systems. ISORC 2003: 249-256 |
71 | EE | Jagun Kwon, Andy J. Wellings, Steve King: Predictable Memory Utilization in the Ravenscar-Java Profile. ISORC 2003: 267-276 |
70 | EE | Hao Cai, Andy J. Wellings: Towards a High Integrity Real-Time Java Virtual Machine. OTM Workshops 2003: 319-334 |
69 | EE | Alan Burns, Andy J. Wellings: Processing Group Parameters in the Real-Time Specification for Java. OTM Workshops 2003: 360-370 |
68 | EE | Andrew Borg, Andy J. Wellings: Reference Objects for RTSJ Memory Areas. OTM Workshops 2003: 397-410 |
67 | EE | 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 |
66 | EE | Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat: XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment. RTCSA 2003: 208-228 |
65 | 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) | |
64 | EE | 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) |
2002 | ||
63 | EE | 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- |
62 | EE | Jagun Kwon, Andy J. Wellings, Steve King: Ravenscar-Java: a high integrity profile for real-time Java. Java Grande 2002: 131-140 |
61 | EE | 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- |
60 | EE | 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 |
59 | EE | 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 | ||
58 | EE | Peter P. Puschner, Andy J. Wellings: A Profile for High-Integrity Real-Time Java Programs. ISORC 2001: 15-22 |
57 | 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) | |
2000 | ||
56 | 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 | |
55 | EE | Guillem Bernat, Alan Burns, Andy J. Wellings: Portable worst-case execution time analysis using Java Byte Code. ECRTS 2000: 81-88 |
54 | EE | 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) |
53 | EE | 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) |
52 | EE | 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) |
1999 | ||
51 | EE | Jorge Real, Andy J. Wellings: The Ceiling Protocol in Multi-moded Real-Time Systems. Ada-Europe 1999: 275-286 |
50 | EE | Patrick Rogers, Andy J. Wellings: An Incremental RecoveryCache Supporting Sotware Fault Tolerance. Ada-Europe 1999: 385-396 |
49 | EE | Jorge Real, Andy J. Wellings: Implementing mode changes with shared resources in Ada. ECRTS 1999: 86-93 |
48 | EE | 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) |
1998 | ||
47 | EE | Stuart E. Mitchell, Alan Burns, Andy J. Wellings: MOPping up Exceptions. ECOOP Workshops 1998: 365-366 |
46 | EE | Andy J. Wellings, Ljerka Beus-Dukic, David Powell: Real-Time Scheduling in a Generic Fault-Tolerant Architecture. IEEE Real-Time Systems Symposium 1998: 390-398 |
45 | EE | O. P. Kiddle, Andy J. Wellings: Extensible Protected Types. SIGAda 1998: 229-239 |
44 | Stuart E. Mitchell, Andy J. Wellings, Alexander B. Romanovsky: Distributed Atomic Actions in Ada 95. Comput. J. 41(7): 486-502 (1998) | |
1997 | ||
43 | Andy J. Wellings, Alan Burns, Offer Pazy: Task Termination in Ada 95. Ada-Europe 1997: 149-160 | |
42 | Alexander B. Romanovsky, Stuart E. Mitchell, Andy J. Wellings: On Programming Atomic Actions in Ada 95. Ada-Europe 1997: 254-265 | |
41 | EE | Stuart E. Mitchell, Alan Burns, Andy J. Wellings: Adaptive Scheduling Using Reflection. ECOOP Workshops 1997: 74-79 |
40 | EE | Simon Fowler, Andy J. Wellings: Formal development of a real-time kernel. IEEE Real-Time Systems Symposium 1997: 220-229 |
39 | Colin J. Fidge, Andy J. Wellings: An Action-Based Formal Model for Concurrent Real-Time Systems. Formal Asp. Comput. 9(2): 175-207 (1997) | |
38 | EE | Andy J. Wellings, Alan Burns: Implementing Atomic Actions in Ada 95. IEEE Trans. Software Eng. 23(2): 107-123 (1997) |
1996 | ||
37 | Alan Burns, Andy J. Wellings: Ada 95: An Effective Concurrent Programming Language. Ada-Europe 1996: 58-77 | |
36 | Simon Fowler, Andy J. Wellings: Formal Analysis of a Real-Time Kernel Specification. FTRTFT 1996: 440-458 | |
35 | EE | 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- |
34 | EE | Neil C. Audsley, Andy J. Wellings: Analysing APEX applications. IEEE Real-Time Systems Symposium 1996: 39-44 |
33 | 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 | |
32 | EE | 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 |
31 | EE | Jeongyoujng Byun, Andy J. Wellings, Alan Burns: A Worst-Case Behavior Analysis for Hard Real-Time Transactions. RTDB 1996: 144-149 |
30 | Andy J. Wellings, Alan Burns: Programming Replicated Systems in Ada 95. Comput. J. 39(5): 361-373 (1996) | |
29 | Stuart E. Mitchell, Andy J. Wellings: Synchronisation, Concurrent Object-Oriented Programming and the Inheritance Anomaly. Comput. Lang. 22(1): 15-26 (1996) | |
28 | Roderick Chapman, Alan Burns, Andy J. Wellings: Combining Static Worst-Case Timing Analysis and Program Proof. Real-Time Systems 11(2): 145-171 (1996) | |
1995 | ||
27 | Pete Cornwell, Andy J. Wellings: Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD. Ada-Europe 1995: 365-378 | |
26 | EE | Alan Burns, Neil C. Audsley, Andy J. Wellings: Real-time distributed computing. FTDCS 1995: 34-40 |
25 | Robert I. Davis, Andy J. Wellings: Dual Priority Scheduling. IEEE Real-Time Systems Symposium 1995: 100-109 | |
24 | EE | 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) |
23 | Neil C. Audsley, Alan Burns, Mike F. Richardson, Andy J. Wellings: Data Consistency in Hard Real-Time Systems. Informatica (Slovenia) 19(2): (1995) | |
22 | 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) | |
21 | Ken Tindell, Alan Burns, Andy J. Wellings: Analysis of Hard Real-Time Communications. Real-Time Systems 9(2): 147-171 (1995) | |
20 | Alan Burns, Andy J. Wellings: Engineering a Hard Real-time System: From Theory to Practice. Softw., Pract. Exper. 25(7): 705-726 (1995) | |
1994 | ||
19 | Ken Tindell, H. Hanssmon, Andy J. Wellings: Analysing Real-Time Communications: Controller Area Network (CAN). IEEE Real-Time Systems Symposium 1994: 259-263 | |
18 | EE | 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) |
17 | Alan Burns, Andy J. Wellings: HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. Real-Time Systems 6(1): 73-114 (1994) | |
16 | 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) | |
15 | 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) | |
1993 | ||
14 | 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 | |
13 | 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 | ||
12 | Alan Burns, Andy J. Wellings: Designing Hard Real-Time Systems. Ada-Europe 1992: 116-127 | |
11 | EE | Ken Tindell, Alan Burns, Andy J. Wellings: Mode Changes In Priority Pre-Emptively Scheduled Systems. IEEE Real-Time Systems Symposium 1992: 100-109 |
10 | Simon A. Dobson, Andy J. Wellings: A System for Building Scalable Parallel Applications. Programming Environments for Parallel Computing 1992: 215-230 | |
9 | 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) | |
1991 | ||
8 | Alan Burns, Andy J. Wellings: Priority Inheritance and Message Passing Communication: A Formal Treatment. Real-Time Systems 3(1): 19-44 (1991) | |
7 | Alan Burns, Andy J. Wellings: Criticality and Utility in the Next Generation. Real-Time Systems 3(4): 351-354 (1991) | |
6 | 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 | ||
5 | Alan Burns, Andy J. Wellings: The Notion of Priority in Real-Time Programming Languages. Comput. Lang. 15(3): 153-162 (1990) | |
4 | Kevin Murray, Andy J. Wellings: Wisdom: A distributed operating system for transputers. Comput. Syst. Sci. Eng. 5(1): 13-20 (1990) | |
1988 | ||
3 | EE | 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 | ||
2 | Alan Burns, Andrew M. Lister, Andy J. Wellings: A Review of Ada Tasking Springer 1987 | |
1985 | ||
1 | G. M. Tomlinson, D. Keeffe, I. C. Wand, Andy J. Wellings: The PULSE Distributed File System. Softw., Pract. Exper. 15(11): 1087-1101 (1985) |