University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
Implications of Ceiling Effects in Defect Predictors Tim Menzies, Ph.D.
Burak Turhan
Gregory Gay
Ayse Bener
Bojan Cukic
Yue Jiang
May 2008 PROMISE '08 Proceedings of the 4th international workshop on Predictor models in software engineering Critical Systems Research Group PDF icon 08ceiling.pdf
Improving Symbolic Execution for Statecharts Formalisms Daniel Balasubramanian
Corina Pǎsǎreanu
Dr. Michael Whalen, Ph.D.
Jason Biatek
Gabor Karsai
Michael Lowry
September 2012 MoDeVVa '12 Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation Critical Systems Research Group PDF icon p47-balasubramanian.pdf
Improving the Accuracy of Oracle Verdicts Through Automated Model Steering Gregory Gay
Sanjai Rayadurgam
Mats Heimdahl
September 2014 29th ACM/IEEE International Conference on Automated Software Engineering (ASE'14). Vasteras, Sweden, September 2014. Critical Systems Research Group PDF icon 14ase.pdf
Incremental Verification with Mode Machine Invariants in State Machines Temesghen Kahsai
Pierre-Loic Garoche
Cesare Tinelli
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 paper.pdf
Integrating attribute grammar and functional programming language features Ted Kaminski
Eric Van Wyk
July 2011 International Conference on Software Language Engineering (SLE 2011) Minnesota Extensible Language Tools PDF icon kaminski11sle_preproceedings.pdf
Integrating Statechart Components in Polyglot Daniel Balasubramanian
Corina Pǎsǎreanu
Jason Biatek
Dr. Michael Whalen, Ph.D.
Gabor Karsai
Michael Lowry
Thomas Pressburger
April 2012 Proceedings of the Fourth NASA Formal Methods Symposium, Norfolk, VA, April 3-5, 2012 Critical Systems Research Group PDF icon 4709 (Pasareanu)_1.pdf
Integrating Temporal Logics and Model Checking Algorithms Teodor Rus
Eric Van Wyk
May 1997 In Proc. of the 4th AMAST Workshop on Real-Time Systems held in Mallorca, Spain May 21-23, 1997. Springer Verlag Lecture Notes in Computer Science volume 1231. Minnesota Extensible Language Tools PDF icon mallorca_final.pdf
Integration of Formal Analysis into a Model-Based Software Development Process Dr. Michael Whalen, Ph.D.
Darren Cofer
Steven Miller
Bruce Krogh
Walter Storm
July 2007 Proceedings of the 12th International Workshop on Industrial Critical Systems (FMICS 2007) Critical Systems Research Group PDF icon FMICS07-Rockwell-Collins.pdf
Integrative Analysis ofState-Based Requirements Barb Czerny
Mats Heimdahl
October 1998 Proceedings of the 13th IEEE International Conference on Automated Software Engineering, Honolulu, Hawaii, October, 1998. (Nominated for best paper.) Critical Systems Research Group
Intentional programming: a host of language features Eric Van Wyk
Oege de Moor
Ganesh Sittampalam
Ivan Sanabria Piretti
Kevin Backhouse
Paul Kwiatkowsky
January 2001 Techincal Report PRG-RR-01-21, Computing Laboratory, University of Oxford Minnesota Extensible Language Tools PDF icon ip.pdf

Pages