University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publicationsort ascending Venue Associated Research Groups Publication Files
Structuring Product Family Requirements for n-Dimensional and Hierarchical Product Lines Jeffrey Thompson
Mats Heimdahl
January 2002 Requirements Engineering Journal, vol-8, Issue 1, pp.42-54 (2002) Critical Systems Research Group PDF icon family-structure-REJournal.pdf
Proving Correctness of Compiler Optimizations by Temporal Logic David Lacey
Neil D. Jones
Eric Van Wyk
Carl Christian Frederiksen
January 2002 In Proc. of ACM POPL Minnesota Extensible Language Tools PDF icon popl02_correctness.pdf
Test-Sequence Generation from Formal Requirement Models Sanjai Rayadurgam
Mats Heimdahl
October 2001 Proceedings of the Sixth IEEE High Assurance in Systems Engineering Workshop, Florida, October 2001. Critical Systems Research Group PDF icon 0_main.pdf
Automatic Abstraction for Model Checking Software Systems with Interrelated Numeric Constraints Yunja Choi
Sanjai Rayadurgam
Mats Heimdahl
September 2001 Proceedings of the Ninth ACM/SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2001)}, Vienna, Austria, September 2001. Critical Systems Research Group PDF icon 0_domain_reduction.pdf
Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines Jeffrey Thompson
Mats Heimdahl
August 2001 Proceedings of the Tenth IEEE International Symposium on Requirements Engineering (RE'01), Toronto, Canada, August 2001. Critical Systems Research Group PDF icon family-structure-overview-re01.pdf
Specification Centered Testing Mats Heimdahl
Sanjai Rayadurgam
Willem Visser
May 2001 Second International Workshop on Analysis, Testing and Verification, Toronto, Canada, May 2001 Critical Systems Research Group PDF icon icse-01-spec-center-testing.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
Coverage Based Test-Case Generation using Model Checkers Sanjai Rayadurgam
Mats Heimdahl
April 2001 IEEE International Conference on the Engineering of Computer Based Systems, Washington DC, April 2001. Critical Systems Research Group PDF icon main.pdf
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
Specification Based Prototyping of Control Systems Mats Heimdahl
Jeffrey Thompson
October 2000 19th IEEE Digital Avionics Systems Conference}, Philadelphia, October 2000. Critical Systems Research Group PDF icon heimdamp.pdf

Pages