| 2001 |
|---|
| 12 | EE | Carlos Puchol,
Subramanian K. Iyer:
The MacBeth Specification, Modeling and Programming Language.
IEEE Real Time Technology and Applications Symposium 2001: 181-190 |
| 1998 |
|---|
| 11 | EE | Christopher Colby,
Lalita Jategaonkar Jagadeesan,
Radha Jagadeesan,
Konstantin Läufer,
Carlos Puchol:
Objects and Concurrency in Triveni: A Telecommunication Case Study in Java.
COOTS 1998: 131-149 |
| 10 | EE | Christopher Colby,
Lalita Jategaonkar Jagadeesan,
Radha Jagadeesan,
Konstantin Läufer,
Carlos Puchol:
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events.
ICCL 1998: 58-67 |
| 9 | EE | Carlos Puchol,
Aloysius K. Mok:
Integrated Design Tools for Hard Real-Time Systems.
IEEE Real-Time Systems Symposium 1998: 368-378 |
| 8 | EE | Christopher Colby,
Lalita Jategaonkar,
Radha Jagadeesan,
Konstantin Läufer,
Carlos Puchol:
The Semantics of Triveni: A Process-Algebraic API for Threads + Events.
Electr. Notes Theor. Comput. Sci. 14: (1998) |
| 7 | EE | Lalita Jategaonkar Jagadeesan,
Lawrence G. Votta,
Adam A. Porter,
Carlos Puchol,
J. Christopher Ramming:
Specification-based testing of reactive software: A case study in technology transfer.
Journal of Systems and Software 40(3): 249-262 (1998) |
| 1997 |
|---|
| 6 | EE | Lalita Jategaonkar Jagadeesan,
Adam A. Porter,
Carlos Puchol,
J. Christopher Ramming,
Lawrence G. Votta:
Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report).
ICSE 1997: 525-535 |
| 1996 |
|---|
| 5 | | 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) |
| 4 | EE | 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 |
|---|
| 3 | | Lalita Jategaonkar Jagadeesan,
Carlos Puchol,
James Von Olnhausen:
Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software.
CAV 1995: 127-140 |
| 2 | EE | 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 |
| 1 | | Carlos Puchol,
Aloysius K. Mok,
Douglas A. Stuart:
Compiling Modechart Specifications.
IEEE Real-Time Systems Symposium 1995: 256-265 |
