iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.org/pid/j/LJJagadeesan.html

dblp: Lalita Jategaonkar Jagadeesan

default search action

combined dblp search
author search
venue search
publication search

ask others

Lalita Jategaonkar Jagadeesan

Lalita Jagadeesan – Lalita Jategaonkar

> Home > Persons

Person information

affiliation: Bell Labs

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/csr2/JagadeesanLV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csr2/JagadeesanLV24
Lalita Jagadeesan, Shushu Liu, Lizette Velázquez:
Designing Trustworthy Decentralized Cross-Chain Marketplaces: A 6G Network of Networks Perspective. CSR 2024: 562-569
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/vtc/JagadeesanMV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vtc/JagadeesanMV24
Lalita Jagadeesan, Ilaria Malanchini, Lizette Velázquez:
A Socio-Economic Approach towards Trustworthy 6G Marketplaces of Softwarized Resources. VTC Fall 2024: 1-6
2021
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/ThijmAJT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/ThijmAJT21
Tim Alberdingk Thijm, Gary Atkinson, Lalita Jagadeesan, Marina Thottan:
A Matter of Trust: Verification of Security and Performance for Network Platform as a Service. DSN (Supplements) 2021: 49-52
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/WuMJR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/WuMJR21
Yuming Wu, Nishok Narasimha Mohanasamy, Lalita Jagadeesan, Muntasir Raihan Rahman:
Changes in Intent: Behavioral Predictions of Distributed SDN Controller Reconfiguration. ISSRE Workshops 2021: 433-438
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-13621
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-13621
Fanfei Meng, Lalita Jagadeesan, Marina Thottan:
Model-based Reinforcement Learning for Service Mesh Fault Resiliency in a Web Application-level. CoRR abs/2110.13621 (2021)
2020
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/drcn/KriaaPJM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/drcn/KriaaPJM20
Siwar Kriaa, Serge Papillon, Lalita Jagadeesan, Veena B. Mendiratta:
Better Safe than Sorry: Modeling Reliability and Security in Replicated SDN Controllers. DRCN 2020: 1-6
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/JagadeesanM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/JagadeesanM20
Lalita Jategaonkar Jagadeesan, Veena B. Mendiratta:
When Failure is (Not) an Option: Reliability Models for Microservices Architectures. ISSRE Workshops 2020: 19-24

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/bell/ThottanMKACMJMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bell/ThottanMKACMJMS19
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:
The network OS: Carrier-grade SDN control of multi-domain, multi-layer networks. Bell Labs Tech. J. 24: 1-26 (2019)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/netsoft/ChoiJJMRST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netsoft/ChoiJJMRST19
Nakjung Choi, Lalita Jagadeesan, Young Jin, Nishok Narasimha Mohanasamy, Muntasir Raihan Rahman, Krishan K. Sabnani, Marina Thottan:
Run-time Performance Monitoring, Verification, and Healing of End-to-End Services. NetSoft 2019: 30-35
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/netsoft/HanmerLJR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netsoft/HanmerLJR19
Robert S. Hanmer, Sheng Liu, Lalita Jagadeesan, Muntasir Raihan Rahman:
Death by Babble: Security and Fault Tolerance of Distributed Consensus in High-Availability Softwarized Networks. NetSoft 2019: 266-270
2018
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/HanmerJMZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/HanmerJMZ18
Robert S. Hanmer, Lalita Jagadeesan, Veena B. Mendiratta, Heng Zhang:
Friend or Foe: Strong Consistency vs. Overload in High-Availability Distributed Systems and SDN. ISSRE Workshops 2018: 59-64
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/MendirattaJHR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/MendirattaJHR18
Veena B. Mendiratta, Lalita Jategaonkar Jagadeesan, Robert S. Hanmer, Muntasir R. Rahman:
How Reliable Is My Software-Defined Network? Models and Failure Impacts. ISSRE Workshops 2018: 83-88
2017
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/JagadeesanM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/JagadeesanM17
Lalita Jategaonkar Jagadeesan, Veena B. Mendiratta:
Analytics-Enhanced Automated Code Verification for Dependability of Software-Defined Networks. ISSRE Workshops 2017: 139-145
2016
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/JagadeesanM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/JagadeesanM16
Lalita Jategaonkar Jagadeesan, Veena B. Mendiratta:
Programming the Network: Application Software Faults in Software-Defined Networks. ISSRE Workshops 2016: 125-131
2015
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/iptcomm/JagadeesanMGY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iptcomm/JagadeesanMGY15
Lalita Jagadeesan, Alan McBride, Vijay K. Gurbani, Jie Yang:
Cognitive Security: Security Analytics and Autonomics for Virtualized Networks. IPTComm 2015: 43-50

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2005
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/JagadeesanV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/JagadeesanV05
Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan:
Passive mid-stream monitoring of real-time properties. EMSOFT 2005: 343-352
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/isas/GurbaniJM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isas/GurbaniJM05
Vijay K. Gurbani, Lalita Jagadeesan, Veena B. Mendiratta:
Characterizing Session Initiation Protocol (SIP) Network Performance and Reliability. ISAS 2005: 196-211
2001
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/ijst/CoxGHJM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijst/CoxGHJM01
Kenneth C. Cox, Rebecca E. Grinter, Stacie Hibino, Lalita Jategaonkar Jagadeesan, David Mantilla:
A Multi-Modal Natural Language Interface to an Information Visualization Environment. Int. J. Speech Technol. 4(3-4): 297-314 (2001)
2000
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ijst/BallCDJJLMR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijst/BallCDJJLMR00
Thomas Ball, Christopher Colby, Peter J. Danielsen, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Peter Mataga, Kenneth Rehor:
Sisl: Several Interfaces, Single Logic. Int. J. Speech Technol. 3(2): 93-108 (2000)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/avi/CoxGHJM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/avi/CoxGHJM00
Kenneth C. Cox, Rebecca E. Grinter, Stacie Hibino, Lalita Jategaonkar Jagadeesan, David Mantilla:
Using Dialog and Context in a Speech-Based interface for an Information Visualization Environment. Advanced Visual Interfaces 2000: 274-275
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GuptaJJJL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GuptaJJJL00
Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer:
A Constraint-Based Framework for Prototyping Distributed Virtual Applications. CP 2000: 202-217
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/cscw/GodefroidyHJL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cscw/GodefroidyHJL00
Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li:
Ensuring privacy in presence awareness: an automated verification approach. CSCW 2000: 59-68
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/GodefroidJJL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/GodefroidJJL00
Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer:
Automated systematic testing for constraint-based interactive services. SIGSOFT FSE 2000: 40-49

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/bell/GodefroidHJ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bell/GodefroidHJ98
Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan:
Systematic software testing using VeriSoft - An analysis of the 4ESS™ heart-beat monitor. Bell Labs Tech. J. 3(2): 32-46 (1998)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/JagadeesanVPPR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/JagadeesanVPPR98
Lalita Jategaonkar Jagadeesan, Lawrence G. Votta, Adam A. Porter, Carlos Puchol, J. Christopher Ramming:
Specification-based testing of reactive software: A case study in technology transfer. J. Syst. Softw. 40(3): 249-262 (1998)
[c16]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/coots/ColbyJJLP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coots/ColbyJJLP98
Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol:
Objects and Concurrency in Triveni: A Telecommunication Case Study in Java. COOTS 1998: 131-149
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/iccl/ColbyJJLP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccl/ColbyJJLP98
Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol:
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events. ICCL 1998: 58-67
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GodefroidHJ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GodefroidHJ98
Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan:
Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft. ISSTA 1998: 124-133
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ColbyGJ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ColbyGJ98
Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan:
Automatically Closing Open Reactive Programs. PLDI 1998: 345-357
1997
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AlurJKO97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AlurJKO97
Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James Von Olnhausen:
Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report). ICSE 1997: 514-524
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/JagadeesanPPRV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/JagadeesanPPRV97
Lalita Jategaonkar Jagadeesan, Adam A. Porter, Carlos Puchol, J. Christopher Ramming, Lawrence G. Votta:
Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report). ICSE 1997: 525-535
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/re/GuptaJKW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/GuptaJKW97
Neeraj K. Gupta, Lalita Jategaonkar Jagadeesan, Eleftherios Koutsofios, David M. Weiss:
Auditdraw: Generating Audits the FAST Way. RE 1997: 188-197
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ColbyJJLP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ColbyJJLP98
Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol:
The Semantics of Triveni: A Process-Algebraic API for Threads + Events. US-Brazil Joint Workshops on the Formal Foundations of Software Systems 1997: 107-133
1996
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/JagadeesanPO96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/JagadeesanPO96
Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen:
A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL. Formal Methods Syst. Des. 8(2): 123-151 (1996)
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/JategaonkarM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/JategaonkarM96
Lalita Jategaonkar, Albert R. Meyer:
Deciding True Concurrency Equivalences on Safe, Finite Nets. Theor. Comput. Sci. 154(1): 107-143 (1996)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/ArdisCJMPSO96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ArdisCJMPSO96
Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen:
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. IEEE Trans. Software Eng. 22(6): 378-389 (1996)
1995
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/JagadeesanJ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/JagadeesanJ95
Lalita Jategaonkar Jagadeesan, Radha Jagadeesan:
Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract). AMAST 1995: 277-291
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/JagadeesanPO95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/JagadeesanPO95
Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen:
Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software. CAV 1995: 127-140
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ArdisCJMPSO95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ArdisCJMPSO95
Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen:
A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report. ICSE 1995: 159-168
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/wift/JagadeesanPO95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wift/JagadeesanPO95
Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen:
A formal approach to reactive systems software: a telecommunications application in ESTEREL. WIFT 1995: 132-145
1993
[j1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/JategaonkarM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/JategaonkarM93
Lalita Jategaonkar, John C. Mitchell:
Type Inference with Extended Pattern Matching and Subtypes. Fundam. Informaticae 19(1/2): 127-165 (1993)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/JategaonkarM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/JategaonkarM93
Lalita Jategaonkar, Albert R. Meyer:
Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report). ICALP 1993: 519-531
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/JategaonkarM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/JategaonkarM93
Lalita Jategaonkar, Albert R. Meyer:
Self-Synchronization of Concurrent Processes (Preliminary Report). LICS 1993: 409-417
1992
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/JategaonkarM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/JategaonkarM92
Lalita Jategaonkar, Albert R. Meyer:
Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report. CONCUR 1992: 17-31

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1988
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/JategaonkarM88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/JategaonkarM88
Lalita Jategaonkar, John C. Mitchell:
ML with Extended Pattern Matching and Subtypes. LISP and Functional Programming 1988: 198-211

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.