University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort descending Venue Associated Research Groups Publication Files
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 PDF icon GHC2013_Poster.pdf
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 PDF icon hilt03-murugesan.pdf
Parameterized Abstractions for Reasoning about Algebraic Data Types Hung T. Pham
Dr. Michael Whalen, Ph.D.
November 2013 Eighth International Workshop on Constraints in Formal Verification (CFV'13) Critical Systems Research Group PDF icon cfv13.pdf
Hierarchical Circular Compositional Reasoning Andrew Gacek
Andreas Katis
Dr. Michael Whalen, Ph.D.
Darren Cofer
March 2014 Critical Systems Research Group PDF icon main.pdf
Exploring the Twin Peaks using Probabilistic Verification Techniques Anitha Murugesan
Lu Feng
Mats Heimdahl
Sanjai Rayadurgam
Dr. Michael Whalen, Ph.D.
Insup Lee
May 2014 Fourth International Workshop on the Twin Peaks of Requirements and Architecture Critical Systems Research Group PDF icon Main.pdf
Structuring Simulink Models for Verification and Reuse Dr. Michael Whalen, Ph.D.
Anitha Murugesan
Sanjai Rayadurgam
Mats Heimdahl
May 2014 6th International Workshop on Modeling in Software Engineering Critical Systems Research Group PDF icon Main.pdf
Practical Aspects of Building a Constrained Random Test Framework for Safety-critical Embedded Systems Dongjiang You
Isaac Amundson
Scott Hareland
Sanjai Rayadurgam
May 2014 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, Hyderabad, India, May 2014. Critical Systems Research Group PDF icon you-mosemina14.pdf
Steering Model-Based Oracles to Admit Real Program Behaviors Gregory Gay
Sanjai Rayadurgam
Mats Heimdahl
June 2014 2014 International Conference on Software Engineering, Hyderabad, India, June 2014. Critical Systems Research Group PDF icon 14nier.pdf
Moving the Goalposts: Coverage Satisfaction is Not Enough Gregory Gay
Matt Staats
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
June 2014 7th International Workshop on Search-Based Software Testing (SBST'14). Hyderabad, India, June 2014. Critical Systems Research Group PDF icon 14sbst.pdf
Helping System Engineers Bridge the Peaks Dr. Neha Rungta
Suzette Person, Ph.D.
Jason Biatek
Dr. Michael Whalen, Ph.D.
Joseph Castle, Ph.D.
Karen Gundy-Burlet
June 2014 4th International Workshop on the Twin Peaks of Requirements and Architecture, Hyderabad, India, June 1, 2014. Critical Systems Research Group PDF icon 14285 (Rungta)_1.pdf

Pages