University of Minnesota
Software Engineering Center

You are here


Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language Sanjai Rayadurgam
Anjali Joshi
Mats Heimdahl
November 2003 In Proc. of the 5th International Conference on Formal Engineering Methods (ICFEM) Critical Systems Research Group PDF icon ICFEM.pdf
Mode Confusion Analysis of a Flight Guidance System Using Formal Methods Anjali Joshi
Steven Miller
Mats Heimdahl
October 2003 22nd IEEE Digital Avionics Systems Conference (DASC'2003)} (Awarded Best Paper of Session), Indianapolis, October 2003. Critical Systems Research Group PDF icon modeConfusion.pdf
Model Checking Requirements Specifications Using Domain Reduction Abstraction Yunja Choi
Mats Heimdahl
October 2003 Proceedings of the 18th IEEE International Conference on Automated Software Engineering - Short paper session. Montreal, Canada, October 2003. Critical Systems Research Group PDF icon choi-ase-03.pdf
Auto-Generating Test Sequences using Model Checkers: A Case Study Mats Heimdahl
Sanjai Rayadurgam
Willem Visser
Devaraj George
Jimin Gao
October 2003 Proceedings of the 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003)}. Montreal, Quebec, Canada, October 2003. Published as Springer Verlag Lecture Notes In Computer Science 2931 Critical Systems Research Group
Nimbus: A Tool for Specification Centered Development Mats Heimdahl
Dr. Michael Whalen, Ph.D.
Jeffrey Thompson
September 2003 Proceedings of the 11th IEEE International Requirements Engineering Conference, Monterey Bay, California, September, 2003. Critical Systems Research Group PDF icon nimbus-tool-demo-re03.pdf
Aspects as Modular Language Extensions Eric Van Wyk April 2003 In Proc. of Language Descriptions, Tools and Applications (LDTA), (an ETAPS 2003 Workshop) volume 82.3 of Electronic Notes in Theoretical Computer Science. Elsevier Science Minnesota Extensible Language Tools
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
Specification languages in algebraic compilers Eric Van Wyk January 2003 Theoretical Computer Science, 231(3):351--385 Minnesota Extensible Language Tools PDF icon amast_tcs.pdf
Certification Support for Automatically Generated Programs Johann Schumann
Bernd Fischer
Dr. Michael Whalen, Ph.D.
January 2003 Proceedings of the Hawaiian Int'l Conf. on System Sciences (HICSS 36) Critical Systems Research Group PDF icon 187490337a.pdf
Model Checking RSML-e Requirements Yunja Choi
Mats Heimdahl
October 2002 Proceedings of the Seventh IEEE High Assurance in Systems Engineering Workshop}, Tokyo, Japan, October 2002 Critical Systems Research Group PDF icon model-checking-rsml.pdf