Lalita Jategaonkar Jagadeesan

Lalita Jategaonkar

	2005
25		Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan: Passive mid-stream monitoring of real-time properties. EMSOFT 2005: 343-352
	2000
24		Kenneth C. Cox, Rebecca E. Grinter, Stacie Hibino, Lalita Jategaonkar Jagadeesan, David Mantilla: Using Dialog and Context in a Speech-Based interface for an Information Visualization Environment. Advanced Visual Interfaces 2000: 274-275
23		Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer: A Constraint-Based Framework for Prototyping Distributed Virtual Applications. CP 2000: 202-217
22		Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li: Ensuring privacy in presence awareness: an automated verification approach. CSCW 2000: 59-68
21		Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer: Automated systematic testing for constraint-based interactive services. SIGSOFT FSE 2000: 40-49
	1998
20		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
19		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
18		Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan: Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft. ISSTA 1998: 124-133
17		Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan: Automatically Closing Open Reactive Programs. PLDI 1998: 345-357
16		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)
15		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
14		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
13		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
12		Neeraj K. Gupta, Lalita Jategaonkar Jagadeesan, Eleftherios Koutsofios, David M. Weiss: Auditdraw: Generating Audits the FAST Way. RE 1997: 188-197
	1996
11		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)
10		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)
9		Lalita Jategaonkar, Albert R. Meyer: Deciding True Concurrency Equivalences on Safe, Finite Nets. Theor. Comput. Sci. 154(1): 107-143 (1996)
	1995
8		Lalita Jategaonkar Jagadeesan, Radha Jagadeesan: Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract). AMAST 1995: 277-291
7		Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen: Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software. CAV 1995: 127-140
6		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
	1993
5		Lalita Jategaonkar, Albert R. Meyer: Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report). ICALP 1993: 519-531
4		Lalita Jategaonkar, Albert R. Meyer: Self-Synchronization of Concurrent Processes (Preliminary Report) LICS 1993: 409-417
3		Lalita Jategaonkar, John C. Mitchell: Type Inference with Extended Pattern Matching and Subtypes. Fundam. Inform. 19(1/2): 127-165 (1993)
	1992
2		Lalita Jategaonkar, Albert R. Meyer: Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report. CONCUR 1992: 17-31
	1988
1		Lalita Jategaonkar, John C. Mitchell: ML with Extended Pattern Matching and Subtypes. LISP and Functional Programming 1988: 198-211

Coauthor Index

1	Rajeev Alur	[14]
2	Mark A. Ardis	[6] [10]
3	John A. Chaves	[6] [10]
4	Christopher Colby	[16] [17] [19] [20]
5	Kenneth C. Cox	[24]
6	Patrice Godefroid	[17] [18] [21] [22]
7	Rebecca E. Grinter	[24]
8	Neeraj K. Gupta	[12]
9	Vineet Gupta	[23]
10	Robert S. Hanmer	[18]
11	James D. Herbsleb	[22]
12	Stacie Hibino	[24]
13	Radha Jagadeesan	[8] [16] [19] [20] [21] [23]
14	Xiaowei Jiang	[23]
15	Joseph J. Kott	[14]
16	Eleftherios Koutsofios	[12]
17	Konstantin Läufer	[16] [19] [20] [21] [23]
18	Du Li	[22]
19	David Mantilla	[24]
20	Peter Mataga	[6] [10]
21	Albert R. Meyer	[2] [4] [5] [9]
22	John C. Mitchell	[1] [3]
23	James Von Olnhausen	[6] [7] [10] [11] [14]
24	Adam A. Porter	[13] [15]
25	Carlos Puchol	[6] [7] [10] [11] [13] [15] [16] [19] [20]
26	J. Christopher Ramming	[13] [15]
27	Mark G. Staskauskas	[6] [10]
28	Ramesh Viswanathan	[25]
29	Lawrence G. Votta	[13] [15]
30	David M. Weiss	[12]

Colors in the list of coauthors