University of Minnesota
Software Engineering Center

You are here


Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
Building Extensible Specifications and Implementations of Promela with AbleP Yogesh Mali
Eric Van Wyk
July 2011 International SPIN Workshop on Model Checking of Software (SPIN 2011) Minnesota Extensible Language Tools PDF icon mali11spin.pdf
Certificate Management: A Practitioner’s Perspective Dr. Michael Whalen, Ph.D. November 2005 Appeared at the 2005 Workshop on Software Certificate Management (SoftCeMent05) Critical Systems Research Group PDF icon Position paper for SoftCeMent.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
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
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
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
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