Several projects are in cooperation with partners from academia and industry (e.g. AMD, Bosch, Concept Engineering, COSEDA Technologies, Kasper & Oswald, Infineon, Intel, Mentor Graphics, MINRES Technologies, Mixed Mode, OneSpin Solutions, Siemens, Volkswagen)
| Since 2023 | LIT Secure and Correct Systems Lab Graduate School funded by the State of Upper Austria PIs: Prof. Daniel Große, Prof. Rene Mayrhofer, Prof. Josef Küng, Prof. Stefan Rass |
| Since 2023 | PaSVer: Leistungsfähiges Entwurfswerkzeug für neuartige Automobilelektronik Research project funded by the BMBF (German Ministry of Education and Research) Cooperation with COSEDA Technologies GmbH PI Prof. Daniel Große |
| 2020–2023 | VerA: Vollautomatische Formale Verifikation Arithmetischer Schaltkreise Research project funded by the DFG (German Research Foundation) PI Prof. Daniel Große in collaboration with Prof. Rolf Drechsler, Prof. Christoph Scholl |
| 2020–2023 | AUTOASSERT: Simulationsbasiertes Entwurfswerkzeug zur automatisierten Überprüfung von analog-digitalen Elektroniksystemen Research project funded by the BMBF (German Ministry of Education and Research) Cooperation with COSEDA Technologies GmbH PI Prof. Daniel Große |
| 2020–2020 | Scale4Edge: Entwicklungsplattform und Ökosystem für skalierbare Spezialprozessoren im Edge-Computing Research project funded by the BMBF (German Ministry of Education and Research) Cooperation with MINRES Technologies GmbH, Bosch and Infineon Technologies PIs: Dr. Daniel Große, Vladimir Herdt, Prof. Rolf Drechsler |
| 2019–2022 | VerSys: Eine konsistente Verifikationsplattform zur frühen Softwareentwicklung für RISC-V-basierte Systeme Research project funded by the BMBF (German Ministry of Education and Research) PIs: Dr. Daniel Große, Prof. Rolf Drechsler, Prof. Christoph Lüth |
| 2018–2020 | SATiSFy: Validierung von SAfeTy- und Security-Anforderungen in autonomen Fahrzeugen Research project funded by the BMBF (German Ministry of Education and Research) Cooperation with Volkswagen, Bosch, Concept Engineering, Kasper & Oswald PIs: Dr. Daniel Große, Prof. Tim Güneysu, Prof. Dieter Hutter, Prof. Rolf Drechsler |
| 2017–2020 | Formalizations and properties of plans Research project funded by the DFG (German Research Foundation) within the Collaborative Research Center (SFB 1320) EASE (Everyday Activity Science and Engineering) PI Dr. Daniel Große in collaboration with Prof. Rolf Drechsler |
| 2017–2020 | CONVERS: Verifikationsautomatisierung für Mixed Signal Systeme Research project funded by the BMBF (German Ministry of Education and Research) Cooperation with COSEDA Technologies GmbH PI Dr. Daniel Große |
| 2017–2020 | SecRec: Security by Reconfiguration Research project funded by the BMBF (German Ministry of Education and Research) Cooperation with Bosch and Mixed Mode PIs: Prof. Tim Güneysu, Dr. Daniel Große, Prof. Rolf Drechsler |
| 2017–2019 | CONFIRM: Automatisierter Firmware-Entwurf unter Berücksichtigung von Timing- und Power-Budgets für anwendungsspezifische Elektroniksysteme Research project (EDA-Clusterforschung) funded by the BMBF (German Ministry of Education and Research) and industry (Bosch, Infineon, Intel, and Mentor Graphics) PIs: Dr. Daniel Große, Prof. Rolf Drechsler |
| 2015–2016 | EffektiV: Effiziente Fehlereffektsimulation mit virtuellen Prototypen zur Qualifikation intelligenter Motion-Control-Systeme in der Industrieautomatisierung Research project funded by the BMBF (German Ministry of Education and Research) PIs: Dr. Daniel Große, Prof. Rolf Drechsler |
| 2013–2014 | SolVerTec: Entwicklung eines automatischen Debugging Werkzeugs Transfer project Phase II, funded by the BMWi (Federal Ministry for Economic Affairs and Energy) within the EXIST Transfer of Research PIs: Dr. Daniel Große, Jan Wessels |
| 2011–2013 | SolVerTec: Entwicklung eines automatischen Debugging Werkzeugs Transfer project Phase I, funded by the BMWi (Federal Ministry for Economic Affairs and Energy) within the EXIST Transfer of Research PIs: Dr. Daniel Große, Prof. Rolf Drechsler, Prof. Görschwin Fey, Dr. Andre Sülflow |
| 2009–2011 | SANITAS: Sichere Systeme auf Basis einer durchgängigen Verifikation entlang der gesamten Wertschöpfungskette Research project funded by the BMBF (German Ministry of Education and Research) Cooperation with Infineon PIs: Dr. Daniel Große, Prof. Rolf Drechsler |