University of Minnesota
Software Engineering Center

You are here


Publication Title Authors Date of Publication Venuesort ascending Associated Research Groups Publication Files
Interaction Testing in Model-Based Development: Effect on Model-Coverage Renee Bryce
Ajitha Rajan
Mats Heimdahl
December 2006 The XIII Asia Pacific Software Engineering Conference (APSEC '06) Critical Systems Research Group PDF icon interaction-coverage-APSEC-06.pdf
Assessing Requirements Quality Through Requirements Coverage Ajitha Rajan
Mats Heimdahl
Kurt Woodham
May 2008 The sixth NASA Langley Formal Methods Workshop Critical Systems Research Group PDF icon LFM-08.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 PDF icon GHC2013_Poster.pdf
Introduction to the Guardol Language and Verification System David Hardin
Konrad Slind
Dr. Michael Whalen, Ph.D.
Hung T. Pham
December 2011 The Fifth Annual Layered Assurance Workshop (LAW 2011) Critical Systems Research Group PDF icon law2011-paper-hardin.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
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 Office presentation icon Slides for keynote talk
An Integrated Development Environment Prototyping Safety Critical Systems Jeffrey Thompson
Mats Heimdahl
June 1999 Tenth IEEE International Workshop on Rapid System Prototyping (RSP'99), Clearwater Beach, Florida, June, 1999 Critical Systems Research Group PDF icon prototyping-rsp99.pdf
Intentional programming: a host of language features Eric Van Wyk
Oege de Moor
Ganesh Sittampalam
Ivan Sanabria Piretti
Kevin Backhouse
Paul Kwiatkowsky
January 2001 Techincal Report PRG-RR-01-21, Computing Laboratory, University of Oxford Minnesota Extensible Language Tools PDF icon ip.pdf
Sharing Experiments Using Open Source Software Adam Nelson
Tim Menzies, Ph.D.
Gregory Gay
March 2011 Software: Practice and Experience Volume 41, Issue 3, pages 283–305 Critical Systems Research Group PDF icon 10ourmine.pdf
Proving the shalls: Early validation of requirements through formal methods Steven Miller
Alan Tribble
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
August 2006 Software Tools for Technology Transfer, volume 8, number 4. Critical Systems Research Group PDF icon