Concepedia
Statistics
Publications
154
Citations
8.8K
Authors
10
Location
Palo Alto, United States
Kestrel Technology (United States) is a company institution in Palo Alto, United States known for engineering, computer science, and formal verification.
Top concepts
EngineeringSystems EngineeringComputer ScienceSpace EngineeringFormal VerificationComputer EngineeringFormal MethodsSoftware AnalysisProgram AnalysisAerodynamics
Benchmark Models for the Analysis and Control of Small-Signal Oscillatory Dynamics in Power Systems
Claudio A. Cañizares, Tatiane C. C. Fernandes, Edson L. Geraldi et al. · IEEE Transactions on Power Systems · 2016 · 297 citations · Full text
Electrical Engineering, Engineering, Benchmark Models +14
An Overview of the Runtime Verification Tool Java PathExplorer
Klaus Havelund, Grigore Roşu · Formal Methods in System Design · 2004 · 221 citations
Engineering, Runtime Verification, Program Analysis +10
Monitoring programs using rewriting
Klaus Havelund, Grigore Roşu · 2005 · 200 citations
Software Maintenance, Program Checking, Engineering +21
Formal analysis of a space-craft controller using SPIN
Klaus Havelund, M. Lowry, John Penix · IEEE Transactions on Software Engineering · 2001 · 178 citations
Engineering, Verification, Software Engineering +20
Monitoring Java Programs with Java PathExplorer
Klaus Havelund, Grigore Roşu · Electronic Notes in Theoretical Computer Science · 2001 · 174 citations · Full text
Software Maintenance, Program Checking, Engineering +19
Rows per page
1–5 of 154
Kestrel Technology (United States), United States
56 publications · 839 citations
12
h-index
21 publications · 242 citations
6
6 publications · 283 citations
10 publications · 51 citations
4
4 publications · 36 citations
3
1–5 of 10