|
Search the dblp DataBase
Carlos Puchol:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen
Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software. [Citation Graph (0, 0)][DBLP] CAV, 1995, pp:127-140 [Conf]
- Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
Objects and Concurrency in Triveni: A Telecommunication Case Study in Java. [Citation Graph (0, 0)][DBLP] COOTS, 1998, pp:131-149 [Conf]
- Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:58-67 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ICSE, 1995, pp:159-168 [Conf]
- 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). [Citation Graph (0, 0)][DBLP] ICSE, 1997, pp:525-535 [Conf]
- Carlos Puchol, Subramanian K. Iyer
The MacBeth Specification, Modeling and Programming Language. [Citation Graph (0, 0)][DBLP] IEEE Real Time Technology and Applications Symposium, 2001, pp:181-190 [Conf]
- Carlos Puchol, Aloysius K. Mok
Integrated Design Tools for Hard Real-Time Systems. [Citation Graph (0, 0)][DBLP] IEEE Real-Time Systems Symposium, 1998, pp:368-378 [Conf]
- Carlos Puchol, Aloysius K. Mok, Douglas A. Stuart
Compiling Modechart Specifications. [Citation Graph (0, 0)][DBLP] IEEE Real-Time Systems Symposium, 1995, pp:256-265 [Conf]
- Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
The Semantics of Triveni: A Process-Algebraic API for Threads + Events. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1998, v:14, n:, pp:- [Journal]
- Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen
A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1996, v:8, n:2, pp:123-151 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 1998, v:40, n:3, pp:249-262 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1996, v:22, n:6, pp:378-389 [Journal]
Search in 0.001secs, Finished in 0.002secs
|