SPECIFICATION AND VERIFICATION

1.

Specifying and Composing RT Systems
(Obsolete) Yodaiken, Ramamritham
(Submitted) IEEE 10th Real-Time Systems Symposium

2.

TR87-106 Characterizing Complex State Machines in Modal Logic
(Obsolete) Yodaiken, Ramamritham

3.

TR89-58 Regular Languages and Products of Regular Languages as Kripke Semantics
Yodaiken

4.

TR90-08 A Logic-free Method for Modular Composition of Specifications
Yodaiken
ICCI '90 Proceedings.

5.

TR90-37 Specifying and Verifying a Real-Time Priority Queue with Modal Algebra
V. Yodaiken, Ramamritham
RTSS '90.

6.

The Algebraic Feedback Product of Automata, a State Machine Based Model of Concurrent Systems
Yodaiken
Proceedings of the DIMACS Workshop on Computer Aided Verification, 1990, pp.1-22

7.

TR91-17 A Modal Arithmetic for Reasoning About Multi-Level Systems of Finite
State Machines
Yodaiken - thesis

8.

Modal functions for concise definition of state machines and products
Yodaiken
Information Processing Letters 40(1991)65-72, Elsevier Science Publishers, B.V.,
North Holland

9.

Verification of a Reliable Net Protocol
Yodaiken, Ramamritham
Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Jan. 1992. Lecture Notes in Computer Science 571, J. Vytopil (Ed.), Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 1992 Proceedings, Springer-Verlag, pp. 193-216.

10.

Enabling Local Actions by Global Consensus
Ramamritham
Information Systems, 10(3):319-24, 1985.

11.

Formal Analysis of non-toy real-time systems: a beginning
Yodaiken

12.

Mathematical Models of Real-Time Scheduling
Yodaiken, Ramamritham
Chapter Foundations of Real-Time Computing: Scheduling and
Resource Allocation, 1991