|
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 |
 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 |
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 |
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 |
 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 |
Dr. Michael Whalen, Ph.D.
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
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 |
document.pdf |
|
Reasoning about Algebraic Datatypes with Abstractions |
Hung T. Pham
Andrew Gacek
Dr. Michael Whalen, Ph.D. |
April 2016 |
Journal of Automated Reasoning, to appear |
Critical Systems Research Group |
|
