Organisationsprofil
Organisationsprofil
Wissenschaftszweige
- 202017 Embedded Systems
- 202028 Mikroelektronik
- 102005 Computer Aided Design (CAD)
- 202005 Computer Architektur
- 106007 Biostatistik
- 305907 Medizinische Statistik
- 202041 Technische Informatik
- 102011 Formale Sprachen
- 101018 Statistik
- 101015 Operations Research
JKU-Schwerpunkte
- Digital Transformation
-
MIND: Medical Intelligence for Next Generation Diagnosis
Hamidovic, M. (Projektleiter*in), Zelko, E. (Co-Projektleiter*in), Khanzadeh, R. (Forscher*in), Fuger, J. (Forscher*in), Seidl, M. (Forscher*in), Salzer, H. (Forscher*in) & Springer, A. (Forscher*in)
01.04.2026 → 30.11.2027
Projekt: Geförderte Forschung › Bund / Land / Gemeinden
-
Modular Real-Time Control
Atzmüller, M. (Forscher*in) & Große, D. (Projektleiter*in)
01.10.2023 → 30.09.2026
Projekt: Anderes › Dissertationsprojekt
-
VerA: Vollautomatische Formale Verifikation Arithmetischer Schaltkreise
Große, D. (Projektleiter*in)
01.11.2020 → 28.02.2023
Projekt: Geförderte Forschung › Sonstige überwieg. aus öff. Hand
-
A RISC-V CHERI VP: Enabling System-Level Evaluation of the Capability-Based CHERI Architecture
Schlägl, M., Hinterdorfer, A. & Große, D., 10 März 2026, 31st Asia and South Pacific Design Automation Conference (ASP-DAC) 2026. 1 Aufl. S. 1230-1236 7 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
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. (Hrsg.). 1 Aufl. Springer, Cham, S. 159–165 7 S. (Lecture Notes in Computer Science; Band 16094 LNAI).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
A DSL for Specifying a Class of Industrial Optimisation Problems
Del Rio Almajano, T., Schreiner, W., Seidl, M., Kutsia, T. & Windsteiger, W., 2025, RISC, JKU, 19 S. (RISC Report Series; Band 25-12).Publikation: Preprints, Working Paper und Forschungsberichte › Forschungsbericht
Open Access
Aktivitäten
-
RISC-V VP++: Fast Open-Source Virtual Platforms – Powering Research Innovation and Industrial Use
Große, D. (Vortragende*r)
03 Dez. 2025Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › Science-to-science
-
Leveraging RISC-V for flexible and adaptive real-time radar sequencing
Atzmüller, M. (Vortragende*r), Findenig, R. (Vortragende*r), Greslehner-Nimmervoll, B. (Vortragende*r), Ecker, W. (Vortragende*r) & Große, D. (Vortragende*r)
31 Okt. 2025Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
-
Gutachter für Dissertation
Große, D. (Gutachter*in)
27 Okt. 2025Aktivität: Gutachtertätigkeiten › Gutachter/in für Hochschulschriften
Auszeichnungen
-
3rd place in the SystemC Modeling Challenge
Hazott, C. (Empfänger*in), Okt. 2025
Auszeichnung: Andere Anerkennung
-
9th place at DEF CON CTF in Las Vegas
Roithmayr, F. (Empfänger*in), Aug. 2025
Auszeichnung: Andere Anerkennung
-
Best Paper Award: Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study
Herdt, V. (Empfänger*in), Große, D. (Empfänger*in), Eyck, J. (Empfänger*in) & Drechsler, R. (Empfänger*in), Sep. 2020
Auszeichnung: Preis, Auszeichnung oder Ehrung
Forschungsdatensätze
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas
Peyrer, M. (Urheber*in), Heisinger, M. (Urheber*in) & Seidl, M. (Urheber*in), Zenodo, 19 Aug. 2024
Datensatz
-
QRP+Gen: Checking Q-Resolution Proofs with Generalized Axioms
Peyrer, M. (Urheber*in) & Seidl, M. (Urheber*in), Zenodo, 22 Juli 2025
DOI: 10.5281/zenodo.16307432, https://zenodo.org/records/16307432
Datensatz