Concurrency in Ada

Interpartition communication with shared active packages

Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada

A comparison of two approaches to distributed application development in Ada: the Ada distributed systems annex and CORBA

Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada

The state-machine pattern

Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada

Migrating well engineered Ada 83 applications into newer architecture and reuse based Ada 95 systems: experiences from Boeing's reuse initiative project

Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada

Implementing Atomic Actions in Ada 95

IEEE Transactions on Software Engineering

Comparing the reliability provided by tasks or protected objects for implementing a resource allocation service: a case study

Proceedings of the conference on TRI-Ada '97

Task dependence nets for concurrent systems with Ada 95 and its applications

Proceedings of the conference on TRI-Ada '97

Feature interactions with dynamic priorities

IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada

Developing reusable multi-tasking components using object-oriented techniques in Ada 95

IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada

Object-oriented real-time systems using a hybrid distributed model of Ada 95's built-in DSA capability (distributed systems annex-E) and CORBA

IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada

The Ravenscar tasking profile for high integrity real-time programs

Proceedings of the 1998 annual ACM SIGAda international conference on Ada

Kernel Ada to unify hardware and software design

Proceedings of the 1998 annual ACM SIGAda international conference on Ada

The evolution of a distributed dataflow processing model using Ada

Proceedings of the 1998 annual ACM SIGAda international conference on Ada

A reusable lightweight executive for command and control systems

Proceedings of the 1998 annual ACM SIGAda international conference on Ada

A comparison of the concurrency features of Ada 95 and Java

Proceedings of the 1998 annual ACM SIGAda international conference on Ada

Extensible protected types

Proceedings of the 1998 annual ACM SIGAda international conference on Ada

The rendezvous is dead—long live the protected object

Proceedings of the 1998 annual ACM SIGAda international conference on Ada

Redistribution in distributed Ada

Proceedings of the 1999 annual ACM SIGAda international conference on Ada

Formal modeling of synchronization methods for concurrent objects in Ada 95

Proceedings of the 1999 annual ACM SIGAda international conference on Ada

Integrating object-oriented programming and protected objects in Ada 95

ACM Transactions on Programming Languages and Systems (TOPLAS)

Concurrent programming for the control of hexapod walking

ACM SIGAda Ada Letters

Experiences report on the implementation of EPTs for GNAT

IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop

Accessing delay queues

IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop

The Practical Use of Ada 95's Concurrency Features

IEEE Concurrency

Environment for the Development and Specification of Real-Time Ada Programs

Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies

Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDL

Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies

On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systems

Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies

Complex Task Implementation in Ada

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies

Software Development Reengineering - An Experience Report

Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies

BACI debugger: a GUI debugger for the BACI system

Journal of Computing Sciences in Colleges

Teaching operating system at the technical university-Sofia

CompSysTech '03 Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning

Concurrent programming

Encyclopedia of Computer Science

Comparing Java, C# and Ada monitors queuing policies: a case study and its Ada refinement

ACM SIGAda Ada Letters

Model-based verification of a framework for flexible scheduling in the real-time specification for Java

JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems

The implementation of the Priority Ceiling Protocol in Ada-2005

ACM SIGAda Ada Letters

Dynamic tasks verification with QUASAR

Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies