University of Minnesota
Software Engineering Center
/

You are here

Sponsors

The University of Minnesota Software Engineering Center draws its funded research from a diverse set of sponsors. Current and recent sponsors include:

The National Science Foundation

  • CAREER: An Extensible Compiler Framework for Modular Seamless Language Extensions

NASA Ames Research Center

  • Test-Case Generation with an Explicit State Model Checker
  • Intelligent Specification Centered Test-Case Generation

NASA Langley Research Center

  • Structuring Formal Requirements for Reuse and Product Families
  • Methods and Tools for Flight Critical Systems

NASA Independent Verification and Validation Facility

  • Tandem Experiments in Finding Faults During Model-Based Development.
  • A spectrum of IV&V modeling techniques

Rockwell Collins

  • Methods and Tools for Flight Critical Systems

IBM

  • Extensible Languages and Education-Specific Language Extensions in Eclipse

University of Minnesota

  • Practical Aspects of Extensible Languages and Compilers