Carlos Puchol

	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: (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

Coauthor Index

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