Lucas G. Wagner

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

Collaborative distances:

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

2025

Formally Verified Cloud-Scale Authorization.

Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2023

A Toolkit for Automated Testing of Dafny.

Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas G. Wagner, Cassidy Waldrip

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

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