- CSB - MetaPress - Google - Bing - Yahoo
 | 2001 | |
|---|---|---|
| 12 |      | Carlos Puchol, Subramanian K. Iyer: The MacBeth Specification, Modeling and Programming Language. IEEE Real Time Technology and Applications Symposium 2001: 181-190 |
| 1998 | ||
| 11 | | 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 | | 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 | | Carlos Puchol, Aloysius K. Mok: Integrated Design Tools for Hard Real-Time Systems. IEEE Real-Time Systems Symposium 1998: 368-378 |
| 8 | | 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: 107-133 (1998) |
| 7 | | 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 | | 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 | | 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 | | 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 |
| 1 | Mark A. Ardis | [2] [4] |
| 2 | John A. Chaves | [2] [4] |
| 3 | Christopher Colby | [8] [10] [11] |
| 4 | Subramanian K. Iyer | [12] |
| 5 | Lalita Jategaonkar Jagadeesan (Lalita Jategaonkar) | [2] [3] [4] [5] [6] [7] [8] [10] [11] |
| 6 | Radha Jagadeesan | [8] [10] [11] |
| 7 | Konstantin Läufer | [8] [10] [11] |
| 8 | Peter Mataga | [2] [4] |
| 9 | Aloysius K. Mok | [1] [9] |
| 10 | James Von Olnhausen | [2] [3] [4] [5] |
| 11 | Adam A. Porter | [6] [7] |
| 12 | J. Christopher Ramming | [6] [7] |
| 13 | Mark G. Staskauskas | [2] [4] |
| 14 | Douglas A. Stuart | [1] |
| 15 | Lawrence G. Votta | [6] [7] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page