Lucas G. Wagner
发表
Michael W. Whalen,
Mats P. E. Heimdahl,
Steven P. Miller,
2005
.
Mats Per Erik Heimdahl,
Michael W. Whalen,
Andrew Gacek,
2017,
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Andrew Gacek,
David Greve,
Lucas G. Wagner,
2017,
SPIN.
Cesare Tinelli,
Konrad Slind,
Alain Mebsout,
2017
.
Kuldip S. Rattan,
Michael W. Whalen,
Eric D. Swenson,
2016
.
Michael W. Whalen,
David S. Hardin,
Lucas G. Wagner,
2009,
ICFEM.
John D. Backes,
Andrew Gacek,
Elaheh Ghassabani,
2017,
CAV.
M. Anthony Aiello,
Benjamin D. Rodes,
Lucas G. Wagner,
2017,
NFM.
Lucas G. Wagner,
Aaron W. Fifarek,
Aaron Fifarek,
2015
.
Michael W. Whalen,
Steven P. Miller,
Lucas G. Wagner,
2013
.
Darren D. Cofer,
Matthew A. Clark,
Steven P. Miller,
2013,
FMICS.
Michael W. Whalen,
David A. Greve,
Lucas G. Wagner,
2010,
Design and Verification of Microprocessor Systems for High-Assurance Applications.
Michael W. Whalen,
Richard G. Cobb,
Eric D. Swenson,
2015
.
John D. Backes,
Lucas G. Wagner,
Andrew Gacek,
2017,
CAV.
Lucas G. Wagner,
J. Foster,
Z. Rakamaric,
2023,
NFM.
Eric Feron,
Lucas Wagner,
Lucas G. Wagner,
2021,
2021 IEEE Aerospace Conference (50100).