|
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 |
