Millington-Hotze P., Dyte H., Manna S., Covre da Silva S., Rastelli A., Chekhovich E.:
Approaching a fully-polarized state of nuclear spins in a solid, in Nature Communications, Vol. 15, 2024

Karli Y., Vajner D., Kappe F., Hagen P., Hansen L., Schwarz R., Bracht T., Schimpf C., Covre da Silva S., Walther P., Rastelli A., Axt V., Loredo J., Remesh V., Heindel T., Reiter D., Weihs G.:
Controlling the photon number coherence of solid-state quantum light sources for quantum cryptography, in npj Quantum Information, Vol. 10, Nr. 17, 2024

Konrad A., Scholl C., Mahzoon A., Große D., Drechsler R.:
Divider verification using symbolic computer algebra and delayed don't care optimization: theory and practical implementation,, in Formal Methods in System Design: An International Journal, 2024

Hornung F., pfister U., Bauer S., Cyrlyson`s D., Wang D., Vijayan P., José Garcia Junior A., Covre da Silva S., Jetter M., Portalupi S., Rastelli A., Michler P.:
Highly Indistinguishable Single Photons from Droplet-Etched GaAs Quantum Dots Integrated in Single-Mode Waveguides and Beamsplitters, in Nano Letters, Vol. 24, Seite(n) 1184-1190, 2024

Krieger T., Weidinger C., Oberleitner T., Undeutsch G., Rota M., Tajik N., Aigner M., Buchinger Q., Schimpf C., José Garcia Junior A., Covre da Silva S., Höfling S., Huber-Loyola T., Trotta R., Rastelli A.:
Post-fabrication tuning of circular Bragg resonators for enhanced emitter-cavity coupling, in ACS Photonics, Vol. 11, Nr. 2, Seite(n) 596-603, 2024

Heindel T., Kim J., Gregersen N., Rastelli A., Reitzenstein S.:
Quantum dots for photonic quantum information technology, in Advances in Optics and Photonics, Vol. 15, Seite(n) 613-738, 2024

Rass S.:
Tell me who you are friends with and I will tell you who you are: Unique Neighborhoods in Random Graphs, in Theoretical Computer Science, Elsevier, 2024

Klemmer L., Große D.:
WAVING Goodbye to Manual Waveform Analysis in HDL Design with WAL, in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2024

Stadler M., Riegler M., Sametinger J., Schönegger C.:
Improved CPSoS Security: An Enhanced Anomaly-Based Intrusion Detection Architecture, in Database and Expert Systems Applications - DEXA 2024 Workshops, in Communications in Computer and Information Science, Vol. 2169, Seite(n) 3-13, 2024

Herac E., Marchezan de Paula L., Wesley Klewerton G., Egyed A.:
Conflict-based Change Awareness for Collaborative Model-driven Software Engineering, in Journal of Object Technology, Vol. 23, Nr. 3, Seite(n) 1-14, 2024

Stadler M., Riegler M.:
Anomalieerkennung in der Operational Technology – eine Übersicht der Systeme, in Christian Heise, Ansgar Heise, in iX – Magazin für professionelle Informationstechnik, Heise Zeitschriften Verlag, pp. 88, 2024

Schlägl M., Stockinger M., Große D.:
A RISC-V "V" VP: Unlocking Vector Processing for Evaluation at the System Level: Design, Automation and Test in Europe Conference (DATE) 2024, 2024

Stadler M., Riegler M., Sametinger J.:
Cyber-Resilient Edge Computing: A Holistic Approach with Multi-Level MAPE-K Loops: IEEE 21st International Conference on Software Architecture Companion, June 4-8, 2024 (ICSA-C), Hyderabad, Indien, pp. 79-83, 2024

Mohamed A., Auer D., Hofer D., Küng J.:
Comparison of Access Control Approaches for Graph-Structured Data, in Sabrina De Capitani di Vimercati and Pierangela Samarati: Proceedings of the 21st International Conference on Security and Cryptography SECRYPT - Volume 1, vol. 1, Science and Technology Publications (SciTePress), Portugal, pp. 576-583, 2024

Schlägl M., Große D.:
Bounded Load/Stores in Grammar-based Code Generation for Testing the RISC-V Vector Extension: RISC-V Summit Europe 2024, 2024

Hazott C., Stögmüller F., Große D.:
Leveraging Virtual Prototypes and Metamorphic Testing for Verification of Embedded Graphics Libraries: ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2024, 2024

Schlägl M., Hazott C., Große D.:
RISC-V VP++: Next Generation Open-Source Virtual Prototype: Workshop on Open-Source Design Automation (OSDA) 2024 hosted at DATE, 2024

Hazott C., Große D.:
Relation Coverage: A New Paradigm for Hardware/Software Testing: 29th IEEE European Test Symposium (ETS) 2024, 2024

Klemmer L., Skarman F., Gustafsson O., Große D.:
Surfer: A Waveform Viewer as Dynamic as RISC-V: RISC-V Summit Europe 2024, 2024

Klemmer L., Große D.:
Towards a Highly Interactive Design-Debug-Verification Cycle: 29th Asia and South Pacific Design Automation Conference (ASP-DAC), 2024

Große D., Klemmer L., Bonora D.:
Using Formal Verification Methods for Optimization of Circuits under External Constraints: Design, Automation and Test in Europe Conference (DATE) 2024, 2024

Hazott C., Stögmüller F., Große D.:
Verifying Embedded Graphics Libraries leveraging Virtual Prototypes and Metamorphic Testing: 29th Asia and South Pacific Design Automation Conference (ASP-DAC), 2024, 2024

Klemmer L., Große D.:
WSVA: A SystemVerilog Assertion to WAL Compiler: Workshop on Open-Source Design Automation (OSDA) 2024 hosted at DATE, 2024

Hassan M., Große D., Drechsler R.:
Erweiterte virtuelle Prototypen für heterogene Systeme, Springer Vieweg Cham, Wiesbaden, 2024

Mohamed A.:
Fine-grained Dynamic Authorization and Access Control in the Conteyt of Graph-Structured Data, opens an external URL in a new window, Linz 2024

Stock S.:
Early and Systematic Validation of Formal Models, opens an external URL in a new window, Linz 2024

Mohamed A., Auer D., Hofer D., Küng J.:
Comparison of Access Control Approaches for Graph-Structured Data, series arXiv.org, 2024

Mayrhofer R., Vander Stoep J., Brubaker C., Hackborn D., Bonné B., Tuncay G., Piqueras Jover R., Specter M.:
The Android Platform Security Model (2023), arxiv.org, Cornell University, 2024

Stadler M., Riegler M., Sametinger J., Schönegger C.:
Improved CPSoS Security: An Enhanced Anomaly-Based Intrusion Detection Architecture, in Database and Expert Systems Applications - DEXA 2024 Workshops, in Communications in Computer and Information Science, Vol. 2169, Seite(n) 3-13, 2024