BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Canada
6 × USA
Collaborated with:
P.Godefroid J.V.Olnhausen C.Puchol R.S.Hanmer C.Colby J.D.Herbsleb D.Li R.Jagadeesan K.Läufer R.Alur J.J.Kott N.K.Gupta E.Koutsofios D.M.Weiss A.A.Porter J.C.Ramming L.G.Votta M.A.Ardis J.A.Chaves P.Mataga M.G.Staskauskas
Talks about:
reactiv (3) model (3) telecommun (2) softwar (2) program (2) system (2) specif (2) experi (2) applic (2) verif (2)

Person: Lalita Jategaonkar Jagadeesan

DBLP DBLP: Jagadeesan:Lalita_Jategaonkar

Contributed to:

CSCW 20002000
FSE 20002000
ISSTA 19981998
PLDI 19981998
ICSE 19971997
RE 19971997
CAV 19951995
ICSE 19951995

Wrote 9 papers:

CSCW-2000-GodefroidyHJL #approach #automation #privacy #verification
Ensuring privacy in presence awareness: an automated verification approach (PG, JDH, LJJ, DL), pp. 59–68.
FSE-2000-GodefroidJJL #automation #constraints #interactive #testing
Automated systematic testing for constraint-based interactive services (PG, LJJ, RJ, KL), pp. 40–49.
ISSTA-1998-GodefroidHJ #analysis #model checking #monitoring #using
Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft (PG, RSH, LJJ), pp. 124–133.
PLDI-1998-ColbyGJ #automation #source code
Automatically Closing Open Reactive Programs (CC, PG, LJJ), pp. 345–357.
ICSE-1997-AlurJKO #model checking #realtime
Model-Checking of Real-Time Systems: A Telecommunications Application (RA, LJJ, JJK, JVO), pp. 514–524.
ICSE-1997-JagadeesanPPRV #testing #tool support
Specification-based Testing of Reactive Software: Tools and Experiments (LJJ, AAP, CP, JCR, LGV), pp. 525–535.
RE-1997-GuptaJKW #generative #named #performance
Auditdraw: Generating Audits the FAST Way (NKG, LJJ, EK, DMW), pp. 188–197.
CAV-1995-JagadeesanPO #safety #source code #verification
Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software (LJJ, CP, JVO), pp. 127–140.
ICSE-1995-ArdisCJMPSO #case study #experience #framework #specification
A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report (MAA, JAC, LJJ, PM, CP, MGS, JVO), pp. 159–168.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.