Compositional Verification of a Medical Device System |
Anitha Murugesan Dr. Michael Whalen, Ph.D. Sanjai Rayadurgam Mats Heimdahl |
November 2013 |
ACM SIGAda’s Annual International Conference on High Integrity Language Technology, Pittsburg, PA, November, 2013 |
Critical Systems Research Group |
hilt03-murugesan.pdf |
Cyber-Physical System Requirements - A Model Driven Approach |
Anitha Murugesan Lian Duan Sanjai Rayadurgam Mats Heimdahl |
October 2013 |
The Grace Hopper Celebration of Women in Computing |
Critical Systems Research Group |
GHC2013_Poster.pdf |
RADA: A Tool for Reasoning about Algebraic Data Types with Abstractions |
Hung T. Pham Dr. Michael Whalen, Ph.D. |
August 2013 |
9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013) |
Critical Systems Research Group |
rada_fse2013.pdf |
Efficient Test Coverage Measurement for MC/DC |
Dr. Michael Whalen, Ph.D. Mats Heimdahl Ian De Silva |
June 2013 |
University of Minnesota |
Critical Systems Research Group |
monitorAlgorithm.pdf |
Observable Modified Condition/Decision Coverage |
Dr. Michael Whalen, Ph.D. Gregory Gay Dongjiang You Mats Heimdahl Matt Staats |
May 2013 |
35th International Conference on Software Engineering, San Francisco, California, May 2013. |
Critical Systems Research Group |
whalen-icse13.pdf |
Modes, Features, and State-Based Modeling for Clarity and Flexibility |
Anitha Murugesan Sanjai Rayadurgam Mats Heimdahl |
May 2013 |
Workshop on Modeling in Software Engineering, International Conference on Software Engineering, San Francisco, 2013 |
Critical Systems Research Group |
icsews13mise-id26-p-16815-preprint.pdf |
Modeling and Requirements on the Physical Side of Cyber-Physical Systems |
Mats Heimdahl Lian Duan Anitha Murugesan Sanjai Rayadurgam |
May 2013 |
Second International Workshop on the Twin Peaks of Requirements and Architecture, International Conference on Software Engineering, San Francisco, 2013. |
Critical Systems Research Group |
icsews13twinpeaks-id8-p-16815-preprint.pdf |
An Improved Unrolling-Based Decision Procedure for Algebraic Data Types |
Hung T. Pham Dr. Michael Whalen, Ph.D. |
May 2013 |
Fifth Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE'13) |
Critical Systems Research Group |
VSTTE.pdf |
Using Models to Address Challenges in Specifying Requirements for Medical Cyber-Physical Systems |
Anitha Murugesan Sanjai Rayadurgam Mats Heimdahl |
April 2013 |
Medical Cyber Physical Systems Workshop, International Conference on Cyber-Physical Systems, Philadelphia, 2013. |
Critical Systems Research Group |
|
Abstractions in Decision Procedures for Algebraic Data Types |
Hung T. Pham Dr. Michael Whalen, Ph.D. |
March 2013 |
University of Minnesota |
Critical Systems Research Group |
13-006.pdf |