University of Minnesota
Software Engineering Center

You are here


Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
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
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
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
Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines Jeffrey Thompson
Mats Heimdahl
August 2001 Proceedings of the Tenth IEEE International Symposium on Requirements Engineering (RE'01), Toronto, Canada, August 2001. Critical Systems Research Group PDF icon family-structure-overview-re01.pdf
Finding Robust Solutions in Requirements Models Gregory Gay
Tim Menzies, Ph.D.
Omid Jalali
Gregory Mundy
Beau Gilkerson
Martin Feather
James Kiper
March 2010 Journal of Automated Software Engineering archive Volume 17 Issue 1, March 2010 Critical Systems Research Group PDF icon 10keys.pdf
FITE: Future Integrated Testing Environment Dr. Michael Whalen, Ph.D.
Patrice Godefroid
Leonardo Mariani
Andrea Polini
Nikolai Tillman
Willem Visser
November 2010 Workshop on the Future of Software Engineering Research 2010 (FoSER), Santa Fe, New Mexico, November 7-8, 2010. Critical Systems Research Group PDF icon p401-whalen.pdf
FixBag: A Fixpoint Calculator for Quantified Bag Constraints Hung T. Pham
Minh-Thai Trinh
Anh-Hoang Truong
Wei-Ngan Chin
July 2011 23rd International Conference onComputer Aided Verification (CAV'11) Critical Systems Research Group PDF icon cav11.pdf
Flexibility in Modeling Languages and Tools: A Call to Arms Eric Van Wyk
Mats Heimdahl
June 2009 International Journal on Software Tools for Technology Transfer: Volume 11, Issue 3 (2009), Page 203-215 Critical Systems Research Group
Minnesota Extensible Language Tools
PDF icon sttt_final.pdf
Flexible and Extensible Notations for Modeling Languages Jimin Gao
Mats Heimdahl
Eric Van Wyk
March 2007 In Proceedings of Fundamental Approaches to Software Engineering (FASE). Minnesota Extensible Language Tools PDF icon JGao-FASE07.pdf