Lalita Jategaonkar Jagadeesan

27 papers A* 5A 4B 2Misc 1Journal 6Unranked 9
YearRankTypeTitle / Venue / Authors
2025 B conf
Poster: The Costs of Incentivizing New Entrants in Trustworthy 6G Decentralized Marketplaces.
NetSoft
Péter Veliczky, Lalita Jategaonkar Jagadeesan, Ilaria Malanchini
2020 — conf
When Failure is (Not) an Option: Reliability Models for Microservices Architectures.
ISSRE Workshops
Lalita Jategaonkar Jagadeesan, Veena B. Mendiratta
2018 — conf
How Reliable Is My Software-Defined Network? Models and Failure Impacts.
ISSRE Workshops
Veena B. Mendiratta, Lalita Jategaonkar Jagadeesan, Robert S. Hanmer, Muntasir R. Rahman
2017 — conf
Analytics-Enhanced Automated Code Verification for Dependability of Software-Defined Networks.
ISSRE Workshops
Lalita Jategaonkar Jagadeesan, Veena B. Mendiratta
2016 — conf
Programming the Network: Application Software Faults in Software-Defined Networks.
ISSRE Workshops
Lalita Jategaonkar Jagadeesan, Veena B. Mendiratta
2005 Misc conf
Passive mid-stream monitoring of real-time properties.
EMSOFT
Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan
2001 J jnl
A Multi-Modal Natural Language Interface to an Information Visualization Environment.
Int. J. Speech Technol.
Kenneth C. Cox, Rebecca E. Grinter, Stacie Hibino, Lalita Jategaonkar Jagadeesan, David Mantilla
2000 A conf
A Constraint-Based Framework for Prototyping Distributed Virtual Applications.
CP
Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer
2000 — conf
Automated systematic testing for constraint-based interactive services.
SIGSOFT FSE
Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer
2000 A conf
Ensuring privacy in presence awareness: an automated verification approach.
CSCW
Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li
2000 J jnl
Sisl: Several Interfaces, Single Logic.
Int. J. Speech Technol.
Thomas Ball, Christopher Colby, Peter J. Danielsen, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Peter Mataga, Kenneth Rehor
2000 B conf
Using Dialog and Context in a Speech-Based interface for an Information Visualization Environment.
Advanced Visual Interfaces
Kenneth C. Cox, Rebecca E. Grinter, Stacie Hibino, Lalita Jategaonkar Jagadeesan, David Mantilla
1998 A* conf
Automatically Closing Open Reactive Programs.
PLDI
Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan
1998 — conf
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events.
ICCL
Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
1998 A conf
Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft.
ISSTA
Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan
1998 — conf
Objects and Concurrency in Triveni: A Telecommunication Case Study in Java.
COOTS
Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
1998 J jnl
Specification-based testing of reactive software: A case study in technology transfer.
J. Syst. Softw.
Lalita Jategaonkar Jagadeesan, Lawrence G. Votta, Adam A. Porter, Carlos Puchol, J. Christopher Ramming
1998 J jnl
Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor.
Bell Labs Tech. J.
Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan
1997 A conf
Auditdraw: Generating Audits the FAST Way.
RE
Neeraj K. Gupta, Lalita Jategaonkar Jagadeesan, Eleftherios Koutsofios, David M. Weiss
1997 A* conf
Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report).
ICSE
Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James Von Olnhausen
1997 A* conf
Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report).
ICSE
Lalita Jategaonkar Jagadeesan, Adam A. Porter, Carlos Puchol, J. Christopher Ramming, Lawrence G. Votta
1996 J jnl
A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL.
Formal Methods Syst. Des.
Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen
1996 J jnl
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report.
IEEE Trans. Software Eng.
Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen
1995 A* conf
A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report.
ICSE
Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen
1995 — conf
A formal approach to reactive systems software: a telecommunications application in ESTEREL.
WIFT
Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen
1995 — conf
Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract).
AMAST
Lalita Jategaonkar Jagadeesan, Radha Jagadeesan
1995 A* conf
Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software.
CAV
Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen