 | 1997 |
|---|
| 5 |       | Rajeev Alur,
Lalita Jategaonkar Jagadeesan,
Joseph J. Kott,
James Von Olnhausen:
Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report).
ICSE 1997: 514-524 |
| 1996 |
|---|
| 4 |  | Lalita Jategaonkar Jagadeesan,
Carlos Puchol,
James Von Olnhausen:
A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL.
Formal Methods in System Design 8(2): 123-151 (1996) |
| 3 | | Mark A. Ardis,
John A. Chaves,
Lalita Jategaonkar Jagadeesan,
Peter Mataga,
Carlos Puchol,
Mark G. Staskauskas,
James Von Olnhausen:
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report.
IEEE Trans. Software Eng. 22(6): 378-389 (1996) |
| 1995 |
|---|
| 2 | | Lalita Jategaonkar Jagadeesan,
Carlos Puchol,
James Von Olnhausen:
Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software.
CAV 1995: 127-140 |
| 1 | | Mark A. Ardis,
John A. Chaves,
Lalita Jategaonkar Jagadeesan,
Peter Mataga,
Carlos Puchol,
Mark G. Staskauskas,
James Von Olnhausen:
A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report.
ICSE 1995: 159-168 |
