Lalita Jategaonkar Jagadeesan

According to our database, Lalita Jategaonkar Jagadeesan authored at least 41 papers between 1988 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Model-based Reinforcement Learning for Service Mesh Fault Resiliency in a Web Application-level.

Fanfei Meng, Lalita Jagadeesan, Marina Thottan

CoRR, 2021

Changes in Intent: Behavioral Predictions of Distributed SDN Controller Reconfiguration.

Yuming Wu, Nishok Narasimha Mohanasamy, Lalita Jagadeesan, Muntasir Raihan Rahman

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

A Matter of Trust: Verification of Security and Performance for Network Platform as a Service.

Tim Alberdingk Thijm, Gary Atkinson, Lalita Jagadeesan, Marina Thottan

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2020

When Failure is (Not) an Option: Reliability Models for Microservices Architectures.

Lalita Jategaonkar Jagadeesan, Veena B. Mendiratta

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Better Safe than Sorry: Modeling Reliability and Security in Replicated SDN Controllers.

Siwar Kriaa, Serge Papillon, Lalita Jagadeesan, Veena B. Mendiratta

Proceedings of the 16th International Conference on the Design of Reliable Communication Networks, 2020

2019

The network OS: Carrier-grade SDN control of multi-domain, multi-layer networks.

Marina Thottan, Catello Di Martino, Young-Jin Kim, Gary W. Atkinson, Nakjung Choi, Nishok Mohanasamy, Lalita Jagadeesan, Veena B. Mendiratta, Jesse E. Simsarian, Bartek Kozicki

Bell Labs Tech. J., 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

Proceedings of the 5th IEEE Conference on Network Softwarization, 2019

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

Proceedings of the 5th IEEE Conference on Network Softwarization, 2019

2018

How Reliable Is My Software-Defined Network? Models and Failure Impacts.

Veena B. Mendiratta, Lalita Jategaonkar Jagadeesan, Robert S. Hanmer, Muntasir R. Rahman

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Friend or Foe: Strong Consistency vs. Overload in High-Availability Distributed Systems and SDN.

Robert S. Hanmer, Lalita Jagadeesan, Veena B. Mendiratta, Heng Zhang

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

2017

Analytics-Enhanced Automated Code Verification for Dependability of Software-Defined Networks.

Lalita Jategaonkar Jagadeesan, Veena B. Mendiratta

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

2016

Programming the Network: Application Software Faults in Software-Defined Networks.

Lalita Jategaonkar Jagadeesan, Veena B. Mendiratta

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

2015

Cognitive Security: Security Analytics and Autonomics for Virtualized Networks.

Lalita Jagadeesan, Alan McBride, Vijay K. Gurbani, Jie Yang

Proceedings of the Principles, Systems and Applications on IP Telecommunications, 2015

2005

Characterizing Session Initiation Protocol (SIP) Network Performance and Reliability.

Vijay K. Gurbani, Lalita Jagadeesan, Veena B. Mendiratta

Proceedings of the Service Availability, 2005

Passive mid-stream monitoring of real-time properties.

Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan

Proceedings of the EMSOFT 2005, 2005

2001

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

2000

Sisl: Several Interfaces, Single Logic.

Thomas Ball, Christopher Colby, Peter J. Danielsen, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Peter Mataga, Kenneth Rehor

Int. J. Speech Technol., 2000

Automated systematic testing for constraint-based interactive services.

Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Ensuring privacy in presence awareness: an automated verification approach.

Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li

Proceedings of the CSCW 2000, 2000

A Constraint-Based Framework for Prototyping Distributed Virtual Applications.

Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer

Proceedings of the Principles and Practice of Constraint Programming, 2000

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

Proceedings of the working conference on Advanced visual interfaces, 2000

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

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

Automatically Closing Open Reactive Programs.

Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 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

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 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

Proceedings of the 1998 International Conference on Computer Languages, 1998

Objects and Concurrency in Triveni: A Telecommunication Case Study in Java.

Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol

Proceedings of the 4th USENIX Conference on Object-Oriented Technologies and Systems (COOTS), 1998

1997

The Semantics of Triveni: A Process-Algebraic API for Threads + Events.

Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Auditdraw: Generating Audits the FAST Way.

Neeraj K. Gupta, Lalita Jategaonkar Jagadeesan, Eleftherios Koutsofios, David M. Weiss

Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 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

Proceedings of the Pulling Together, 1997

Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report).

Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James Von Olnhausen

Proceedings of the Pulling Together, 1997

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

Deciding True Concurrency Equivalences on Safe, Finite Nets.

Lalita Jategaonkar, Albert R. Meyer

Theor. Comput. Sci., 1996

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

1995

Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software.

Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen

Proceedings of the Computer Aided Verification, 1995

Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract).

Lalita Jategaonkar Jagadeesan, Radha Jagadeesan

Proceedings of the Algebraic Methodology and Software Technology, 1995

1993

Type Inference with Extended Pattern Matching and Subtypes.

Lalita Jategaonkar, John C. Mitchell

Fundam. Informaticae, 1993

Self-Synchronization of Concurrent Processes (Preliminary Report)

Lalita Jategaonkar, Albert R. Meyer

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report).

Lalita Jategaonkar, Albert R. Meyer

Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

1992

Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report.

Lalita Jategaonkar, Albert R. Meyer

Proceedings of the CONCUR '92, 1992

1988

ML with Extended Pattern Matching and Subtypes.

Lalita Jategaonkar, John C. Mitchell

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988