PUBLICATIONS

Note: Because of copyright policies, some of my papers are not available here. Please send me email at lalita@lucent.com if you would like me to send you a copy.

Performance and Reliability

V. Gurbani, L. Jagadeesan, V. Mendiratta. Characterizing Session Initiation Protocol (SIP) Network Performance and Reliability. In the International Service Availability Symposium, April 2005. To appear in LNCS 3694.

Specification, Implementation, and Verification of Concurrent, Reactive, and Real-time Systems

L. Jagadeesan, R. Viswanathan. Passive Mid-Stream Monitoring of Real-Time Properties. To appear in the ACM Conference on Embedded Systems, September 2005.
P. Godefroid, J. Herbsleb, L. Jagadeesan, D. Li. Ensuring Privacy in Presence Awareness Systems: An Automated Verification Approach. In ACM Conference on Computer Supported Cooperative Work, December 2000.
P. Godefroid, L. Jagadeesan, R. Jagadeesan, K. Laufer. Automated Systematic Testing for Constraint-Based Interactive Services. In ACM SIGSOFT International Symposium on the Foundations of Software Engineering, November 2000.
V. Gupta, Lalita J. Jagadeesan, R. Jagadeesan, X. Jiang and K. Läufer. A Constraint Based Framework for Prototyping Distributed Virtual Applications. International Conference on Principles and Practice of Constraint Programming, September 2000.
C. Colby, P. Godefroid, and L. Jagadeesan. Automatically Closing Open Reactive Programs. In Proceedings of the Conference on Programming Language Design and Implementation (PLDI) , June 1998.
C. Colby, L. Jagadeesan, R. Jagadeesan, K. Läufer, and C. Puchol. Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events. In Proceedings of International Conference on Computer Languages (ICCL) , May 1998.
C. Colby, L. Jagadeesan, R. Jagadeesan, K. Läufer, and C. Puchol. Objects and Concurrency in Triveni: A Telecommunication Case Study in Java. In Proceedings of the Conference on Object-Oriented Technologies and Systems (COOTS) , April 1998.
C. Colby, L. Jagadeesan, R. Jagadeesan, K. Läufer, and C. Puchol. The Semantics of Triveni: A Process-Algebraic API for Threads + Events.Electronic Notes in Theoretical Computer Science Vol. 14 (1999).
P. Godefroid, R. Hanmer, and L. Jagadeesan. Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using VeriSoft.In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), March 1998.
R. Alur, L. Jagadeesan, J. Kott, and J. Von Olnhausen. Model Checking of Real-Time Systems: A Telecommunications Application. In Proceedings of the 19th International Conference on Software Engineering, May 1997.
L. Jagadeesan, A. Porter, C. Puchol, J.C. Ramming, and L. Votta. Specification-based Testing of Reactive Software: Tools and Experiments. In Proceedings of the 19th International Conference on Software Engineering, May 1997.
M. Ardis, J. Chaves, L. Jagadeesan, P. Mataga, C. Puchol, M. Staskauskas, and J. Von Olnhausen. A Framework for Evaluating Specification Methods for Reactive Systems.IEEE Transactions on Software Engineering, 22(6):378-389, June 1996. An earlier version appeared in the Proceedings of the International Conference on Software Engineering, April 1995.
L. Jagadeesan, C. Puchol, and J. Von Olnhausen. A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL.Formal Methods in System Design, 8(2):123-152, March 1996. An earlier version appeared in the Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, April 1995.
L. Jagadeesan, C. Puchol, and J. Von Olnhausen. Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software. In Proceedings of the 7th International Conference on Computer Aided Verification, Volume 939 of the Lecture Notes in Computer Science, pages 127-140, July 1995.

Multi-modal Interactive Services

K. Cox, R. Grinter, S. Hibino, L. Jagadeesan,D. Mantilla. A Multi-Modal Natural Language Interface to an Information Visualization Environment. In International Journal of Speech Technology, 4(3): 297-314, Jul 2001. Kluwer Academic Publishers.
T. Ball, C. Colby, P. Danielsen, L. Jagadeesan, R. Jagadeesan, K. Laufer, P. Mataga, K. Rehor. Sisl: Several Interfaces, Single Logic. In the International Journal of Speech Technology, 3(2): 93-108, June 2000. Kluwer Academic Publishers.

Semantics of Concurrency

C. Colby, L. Jagadeesan, R. Jagadeesan, K. Laufer, and C. Puchol. The Semantics of Triveni: A Process-Algebraic API for Threads + Events. In US-Brazil Joint Workshops on the Formal Foundations of Software Systems , November 1997, Volume 14 of the Electronic Notes in Theoretical Computer Science.
L. Jategaonkar and A.R. Meyer. Deciding True Concurrency Equivalences on Finite Safe Nets. Theoretical Computer Science, 154:107-143, January 1996. An earlier version appeared in the Proceedings of the 20th International Colloquium on Automata, Languages, and Programming, Volume 700 of the Lecture Notes in Computer Science, 1993.
L. Jagadeesan and R. Jagadeesan. Causality and True Concurrency: A Dataflow Analysis of the Pi-Calculus. In Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, Volume 936 of the Lecture Notes in Computer Science, July 1995.
L. Jategaonkar and A.R. Meyer. Self-Synchronization of Concurrent Processes. In Proceedings of the 8th IEEE Symposium on Logic in Computer Science, pages 409-417, July 1993.
L. Jategaonkar and A.R. Meyer. Testing Equivalence for Petri Nets with Action Refinement. In Proceedings of the 3rd International Conference on Concurrency Theory, Volume 630 of the Lecture Notes in Computer Science, pages 17-31, August 1992.
L. Jategaonkar. Observing ``True'' Concurrency. PhD thesis, Massachusetts institute of Technology, September 1993.

Domain Engineering

N. Gupta, L. Jagadeesan, E. Koutsofios, and D. Weiss. Auditdraw: Generating Audits the FAST Way. In Proceedings of the 3rd IEEE International Symposium on Requirements Engineering, January 1997.

Functional Programming Languages and Type Theory

L. Jategaonkar and J.C. Mitchell. Type Inference with Extended Pattern Matching and Subtypes. Fundamenta Informaticae, 19(1,2): 127-166, September/October 1993.An earlier version appeared in the Proceedings of the ACM Symposium on Lisp and Functional Programming Languages, 1988.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

lalita@lucent.com