University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
A Framework to Evaluate Candidate Agile Software Development Processes Ian De Silva July 2019 Ph.D. Dissertation, University of Minnesota Critical Systems Research Group PDF icon desilva-dissertation-2019.pdf
Contract discovery from black-box components Vaibhav Sharma
Taejoon Byun
Stephen McCamant
Sanjai Rayadurgam
Mats Heimdahl
November 2018 WASPI 2018 Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference Critical Systems Research Group PDF icon fsews18waspimain-id2-p.pdf
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts Andreas Katis
Grigory Fedyukovich
Huajun Guo
Andrew Gacek
John Backes
Arie Gurfinkel
Dr. Michael Whalen, Ph.D.
March 2018 24th International Conference onTools and Algorithms for the Construction and Analysis of Systems (TACAS 2018) Critical Systems Research Group PDF icon document.pdf
Toward Rigorous Object-Code Coverage Criteria Taejoon Byun
Vaibhav Sharma
Sanjai Rayadurgam
Stephen McCamant
Mats Heimdahl
October 2017 The 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE Critical Systems Research Group
Architecture Modeling and Analysis for Safety Engineering Danielle Stewart
Dr. Michael Whalen, Ph.D.
Darren Cofer
Mats Heimdahl
August 2017 IMBSA 2017 (International Symposium on Model-Based Safety Assessment) Critical Systems Research Group PDF icon AMASE.pdf
Challenges in Testing Next Generation CPS Systems Dr. Michael Whalen, Ph.D. July 2017 Testing Embedded and Cyber Physical Systems Workshop Critical Systems Research Group Office presentation icon Slides for keynote talk
Discovering Instructions for Robust Binary-level Coverage Criteria Vaibhav Sharma
Taejoon Byun
Stephen McCamant
Sanjai Rayadurgam
Mats Heimdahl
July 2017 Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems. ACM Critical Systems Research Group PDF icon isstaws17tecpsmain-tecpsmainid7-p-a398738-32158M-final.pdf
Domain Modeling for Development Process Simulation Ian De Silva
Sanjai Rayadurgam
Mats Heimdahl
July 2017 Critical Systems Research Group PDF icon ICSSP2017 - Domain Modeling for Development Process Simulation
Requirements and Architectures for Secure Vehicles Dr. Michael Whalen, Ph.D.
Darren Cofer
Andrew Gacek
July 2016 IEEE Software, July/August 2016 Critical Systems Research Group PDF icon s4req.pdf
Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report Andreas Katis
Dr. Michael Whalen, Ph.D.
Andrew Gacek
May 2016 Appeared in the 4th FME Workshop on Formal Methods in Software Engineering, Austin, TX, May 15, 2016. Critical Systems Research Group PDF icon document.pdf

Pages