Lalita Jategaonkar Jagadeesan

Lalita Jategaonkar

	2005
c19		Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan: Passive mid-stream monitoring of real-time properties. EMSOFT 2005: 343-352
	2000
c18		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
c17		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
c16		Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li: Ensuring privacy in presence awareness: an automated verification approach. CSCW 2000: 59-68
c15		Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer: Automated systematic testing for constraint-based interactive services. SIGSOFT FSE 2000: 40-49
	1998
j6		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)
j5		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)
c14		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
c13		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
c12		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
c11		Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan: Automatically Closing Open Reactive Programs. PLDI 1998: 345-357
	1997
c10		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
c9		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
c8		Neeraj K. Gupta, Lalita Jategaonkar Jagadeesan, Eleftherios Koutsofios, David M. Weiss: Auditdraw: Generating Audits the FAST Way. RE 1997: 188-197
	1996
j4		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)
j3		Lalita Jategaonkar, Albert R. Meyer: Deciding True Concurrency Equivalences on Safe, Finite Nets. Theor. Comput. Sci. 154(1): 107-143 (1996)
j2		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
c7		Lalita Jategaonkar Jagadeesan, Radha Jagadeesan: Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract). AMAST 1995: 277-291
c6		Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen: Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software. CAV 1995: 127-140
c5		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
j1		Lalita Jategaonkar, John C. Mitchell: Type Inference with Extended Pattern Matching and Subtypes. Fundam. Inform. 19(1/2): 127-165 (1993)
c4		Lalita Jategaonkar, Albert R. Meyer: Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report). ICALP 1993: 519-531
c3		Lalita Jategaonkar, Albert R. Meyer: Self-Synchronization of Concurrent Processes (Preliminary Report). LICS 1993: 409-417
	1992
c2		Lalita Jategaonkar, Albert R. Meyer: Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report. CONCUR 1992: 17-31
	1988
c1		Lalita Jategaonkar, John C. Mitchell: ML with Extended Pattern Matching and Subtypes. LISP and Functional Programming 1988: 198-211

Coauthor Index

Colors in the list of coauthors

Last update Sat May 18 11:19:12 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page