University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
From Requirements to Code: Model Based Development of A Medical Cyber Physical System? Anitha Murugesan
Mats Heimdahl
Michael Whalen
Sanjai Rayadurgam
John Komp
Lian Duan
Baek-Gyu Kim
Oleg Sokolsky
Insup Lee
June 2014 Fourth International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2014) and Software Engineering in Healthcare workshop (SEHC 2014) Critical Systems Research Group PDF icon MedCPS.pdf
Generating MC/DC Adequate Test Sequences Through Model Checking Sanjai Rayadurgam
Mats Heimdahl
December 2003 Proceedings of the 28th Annual IEEE/NASA Software Engineering Workshop -- SEW-03. Greenbelt, Maryland, December 2003 Critical Systems Research Group PDF icon TestGeneration03_0.pdf
Generating Model Checkers from Algebraic Specifications Teodor Rus
Eric Van Wyk
Tom Halverson
May 2002 Silver: an Extensible Attribute Grammar System Minnesota Extensible Language Tools
Helping System Engineers Bridge the Peaks Dr. Neha Rungta
Suzette Person, Ph.D.
Jason Biatek
Michael Whalen
Joseph Castle, Ph.D.
Karen Gundy-Burlet
June 2014 4th International Workshop on the Twin Peaks of Requirements and Architecture, Hyderabad, India, June 1, 2014. Critical Systems Research Group PDF icon 14285 (Rungta)_1.pdf
Hierarchical Circular Compositional Reasoning Andrew Gacek
Andreas Katis
Michael Whalen
Darren Cofer
March 2014 Critical Systems Research Group PDF icon main.pdf
Hierarchical Multi-Formalism Proofs of Cyber-Physical Systems Michael Whalen
Sanjai Rayadurgam
Elaheh Ghassabani
Anitha Murugesan
Oleg Sokolsky
Mats Heimdahl
Insup Lee
August 2015 University of Minnesota Critical Systems Research Group PDF icon MultiFormalismTechReport.pdf
How to Build Repeatable Experiments Gregory Gay
Tim Menzies
Bojan Cukic
Burak Turhan
May 2008 Proceedings of the 5th International Workshop on Predictive Models in Software Engineering, PROMISE 2009 Critical Systems Research Group PDF icon 09ourmine.pdf
Ideas on How Product-Line Engineering Can be Extended Jeffrey Thompson
Mats Heimdahl
May 2001 Second ICSE Workshop on Software Product Lines: Economics, Architectures, and Implications.}, Toronto, Canada, May 2001 Critical Systems Research Group PDF icon family-position-icse01w3.pdf
Implications of Ceiling Effects in Defect Predictors Tim Menzies
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
Michael Whalen
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

Pages