Searching for authors named "Lalita Jategaonkar Jagadeesan" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

22 documents found, showing 1 through 10. Next 10 →

Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract)
by Lalita Jategaonkar Jagadeesan, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Radha Jagadeesan — 1995
… Technology, July 1995 Lecture Notes in Computer Science, Volume 936) Lalita Jategaonkar Jagadeesan Software…
Cited by 11 (0 self) – Add To MetaCart

Systematic Software Testing using VeriSoft: An Analysis of the 4ESS Heart-Beat Monitor
by Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan — 1998 — Bell Labs Technical Journal
…@(email omitted); Lalita Jategaonkar Jagadeesan Bell Laboratories Lucent Technologies 1000 E. Warrenville Road Naperville…
Cited by 2 (0 self) – Add To MetaCart

Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using VeriSoft
by Patrice Godefroid, Patrice Godefroid, Robert S. Hanmer, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan, Lalita Jategaonkar Jagadeesan — 1998 — In Proc. ACM International Symposium on Software Testing and Analysis (ISSTA'98
… VeriSoft Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan March 1998 Proceedings…
Cited by 18 (5 self) – Add To MetaCart

Automatically Closing Open Reactive Programs
by C. Colby, P. Godefroid, L.J. Jagadeesan, Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan — 1998 — In Proceedings of 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation
… Naperville, IL 60566 god@(email omitted); Lalita Jategaonkar Jagadeesan Bell Laboratories Lucent Technologies…
Cited by 28 (2 self) – Add To MetaCart

Automatically Closing Open Reactive Programs
by Christopher Colby Loyola, Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan — 1998 — In Proceedings of 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation
…@(email omitted); Lalita Jategaonkar Jagadeesan Bell Laboratories Lucent Technologies 1000 E. Warrenville Road Naperville…
Add To MetaCart

Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using VeriSoft
by Software Testing And, Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan — 1998 — In Proc. ACM International Symposium on Software Testing and Analysis (ISSTA'98
… Naperville, IL 60566, USA hanmer@(email omitted); Lalita Jategaonkar Jagadeesan Bell Laboratories Lucent…
Add To MetaCart

Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using VeriSoft
by Patrice Godefroid Bell, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan — 1998 — In Proc. ACM International Symposium on Software Testing and Analysis (ISSTA'98
… Naperville, IL 60566, USA hanmer@(email omitted); Lalita Jategaonkar Jagadeesan Bell Laboratories Lucent…
Add To MetaCart

Ensuring Privacy in Presence Awareness Systems: An Automated Verification Approach
by Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li — 2000
… Godefroidy, James D. Herbsleby, Lalita Jategaonkar Jagadeesany, DuLiz yBell Labs, Lucent Technologies 263…
Cited by 12 (1 self) – Add To MetaCart

Objects and Concurrency in Triveni: A Telecommunication Case Study in Java
by Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Laufer, Carlos Puchol — 1998 — In 4th USENIX Conference on Object Oriented Technologies and Systems
… , Lalita Jategaonkar Jagadeesan y , Radha Jagadeesan , Konstantin Laufer , Carlos Puchol y…
Cited by 6 (4 self) – Add To MetaCart

Specification-based Testing of Reactive Software: Tools and Experiments
by Lalita Jategaonkar Jagadeesan, Adam Porter , Carlos Puchol, J. Christopher Ramming, Lawrence G. Votta — 1997 — IN 19TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
… Jategaonkar Jagadeesan*, Adam Porter l, Carlos Puchol , J. Christopher Ramming , and Lawrence G. Votta…
Cited by 23 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB