University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
Deviation Analysis Through Model Checking Mats Heimdahl
Yunja Choi
Michael Whalen
September 2002 Proceedings of the 17th IEEE International Conference on Automated Software Engineering. Edinburgh, United Kingdom, September 2002. Critical Systems Research Group PDF icon main-deviation.pdf
Deviation Analysis: A New Use for Model Checking Mats Heimdahl
Yunja Choi
Michael Whalen
March 2005 Journal of Automated Software Engineering, volume 12, issue 3 Critical Systems Research Group
Domain Modeling for Development Process Simulation Ian De Silva
Sanjai Rayadurgam
Mats Heimdahl
July 2017 Critical Systems Research Group PDF icon ICSSP2017 - Domain Modeling for Development Process Simulation
Domain Specific Meta Languages Eric Van Wyk February 2000 In Proc. of <a href="http://www.acm.org/conferences/sac/"> ACM Symposium on Applied Computing</a> Minnesota Extensible Language Tools
Efficient Observability-based Test Generation by Dynamic Symbolic Execution Dongjiang You
Sanjai Rayadurgam
Michael Whalen
Mats Heimdahl
Gregory Gay
November 2015 26th International Symposium on Software Reliability Engineering, Gaithersburg, Maryland, November 2015. Critical Systems Research Group PDF icon you-issre15.pdf
Efficient Test Coverage Measurement for MC/DC Michael Whalen
Mats Heimdahl
Ian De Silva
June 2013 University of Minnesota Critical Systems Research Group PDF icon monitorAlgorithm.pdf
Executing Model-based Tests on Platform-specific Implementations Dongjiang You
Sanjai Rayadurgam
Mats Heimdahl
John Komp
Baek-Gyu Kim
Oleg Sokolsky
November 2015 30th International Conference on Automated Software Engineering, Lincoln, Nebraska, November 2015. Critical Systems Research Group PDF icon you-ase15.pdf
Experiences From Specifying the TCAS II Requirements Using RSML Mats Heimdahl
Nancy Leveson
Jon Reese
November 1998 17th Digital Avionics Systems Conference}, Seattle, November 1998. (Awarded Best Paper in Software Track.) Critical Systems Research Group PDF icon tcas-experience.pdf
Exploring the Twin Peaks using Probabilistic Verification Techniques Anitha Murugesan
Lu Feng
Mats Heimdahl
Sanjai Rayadurgam
Michael Whalen
Insup Lee
May 2014 Fourth International Workshop on the Twin Peaks of Requirements and Architecture Critical Systems Research Group PDF icon Main.pdf
Extending Lustre with Timeout Automata Jimin Gao
Michael Whalen
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

Pages