University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Titlesort descending Authors Date of Publication Venue Associated Research Groups Publication Files
Forwarding in Attribute Grammars for Modular Language Design Eric Van Wyk
Oege de Moor
Kevin Backhouse
Paul Kwiatkowsky
April 2002 In Proc. of International Conference on Compiler Construction, Springer Verlag Lecture Notes in Computer Science volume 2304. Minnesota Extensible Language Tools PDF icon forwarding.pdf
From Models to Efficient Code: It's All in the Middle. Eric Van Wyk
Mats Heimdahl
Yousef Saad
May 2004 Proceedings of the International Workshop on Software Engineering for High Performance Computing System (HPCS) Applications, Edinburgh, Scotland, May 2004. Critical Systems Research Group
Minnesota Extensible Language Tools
PDF icon icse_hpc-r5.pdf
From Requirements to Code: Model Based Development of A Medical Cyber Physical System? Anitha Murugesan
Mats Heimdahl
Dr. Michael Whalen, Ph.D.
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
Dr. Michael Whalen, Ph.D.
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
Dr. Michael Whalen, Ph.D.
Darren Cofer
March 2014 Critical Systems Research Group PDF icon main.pdf
Hierarchical Multi-Formalism Proofs of Cyber-Physical Systems Dr. Michael Whalen, Ph.D.
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, Ph.D.
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

Pages