20
Publications
666
Citations
15
H-Index
1995
Active since
Lalita Jategaonkar Jagadeesan is an author at Nokia (United States) specializing in engineering, software analysis, and software engineering.
Top concepts
EngineeringSoftware AnalysisSystems EngineeringSoftware EngineeringSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisFormal MethodsFormal Verification
Publications per year
1995–2021
20
20
Sisl: Several Interfaces, Single Logic
Thomas Ball, Christopher Colby, Peter J. Danielsen et al. · International Journal of Speech Technology · 2000 · 53 citations · Full text
Specification-based testing of reactive software
Lalita Jategaonkar Jagadeesan, Adam Porter, Carlos Puchol et al. · 1997 · 51 citations · Full text
A framework for evaluating specification methods for reactive systems
Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan et al. · 1995 · 51 citations · Full text
Rows per page
1–5 of 20