Lucas G. Wagner

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 6

Top Topics

Specification Language

Formal Verification

Top Venues

Publications

Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani
The JKind Model Checker. CAV (2) (2018)
Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani
The JKind Model Checker. CoRR (2017)
Lucas G. Wagner, David A. Greve, Andrew Gacek
SIMPAL: a compositional reasoning framework for imperative programs. SPIN (2017)
Lucas G. Wagner, Alain Mebsout, Cesare Tinelli, Darren D. Cofer, Konrad Slind
Qualification of a Model Checker for Avionics Software Verification. NFM (2017)
Aaron W. Fifarek, Lucas G. Wagner, Jonathan A. Hoffman, Benjamin D. Rodes, M. Anthony Aiello, Jennifer A. Davis
SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements. NFM (2017)
Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats Per Erik Heimdahl, Lucas G. Wagner
Proof-based coverage metrics for formal verification. ASE (2017)
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
Study on the Barriers to the Industrial Adoption of Formal Methods. FMICS (2013)
David S. Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas G. Wagner, Michael W. Whalen
Development of Security Software: A High Assurance Methodology. ICFEM (2009)