Lalita Jategaonkar Jagadeesan

Author

Nokia (United States)

Also Known As

Jagadeesan, Lalita, L.J. Jagadeesan, Lalita J. Jagadeesan, Lalita Jagadeesan, Lalita Jategaonkar Jagadeesan, P Choi

Publications

883

Citations

H-Index

Concepts

All Affiliations

Nokia (United States)The University of Texas at Austin AT&T (United States)Loyola University Chicago Alcatel Lucent (Germany)

About

Lalita Jategaonkar Jagadeesan is an author at Nokia (United States) specializing in engineering, software analysis, and software engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	11	11	314
2	Systems Engineering	9	9	283
3	Computer Science	8	8	223
4	Computer Engineering	6	6	156
5	Compilers	1	1	16

Lalita Jategaonkar Jagadeesan

Publications

666

Citations

H-Index

Page 1

	Year	Citations
A Multi-Modal Natural Language Interface to an Information Visualization Environment Kenneth C. Cox, Rebecca E. Grinter, Stacie Hibino, International Journal of Speech Technology	2001	70
Automatically closing open reactive programs Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan EngineeringSoftware EngineeringSoftware AnalysisFormal VerificationSystems Engineering	1998	65
Sisl: Several Interfaces, Single Logic Thomas Ball, Christopher Colby, Peter J. Danielsen, International Journal of Speech Technology	2000	53
Specification-based testing of reactive software Lalita Jategaonkar Jagadeesan, Adam Porter, Carlos Puchol,	1997	51
A framework for evaluating specification methods for reactive systems Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan,	1995	51
Model checking without a model Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan EngineeringVerificationComputer ArchitectureConcurrent SystemModel Checking	1998	49
Specification-based testing of reactive software: tools and experiments Lalita Jategaonkar Jagadeesan, Adam Porter, Carlos Puchol,	1997	41
A framework for evaluating specification methods for reactive systems-experience report Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, IEEE Transactions on Software Engineering Software MaintenanceSpecification MethodsEngineeringSoftware EngineeringSoftware Analysis	1996	39
A formal approach to reactive systems software: A telecommunications application in Esterel Lalita Jategaonkar Jagadeesan, Carlos Puchol, James E. Von Olnhausen Formal Methods in System Design Formal SpecificationEngineeringFormal ModelingProgram AnalysisFormal Approach	1996	36
Auditdraw: generating audits the FAST way Nirmal Kumar Gupta, Lalita Jategaonkar Jagadeesan, E.E. Kouteofios,	2002	33

Page 1