Lucas G. Wagner

According to our database, Lucas G. Wagner authored at least 8 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

The JKind Model Checker.

Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

SIMPAL: a compositional reasoning framework for imperative programs.

Lucas G. Wagner, David A. Greve, Andrew Gacek

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Qualification of a Model Checker for Avionics Software Verification.

Lucas G. Wagner, Alain Mebsout, Cesare Tinelli, Darren D. Cofer, Konrad Slind

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements.

Aaron W. Fifarek, Lucas G. Wagner, Jonathan A. Hoffman, Benjamin D. Rodes, M. Anthony Aiello, Jennifer A. Davis

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Proof-based coverage metrics for formal verification.

Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats Per Erik Heimdahl, Lucas G. Wagner

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2013

Study on the Barriers to the Industrial Adoption of Formal Methods.

Jennifer A. Davis, Matthew A. Clark, Darren D. Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan A. Hoffman, Brian W. Hulbert, Steven P. Miller, Lucas G. Wagner

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

2010

Model Checking Information Flow.

Michael W. Whalen, David A. Greve, Lucas G. Wagner

Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010

2009

Development of Security Software: A High Assurance Methodology.

David S. Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas G. Wagner, Michael W. Whalen

Proceedings of the Formal Methods and Software Engineering, 2009