
views: 613
Matthew B. Dwyer
Professor
Sign in to view more

Ego Network
D-Core
Research Interests
Author Statistics
Experience
Sign in to view more
Education
Sign in to view more
Bio
Research Interests
Specification and automated validation and verification of software systems.
Dwyer joined UNL in 2004. He was named a Distinguished Scientist by the ACM in 2007 and a Fellow by the IEEE in 2012.
Specification and automated validation and verification of software systems.
Dwyer joined UNL in 2004. He was named a Distinguished Scientist by the ACM in 2007 and a Fellow by the IEEE in 2012.
Papers231 papers
Sort
By YearBy Citation
ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
Virt..., pp.349-362, (2020)
IEEE Transactions on Software Engineering, pp.1-1, (2020)
Mitchell J. Gerrard,Matthew B. Dwyer
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, pp.35-38, (2019)
BDA, pp.324-340, (2019)
BigData, pp.3960-3967, (2019)
national conference on artificial intelligence, (2019)
TACAS, pp.249-265, (2018)
pp.3585-3589 (2018)
Jan Hückelheim, Ziqing Luo,Fabio Luporini, Navjot Kukreja, Michael Lange,Gerard Gorman,Stephen F. Siegel,Matthew B. Dwyer,Paul D. Hovland
SC '17: The International Conference for High Performance Computing, Networking, Storage and Analysi..., pp.42-49, (2017)
IEEE Trans. Software Eng., no. 3 (2017): 205-206
ASE, pp.804-814, (2017)
IEEE Transactions on Software Engineering, no. 3 (2016): 203-280
Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers,Matthew B. Dwyer,Stephen F. Siegel
TACAS, pp.908-911, (2016)
Journal of Systems and Software, no. C (2016): 35-48
Computer, no. 11 (2016): 10-10
View All