| 2025 | NetSoft | Poster: The Costs of Incentivizing New Entrants in Trustworthy 6G Decentralized Marketplaces. | Pter Veliczky, Lalita Jategaonkar Jagadeesan, Ilaria Malanchini |
| 2020 | ISSRE | When Failure is (Not) an Option: Reliability Models for Microservices Architectures. | Lalita Jategaonkar Jagadeesan, Veena B. Mendiratta |
| 2018 | ISSRE | How Reliable Is My Software-Defined Network? Models and Failure Impacts. | Veena B. Mendiratta, Lalita Jategaonkar Jagadeesan, Robert S. Hanmer, Muntasir R. Rahman |
| 2017 | ISSRE | Analytics-Enhanced Automated Code Verification for Dependability of Software-Defined Networks. | Lalita Jategaonkar Jagadeesan, Veena B. Mendiratta |
| 2016 | ISSRE | Programming the Network: Application Software Faults in Software-Defined Networks. | Lalita Jategaonkar Jagadeesan, Veena B. Mendiratta |
| 2005 | EMSOFT | Passive mid-stream monitoring of real-time properties. | Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan |
| 2000 | AVI | 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 |
| 2000 | CP | A Constraint-Based Framework for Prototyping Distributed Virtual Applications. | Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Lufer |
| 2000 | CSCW | Ensuring privacy in presence awareness: an automated verification approach. | Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li |
| 1998 | ISSTA | 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 |
| 1998 | PLDI | Automatically Closing Open Reactive Programs. | Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan |
| 1997 | ICSE | Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report). | Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James Von Olnhausen |
| 1997 | ICSE | 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 |
| 1997 | RE | Auditdraw: Generating Audits the FAST Way. | Neeraj K. Gupta, Lalita Jategaonkar Jagadeesan, Eleftherios Koutsofios, David M. Weiss |
| 1995 | CAV | Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software. | Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen |
| 1995 | ICSE | 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 |