( en | de | ru )

 

Disambiguation of "Jagadeesan, Lalita Jategaonkar"

Author of the publication

copydeleteadd this publication to your clipboard
Passive mid-stream monitoring of real-time properties.

, and . EMSOFT, page 343-352. ACM, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sakthimala Jagadeesan

Swati Ravindra Jategaonkar

Lalita-Narhar Deshpande

Smita Ravindra Jategaonkar

 

Other publications of authors with the same name

Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report)., , , , and . ICSE, page 525-535. ACM, (1997)Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events., , , , and . ICCL, page 58-67. IEEE Computer Society, (1998)Using Dialog and Context in a Speech-Based interface for an Information Visualization Environment., , , , and . Advanced Visual Interfaces, page 274-275. ACM Press, (2000)Automated systematic testing for constraint-based interactive services., , , and . SIGSOFT FSE, page 40-49. ACM, (2000)Sisl: Several Interfaces, Single Logic., , , , , , , and . Int. J. Speech Technol., 3 (2): 93-108 (2000)A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL., , and . Formal Methods Syst. Des., 8 (2): 123-151 (1996)Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft., , and . ISSTA, page 124-133. ACM, (1998)A Constraint-Based Framework for Prototyping Distributed Virtual Applications., , , , and . CP, volume 1894 of Lecture Notes in Computer Science, page 202-217. Springer, (2000)A formal approach to reactive systems software: a telecommunications application in ESTEREL., , and . WIFT, page 132-145. IEEE Computer Society, (1995)Passive mid-stream monitoring of real-time properties., and . EMSOFT, page 343-352. ACM, (2005)