-
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.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Refined Notions of QBF Equivalences
Pfeiffer, P., Große, D. & Seidl, M., 2026, Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Proceedings: 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part II. Casini, G., Dundua, B. & Kutsia, T. (eds.). 1 ed. Springer, Cham, p. 159–165 7 p. (Lecture Notes in Computer Science; vol. 16094 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Boosting SW Development Efficiency with Function Lifetime Diagrams
Hazott, C. & Große, D., 2025, IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) 2025. Bosio, A., Bernardi, P., Traiola, M. & Mrazek, V. (eds.). 1 ed. IEEE Explorer, p. 99-104 6 p. (Proceedings - 2025 28th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access -
Control Flow Protection by Cryptographic Instruction Chaining
Ahmad, S., Rass, S., Goman, M., Schlägl, M. & Große, D., 2025, Proceedings of the 22nd International Conference on Security and Cryptography, SECRYPT 2025. De Capitani Di Vimercati, S. & Samarati, P. (eds.). 1 ed. p. 233 - 246 14 p. (Proceedings of the International Conference on Security and Cryptography; vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access -
Divider verification using symbolic computer algebra and delayed don't care optimization: theory and practical implementation,
Konrad, A., Scholl, C., Mahzoon, A., Große, D. & Drechsler, R., Oct 2025, In: Formal Methods in System Design: An International Journal. 67, 1, p. 106-142 37 p.Research output: Contribution to journal › Article › peer-review
Open Access
-
Modular Real-Time Control
Atzmüller, M. (Researcher) & Große, D. (PI)
01.10.2023 → 30.09.2026
Project: Other › PhD thesis project
-
ENGEL Austria Gmbh
Große, D. (PI), Riegler, M. (Researcher), Stadler, M. (Researcher), Wille, R. (Researcher) & Sametinger, J. (Co-PI)
01.08.2019 → 31.07.2027
Project: Contract research › Industry project
-
VerA: Fully Automatic Formal Verification of Arithmetic Circuits
Große, D. (PI)
01.11.2020 → 28.02.2023
Project: Funded research › Other mainly public funds
Activities
-
RISC-V VP++: Fast Open-Source Virtual Platforms – Powering Research Innovation and Industrial Use
Große, D. (Speaker)
03 Dec 2025Activity: Talk or presentation › Invited talk › science-to-science
-
Leveraging RISC-V for flexible and adaptive real-time radar sequencing
Atzmüller, M. (Speaker), Findenig, R. (Speaker), Greslehner-Nimmervoll, B. (Speaker), Ecker, W. (Speaker) & Große, D. (Speaker)
31 Oct 2025Activity: Talk or presentation › Contributed talk › science-to-science
-
Gutachter für Dissertation
Große, D. (Expert)
27 Oct 2025Activity: Expert activities › Expert activity for dissertations and habilitations
-
Program Committee Member of the IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (Event)
Große, D. (Member)
26 Oct 2025 → 30 Oct 2025Activity: Membership/Function › Program committee
-
Bringing CHERI Capabilities to Life in a Virtual Platform: CHERI-RISC-V VP++
Große, D. (Speaker)
16 Oct 2025Activity: Talk or presentation › Invited talk › science-to-science
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
-
Best Paper Award: Formal verification of SUBLEQ microcode implementing the RV32I ISA
Klemmer, L. (Recipient), Gurtner, S. (Recipient) & Große, D. (Recipient), Sept 2022
Prize: Prize, award or honor
-
Best Paper Candidate: Control flow protection by cryptographic instruction chaining
Ahmad, S. (Recipient), Rass, S. (Recipient), Goman, M. (Recipient), Schlägl, M. (Recipient) & Große, D. (Recipient), Jun 2025
Prize: Prize, award or honor
-
Best Paper Candidate: System Level Verification of Phase-Locked Loop Using Metamorphic Relations
Hassan, M. (Recipient), Große, D. (Recipient) & Drechsler, R. (Recipient), Feb 2021
Prize: Prize, award or honor