University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
Deviation Analysis Through Model Checking Mats Heimdahl
Yunja Choi
Dr. Michael Whalen, Ph.D.
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
Toward Automation for Model Checking Requirement Specifications with Numeric Constraints Yunja Choi
Sanjai Rayadurgam
Mats Heimdahl
September 2002 Requirements Engineering Journal, Vol-7, Issue 4, pp. 225-242 (2002) Critical Systems Research Group PDF icon domain_reduction.pdf
AutoBayes/CC – Combining Program Synthesis with Automatic Code Certification Dr. Michael Whalen, Ph.D.
Bernd Fischer
Johann Schumann
July 2002 Proceedings of Conference on Automated Deduction (CADE) 18 Critical Systems Research Group PDF icon docu.pdf
Certifying Synthesized Code Dr. Michael Whalen, Ph.D.
Bernd Fischer
Johann Schumann
July 2002 Proceedings of Formal Methods Europe 2002 Critical Systems Research Group PDF icon whalen-fme.pdf
Generating Model Checkers from Algebraic Specifications Teodor Rus
Eric Van Wyk
Tom Halverson
May 2002 Silver: an Extensible Attribute Grammar System Minnesota Extensible Language Tools
Forwarding in Attribute Grammars for Modular Language Design Eric Van Wyk
Oege de Moor
Kevin Backhouse
Paul Kwiatkowsky
April 2002 In Proc. of International Conference on Compiler Construction, Springer Verlag Lecture Notes in Computer Science volume 2304. Minnesota Extensible Language Tools PDF icon forwarding.pdf
Structuring Product Family Requirements for n-Dimensional and Hierarchical Product Lines Jeffrey Thompson
Mats Heimdahl
January 2002 Requirements Engineering Journal, vol-8, Issue 1, pp.42-54 (2002) Critical Systems Research Group PDF icon family-structure-REJournal.pdf
Proving Correctness of Compiler Optimizations by Temporal Logic David Lacey
Neil D. Jones
Eric Van Wyk
Carl Christian Frederiksen
January 2002 In Proc. of ACM POPL Minnesota Extensible Language Tools PDF icon popl02_correctness.pdf
Test-Sequence Generation from Formal Requirement Models Sanjai Rayadurgam
Mats Heimdahl
October 2001 Proceedings of the Sixth IEEE High Assurance in Systems Engineering Workshop, Florida, October 2001. Critical Systems Research Group PDF icon 0_main.pdf
Automatic Abstraction for Model Checking Software Systems with Interrelated Numeric Constraints Yunja Choi
Sanjai Rayadurgam
Mats Heimdahl
September 2001 Proceedings of the Ninth ACM/SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2001)}, Vienna, Austria, September 2001. Critical Systems Research Group PDF icon 0_domain_reduction.pdf

Pages