Citation Impact
Citing Papers
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
2008 Standout
Model Checking Programs
2003 Standout
Numerical continuation and bifurcation analysis in aircraft design: an industrial perspective
2015
Unmanned surface vehicles: An overview of developments and challenges
2016 Standout
Nonlinear system identification in structural dynamics: 10 more years of progress
2016 Standout
Interval Kalman Filtering in Navigation System Design for an Uninhabited Surface Vehicle
2013
Works of César Muñoz being referenced
Verified Real Number Calculations: A Library for Interval Arithmetic
2008
Bifurcation analysis using rigorous branch and bound methods
2014
The Coq proof assistant : reference manual, version 6.1
1997