David A. Greve
Affiliations:- Rockwell Collins, Cedar Rapids, IA, USA
According to our database1,
David A. Greve
authored at least 17 papers
between 1998 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
4
1
1
2
1
1
1
1
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2022
A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A.
Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022
2020
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
2018
Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018
2017
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017
2014
Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014
2013
Proceedings of the Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, 2013
2010
Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010
Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010
Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010
Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010
2008
Proceedings of the FM 2008: Formal Methods, 2008
2006
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006
2001
1998
Proceedings of the Formal Methods in Computer-Aided Design, 1998
Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998