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
-
Modular Real-Time Control
Atzmüller, M. (Researcher) & Große, D. (PI)
01.10.2023 → 30.09.2026
Project: Other › PhD thesis 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
-
PRACE-2IP - PRACE - Second Implementation Phase Project
Strumpen, V. (PI)
01.09.2011 → 31.08.2013
Project: Funded research › EU - European Union
Research output
-
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.). 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 -
Clinical outcome and technical complications of bimaxillary full-arch implant-supported metal-resin fixed dental prostheses with or without ceramic molars: 5-year results
Krennmair, G., Weinländer, M., Postl, L., Malek, M., Forstner, T., Hulla, H. & Krennmair, G., 05 Jun 2025, In: Clinical Oral Investigations. 29, 6, 13 p., 335.Research output: Contribution to journal › Article › 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.). 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
Activities
-
Program Committee Member of the IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (External organisation)
Große, D. (Member)
26 Oct 2025 → 30 Oct 2025Activity: Membership/Function › Program committee
-
LLM-assisted Metamorphic Testing of Embedded Graphics Libraries
Hazott, C. (Speaker) & Große, D. (Speaker)
10 Sept 2025Activity: Talk or presentation › Contributed talk › science-to-science
-
Program Committee Member Euromicro Conference Series on Digital System Design (DSD) (External organisation)
Große, D. (Member)
10 Sept 2025 → 12 Sept 2025Activity: Membership/Function › Board, Committee or Jury
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