University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
Certification Support for Automatically Generated Programs Johann Schumann
Bernd Fischer
Michael Whalen
January 2003 Proceedings of the Hawaiian Int'l Conf. on System Sciences (HICSS 36) Critical Systems Research Group PDF icon 187490337a.pdf
Certifying Synthesized Code Michael Whalen
Bernd Fischer
Johann Schumann
July 2002 Proceedings of Formal Methods Europe 2002 Critical Systems Research Group PDF icon whalen-fme.pdf
Challenges in Testing Next Generation CPS Systems Michael Whalen July 2017 Testing Embedded and Cyber Physical Systems Workshop Critical Systems Research Group Office presentation icon Slides for keynote talk
Circular Hierarchical Reasoning using Past Time LTL Darren Cofer
Andrew Gacek
Michael Whalen
December 2011 Department of Computer Science and Engineering University of Minnesota 200 Union St. Minneapolis, MN 55455 Critical Systems Research Group PDF icon main_5.pdf
Combination Model Checking: Approach and a Case Study. Yunja Choi
Mats Heimdahl
September 2004 Proceedings of the 19th IEEE International Conference on Automated Software Engineering--Short paper session. Linz, Austria, September, 2004. Critical Systems Research Group
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
Completeness and Consistency in Hierarchical State-Based Requirements. Mats Heimdahl
Nancy Leveson
June 1996 IEEE Transactions on Software Engineering, Vol. SE-22, No. 6, pp. 363--377 (June 1996) Critical Systems Research Group
Composable Language Extensions for Computational Geometry: a Case Study Eric Van Wyk
Eric Johnson
January 2007 40th Hawaii International Conference on System Sciences Minnesota Extensible Language Tools PDF icon cg.pdf
Compositional Verification of a Medical Device System Anitha Murugesan
Michael Whalen
Sanjai Rayadurgam
Mats Heimdahl
November 2013 ACM SIGAda’s Annual International Conference on High Integrity Language Technology, Pittsburg, PA, November, 2013 Critical Systems Research Group PDF icon hilt03-murugesan.pdf
Compositional Verification of Architectural Models Darren Cofer
Andrew Gacek
Steven Miller
Michael Whalen
April 2012 Proceedings of the Fourth NASA Formal Methods Symposium, Norfolk, VA, April 3-5, 2012 Critical Systems Research Group PDF icon NFM-springer-proof-72260126.pdf

Pages