ML with Extended Pattern Matching and Subtypes. - Lalita Jategaonkar; John C. Mitchell (LISP and Functional Programming, 1988)

Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report. - Lalita Jategaonkar; Albert R. Meyer (CONCUR, 1992)

Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report). - Lalita Jategaonkar; Albert R. Meyer (ICALP, 1993)

Self-Synchronization of Concurrent Processes (Preliminary Report) - Lalita Jategaonkar; Albert R. Meyer (LICS, 1993)

Type Inference with Extended Pattern Matching and Subtypes. - Lalita Jategaonkar; John C. Mitchell (Fundam. Informaticae, 1993)

Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract). - Lalita Jategaonkar Jagadeesan; Radha Jagadeesan (AMAST, 1995)

Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software. - Lalita Jategaonkar Jagadeesan; Carlos Puchol; James Von Olnhausen (CAV, 1995)

A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL. - Lalita Jategaonkar Jagadeesan; Carlos Puchol; James Von Olnhausen (Formal Methods Syst. Des., 1996)

Deciding True Concurrency Equivalences on Safe, Finite Nets. - Lalita Jategaonkar; Albert R. Meyer (Theor. Comput. Sci., 1996)

A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. - Mark A. Ardis; John A. Chaves; Lalita Jategaonkar Jagadeesan; Peter Mataga; Carlos Puchol; Mark G. Staskauskas; James Von Olnhausen (IEEE Trans. Software Eng., 1996)

Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report). - Rajeev Alur; Lalita Jategaonkar Jagadeesan; Joseph J. Kott; James Von Olnhausen (ICSE, 1997)

Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report). - Lalita Jategaonkar Jagadeesan; Adam A. Porter; Carlos Puchol; J. Christopher Ramming; Lawrence G. Votta (ICSE, 1997)

Auditdraw: Generating Audits the FAST Way. - Neeraj K. Gupta; Lalita Jategaonkar Jagadeesan; Eleftherios Koutsofios; David M. Weiss (RE, 1997)

The Semantics of Triveni: A Process-Algebraic API for Threads + Events. - Christopher Colby; Lalita Jategaonkar; Radha Jagadeesan; Konstantin Läufer; Carlos Puchol (US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997)

Objects and Concurrency in Triveni: A Telecommunication Case Study in Java. - Christopher Colby; Lalita Jategaonkar Jagadeesan; Radha Jagadeesan; Konstantin Läufer; Carlos Puchol (COOTS, 1998)

Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events. - Christopher Colby; Lalita Jategaonkar Jagadeesan; Radha Jagadeesan; Konstantin Läufer; Carlos Puchol (ICCL, 1998)

Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft. - Patrice Godefroid; Robert S. Hanmer; Lalita Jategaonkar Jagadeesan (ISSTA, 1998)

Automatically Closing Open Reactive Programs. - Christopher Colby; Patrice Godefroid; Lalita Jategaonkar Jagadeesan (PLDI, 1998)

Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor. - Patrice Godefroid; Robert S. Hanmer; Lalita Jategaonkar Jagadeesan (Bell Labs Tech. J., 1998)

Specification-based testing of reactive software: A case study in technology transfer. - Lalita Jategaonkar Jagadeesan; Lawrence G. Votta; Adam A. Porter; Carlos Puchol; J. Christopher Ramming (J. Syst. Softw., 1998)

Using Dialog and Context in a Speech-Based interface for an Information Visualization Environment. - Kenneth C. Cox; Rebecca E. Grinter; Stacie Hibino; Lalita Jategaonkar Jagadeesan; David Mantilla (Advanced Visual Interfaces, 2000)

A Constraint-Based Framework for Prototyping Distributed Virtual Applications. - Vineet Gupta 001; Lalita Jategaonkar Jagadeesan; Radha Jagadeesan; Xiaowei Jiang; Konstantin Läufer (CP, 2000)

Ensuring privacy in presence awareness: an automated verification approach. - Patrice Godefroid; James D. Herbsleb; Lalita Jategaonkar Jagadeesan; Du Li (CSCW, 2000)

Automated systematic testing for constraint-based interactive services. - Patrice Godefroid; Lalita Jategaonkar Jagadeesan; Radha Jagadeesan; Konstantin Läufer (SIGSOFT FSE, 2000)

Sisl: Several Interfaces, Single Logic. - Thomas Ball 001; Christopher Colby; Peter J. Danielsen; Lalita Jategaonkar Jagadeesan; Radha Jagadeesan; Konstantin Läufer; Peter Mataga; Kenneth Rehor (Int. J. Speech Technol., 2000)

A Multi-Modal Natural Language Interface to an Information Visualization Environment. - Kenneth C. Cox; Rebecca E. Grinter; Stacie Hibino; Lalita Jategaonkar Jagadeesan; David Mantilla (Int. J. Speech Technol., 2001)

Passive mid-stream monitoring of real-time properties. - Lalita Jategaonkar Jagadeesan; Ramesh Viswanathan (EMSOFT, 2005)

Characterizing Session Initiation Protocol (SIP) Network Performance and Reliability. - Vijay K. Gurbani; Lalita Jagadeesan; Veena B. Mendiratta (ISAS, 2005)

Cognitive Security: Security Analytics and Autonomics for Virtualized Networks. - Lalita Jagadeesan; Alan McBride; Vijay K. Gurbani; Jie Yang 045 (IPTComm, 2015)

Programming the Network: Application Software Faults in Software-Defined Networks. - Lalita Jategaonkar Jagadeesan; Veena B. Mendiratta (ISSRE Workshops, 2016)

Analytics-Enhanced Automated Code Verification for Dependability of Software-Defined Networks. - Lalita Jategaonkar Jagadeesan; Veena B. Mendiratta (ISSRE Workshops, 2017)

Friend or Foe: Strong Consistency vs. Overload in High-Availability Distributed Systems and SDN. - Robert S. Hanmer; Lalita Jagadeesan; Veena B. Mendiratta; Heng Zhang (ISSRE Workshops, 2018)

How Reliable Is My Software-Defined Network? Models and Failure Impacts. - Veena B. Mendiratta; Lalita Jategaonkar Jagadeesan; Robert S. Hanmer; Muntasir R. Rahman (ISSRE Workshops, 2018)

Run-time Performance Monitoring, Verification, and Healing of End-to-End Services. - Nakjung Choi; Lalita Jagadeesan; Young Jin; Nishok Narasimha Mohanasamy; Muntasir Raihan Rahman; Krishan K. Sabnani; Marina Thottan (NetSoft, 2019)

Death by Babble: Security and Fault Tolerance of Distributed Consensus in High-Availability Softwarized Networks. - Robert S. Hanmer; Sheng Liu; Lalita Jagadeesan; Muntasir Raihan Rahman (NetSoft, 2019)

The network OS: Carrier-grade SDN control of multi-domain, multi-layer networks. - Marina Thottan; Catello Di Martino; Young-Jin Kim 001; Gary W. Atkinson; Nakjung Choi; Nishok Mohanasamy; Lalita Jagadeesan; Veena B. Mendiratta; Jesse E. Simsarian; Bartek Kozicki (Bell Labs Tech. J., 2019)

Better Safe than Sorry: Modeling Reliability and Security in Replicated SDN Controllers. - Siwar Kriaa; Serge Papillon; Lalita Jagadeesan; Veena B. Mendiratta (DRCN, 2020)

When Failure is (Not) an Option: Reliability Models for Microservices Architectures. - Lalita Jategaonkar Jagadeesan; Veena B. Mendiratta (ISSRE Workshops, 2020)

A Matter of Trust: Verification of Security and Performance for Network Platform as a Service. - Tim Alberdingk Thijm; Gary Atkinson; Lalita Jagadeesan; Marina Thottan (DSN (Supplements), 2021)

Changes in Intent: Behavioral Predictions of Distributed SDN Controller Reconfiguration. - Yuming Wu; Nishok Narasimha Mohanasamy; Lalita Jagadeesan; Muntasir Raihan Rahman (ISSRE Workshops, 2021)

Model-based Reinforcement Learning for Service Mesh Fault Resiliency in a Web Application-level. - Fanfei Meng; Lalita Jagadeesan; Marina Thottan (CoRR, 2021)

Designing Trustworthy Decentralized Cross-Chain Marketplaces: A 6G Network of Networks Perspective. - Lalita Jagadeesan; Shushu Liu; Lizette Velázquez (CSR, 2024)

A Socio-Economic Approach towards Trustworthy 6G Marketplaces of Softwarized Resources. - Lalita Jagadeesan; Ilaria Malanchini; Lizette Velázquez (VTC Fall, 2024)

Fairness and Trust in 6G Marketplaces of Softwarized Resources. - Péter Veliczky; Ilaria Malanchini; Lalita Jagadeesan (ICIN, 2025)

Poster: The Costs of Incentivizing New Entrants in Trustworthy 6G Decentralized Marketplaces. - Péter Veliczky; Lalita Jategaonkar Jagadeesan; Ilaria Malanchini (NetSoft, 2025)