University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort ascending Associated Research Groups Publication Files
Coverage Based Test-Case Generation using Model Checkers Sanjai Rayadurgam
Mats Heimdahl
April 2001 IEEE International Conference on the Engineering of Computer Based Systems, Washington DC, April 2001. Critical Systems Research Group PDF icon main.pdf
Design Considerations for Modeling Modes in Cyber–Physical Systems Anitha Murugesan
Sanjai Rayadurgam
Dr. Michael Whalen, Ph.D.
Mats Heimdahl
October 2015 IEEE Design & Test Critical Systems Research Group PDF icon 07172459.pdf
Compiler Optimization Correctness by Temporal Logic David Lacey
Neil D. Jones
Eric Van Wyk
Carl Christian Frederiksen
September 2004 Higher-Order and Symbolic Computation, 17 (3): 173-206 Minnesota Extensible Language Tools PDF icon hosc_popl.pdf
Universal Regular Path Queries Oege de Moor
David Lacey
Eric Van Wyk
March 2003 Higher Order and Symbolic Computation (HOSC) 16 (1-2): 15-35. A special issue dedicated to Bob Paige. Minnesota Extensible Language Tools
A Hierarchical Requirements Reference Model Anitha Murugesan October 2014 Grace Hopper Celebration for Women in Computing 2014 Critical Systems Research Group PDF icon ExtendedAbstract.pdf
Context-Aware Scanning for Parsing Extensible Languages Eric Van Wyk
August Schwerdfeger
October 2007 GPCE 2007 - Intl. Conference on Generative Programming and Component Engineering Minnesota Extensible Language Tools PDF icon gpce.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
From Requirements to Code: Model Based Development of A Medical Cyber Physical System? Anitha Murugesan
Mats Heimdahl
Dr. Michael Whalen, Ph.D.
Sanjai Rayadurgam
John Komp
Lian Duan
Baek-Gyu Kim
Oleg Sokolsky
Insup Lee
June 2014 Fourth International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2014) and Software Engineering in Healthcare workshop (SEHC 2014) Critical Systems Research Group PDF icon MedCPS.pdf
Specification-Based Prototyping for Embedded Systems Jeffrey Thompson
Mats Heimdahl
Steven Miller
September 1999 Foundations of Software Engineering, Toulouse, France, September, 1999 Critical Systems Research Group PDF icon proto-refine-fse99.pdf
Safety and Software Intensive Systems: Challenges Old and New Mats Heimdahl May 2007 FOSE '07 2007 Future of Software Engineering Critical Systems Research Group PDF icon FOSE-MAts-Full.pdf

Pages