L. Servadei, J. H. Lee, J. A. A. Medina, M. Werner, S. Hochreiter, W. Ecker, and R. Wille: Deep Reinforcement Learning for Optimization at Early Design Stages. IEEE Design & Test, 2022
S. Poddar, G. Fink, W. Haselmayr, and R. Wille: A Generic Sample Preparation Approach for Different Microfluidic Labs-on-Chips. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2022.
R. Wille, S. Hillmich, and L. Burgholzer.: Tools for Quantum Computing Based on Decision Diagrams. ACM Transactions on Quantum Computing, 2021.
S. A. Schober, C. Carbonelli, A. Roth, A. Zoepfl, C. Travan, and R. Wille. Towards a Stochastic Drift Simulation Model for Graphene-Based Gas Sensors. In IEEE Sensors Journal, 2021.
F. Gemeinhardt, R. Wille, and M. Wimmer.: Quantum k-community detection: Algorithm proposals and cross-architectural evaluation., opens an external URL in a new window Quantum Information Processing, 2021.
R. Elnaggar, L. Servadei, S. Mathur, R. Wille, W. Ecker, and K. Chakrabarty.: Accurate and Robust Malware Detection: Running XGBoost on Run-Time Data from Performance Counters. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2021.
Basso Basset F., Salusti F., Schweickert L., Rota M., Tedeschi D., Covre da Silva S., Roccia E., Zwiller V., Jöns K., Rastelli A., Trotta R.:
Quantum teleportation with imperfect quantum dots, opens an external URL in a new window, in npj Quantum Information, vol. 7, 2021
Nysten E., Rastelli A., Krenner H.:
A hybrid (Al)GaAs-LiNbO3 surface acousticwave resonator for cavity quantum dot optomechanics, opens an external URL in a new window, in Appl.Phys.Lett., vol. 117, pp. 121106, 2020
Servadei L., Mosca E., Zennaro E., Devarajegowda K., Werner M., Ecker W., Wille R.:
Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation, opens an external URL in a new window, in IEEE Transactions on Computers (TC), vol. 69, no. 6, pp. 856-867, 2020
Niemann P., Wille R., Drechsler R.:
Advanced Exact Synthesis of Clifford+T Circuits, opens an external URL in a new window, in Springer, in Quantum Information Processing, Springer NY, 2020
Fink G., Hamidovic M., Haselmayr W., Wille R.:
Automatic Design of Droplet-Based Microfluidic Ring Networks, opens an external URL in a new window, in IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2020
Fink G., Hamidovic M., Springer A., Wille R., Haselmayr W.:
Design and realization of flexible droplet-based lab-on-a-chip devices: From theory to practice, opens an external URL in a new window, in e & i Elektrotechnik und Informationstechnik, Springer, pp. 113 - 120, 2020
Kole A., Hillmich S., Datta K., Wille R., Sengupta I.:
Improved Mapping of Quantum Circuits to IBM QX Architectures, opens an external URL in a new window, in IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2020
Zhai L., Löbl M., Jahn J., Huo Y., Treutlein P., Schmidt O., Rastelli A., Warburton R.:
Large-range frequency tuning of a narrow-linewidth quantum emitter, opens an external URL in a new window, in Appl. Phys. Lett., vol. 117, pp. 083106, 2020
Chekhovich E., Covre da Silva S., Rastelli A.:
Nuclear spin quantum register in an optically active semiconductor quantum dot, opens an external URL in a new window, in Nature Nanotechnology, 2020
Hanschke L., Schweickert L., Lopez Carreno J., Schöll E., Zeuner K., Lettner T., Casalengua E., Reindl M., Covre da Silva S., Trotta R., Finley J., Rastelli A., del Valle E., Laussy F., Zwiller V., Müller K., Jöns K.:
Origin of Antibunching in Resonance Fluorescence, opens an external URL in a new window, in Phys. Rev. Lett., vol. 125, pp. 170402, 2020
Niemann P., Zulehner A., Drechsler R., Wille R.:
Overcoming the Trade-off Between Accuracy and Compactness in Decision Diagrams for Quantum Computation, opens an external URL in a new window, in IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2020
Hepp S., Hornung F., Bauer S., Hesselmeier E., Yuan X., Jetter M., Portalupi S., Rastelli A., Michler P.:
Purcell-enhanced single-photon emissionfrom a strain-tunable quantum dot in acavity-waveguide device, opens an external URL in a new window, in Appl. Phys. Lett., vol. 117, pp. 254002, 2020
Vogele A., Sonner M., Mayer B., Yuan X., Weiß M., Nysten E., Covre da Silva S., Rastelli A., Krenner H.:
Quantum Dot Optomechanics in Suspended Nanophononic Strings, opens an external URL in a new window, in Wiley, in Adv. Quantum Technol., vol. 3, pp. 1900102, 2020
Suárez-Forero D., Ardizzone V., Covre da Silva S., Reindl M., Fieramosca A., Polimeno L., De Giorgi M., Dominici L., Pfeiffer L., Gigli G., Ballarini D., Laussy F., Rastelli A., Sanvitto D.:
Quantum hydrodynamics of a single particle, opens an external URL in a new window, in Light: Science & Applications, vol. 9, pp. 85, 2020
Manna S., Huang H., Covre da Silva S., Schimpf C., Rota M., Lehner B., Reindl M., Trotta R., Rastelli A.:
Surface passivation and oxide encapsulation to improve optical properties of a single GaAs quantum dot close to the surface, opens an external URL in a new window, in Applied Surface Science, vol. 532, pp. 147360, 2020
Yuan X., Schwendtner M., Trotta R., Huo Y., Martin Sanchez J., Piredda G., Huang H., Edlinger J., Diskus C., Schmidt O., Jakoby B., Krenner H., Rastelli A.:
A frequency-tunable nanomembrane mechanical oscillator with embedded quantum dots, opens an external URL in a new window, in AIP, in Appl. Phys. Lett., series 115, pp. 181902, 2019
Liu J., Su R., Wei Y., Yao B., Covre da Silva S., Yu Y., Iles-Smith J., Srinivasan K., Rastelli A., Li J., Wang X.:
A solid-state source of strongly entangled photon pairs with high brightness and indistinguishability, opens an external URL in a new window, in Nature Nanotechnology, vol. 14, pp. 586-594, 2019
Schimpf C., Reindl M., Klenovsky P., Fromherz T., Covre da Silva S., Hofer J., Schneider C., Höfling S., Trotta R., Rastelli A.:
Resolving the temporal evolution of line broadening in single quantum emitters, opens an external URL in a new window, in Optics Express, vol. 27, pp. 35290-35307, 2019
Huber D., Lehner B., Csontosova D., Reindl M., Schuler S., Covre da Silva S., Klenovsky P., Rastelli A.:
Single-particle-picture breakdown in laterally weakly confining GaAs quantum dots, opens an external URL in a new window, in Phys. Rev. B, vol. 100, pp. 235425, 2019
Shafiq S., Mashkoor A., Mayr-Dorn C., Egyed A.:
Machine Learning for Software Engineering: A Systematic Mapping, opens an external URL in a new window, in CoRR, vol. abs/2005.13299, 2020
Mashkoor A., Egyed A., Wille R.:
Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study, opens an external URL in a new window, in CoRR, vol. abs/2004.08471, 2020
Groza B., Berdich A., Jichici C., Mayrhofer R.:
Secure Accelerometer-based Pairing of Mobile Devices in Multi-modal Transport, opens an external URL in a new window, in IEEE Xplore, in IEEE Access, vol. 8, no. 1, pp. 9246-9259, 2020
Biró M., Mashkoor A., Sametinger J., Seker R.:
Guest Editors’ Introduction: Special Issue on Software Safety and Security Risk Mitigation in Cyber-physical Systems, opens an external URL in a new window, in IEEE Software, series 1, vol. 35, pp. 24-29, 2018
Lucas Klemmer, Manfred Schlaegl, and Daniel Große: RVVRadar: a framework for supporting the programmer in vectorization for RISC-V, opens an external URL in a new window. In: Great Lakes Symposium on VLSI (GLVLSI), 2022.
Niklas Bruns, Vladimir Herdt, Daniel Große, and Rolf Drechsler: "Efficient cross-level processor verification using coverage-guided fuzzing". In: Great Lakes Symposium on VLSI (GLVLSI), 2022.
Lucas Klemmer and Daniel Große: "Late breaking results: Waveform-based performance analysis of RISC-V processors". In: Design Automation Conference (DAC), 2022.
Alireza Mahzoon, Daniel Große, Christoph Scholl, Alexander Konrad, and Rolf Drechsler: "Formal verification of modular multipliers using symbolic computer algebra and boolean satisfiability". In: Design Automation Conference (DAC), 2022.
Pascal Pieper, Vladimir Herdt, Daniel Große, and Rolf Drechsler: "Verifying SystemC TLM peripherals using modern C++ symbolic execution tools". In: Design Automation Conference (DAC), 2022.
Katharina Ruep and Daniel Große: SpinalFuzz: Coverage-guided fuzzing for SpinalHDL designs, opens an external URL in a new window. In: European Test Symposium (ETS), 2022.
Lucas Klemmer and Daniel Große: WAL: a novel waveform analysis language for advanced design understanding and debugging., opens an external URL in a new window In: Asia and South Pacific Design Automation Conference (ASP-DAC), pages 358-364, 2022.
L. Servadei, H. Sun, J. Ott, M. Stephan, S. Hazra, T. Stadelmayer, D. S. Lopera, R. Wille, and A. Santra: Label-Aware Ranked Loss for Robust People Counting Using Automotive In-Cabin Radar. In International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2022.
L. Burgholzer, A. Ploier, and R. Wille.: Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams, opens an external URL in a new window. In Design, Automation and Test in Europe (DATE), 2022. Acceptance rate: 34%, Best Paper Award Candidate.
G. Fink, P. Ebner, and R. Wille.: Comprehensive and Accessible Channel Routing for Microfluidic Devices. In Design, Automation and Test in Europe (DATE), 2022.
S. Hillmich, C. Hadfield, R. Raymond, A. Mezzacapo, and R. Wille.: Decision Diagrams for Quantum Measurements with Shallow Circuits: IEEE International Conference on Quantum Computing (QCE), 2021.
L. Burgholzer, H. Bauer, and R. Wille.: Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams: IEEE International Conference on Quantum Computing (QCE), 2021.
X. Huang, Y. Pan, Z. Chen, W. Guo, R. Wille, T.-Y. Ho, and U. Schlichtmann.: BigIntegr: One-Pass Architectural Synthesis for Continuous-Flow Microfluidic Lab-on-a-Chip Systems: International Conference on Computer Aided Design (ICCAD), 2021.
M. Hamidovic, G. Fink, R. Wille, A. Springer, and W. Haselmayr.: Practical Assessment of Payload-Header Switching in Microfluidic Networks: International Conference on Nanoscale Computing and Communication (NanoCom), 2021.
L. Burgholzer, R. Raymond, I. Sengupta, and R. Wille: Efficient Construction of Functional Representations for Quantum Algorithms, opens a file: Conference on Reversible Computation, 2021
S. A. Schober, C. Carbonelli, and R. Wille. Simulating Defects in Environmental Sensor Networks Using Stochastic Sensor Models. In International Symposium on Sensor Science, 2021.
T. Grurl, J. Fuß, and R. Wille: Lessons Learnt in the Implementation of Quantum Circuit Simulation Using Decision Diagrams, opens a file: International Symposium on Multiple-Valued Logic (ISMVL), 2021
Wille R., Burgholzer L., Artner M.:
Visualizing Decision Diagrams for Quantum Computing, opens an external URL in a new window: Design, Automation and Test in Europe (DATE), 2021
Zulehner A., Hillmich S., Markov I., Wille R.:
Approximation of Quantum States Using Decision Diagrams, opens an external URL in a new window: Asia and South Pacific Design Automation Conference (ASP-DAC), 2020
Grurl T., Fuß J., Burgholzer L., Hillmich S., Wille R.:
Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators, opens an external URL in a new window: International Symposium on Multiple-Valued Logic (ISMVL), 2020
Mohamed A., Auer D., Hofer D., Küng J.:
Authorization Policy Extension for Graph Databases, opens an external URL in a new window, in Tran Khanh Dang, Josef Küng, Makoto Takizawa, Tai M. Chung: Future Data and Security Engineering, series Lecture Notes in Computer Science series (LNCS), vol. 12466, Springer Nature Switzerland, pp. 47-66, 2020
Walter M., Wille R., Torres F., Drechsler R.:
Bail on Balancing: An Alternative Approach to the Physical Design of Field-coupled Nanocomputing Circuits, opens an external URL in a new window: IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2020
Hillmich S., Zulehner A., Wille R.:
Concurrency in DD-based Quantum Circuit Simulation, opens an external URL in a new window: Asia and South Pacific Design Automation Conference (ASP-DAC), 2020
Grurl T., Fuß J., Wille R.:
Considering Decoherence Errors in the Simulation of Quantum Circuits Using Decision Diagrams, opens an external URL in a new window: International Conference on Computer Aided Design (ICCAD), 2020
Servadei L., Mosca E., Devarajegowda K., Werner M., Ecker W., Wille R.:
Cost Estimation for Configurable Model-Driven SoC Designs Using Machine Learning, opens an external URL in a new window: Great Lakes Symposium on VLSI (GLVLSI), 2020
Mir O., Mayrhofer R., Roland M.:
DAMFA: Decentralized Anonymous Multi-Factor Authentication, opens an external URL in a new window, in ACM: BSCI: International Symposium on Blockchain and Secure Critical Infrastructure, 2020
Wille R., Hillmich S., Burgholzer L.:
Efficient and Correct Compilation of Quantum Circuits, opens an external URL in a new window: IEEE International Symposium on Circuits and Systems, 2020
Michelon G.:
Evolving System Families in Space and Time, opens an external URL in a new window: Proceedings of the 24th ACM International Systems and Software Product Line Conference - Volume B, in ACM, series SPLC '20, Association for Computing Machinery, New York, NY, USA, pp. 104–111, 2020
Hillmich S., Zulehner A., Wille R.:
Exploiting Quantum Teleportation in Quantum Circuit Mapping, opens an external URL in a new window: International Workshop on Quantum Compilation (IWQC), 2020
Möhle S., Sebastiani R., Biere A.:
Four Flavors of Entailment, opens an external URL in a new window, in Pulina L., Seidl M.: The 23rd International Conference on Theory and Applications of Satisfiability Testing, series Lecture Notes in Computer Science, vol. 12178, Springer, Cham, 2020
Burgholzer L., Wille R.:
Improved DD-based Equivalence Checking of Quantum Circuits, opens an external URL in a new window: Asia and South Pacific Design Automation Conference (ASP-DAC), 2020
Bornebusch F., Lüth C., Wille R., Drechsler R.:
Integer Overflow Detection in Hardware Designs at the Specification Level, opens an external URL in a new window: Int'l Conf. on Model-Driven Engineering and Software Development (MODELSWARD), 2020
Hübscher G., Geist V., Auer D., Hübscher N., Küng J.:
Integration of Knowledge and Task Management in an Evolving, Communication-intensive Environment, opens an external URL in a new window, in Maria Indrawan-Santiago, Eric Pardede, Ivan Luiz Salvadori, Matthias Steinbauer, Ismail Khalil, Gabriele Anderst-Kotsis: Proceedings of iiWAS 2020, series Proceedings of iiWAS, ACM, New York, pp. 407-416, 2020
Suárez-Forero D., Ardizzone V., Pfeiffer L., Rastelli A., Sanvitto D.:
Interface of a deterministic single photons source with a 2D semiconductor microcavity: pushing polaritonic systems into the quantum regime, opens an external URL in a new window, in B. Lee, C. Mazzali, K. Corwin, and R. Jason Jones: Frontiers in Optics / Laser Science, OSA Technical Digest (Optical Society of America, 2020), pp. paper FTu2D.6, 2020
Wille R., Hillmich S., Burgholzer L.:
JKQ: JKU Tools for Quantum Computing, opens an external URL in a new window: International Conference on Computer Aided Design (ICCAD), 2020
Hillmich S., Markov I., Wille R.:
Just Like the Real Thing: Fast Weak Simulation of Quantum Computation., opens an external URL in a new window: Design Automation Conference (DAC), 2020
Michelon G., Obermann D., Linsbauer L., Assunção W., Grünbacher P., Egyed A.:
Locating Feature Revisions in Software Systems Evolving in Space and Time, opens an external URL in a new window: 24rd International Systems and Software Product Line Conference, 2020
Michelon G., Obermann D., Klewerton Guez Assunção W., Linsbauer L., Grünbacher P.:
Mining Feature Revisions in Highly-Configurable Software Systems, opens an external URL in a new window: Proceedings of the 24th ACM International Systems and Software Product Line Conference - Volume B, pp. 74-78, 2020
Riegler M., Sametinger J.:
Multi-mode Systems for Resilient Security in Industry 4.0, opens an external URL in a new window: ISM 2020, International Conference on Industry 4.0 and Smart Manufacturing, Hagenberg, Austria November 23-25, 2020, virtual event., 2020
Almudever C., Lao L., Wille R., Guerreschi G.:
Realizing Quantum Algorithms on Real Quantum Computing Devices, opens an external URL in a new window: Design, Automation and Test in Europe (DATE), 2020
Burgholzer L., Wille R.:
The Power of Simulation for Equivalence Checking in Quantum Computing, opens an external URL in a new window: Design Automation Conference (DAC), 2020
Garlando U., Walter M., Wille R., Riente F., Torres F., Drechsler R.:
ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing, opens an external URL in a new window: Euromicro Conference on Digital System Design (DSD), 2020
Bornebusch F., Wille R., Drechsler R.:
Towards Automatic Hardware Synthesis from Formal Specification to Implementation, opens an external URL in a new window: Asia and South Pacific Design Automation Conference (ASP-DAC), 2020
Schober S., Carbonelli C., Roth A., Zoepfl A.:
Towards Drift Modeling of Graphene-Based Gas Sensors Using Stochastic Simulation Techniques, opens an external URL in a new window: IEEE SENSORS, 2020
Deb A., Dueck G., Wille R.:
Towards Exploring the Potential of Alternative Quantum Computing Architectures, opens an external URL in a new window: Design, Automation and Test in Europe (DATE), 2020
Ring M., Bornebusch F., Lüth C., Wille R., Drechsler R.:
Verification Runtime Analysis: Get the Most Out of Partial Verification, opens an external URL in a new window: Design, Automation and Test in Europe (DATE), 2020
Walter M., Wille R., Torres F., Große D., Drechsler R.:
Verification for Field-coupled Nanocomputing Circuits, opens an external URL in a new window: Design Automation Conference (DAC), 2020
Burgholzer L., Raymond R., Wille R.:
Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow, opens an external URL in a new window: IEEE International Conference on Quantum Computing (QCE), 2020
Pointner S., Gonzalez de Aledo P., Wille R.:
YASSi: Yet Another Symbolic Simulator, opens an external URL in a new window: International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems (IWCFS), 2020
Pekarek D.:
trcview: interactive architecture agnostic execution trace analysis, opens an external URL in a new window: MPLR 2020: Proceedings of the 17th International Conference on Managed Programming Languages and Runtimes, ACM Digital Library, pp. 89-97, 2020
Tröls M., Mashkoor A., Egyed A.:
Collaboratively enhanced consistency checking in a cloud-based engineering environment, opens an external URL in a new window, in Jose Ignacio Panach, Jean Vanderdonckt, Oscar Pastor: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2019, Valencia, Spain, June 18-21, 2019, no. 15, ACM, pp. 15:1-15:6, 2019
Möhle S., Biere A.:
Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting, opens an external URL in a new window, in Diego Calvanese, Luca Iocchi: 5th Global Conference on Artificial Intelligence, series EasyChair EPiC series in Computing, 2019
Servadei L., Mosca E., Lee J., Yang J., Esen V., Wille R., Ecker W.:
Combining Evolutionary Algorithms and Deep Learning for Hardware/Software Interface Optimization, opens an external URL in a new window, in ACM/IEEE: Workshop on Machine Learning for CAD (MLCAD), 2019
Pointner S., Wille R.:
Did we Test Enough? Functional Coverage for Post-Silicon Validation, opens an external URL in a new window: International Test Conference in Asia (ITC-Asia), 2019
Berner F., Sametinger J.:
Dynamic Taint-Tracking: Directions for Future Research, opens an external URL in a new window, in SECRYPT: SECRYPT 2019 - Proceedings of the International Conference on Security and Cryptography, Prague, Czech Republic, July 26-28, 2019, vol. 2, pp. 294-305, 2019
Zulehner A., Bauer H., Wille R.:
Evaluating the Flexibility of A* for Mapping Quantum Circuits, opens an external URL in a new window: Conference on Reversible Computation (RC), 2019
Pointner S., Grimmer A., Wille R.:
Exact Stimuli Minimization for Simulation-Based Verification, opens an external URL in a new window: International Symposium on circuits and Systems (IEEE), 2019
Serajeh-Hassani F., Sadrosadati M., Pointner S., Wille R., Sarbazi-Azad H.:
Focus on What is Needed: Area and Power Efficient FPGAs Using Turn-Restricted Switch Boxes, opens an external URL in a new window: IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2019
Pointner S., Gonzalez de Aledo P., Wille R.:
Generic Error Localization for the Electronic System Level, opens an external URL in a new window: DDECS 2019, 2019
Zulehner A., Hillmich S., Wille R.:
How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computation, opens an external URL in a new window: International Conference on Computer Aided Design (ICCAD), 2019
Berner F., Sametinger J.:
Information Disclosure Detection in Cyber-Physical Systems, opens an external URL in a new window: IWCFS 2019 - 3rd International Workshop onCyber-Security and Functional Safety in Cyber-Physical Systems,Linz, Austria, August 26-29, 2019, vol. 1062, 2019
Auer D., Jäger M., Küng J.:
Linking Trust to Cyber-Physical Systems, opens an external URL in a new window, in Kotsis, Gabriele; Tjoa, A. Min; Khalil, Ismail: Database and Expert Systems Applications, series Communications in Computer and Information Science, no. 1062, Springer International Publishing, Cham, pp. 119-128, 2019
Wille R., Burgholzer L., Zulehner A.:
Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations, opens an external URL in a new window: Design Automation Conference (DAC), 2019
Tröls M., Mashkoor A., Egyed A.:
Multifaceted Consistency Checking of Collaborative Engineering Artifacts, opens an external URL in a new window, in Loli Burgueno, Alexander Pretschner, Sebastian Vosshel, Michel Chaudron, Jörg Kienzle, Markus Völter,Sebastien Gerard Mansooreh Zahedi Erwan Bousse Arend Rensink Fiona Polack Gregor EngelsGerti Kappel: 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019, IEEE, pp. 278-287, 2019
Rao A., Carréon N., Lysecky R., Rozenblit J., Sametinger J.:
Resilient Security of Medical Cyber-Physical Systems, opens an external URL in a new window: IWCFS 2019 - 3rd International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems, Linz, Austria, August 26-29, 2019., 2019
Sametinger J.:
Securing Smart Homes, opens an external URL in a new window: IWCFS 2019 - 3rd International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems, Linz, Austria, August 26-29, 2019., 2019
Pointner S., Frank O., Hazott C., Wille R.:
Test Your Test Programs Pre-Silicon: A Virtual Test Methodology for Industrial Design Flows, opens an external URL in a new window, in IEEE: Computer Society Annual Symposium on VLSI (ISVLSI), 2019
Wille R., Haghparast M., Adarsh S., M T.:
Towards HDL-based Synthesis of Reversible Circuits with No Additional Lines, opens an external URL in a new window: International Conference on Computer Aided Design (ICCAD), 2019
Kreindl J., Bonetta D., Mössenböck H.:
Towards efficient, multi-language dynamic taint analysis, opens an external URL in a new window: MPLR 2019: Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, ACM, pp. 85-94, 2019
Keszöcze O., Keiner B., Richter M., Antpöhler G., Wille R.:
(Semi)automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications, opens an external URL in a new window: Natural Language Processing for Electronic Design Automation, Springer, Cham, pp. 1-11, 2020
Riegler M., Sametinger J.:
Mode Switching from a Security Perspective: First Findings of a Systematic Literature Review, opens an external URL in a new window, in Kotsis, Gabrieleand Tjoa, A. Minand Khalil, Ismailand Fischer, Lukasand Moser, Bernhardand Mashkoor, Atifand Sametinger, Johannesand Fensel, Annaand Martinez-Gil, Jorge: Database and Expert Systems Applications, in Database and Expert Systems Applications, series Communications in Computer and Information Science, vol. 1285, Springer International Publishing, Cham, pp. 63--73, 2020
Zulehner A., Wille R.:
Simulation and Design of Quantum Circuits, opens an external URL in a new window: Reversible Computation: Extending Horizons of Computing, Springer, Cham, pp. 60-82, 2020
Tröls M., Mashkoor A., Egyed A.:
Live and global consistency checking in a collaborative engineering environment, opens an external URL in a new window, in Chih-Cheng Hung and George A. Papadopoulos: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019, in Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, ACM, pp. 1776-1785, 2019
Mayrhofer R., Mohan V., Sigg S.:
Adversary Models for Mobile Device Authentication, opens an external URL in a new window, in arXiv.org, in arXiv, e-Print archive, 2020
Dang K., Küng J., Takizawa M., Chung T.:
Future Data and Security Engineering - 7th International Conference, FDSE 2020, Quy Nhon, Vietnam, November 25-27, 2020, Proceedings, opens an external URL in a new window, series Lecture Notes in Computer Science, vol. 12466, Springer, 2020
Dang K., Küng J., Takizawa M., Chung T.:
TakizFuture Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications - 7th International Conference, FDSE 2020, Quy Nhon, Vietnam, November 25-27, 2020, Proceedings, opens an external URL in a new window, series Communications in Computer and Information Science, vol. 1306, Springer, 2020
Dang K., Küng J., Takizawa M.:
Future Data and Security Engineering - 6th International Conference, FDSE 2019, Nha Trang City, Vietnam, November 27-29, 2019, opens an external URL in a new window, series Lecture Notes in Computer Science, vol. 11814, Springer, 2019
M. Walter, R. Wille, F. S. Torres, and R. Drechsler. Design Automation for Field-coupled Nanotechnologies. Springer, 2022.
R. Wille: Design tools for quantum computing., opens a file Open Access Government, 2022.
R. Wille: Quantum Computer are coming! But how to use their potential?, opens an external URL in a new window, European Dissemination Media Agency, 2021.
D. S. Lopera, L. Servadei, G. N. Kiprit, S. Hazra, R. Wille, and W. Ecker: A Survey of Graph Neural Networks for Electronic Design Automation. In Workshop on Machine Learning for CAD (MLCAD), 2021.
Mashkoor A., Sametinger J., Biró M., Egyed A.:
Security‐ and safety‐critical cyber‐physical systems (Editorial), opens an external URL in a new window, in Journal of Software: Evolution and Process, 2020
Johannes Kepler University Linz
Altenberger Straße 69
4040 Linz, Austria
Go to JKU Homepage
