Institution · Kestrel Technology (United States)
Most cited papers from Kestrel Technology (United States)
What are the most cited papers from Kestrel Technology (United States)?
The most cited paper from Kestrel Technology (United States) is "Generalized Symbolic Execution for Model Checking and Testing" (Sarfraz Khurshid, Corina S. Păsăreanu, Willem I. Visser, 2003), with 571 citations. Next come "Learning Assumptions for Compositional Verification" (397) and "Rule-Based Runtime Verification" (375).
Showing 50 of 60 papers. Every paper with more than 13 citations is listed.
| # | Paper | ||
|---|---|---|---|
| 1 | Generalized Symbolic Execution for Model Checking and Testing Sarfraz Khurshid, Corina S. Păsăreanu, Willem I. Visser · Lecture notes in computer science | 2003 | 571 |
| 2 | Learning Assumptions for Compositional Verification Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Păsăreanu · Lecture notes in computer science | 2003 | 397 |
| 3 | Rule-Based Runtime Verification Howard Barringer, Allen Goldberg, Klaus Havelund et al. · Lecture notes in computer science | 2004 | 375 |
| 4 | Synthesizing Monitors for Safety Properties Klaus Havelund, Grigore Roşu · Lecture notes in computer science | 2002 | 364 |
| 5 | An Overview of the Runtime Verification Tool Java PathExplorer Klaus Havelund, Grigore Roşu · Formal Methods in System Design | 26 Feb 2004 | 228 |
| 6 | Monitoring programs using rewriting Klaus Havelund, Grigore Roşu | 24 Aug 2005 | 206 |
| 7 | Using Runtime Analysis to Guide Model Checking of Java Programs Klaus Havelund · Lecture notes in computer science | 2000 | 181 |
| 8 | Formal analysis of a space-craft controller using SPIN Klaus Havelund, M. Lowry, John Penix · IEEE Transactions on Software Engineering | 2001 | 178 |
| 9 | Monitoring Java Programs with Java PathExplorer Klaus Havelund, Grigore Roşu · Electronic Notes in Theoretical Computer Science | Oct 2001 | 176 |
| 10 | Efficient monitoring of safety properties Klaus Havelund, Grigore Roşu · International Journal on Software Tools for Technology Transfer | 28 Nov 2003 | 167 |
| 11 | Verification of Java Programs Using Symbolic Execution and Invariant Generation Corina S. Păsăreanu, Willem I. Visser · Lecture notes in computer science | 2004 | 120 |
| 12 | Event-based runtime verification of java programs Marcelo d’Amorim, Klaus Havelund · ACM SIGSOFT Software Engineering Notes | 17 May 2005 | 115 |
| 13 | Proof Rules for Automated Compositional Verification through Learning Howard Barringer, Dimitra Giannakopolou, Corina S. Păsăreanu · Research Explorer (The University of Manchester) | 2003 | 109 |
| 14 | Verify Your Runs Klaus Havelund, Allen Goldberg · Lecture notes in computer science | 2008 | 105 |
| 15 | Calibration of Infrared Milk Analyzers: Modified Milk Versus Producer Milk Kerry E. Kaylegian, G.E. Houghton, Joanna M Lynch et al. · Journal of Dairy Science | Aug 2006 | 99 |
| 16 | Test Systems for Voltage Stability Studies Thierry Van Cutsem, Mevludin Glavić, William Rosehart et al. · IEEE Transactions on Power Systems | 28 Feb 2020 | 94 |
| 17 | Combining test case generation and runtime verification Cyrille Valentin Artho, Howard Barringer, Allen Goldberg et al. · Theoretical Computer Science | 22 Dec 2004 | 93 |
| 18 | Automated environment generation for software model checking Oksana Tkachuk, Matthew B. Dwyer, Corina S. Păsăreanu | 24 Jan 2004 | 91 |
| 19 | Experimental Evaluation of Verification and Validation Tools on Martian Rover Software Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou et al. · Formal Methods in System Design | Sep 2004 | 85 |
| 20 | Kestrel: A Fixed Wing Virtual Aircraft Product of the CREATE Program Scott Morton, David M. McDaniel, David R. W. Sears et al. · 47th AIAA Aerospace Sciences Meeting including The New Horizons Forum and Aerospace Exposition | 5 Jan 2009 | 81 |
| 21 | Accuracy and Performance Improvements to Kestrel’s Near-Body Flow Solver David R. McDaniel, Robert H. Nichols, Timothy A. Eymann et al. · 54th AIAA Aerospace Sciences Meeting | 2 Jan 2016 | 80 |
| 22 | Dynamic Deadlock Analysis of Multi-threaded Programs Saddek Bensalem, Klaus Havelund · Lecture notes in computer science | 2006 | 78 |
| 23 | Component Verification with Automatically Generated Assumptions Dimitra Giannakopoulou, Corina S. Păsăreanu, Howard Barringer · Automated Software Engineering | Jul 2005 | 68 |
| 24 | Java PathExplorer: A Runtime Verification Tool Klaus Havelund, Grigore Roşu, Daniel J. Clancy | 2001 | 67 |
| 25 | Experiments with Test Case Generation and Runtime Analysis Cyrille Valentin Artho, Doron Drusinksy, Allen Goldberg et al. · Lecture notes in computer science | 2003 | 59 |
| 26 | Program monitoring with LTL in Eagle Howard Barringer, Allen Goldberg, Klaus Havelund et al. | 10 Jun 2004 | 55 |
| 27 | Confirmation of deadlock potentials detected by runtime analysis Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund et al. | 17 Jul 2006 | 48 |
| 28 | Concrete Model Checking with Abstract Matching and Refinement Corina S. Păsăreanu, Radek Pelánek, Willem I. Visser · Lecture notes in computer science | 2005 | 48 |
| 29 | Multidimensional Active Flux Schemes Timothy A. Eymann, Philip L. Roe · 21st AIAA Computational Fluid Dynamics Conference | 22 Jun 2013 | 43 |
| 30 | Assume-guarantee verification of source code with design-level assumptions Dimitra Giannakopoulou, Corina S. Păsăreanu, Jamieson M. Cobleigh · Proceedings. 26th International Conference on Software Engineering | 28 Sep 2004 | 42 |
| 31 | Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors Cyrille Valentin Artho, Klaus Havelund, Armin Biere · Lecture notes in computer science | 2004 | 38 |
| 32 | Precise and Scalable Static Program Analysis of NASA Flight Software Guillaume P. Brat, Arnaud Venet | 2005 | 37 |
| 33 | Mapping temporal planning constraints into timed automata Louay Khatib, Nicola Muscettola, Klaus Havelund | 13 Nov 2002 | 32 |
| 34 | Modified Versus Producer Milk Calibration: Mid-Infrared Analyzer Performance Validation Kerry E. Kaylegian, Joanna M Lynch, G.E. Houghton et al. · Journal of Dairy Science | Aug 2006 | 31 |
| 35 | Lessons from the Post‐Earthquake Evaluation of Damaged Buildings in Christchurch Bruce Galloway, John Hare, Dave Brunsdon et al. · Earthquake Spectra | Feb 2014 | 30 |
| 36 | Rigid, Maneuvering, and Aeroelastic Results for Kestrel - A CREATE Simulation Tool Scott Morton, David M. McDaniel, David R. W. Sears et al. · 48th AIAA Aerospace Sciences Meeting Including the New Horizons Forum and Aerospace Exposition | 4 Jan 2010 | 27 |
| 37 | Active Flux Schemes Timothy Eymann, Philip L. Roe · 49th AIAA Aerospace Sciences Meeting including the New Horizons Forum and Aerospace Exposition | 4 Jan 2011 | 27 |
| 38 | Efficient Mesh Deformation for Computational Stability and Control Analyses on Unstructured Viscous Meshes David M. McDaniel, Scott Morton · 47th AIAA Aerospace Sciences Meeting including The New Horizons Forum and Aerospace Exposition | 5 Jan 2009 | 26 |
| 39 | Amphion/NAV: deductive synthesis of state estimation software Jon Whittle, J. Van Baalen, Jörg Schümann et al. | 25 Aug 2005 | 25 |
| 40 | A Scalable Nonuniform Pointer Analysis for Embedded Programs Arnaud Venet · Lecture notes in computer science | 2004 | 24 |
| 41 | Kestrel Current Capabilities and Future Direction for Fixed Wing Aircraft Simulations Scott Morton · 53rd AIAA Aerospace Sciences Meeting | 2 Jan 2015 | 23 |
| 42 | New MIMO ARQ protocols and joint detection via sphere decoding Harvind Samra, Zhi Jun Ding · IEEE Transactions on Signal Processing | 18 Jan 2006 | 23 |
| 43 | Aerodynamic Control Surface Implementation in Kestrel v2.0 David M. McDaniel, David R. W. Sears, Todd R. Tuckey et al. · 49th AIAA Aerospace Sciences Meeting including the New Horizons Forum and Aerospace Exposition | 4 Jan 2011 | 22 |
| 44 | Learning and Solving Soft Temporal Constraints: An Experimental Study Francesca Rossi, Alessandro Sperduti, Kristen Brent Venable et al. · Lecture notes in computer science | 2002 | 22 |
| 45 | Foundations of the Bandera Abstraction Tools John Hatcliff, Matthew B. Dwyer, Corina S. Păsăreanu et al. · Lecture notes in computer science | 2002 | 20 |
| 46 | Coordination of under excitation limiters and loss of excitation relays with generator capability Ginette Bérubé, L.M. Hajagos | Jul 2009 | 18 |
| 47 | A hybrid ARQ protocol using integrated channel equalization Harvind Samra, Zhi Jun Ding · IEEE Transactions on Communications | Dec 2005 | 18 |
| 48 | CertWare: A workbench for safety case production and analysis Matthew R. Barry | Mar 2011 | 18 |
| 49 | Runtime verification for autonomous spacecraft software Allen Goldberg, Klaus Havelund, Chris D McGann | 2005 | 17 |
| 50 | Electronic data collection to enhance disease surveillance at the slaughterhouse in a smallholder production system Laura Cristina Falzon, Joseph Ganda Ogola, Christian O. Odinga et al. · Scientific Reports | 30 Sep 2021 | 16 |
Citations are OpenAlex's own counts, from its 2026-09-23 snapshot, so the ranking can differ from Google Scholar or Web of Science. A paper is listed for an institution when any of its authors gave it as an affiliation; retracted papers and papers whose citation count cannot be traced to citing works are left out, and a preprint and the article it became are shown once. Release dates are OpenAlex's: where a source gave only a month or a year, that is what is shown. How the lists are chosen.