Go to JKU Homepage
LIT Secure and Correct Systems Lab
What's that?

Institutes, schools, other departments, and programs create their own web content and menus.

To help you better navigate the site, see here where you are at the moment.

Publications.

Paper in SCI Expanded journal

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

Paper in other refereed journal

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

Paper in conference proceeding (refereed)

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

Paper in collection (refereed)

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

Paper in online archive (non-refereed)

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

Conference proceeding co-editorship (first edition)

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

Miscellaneous

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