University of Minnesota
Software Engineering Center

You are here


Publication Title Authors Date of Publication Venuesort descending Associated Research Groups Publication Files
Extending Lustre with Timeout Automata Jimin Gao
Dr. Michael Whalen, Ph.D.
Eric Van Wyk
April 2007 SLAP 2007, Model-driven High-level Programming of Embedded Systems, (formerly Synchronous Languages, Applications, and Programming) Minnesota Extensible Language Tools PDF icon slap.pdf
The Hidden Models of Model Checking Willem Visser
Matthew Dwyer
Dr. Michael Whalen, Ph.D.
October 2012 Software & Systems Modeling, October 2012, Volume 11, Issue 4, pp 541-555 Critical Systems Research Group PDF icon hidden-models.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
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
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
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
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
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
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
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