University of Minnesota
Software Engineering Center

You are here


Publication Titlesort ascending Authors Date of Publication Venue Associated Research Groups Publication Files
Compositional Verification of Architectural Models Darren Cofer
Andrew Gacek
Steven Miller
Dr. Michael Whalen, Ph.D.
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
Compositional Verification of a Medical Device System Anitha Murugesan
Dr. Michael Whalen, Ph.D.
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
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
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
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
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
Circular Hierarchical Reasoning using Past Time LTL Darren Cofer
Andrew Gacek
Dr. Michael Whalen, Ph.D.
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
Challenges in Testing Next Generation CPS Systems Dr. Michael Whalen, Ph.D. July 2017 Testing Embedded and Cyber Physical Systems Workshop Critical Systems Research Group Office presentation icon Slides for keynote talk
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
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