Projects per year
Organisation profile
Organisation profile
Fields of science
- 202017 Embedded systems
- 202028 Microelectronics
- 102005 Computer aided design (CAD)
- 202005 Computer architecture
- 106007 Biostatistics
- 305907 Medical statistics
- 202041 Computer engineering
- 102011 Formal languages
- 101018 Statistics
- 101015 Operations research
JKU Focus areas
- Digital Transformation
-
ODE4EC-PIV: Open Design Ecosystem for European Chips - Productivity, Interoperability, Verification
Große, D. (PI)
01.06.2026 → 31.05.2029
Project: Funded research › EU - European Union
-
ODE4EC-DIG: Open Design Environment for European Chips - Digital SoC Design
Große, D. (PI)
01.06.2026 → 31.05.2029
Project: Funded research › EU - European Union
-
MIND: Medical Intelligence for Next Generation Diagnostics
Hamidovic, M. (PI), Zelko, E. (Co-PI), Khanzadeh, R. (Researcher), Fuger, J. (Researcher), Seidl, M. (Researcher), Salzer, H. (Researcher) & Springer, A. (Researcher)
01.04.2026 → 30.11.2027
Project: Funded research › Federal / regional / local authorities
Research output
-
A RISC-V CHERI VP: Enabling System-Level Evaluation of the Capability-Based CHERI Architecture
Schlägl, M., Hinterdorfer, A. & Große, D., 10 Mar 2026, 31st Asia and South Pacific Design Automation Conference (ASP-DAC) 2026. 1 ed. p. 1230-1236 7 p. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
ART: Autonomous Radar Transceiver Architecture for Cost-Optimized Satellite Radar Systems
Atzmüller, M., Findenig, R., Greslehner-Nimmervoll, B. & Große, D., 22 Jun 2026, GLSVLSI '26: Proceedings of the Great Lakes Symposium on VLSI 2026. Chen, F., Zhou, P., Gu, J., Trivedi, A. R. & Yang, X. (eds.). 1 ed. ACM, p. 730-736 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access -
Distinguishing Exploit Failure from Effective CHERI Protection on RISC-V
Hinterdorfer, A., Schlägl, M. & Große, D., 2026, (Accepted/In press) RISC-V Summit Europe 2026. 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Activities
-
Research Chair of the Design and Verification Conference in Europe (DVCon Europe) (Event)
Große, D. (Member)
17 Nov 2026 → 18 Nov 2026Activity: Membership/Function › Program committee
-
Program Committee Member of the 34th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) (Event)
Große, D. (Member)
11 Oct 2026 → 14 Oct 2026Activity: Membership/Function › Program committee
-
Program Committee Member of the Forum on specification & Design Languages (FDL) (Event)
Große, D. (Member)
09 Sept 2026 → 11 Sept 2026Activity: Membership/Function › Program committee
Prizes
-
-
-
Best Paper Award: Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study
Herdt, V. (Recipient), Große, D. (Recipient), Eyck, J. (Recipient) & Drechsler, R. (Recipient), Sept 2020
Prize: Prize, award or honor
Datasets
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas
Peyrer, M. (Creator), Heisinger, M. (Creator) & Seidl, M. (Creator), Zenodo, 19 Aug 2024
Dataset
-
QRP+Gen: Checking Q-Resolution Proofs with Generalized Axioms
Peyrer, M. (Creator) & Seidl, M. (Creator), Zenodo, 22 Jul 2025
DOI: 10.5281/zenodo.16307432, https://zenodo.org/records/16307432
Dataset