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 |