| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
ISORC  |
2012 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | MinSeong Kim, Andy J. Wellings |
Multiprocessors and Asynchronous Event Handling in the Real-Time Specification for Java. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Ana Cavalcanti, Andy J. Wellings |
The Safety-Critical Java Mission Model: A Formal Account. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Andy J. Wellings, Jim Woodcock |
The Safety-Critical Java Memory Model: A Formal Account. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandros Zerzelidis, Andy J. Wellings |
A framework for flexible scheduling in the RTSJ. |
ACM Trans. Embedded Comput. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | MinSeong Kim, Andy J. Wellings |
Efficient asynchronous event handling in the real-time specification for Java. |
ACM Trans. Embedded Comput. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Osmar Marchi dos Santos, Andy J. Wellings |
Measuring and policing blocking times in real-time systems. |
ACM Trans. Embedded Comput. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Nigel Horspool, Andy J. Wellings |
Focus Section Editorial. |
Softw., Pract. Exper. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Chang, Andy J. Wellings |
Garbage Collection for Flexible Hard Real-Time Systems. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
Real-time hybrid garbage collection, garbage collection granularity, advanced real-time scheduling |
| 1 | Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings |
TART: Timed-Automata to Real-Time Java Tool. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings, Alan Burns |
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Andy J. Wellings |
Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Richardson, Andy J. Wellings |
An Admission Control Protocol for Real-Time OSGi. |
ISORC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | MinSeong Kim, Andy J. Wellings |
Using the executor framework to implement asynchronous event handling in the RTSJ. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings, MinSeong Kim |
Asynchronous event handling and safety critical Java. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
safety critical Java, threads, real-time specification for Java, asynchronous events |
| 1 | Thomas Richardson, Andy J. Wellings, J. A. Dianes, M. Díaz |
Towards memory management for service-oriented real-time systems. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
service-oriented architecture, garbage collection, dynamic reconfiguration, real-time specification for Java |
| 1 | Abdul Haseeb Malik, Andy J. Wellings, Yang Chang |
A locality model for the real-time specification for Java. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Andy J. Wellings, Fengxiang Zhang |
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | MinSeong Kim, Andy J. Wellings |
Refactoring Asynchronous Event Handling in the Real-Time Specification for Java. |
ECRTS |
2009 |
DBLP DOI BibTeX RDF |
Real-Time Specifiaction for Java, Asynchronous Event Handling |
| 1 | Andy J. Wellings, Martin Schoeberl |
Thread-Local Scope Caching for Real-time Java. |
ISORC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | MinSeong Kim, Andy J. Wellings |
Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Richardson, Andy J. Wellings, J. A. Dianes, M. Díaz |
Providing temporal isolation in the OSGi framework. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings, Yang Chang, Thomas Richardson |
Enhancing the platform independence of the real-time specification for Java. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed AlRahmawy, Andy J. Wellings |
An RTSJ-based reconfigurable server component. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter C. Dibble, Andy J. Wellings |
JSR-282 status report. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed AlRahmawy, Andy J. Wellings |
Design patterns for supporting RTSJ component models. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Masmano, Ismael Ripoll, Jorge Real, Alfons Crespo, Andy J. Wellings |
Implementation of a constant-time dynamic storage allocator. |
Softw., Pract. Exper. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Osmar Marchi dos Santos, Andy J. Wellings |
Run Time Detection of Blocking Time Violations in Real-Time Systems. |
RTCSA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings |
Multiprocessors and the Real-Time Specification for Java. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
multiprocessors, SMP, RTSJ |
| 1 | Osmar Marchi dos Santos, Andy J. Wellings |
Blocking time monitoring in the real-time specification for Java. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
real-time systems, real-time specification for Java, timing errors |
| 1 | Andy J. Wellings, M. S. Kim |
Processing group parameters in the real-time specification for Java. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | MinSeong Kim, Andy J. Wellings |
An efficient and predictable implementation of asynchronous event handling in the RTSJ. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Osmar Marchi dos Santos, Andy J. Wellings |
Cost enforcement in the real-time specification for Java. |
Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Model checking, Real-time specification for Java, Java programming language |
| 1 | Alan Burns, Andy J. Wellings |
Concurrent and real-time programming in Ada. |
|
2007 |
RDF |
|
| 1 | Andy J. Wellings, Alan Burns |
Real-Time Utilities for Ada 2005. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | MinSeong Kim, Andy J. Wellings |
Asynchronous event handling in the real-time specification for Java. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
Java RTS, asynchronous event handling, jRate, leader&followers, monitor design, RTSJ, RI |
| 1 | Mohammed AlRahmawy, Andy J. Wellings |
A model for real time mobility based on the RTSJ. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
Java, distributed systems, mobility, real time, RTSJ |
| 1 | Alan Burns, Andy J. Wellings |
Delivering Real-Time Behaviour. |
Domain Modeling and the Duration Calculus |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Borg, Andy J. Wellings |
Scoped, coarse-grain memory management and the RTSJ scoped memory model in the development of real-time applications. |
IJES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin M. Brosgol, Andy J. Wellings |
A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Borg, Andy J. Wellings, Christopher D. Gill, Ron K. Cytron |
Real-Time Memory Management: Life and Times. |
ECRTS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandros Zerzelidis, Andy J. Wellings |
Getting More Flexible Scheduling in the RTSJ. |
ISORC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Chang, Andy J. Wellings |
Hard Real-Time Hybrid Garbage Collection with Low Memory Requirements. |
RTSS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Andy J. Wellings |
Programming Execution-Time Servers in Ada 2005. |
RTSS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
Graduate curriculum, architecture and design, extrafunctional properties, distributed systems, embedded systems, real-time, control, labs |
| 1 | Jagun Kwon, Andy J. Wellings, Steve King |
Ravenscar-Java: a high-integrity profile for real-time Java. |
Concurrency - Practice and Experience |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandros Zerzelidis, Andy J. Wellings |
Requirements for a real-time .NET framework. |
SIGPLAN Notices |
2005 |
DBLP DOI BibTeX RDF |
NET Framework, architecture-neutral real-time systems, code portability, programming language integration, Microsoft .NET |
| 1 | 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 |
Ada-Europe |
2005 |
DBLP BibTeX RDF |
|
| 1 | Patrick Rogers, Andy J. Wellings |
The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
Ada, Reflection, conversations, software fault tolerance, atomic actions, recovery blocks, backward error recovery |
| 1 | Yang Chang, Andy J. Wellings |
Integrating Hybrid Garbage Collection with Dual Priority Scheduling. |
RTCSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Cai, Andy J. Wellings |
Temporal Isolation in Ravenscar-Java. |
ISORC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Osmar Marchi dos Santos, Andy J. Wellings |
Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation. |
RTSS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Miguel Pinho, Francisco Vasques, Andy J. Wellings |
Replication Management in Reliable Real-Time Systems. |
Real-Time Systems |
2004 |
DBLP DOI BibTeX RDF |
software-based fault tolerance, distributed computer-controlled systems, transparent replication, real-time systems |
| 1 | Andy J. Wellings |
Concurrent and real-time programming in Java. |
|
2004 |
RDF |
|
| 1 | Hao Cai, Andy J. Wellings |
Supporting Mixed Criticality Applications in a Ravenscar-Java Environment. |
OTM Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jagun Kwon, Andy J. Wellings |
Memory Management Based on Method Invocation in RTSJ. |
OTM Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Borg, Andy J. Wellings |
Towards an Understanding of the Expressive Power of the RTSJ Scoped Memory Model. |
OTM Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Rogers, Andy J. Wellings |
OpenAda: Compile-Time Reflection for Ada 95. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
compiler, tools, Reflection, Ada language |
| 1 | Alan Burns, Andy J. Wellings, S. Tucker Taft |
Supporting Deadlines and EDF Scheduling in Ada. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Cai, Andy J. Wellings |
A Real-Time Isolate Specification for Ravenscar-Java. |
ISORC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter C. Dibble, Andy J. Wellings |
The Real-Time Specification for Java: Current Status and Future Work. |
ISORC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings, Gregory Bollella, Peter C. Dibble, David Holmes |
Cost Enforcement and Deadline Monitoring in the Real-Time Specification for Java. |
ISORC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jagun Kwon, Andy J. Wellings, Steve King |
Assessment of the Java programming language for use in high integrity systems. |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings, Peter P. Puschner |
Evaluating the Expressive Power of the Real-Time Specification for Java. |
Real-Time Systems |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Borg, Andy J. Wellings |
Reference Objects for RTSJ Memory Areas. |
OTM Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Andy J. Wellings |
Processing Group Parameters in the Real-Time Specification for Java. |
OTM Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Worst-Case Execution Time (WCET) Analysis, Portable WCET, Real-Time Java |
| 1 | Hao Cai, Andy J. Wellings |
Towards a High Integrity Real-Time Java Virtual Machine. |
OTM Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Michael González Harbour, Andy J. Wellings |
A Round Robin Scheduling Policy for Ada. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat |
XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment. |
RTCSA |
2003 |
DBLP DOI BibTeX RDF |
Real-Time Java (RTJ), Distributed RTJ, Static Analysis Environment, Distributed Run-Time Environment, High-Integrity Systems |
| 1 | Andrew Borg, Andy J. Wellings |
A Real-Time RMI Framework for the RTSJ. |
ECRTS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jagun Kwon, Andy J. Wellings, Steve King |
Predictable Memory Utilization in the Ravenscar-Java Profile. (PDF / PS) |
ISORC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat |
Gain Time Reclaiming in High Performance Real-Time Java Systems. (PDF / PS) |
ISORC |
2003 |
DBLP DOI BibTeX RDF |
Gain Time Reclaiming, Worst-Case Execution Time (WCET) Analysis, Real-Time Java |
| 1 | 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 |
DBLP DOI BibTeX RDF |
Portable WCET Analysis, Java, Hard Real-Time Systems, Real-Time Java, Worst-Case Execution Time Analysis |
| 1 | Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings |
Addressing Dynamic Dispatching Issues in WCET Analysis for Object-Oriented Hard Real-Time Systems. (PDF / PS) |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
Worst-Case Execution Time (WCET) Analysis, Object-Oriented WCET, Java, Hard Real-Time Systems, Real-Time Java, Dynamic Dispatching |
| 1 | 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. (PDF / PS) |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jagun Kwon, Andy J. Wellings, Steve King |
Ravenscar-Java: a high integrity profile for real-time Java. |
Java Grande |
2002 |
DBLP DOI BibTeX RDF |
profile, real-time Java, high integrity systems |
| 1 | Andy J. Wellings, Alan Burns |
Asynchronous Event Handling and Real-time Threads in the Real-time Specification for Java. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Peter P. Puschner, Andy J. Wellings |
A Profile for High-Integrity Real-Time Java Programs. |
ISORC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Poledna, Alan Burns, Andy J. Wellings, Peter Barrett |
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
replica determinism, fault tolerance, Distributed real-time systems, distributed operating systems, distributed scheduling, flexible scheduling |
| 1 | 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 |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Rogers, Andy J. Wellings |
State restoration in Ada 95: a portable approach to supporting software fault tolerance. |
Journal of Systems and Software |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2000 |
DBLP DOI BibTeX RDF |
concurrency, Ada 95, inheritance anomaly, concurrent object-oriented programming |
| 1 | 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 |
DBLP DOI BibTeX RDF |
inheritance ano, maly, Ada 95, concurrent object-oriented programming |
| 1 | Guillem Bernat, Alan Burns, Andy J. Wellings |
Portable worst-case execution time analysis using Java Byte Code. |
ECRTS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1999 |
DBLP DOI BibTeX RDF |
integrity levels, fault tolerance, embedded systems, real-time, Computer architecture, generic architecture |
| 1 | Jorge Real, Andy J. Wellings |
The Ceiling Protocol in Multi-moded Real-Time Systems. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Rogers, Andy J. Wellings |
An Incremental RecoveryCache Supporting Sotware Fault Tolerance. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
user-defined assignment, Ada, checkpointing, fault-tolerant systems |
| 1 | Jorge Real, Andy J. Wellings |
Implementing mode changes with shared resources in Ada. |
ECRTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart E. Mitchell, Andy J. Wellings, Alexander B. Romanovsky |
Distributed Atomic Actions in Ada 95. |
Comput. J. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart E. Mitchell, Alan Burns, Andy J. Wellings |
MOPping up Exceptions. |
ECOOP Workshops |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings, Ljerka Beus-Dukic, David Powell |
Real-Time Scheduling in a Generic Fault-Tolerant Architecture. (PDF / PS) |
IEEE Real-Time Systems Symposium |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | O. P. Kiddle, Andy J. Wellings |
Extensible Protected Types. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada, Ada 95, concurrent object-oriented programming |
| 1 | Andy J. Wellings, Alan Burns |
Implementing Atomic Actions in Ada 95. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
exception handling, conversations, Software fault tolerance, Ada 95, atomic actions, recovery blocks |
| 1 | Colin J. Fidge, Andy J. Wellings |
An Action-Based Formal Model for Concurrent Real-Time Systems. |
Formal Asp. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")