Author of the publication

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.

No persons found for author name Jagadeesan, Lalita Jategaonkar
add a person with the name Jagadeesan, Lalita Jategaonkar
 

Other publications of authors with the same name

Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events., , , , and . ICCL, page 58-67. IEEE Computer Society, (1998)Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report)., , , , and . ICSE, page 525-535. ACM, (1997)Auditdraw: Generating Audits the FAST Way., , , and . RE, page 188-197. IEEE Computer Society, (1997)Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract)., and . AMAST, volume 936 of Lecture Notes in Computer Science, page 277-291. Springer, (1995)Passive mid-stream monitoring of real-time properties., and . EMSOFT, page 343-352. ACM, (2005)Programming the Network: Application Software Faults in Software-Defined Networks., and . ISSRE Workshops, page 125-131. IEEE Computer Society, (2016)Specification-based testing of reactive software: A case study in technology transfer., , , , and . Journal of Systems and Software, 40 (3): 249-262 (1998)Automated systematic testing for constraint-based interactive services., , , and . SIGSOFT FSE, page 40-49. ACM, (2000)Sisl: Several Interfaces, Single Logic., , , , , , , and . I. J. Speech Technology, 3 (2): 93-108 (2000)Using Dialog and Context in a Speech-Based interface for an Information Visualization Environment., , , , and . Advanced Visual Interfaces, page 274-275. ACM Press, (2000)