The University of Minnesota Software Engineering Center draws its funded research
from a diverse set of sponsors. Current and recent sponsors include:
- SHF Medium: Contract-based Black-box Assurance. $1.4M. 2016-2019
- CPS Large: Assuring the safety, security, and reliability of medical device cyber physical systems. $1.45M. 2011-2016
- CAREER: An Extensible Compiler Framework for Modular Seamless Language Extensions
- Verification and Validation of Planning Systems. $417,156. 2013-2018
- Compositional Verification of Flight Critical Systems (CVFCS). $337,000. 2013-2016
- Test-Case Generation with an Explicit State Model Checker
- Intelligent Specification Centered Test-Case Generation
- Advanced Modeling and Safety Engineering (AMASE). $210,000. 2016-2019.
- Structuring Formal Requirements for Reuse and Product Families
- Methods and Tools for Flight Critical Systems
- Tandem Experiments in Finding Faults During Model-Based Development.
- A spectrum of IV&V modeling techniques
- Guardol: $188,000. 2010-2012
- Architecture and Analysis for High Assurance Autonomy (AAHAA). $630,000. 2018-2022
- Build and Research Environment for Cyber-Assured System Engineering (BriefCASE). $800,000. 2018-2022
- Systems of Systems Integration Technology and Experimentation. $123,000. 2017
- Functionally Equivalent Variants Using Information Synchronization. $258,766. 2015-2016
- Methods and Tools for Flight Critical Systems
IBM
- Extensible Languages and Education-Specific Language Extensions in Eclipse
- Practical Aspects of Extensible Languages and Compilers