University of Minnesota
Software Engineering Center

You are here


Publication Title Authors Date of Publication Venuesort ascending Associated Research Groups Publication Files
A Framework to Evaluate Candidate Agile Software Development Processes Ian De Silva July 2019 Ph.D. Dissertation, University of Minnesota Critical Systems Research Group PDF icon desilva-dissertation-2019.pdf
Using Model Checking in a Parallelizing Compiler Teodor Rus
Eric Van Wyk
January 1998 Parallel Processing Letters. in Volume 8, Number 4 Minnesota Extensible Language Tools
Towards Realizability Checking of Contracts using Theories Andrew Gacek
Andreas Katis
Dr. Michael Whalen, Ph.D.
John Backes
Darren Cofer
April 2015 NFM 2015 Critical Systems Research Group PDF icon document.pdf
Better Testing Through Oracle Selection Matt Staats
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
May 2011 New Ideas and Emerging Results Track, 33rd International Conference on Software Engineering, Honolulu, Hawaii, May 21-28, 2011. Critical Systems Research Group PDF icon p892-staats.pdf
Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder Matt Staats April 2009 Moffett Field, California Critical Systems Research Group PDF icon paper27-main.pdf
Improving Symbolic Execution for Statecharts Formalisms Daniel Balasubramanian
Corina Pǎsǎreanu
Dr. Michael Whalen, Ph.D.
Jason Biatek
Gabor Karsai
Michael Lowry
September 2012 MoDeVVa '12 Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation Critical Systems Research Group PDF icon p47-balasubramanian.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
Adding Syntax and Static Analysis to Libraries via Extensible Compilers and Language Extensions Eric Van Wyk
Derek Bodin
Paul Huntington
October 2006 LCSD 2006 - Library Centric Software Development Workshop Minnesota Extensible Language Tools PDF icon vanwyk_lcsd.pdf
Requirements Capture and Evaluation in Nimbus: The Light Control Case Study Jeffrey Thompson
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
July 2000 Journal of Universal Computer Science Critical Systems Research Group PDF icon Thompson_J_M.pdf
Deviation Analysis: A New Use for Model Checking Mats Heimdahl
Yunja Choi
Dr. Michael Whalen, Ph.D.
March 2005 Journal of Automated Software Engineering, volume 12, issue 3 Critical Systems Research Group