|
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts |
Andreas Katis
Grigory Fedyukovich
Huajun Guo
Andrew Gacek
John Backes
Arie Gurfinkel
Michael Whalen |
March 2018 |
24th International Conference onTools and Algorithms for the Construction and Analysis of Systems (TACAS 2018) |
Critical Systems Research Group |
 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
Michael Whalen
Darren Cofer
Mats Heimdahl |
August 2017 |
IMBSA 2017 (International Symposium on Model-Based Safety Assessment) |
Critical Systems Research Group |
AMASE.pdf |
|
Challenges in Testing Next Generation CPS Systems |
Michael Whalen |
July 2017 |
Testing Embedded and Cyber Physical Systems Workshop |
Critical Systems Research Group |
 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 |
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 |
ICSSP2017 - Domain Modeling for Development Process Simulation |
|
Requirements and Architectures for Secure Vehicles |
Michael Whalen
Darren Cofer
Andrew Gacek |
July 2016 |
IEEE Software, July/August 2016 |
Critical Systems Research Group |
s4req.pdf |
|
Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report |
Andreas Katis
Michael Whalen
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 |
document.pdf |
|
Reasoning about Algebraic Datatypes with Abstractions |
Hung T. Pham
Andrew Gacek
Michael Whalen |
April 2016 |
Journal of Automated Reasoning, to appear |
Critical Systems Research Group |
|
|
Resolute: An Assurance Case Language for Architecture Models |
Andrew Gacek
John Backes
Darren Cofer
Konrad Slind
Michael Whalen |
April 2016 |
Appeared at the International Conference on High Integrity Languages and Tools, Portland, Oregon, October 18-21, 2014. |
Critical Systems Research Group |
Resolute-HILT.pdf |
