Kestrel Technology (United States)

154

Publications

8.8K

Citations

Authors

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.

Homepage ROR

Top concepts

EngineeringSystems EngineeringComputer ScienceSpace EngineeringFormal VerificationComputer EngineeringFormal MethodsSoftware AnalysisProgram AnalysisAerodynamics

Publications

154

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

Authors

	Publications	Citations	H-Index
DR David R. McDaniel Kestrel Technology (United States)	56	839	12
TA Timothy A. Eymann Kestrel Technology (United States)	21	242	6
BT Brett Tillman Kestrel Technology (United States)	6	283	6
TM Terence M. Rose Kestrel Technology (United States)	10	51	4
PN Paul Ngan Kestrel Technology (United States)	4	36	3

Rows per page

1–5 of 10