University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
An Overview of XRobots: A Hierarchical State Machine-Based Language Steve Tousignant
Eric Van Wyk
Maria Gini
May 2011 Workshop on Software Development and Integration in Robotics (SDIR VI) Minnesota Extensible Language Tools PDF icon tousignant11sdir.pdf
Analyzing RBAC Security Policy of Implementation Using AST Hung T. Pham
Ninh-Thuan Truong
Viet-Ha Nguyen
October 2009 Proceedings of the 2009 International Conference on Knowledge and Systems Engineering (KSE '09) Critical Systems Research Group PDF icon kse09.pdf
Architecture Modeling and Analysis for Safety Engineering Danielle Stewart
Michael Whalen
Darren Cofer
Mats Heimdahl
August 2017 IMBSA 2017 (International Symposium on Model-Based Safety Assessment) Critical Systems Research Group PDF icon AMASE.pdf
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites Anitha Murugesan
Michael Whalen
Dr. Neha Rungta
Oksana Tkachuk, Ph.D.
Suzette Person, Ph.D.
Mats Heimdahl
Dongjiang You
April 2015 7th NASA Formal Methods Symposium, Pasadena, California, April 2015. Critical Systems Research Group PDF icon murugesan-nfm15.pdf
Aspect Oriented Compilers Oege de Moor
Simon Peyton-Jones
Eric Van Wyk
September 1999 In Proc. of the First International Symposium on Generative and Component-Based Software Engineering. Springer Verlag Lecture Notes in Computer Science vol. 1799 Minnesota Extensible Language Tools
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
Assessing Requirements Quality Through Requirements Coverage Ajitha Rajan
Mats Heimdahl
Kurt Woodham
May 2008 The sixth NASA Langley Formal Methods Workshop Critical Systems Research Group PDF icon LFM-08.pdf
Attribute Grammar-based Language Extensions for Java Eric Van Wyk
Lijesh Krishnan
August Schwerdfeger
Derek Bodin
July 2007 In Proceedings of European Conference on Object Oriented Programming (ECOOP) Minnesota Extensible Language Tools PDF icon vanwyk_ecoop07.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
AutoBayes/CC – Combining Program Synthesis with Automatic Code Certification Michael Whalen
Bernd Fischer
Johann Schumann
July 2002 Proceedings of Conference on Automated Deduction (CADE) 18 Critical Systems Research Group PDF icon docu.pdf

Pages