Riegler M., Sametinger J., Vierhauser M., Wimmer M.:
A model-based mode-switching framework based on security vulnerability scores, in Journal of Systems and Software, Vol. 200, Elsevier, 2023
Basso Basset F., Valeri M., Neuwirth J., Polino E., Rota M., Poderini D., Pardo C., Rodari G., Roccia E., Covre da Silva S., Ronco G., Spagnolo N., Rastelli A., Carvacho G., Sciarrino F., Trotta R.:
Daylight entanglement-based quantum key distribution with a quantum dot source, in Quantum Sci. Technol., Vol. 8, Seite(n) 025002, 2023
Zaporski L., Shofer N., Bodey J., Manna S., Gillard G., Appel M., Schimpf C., Covre da Silva S., Jarman J., Delamare G., Park G., Häusler U., Chekhovich E., Rastelli A., Gangloff D., Atatüre M., Le Gall C.:
Ideal refocusing of an optically active spin qubit under strong hyperfine interactions, in Nature Nanotechnology, Serie in print, 2023
Neuwirth J., Basso Basset F., Rota M., Hartel J., Sartison M., Covre da Silva S., Jöns K., Rastelli A., Trotta R.:
Multipair-free source of entangled photons in the solid state, in Phys. Rev. B, Vol. 106, Seite(n) L241402, 2023
Vierhauser M., Wohlrab R., Stadler M., Cleland-Huang J.:
AMon: A Domain-Specific Language and Framework for Adaptive Monitoring of Cyber-Physical Systems, in Elsevier, in The Journal of Systems & Software, 2022
Kaindl R., Homola T., Rastelli A., Schwarz A., Tarre A., Kopp D., Coclite A., Görtler M., Meier B., Prettenthaler B., Belegratis M., Lackner J., Waldhauser W.:
Atomic layer deposition of oxide coatings on porous metal and polymer structures fabricated by additive manufacturing methods (laser-based powder bed fusion, material extrusion, material jetting), in Surfaces and Interfaces, Vol. 34, Elsevier, Seite(n) 102361, 2022
Al Islam M., Chowdhury M., Agrawal A., Murphy M., Mehta R., Kudriavtseva D., Cleland-Huang J., Vierhauser M., Chechik M.:
Configuring mission-specific behavior in a product line of collaborating Small Unmanned Aerial Systems, in Journal of Systems and Software, 2022
Mir O., Roland M., Mayrhofer R.:
Decentralized, Privacy-Preserving, Single Sign-On, in Security and Communication Networks, Vol. 2022, Nr. 9983995, 2022
Servadei L., Lee H., Medina J., Werner M., Hochreiter S., Ecker W., Wille R.:
Deep Reinforcement Learning for Optimization at Early Design Stages, in IEEE, in Design & Test, 2022
Lehner D., Pfeiffer J., Tinsel E., Strljic M., Sint S., Vierhauser M., Wortmann A., Wimmer M.:
Digital Twin Platforms: Requirements, Capabilities, and Future Prospects, in IEEE Software, Vol. 39, Nr. 2, IEEE, Seite(n) 53-61, 2022
Michelon G., Obermann D., Guez Assuncao W., Linsbauer L., Grünbacher P., Fischer S., Lopez-Herrejon R., Egyed A.:
Evolving software system families in space and time with feature revisions, in Empir. Softw. Eng., Vol. 27, Nr. 5, 2022
Münzberg J., Draxl F., Covre da Silva S., Karli Y., Manna S., Rastelli A., Weihs G., Keil R.:
Fast and efficient demultiplexing of single photons from a quantum dot with resonantly enhanced electro-optic modulators, in APL Photonics, Vol. 7, Seite(n) 070802, 2022
Panda S., Rass S., Moschoyiannis S., Liang K., Loukas G., Panaousis E.:
HoneyCar: A Framework to Configure Honeypot Vulnerabilities on the Internet of Vehicles, in IEEE Access, Vol. 10, IEEE, Seite(n) 104671-104685, 2022
Mehic M., Rass S., Dervisevic E., Voznak M.:
Tackling Denial of Service Attacks on Key Management in Software-Defined Quantum Key Distribution Networks, in IEEE Access, Vol. 10, IEEE, Seite(n) 110512-110520, 2022
Rahimi M., Vierhauser M.:
Visualization of aggregated information to support class-level software evolution, in Journal of Systems and Software, Elsevier, 2022
Burgholzer L., Wille R.:
Advanced Equivalence Checking for Quantum Circuits, in IEEE, in Transactions on Computer Aided Design of Integrated Circuits and Systems, 2021
Huang H., Manna S., Schimpf C., Reindl M., Yuan X., Zhang Y., Covre da Silva S., Rastelli A.:
Bright Single Photon Emission from Quantum Dots Embedded in a Broadband Planar Optical Antenna, in Advanced Optical Materials, Vol. 9, Nr. 7, Seite(n) 2001490, 2021
Huang H., Csontosova D., Manna S., Huo Y., Trotta R., Rastelli A., Klenovsky P.:
Electric field induced tuning of electronic correlation in weakly confining quantum dots, in Physical Review B, Vol. 104, Nr. 16, Seite(n) 165401, 2021
Schimpf C., Manna S., Covre da Silva S., Aigner M., Rastelli A.:
Entanglement-based quantum key distribution with a blinking-free quantum dot operated at a temperature up to 20 K, in Advanced Photonics, Vol. 3, SPIE, Seite(n) 065001, 2021
Deb A., Dueck G., Wille R.:
Exploring the Potential Benefits of Alternative Quantum Computing Architectures, in IEEE, in Transactions on Computer Aided Design of Integrated Circuits and Systems, 2021
Covre da Silva S., Undeutsch G., Lehner B., Manna S., Krieger T., Reindl M., Schimpf C., Trotta R., Rastelli A.:
GaAs quantum dots grown by droplet etching epitaxy as quantum light sources, in Applied Physics Letters, Vol. 119, Nr. 12, Seite(n) 120502, 2021
Hübscher G., Geist V., Auer D., Ekelhart A., Mayer R., Nadschläger S., Küng J.:
Graph-based managing and mining of processes and data in the domain of intellectual property, in Information Systems, Elsevier, 2021
Schimpf C., Reindl M., Huber D., Lehner B., Covre da Silva S., Manna S., Vyvlecka M., Walther P., Rastelli A.:
Quantum cryptography with highly entangled photons from semiconductor quantum dots, in Sci. Adv., Vol. 7, Seite(n) eabe8905, 2021
Schimpf C., Reindl M., Basso Basset F., Jöns K., Trotta R., Rastelli A.:
Quantum dots as potential sources of strongly entangled photons: Perspectives and challenges for applications in quantum networks, in Applied Physics Letters, Vol. 118, Nr. 10, Seite(n) 100502, 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, in npj Quantum Information, Vol. 7, 2021
Gyger S., Zichi J., Schweickert L., Elshaari A., Steinhauer S., Covre da Silva S., Rastelli A., Zwiller V., Jöns K., Errando-Herranz C.:
Reconfigurable photonics with on-chip single-photon detectors, in Nature Communications, Vol. 12, Seite(n) 1408, 2021
Biró M., Mashkoor A., Sametinger J.:
Safe and secure cyber‐physical systems, in Wiley, in Journal of Software: Evolution and Process, 2021
Lettner T., Gyger S., Zeuner K., Schweickert L., Steinhauer S., Reuterskiöld-Hedlund C., Stroj S., Rastelli A., Hammar M., Trotta R., Jöns K., Zwiller V.:
Strain-Controlled Quantum Dot Fine Structure for Entangled Photon Generation at 1550 nm, in Nano Lett., Vol. 21, Seite(n) 10501-10506, 2021
Cleland-Huang J., Ankit A., Mayr-Dorn C., Vierhauser M.:
Visualizing Change in Agile Safety-Critical Systems, in IEEE Softw., Vol. 38, Nr. 3, Seite(n) 43-51, 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, 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, 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
Kretschmer R., Khelladi D., Lopez-Herrejon R., Egyed A.:
Consistent change propagation within models, in Softw. Syst. Model., Vol. 20, Nr. 2, Seite(n) 539-555, 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 in 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, 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
Rass S., König S., Wachter J., Egger M., Hobisch M.:
Supervised Machine Learning with Plausible Deniability, in Computers & Security, Vol. 112, Elsevier, 2022
Schwarz P., Scharinger J., Hofer P.:
Gait Recognition Using 3D View-Transformation Model, in Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, in Computer Aided Systems Theory – EUROCAST 2022, Serie Lecture Notes in Computer Science, Vol. 13789, Nr. 18, Springer, Seite(n) 452-459, 2023
Mohamed A., Auer D., Hofer D., Küng J.:
A systematic literature review for authorization and access control definitions, strategies and models, in Tran Khanh Dang, Josef Küng, in International Journal of Web Information Systems, Emerald Publishing Limited, 2022
Mashkoor A., Menzies T., Egyed A., Ramler R.:
Artificial Intelligence and Software Engineering: Are We Ready?, in Computer, Vol. 55, Nr. 3, Seite(n) 24-28, 2022
Rass S., König S., Schauer S.:
Games over Probability Distributions Revisited: New Equilibrium Models and Refinements, in Games, MDPI, 2022
Shafiq S., Mashkoor A., Mayr-Dorn C., Egyed A.:
A Literature Review of Using Machine Learning in Software Development Life Cycle Stages, in IEEE Access, Vol. 9, Seite(n) 140896-140920, 2021
Weichhart G., Mangler J., Raschendorfer A., Mayr-Dorn C., Huemer C., Hämmerle A., Pichler A.:
An adaptive system-of-systems approach for resilient manufacturing, in e&i, Elektrotechnik und Informationstechnik, Vol. 138, Nr. 6, Seite(n) 341-348, 2021
Tröls M., Mashkoor A., Demuth A., Egyed A.:
Ensuring safe and consistent coengineering of cyber-physical production systems: A case study, in J. Softw. Evol. Process., Vol. 33, Nr. 9, 2021
Mohamed A., Auer D., Hofer D., Küng J.:
Extended Authorization Policy for Graph-structured Data: The 23rd International Conference on Information Integration and Web Intelligence (iiWAS2021), November 29-December 1, 2021, Linz, Austria, in SN Computer Science, Serie International Conference on Information Integration and Web Intelligence, Vol. 2, Springer, Seite(n) 351, 2021
Burgholzer L., Wille R.:
QCEC: A JKQ Tool for Quantum Circuit Equivalence Checking, in Software Impacts, Elsevier, 2021
Hübscher D., Geist M., Auer A., Hübscher J.:
Representation and presentation of knowledge and processes – an integrated approach for a dynamic communication-intensive environment, in International Journal of Web Information Systems, Emerald Publishing Limited, Seite(n) 669-696, 2021
Hübscher G., Geist V., Auer D., Hübscher N., Küng J.:
Representation and presentation of knowledge and processes – an integrated approach for a dynamic communication-intensive environment, in International Journal of Web Information Systems, Emerald Publishing Limited, Seite(n) 669-696, 2021
Mayr-Dorn C., Pereszteghy B., Holzweber J., Mayrhofer M.:
Verteiltes Nachverfolgen von OPC UA Methodenkommunikation, in e&i, Elektrotechnik und Informationstechnik, Vol. 138, Nr. 6, Seite(n) 349-354, 2021
Fischer S., Michelon G., Ramler R., Linsbauer L., Egyed A.:
Automated test reuse for highly configurable software, in Empir. Softw. Eng., Vol. 25, Nr. 6, Seite(n) 5295-5332, 2020
Bonfanti S., Gargantini A., Mashkoor A.:
Design and validation of a C++ code generator from Abstract State Machines specifications, in J. Softw. Evol. Process., Vol. 32, Nr. 2, 2020
Benyagoub S., Ait-Ameur Y., Ouederni M., Mashkoor A., Medeghri A.:
Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks, in J. Softw. Evol. Process., Vol. 32, Nr. 2, 2020
Mashkoor A., Arcaini P., Gargantini A.:
Intelligent Autonomous Systems, in Computer, Vol. 53, Nr. 12, Seite(n) 20-23, 2020
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
Stadler M., Vierhauser M.:
ROMoSu: Flexible Runtime Monitoring Support for ROS-based Applications: 5th International Workshop on Robotics Software Engineering, Serie RoSE, IEEE, New York, 2023
Riegler M., Sametinger J., Vierhauser M.:
A Distributed MAPE-K Framework for Self-Protective IoT Devices, in IEEE: Proceedings of the 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems, Serie SEAMS '23, 2023
Schneider S., Burgholzer L., Wille R.:
A SAT Encoding for Optimal Clifford Circuit Synthesis: Asia and South Pacific Design Automation Conference (ASP-DAC), 2023
Stock S., Mashkoor A., Egyed A.:
Application of Validation Obligations to Security Concerns: Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, {ICFEM} 2022, Madrid, Spain, October 24-27, 2022, Proceedings, Serie Communications in Computer and Information Science, Vol. 1633, Nr. 2, Springer, Seite(n) 337--346, 2023
Kohlbacher C., Vierhauser M., Groher I.:
Common Code Quality Issues of Novice Java Programmers: A Comprehensive Analysis of Student Assignments: In Proceedings of the 15th International Conference on Computer Supported Education, CSEDU, April 21-23, 2023, Prag, Czech Republic., 2023
Rass S., König S.:
Synchronization in Security Games, in Fang, Feiand Xu, Haifengand Hayel, Yezekael: Decision and Game Theory for Security, Serie Lecture Notes of Computer Science 13727, Springer International Publishing, Cham, Seite(n) 129 - 148, 2023
Cleophas L., Godfrey T., Khelladi D., Lehner D., Combemale B., van den Brand M., Vierhauser M., Wimmer M., Zschaler S.:
A Community-Sourced View on Engineering Digital Twins: A Report from the EDT.Community, in ACM: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, October, 2022., 2022
Hassan M., Vörtler T., Einwich K., Drechsler R., Große D.: A Cross-domain Heterogeneous ABV-Library for Mixed-signal Virtual Prototypes in SystemC/AMS: Design and Verification Conference and Exhibition Europe 2022, 2022
Schauer S., Hiebl T., Doppler B., Mayr W., Rass S., König S., Latzenhofer M.: A Simulation-driven Tool for Supporting Risk and Resilience Assessment in Cities: Advances in modelling to improve network resilience: Proceedings of the 60th ESReDA seminar, Publications Office of the European Union, Luxembourg, Seite(n) 93-104, 2022
Klemmer L., Große D.:
An Exploration Platform for Microcoded RISC-V Cores leveraging the One Instruction Set Computer Principle: IEEE Annual Symposium on VLSI, Seite(n) 38-43, 2022
Mohamed A., Auer D., Hofer D., Küng J.:
Authorization and Access Control for Different Database Models: Requirements and Current State of the Art, in Tran Khanh Dang, Josef Küng, Tai M. Chung: Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications, Serie Communications in Computer and Information Science, Springer, Singapore, Seite(n) 225-239, 2022
Pöll M., Roland M.:
Automating the Quantitative Analysis of Reproducibility for Build Artifacts derived from the Android Open Source Project: WiSec '22: Proceedings of the 15th ACM Conference on Security and Privacy in Wireless and Mobile Networks, ACM, Seite(n) 6-19, 2022
Marchezan de Paula L., Guez Assuncao W., Michelon G., Herac E., Egyed A.:
Code smell analysis in cloned Java variants: the apo-games case study, in Felfernig and L Fuentes and Cleland-Huang and W K. G. Assunccao and A A. Falkner and M Azanza and M Luaces and M Bhushan and L Semini and X Devroey an Werner and C Seidl and V Le and J MHorcas: SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12 - 16, 2022, Volume A, ACM, Seite(n) 250-254, 2022
Riegler M., Sametinger J., Rozenblit J.:
Context-Aware Security Modes For Medical Devices: Annual Modeling and Simulation Conference ANNSIM’22, San Diego, CA, USA, July 18-20, 2022., San Diego, CA, USA, Seite(n) 372-382, 2022
Hofer D., Nadschläger S., Mohamed A., Küng J.:
Extending Authorization Capabilities of Object Relational/Graph Mappers by Request Manipulation, in Christine Strauss, Alfredo Cuzzocrea, Gabriele Kotsis, A Min Tjoa, Ismail Khalil: Database and Expert Systems Applications 33rd International Conference, DEXA 2022, Vienna, Austria, August 22–24, 2022, Proceedings, Part II, Serie Lecture Notes in Computer Science, Vol. 13427, Springer, Cham, Seite(n) 71-83, 2022
Cleland-Huang J., Agrawal A., Vierhauser M., Murphy M., Prieto M.:
Extending MAPE-K to support Human-Machine Teaming: 17th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022
Stadler M., Vierhauser M., Garmendia A., Wimmer M., Cleland-Huang J.:
Flexible Model-Driven Runtime Monitoring Support for Cyber-Physical Systems: Companion Proceeding of the 44th International Conference on Software Engineering Companion (ICSE '22) 2022., 2022
Klemmer L., Gurtner S., Große D.:
Formal Verification of SUBLEQ Microcode implementing the RV32I ISA: Forum on Specification and Design Languages, Seite(n) 1-8, 2022
Burgholzer L., Schneider S., Wille R.:
Limiting the Search Space in Optimal Quantum Circuit Mapping: Asia and South Pacific Design Automation Conference (ASP-DAC), 2022
Riegler M., Sametinger J.:
Mode Switching for Secure Edge Devices, in GabrieleKotsis, A Min Tjoa, Ismail Khalil, Bernhard Moser, AlfredTaudes, Atif Mashkoor, Johannes Sametinger, JorgeMartinez-Gil, Florian Sobieczky, Lukas Fischer, Rudolf Ramler,Maqbool Khan, Gerald Cze: Database and Expert Systems Applications - DEXA 2022 Workshops, Serie Database and Expert Systems Applications - DEXA 2022 Workshops, Springer, Cham, Seite(n) 347-356, 2022
Hofer D., Mohamed A., Küng J.:
Modifying Neo4j’s Object Graph Mapper Queries for Access Control, in Eric Pardede, Pari Delir Haghighi, Ismail Khalil, Gabriele Kotsis: Information Integration and Web Intelligence, Serie Lecture Notes in Computer Science (LNCS), Vol. 13635, Springer, Cham, Seite(n) 421–426, 2022
Shukla A., Möhle S., Seidl M., Kauers M.:
OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas, in Kevin Buzzard, Temur Kutsia: Intelligent Computer Mathematics - 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings, Serie Lecture Notes in Computer Science, Vol. 13467, Springer, Seite(n) 272--284, 2022
Klemmer L., Eyck J., Große D.:
Programmable Analysis of RISC-V Processor Simulations using WAL: Design and Verification Conference and Exhibition Europe 2022, 2022
Wohlrab R., Meira-Góes R., Vierhauser M.:
Run-Time Adaptation of Quality Attributes for Automated Planning: 17th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022
Vierhauser M., Wohlrab R., Rass S.:
Towards Cost-Benefit-Aware Adaptive Monitoring for Cyber-Physical Systems: 2022 IEEE Conference on Communications and Network Security (CNS): Cyber Resilience Workshop, IEEE, 2022
Albalawi N., Riegler M., Rozenblit J.:
Towards Strategies for Secure Data Transfer of IoT Devices with Limited Resources, in GabrieleKotsis, A Min Tjoa, Ismail Khalil, Bernhard Moser, AlfredTaudes, Atif Mashkoor, Johannes Sametinger, JorgeMartinez-Gil, Florian Sobieczky, Lukas Fischer, Rudolf Ramler,Maqbool Khan, Gerald Cze: Database and Expert Systems Applications - DEXA 2022 Workshops, Serie Database and Expert Systems Applications - DEXA 2022 Workshops, Springer, Cham, Seite(n) 331-336, 2022
Konrad A., Scholl C., Mahzoon A., Große D., Drechsler R.:
Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization: Formal Methods in Computer-Aided Design 2022, Seite(n) 108-117, 2022
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.
Stadler M., Vierhauser M., Cleland-Huang J.:
Towards flexible Runtime Monitoring Support for ROS-based Applications: 4th International Workshop on Robotics Software Engineering (RoSE’22), 2022
Michelon G., Linsbauer L., Assunção W., Fischer S., Egyed A.:
A Hybrid Feature Location Technique for Re-engineeringSingle Systems into Software Product Lines, in Paul Grünbacher and Christoph Seidl and Deepak Dhungana and Helena Lovasz-Bukvova: VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, Virtual Event / Krems, Austria, February 9-11, 2021, ACM, Seite(n) 11:1-11:9, 2021
Hammoudi M., Mayr-Dorn C., Mashkoor A., Egyed A.:
A Traceability Dataset for Open Source Systems: 18th IEEE/ACM International Conference on Mining Software Repositories, MSR 2021, Madrid, Spain, May 17-19, 2021, IEEE, Seite(n) 555-559, 2021
Fink G., Ebner P., Hamidovic M., Haselmayr W., Wille R.:
Accurate and Efficient Simulation of Microfluidic Networks: Asia and South Pacific Design Automation Conference (ASP-DAC), 2021
Hillmich S., Küng R., Markov I., Wille R.:
As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation: Design, Automation and Test in Europe (DATE), 2021
Ashraf U., Mayr-Dorn C., Mashkoor A., Egyed A., Panichella S.:
Do Communities in Developer Interaction Networks align with Subsystem Developer Teams? An Empirical Study of Open Source Systems: 15th IEEE/ACM Joint International Conference on Software and System Processes, and 16th ACM/IEEE International Conference on Global Software Engineering ICSSP/ICGSE 2021, Madrid, Spain, May 17-19, 2021, IEEE, Seite(n) 61-71, 20214
Keszöcze O., Mohammadzadeh N., Wille R.:
Exact Physical Design of Quantum Circuits for Ion-Trap-based Quantum Architectures: Design, Automation and Test in Europe (DATE), 2021
Mohamed A., Auer D., Hofer D., Küng J.:
Extended XACML Language and Architecture for Access Control in Graph-structured Data: The 23rd International Conference on Information Integration and Web Intelligence (iiWAS2021), in SN Computer Science, Serie International Conference on Information Integration and Web Intelligence, ACM, New York, USA, 2021
Schwarz P., Scharinger J., Hofer P.:
Gait Recognition with DensePose Energy Images: Proceedings of the 28th International Conference on Systems, Signals and Image Processing (IWSSIP 2021), 2021
Poddar S., Fink G., Haselmayr W., Wille R.:
Generic Sample Preparation for Different Microfluidic Platforms: Design, Automation and Test in Europe (DATE), 2021
Mayr-Dorn C., Bichler S., Keplinger F., Egyed A.:
Guiding Engineers with the Passive Process Engine Environment: 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021, IEEE, Seite(n) 49-52, 2021
Tröls M., Mashkoor A., Egyed A.:
Hierarchical Distribution of Consistency-relevant Changes in a Collaborative Engineering Environment: 15th IEEE/ACM Joint International Conference on Software and System Processes, and 16th ACM/IEEE International Conference on Global Software Engineering ICSSP/ICGSE 2021, Madrid, Spain, May 17-19, 2021, IEEE, Seite(n) 83-93, 2021
Hofer P., Roland M., Schwarz P., Schwaighofer M., Mayrhofer R.:
Importance of different facial parts for face detection networks, in IEEE: 2021 9th IEEE International Workshop on Biometrics and Forensics (IWBF), Seite(n) 1-6, 2021
Hofer D., Nadschläger S., Küng J.:
Improving the Internal Communication of an Emergency Rescue Service by Using Progressive Web Applications, in Em.o.Univ.-Prof.Dr. Gerhard Chroust: IDIMT-2021 Pandemics: Impacts, Strategies and Responses, Serie Interdisciplinary Information Management Talks, Vol. 29, Trauner Verlag, Linz, Seite(n) 279-286, 2021
Mayr-Dorn C., Kretschmer R., Egyed A., Heradio R., Fernandez-Amoros D.:
Inconsistency-Tolerating Guidance for Software Engineering Processes: 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, ICSE (NIER) 2021, Madrid, Spain, May 25-28, 2021, IEEE, Seite(n) 6-10, 2021
Michelon G., Obermann D., Assunção W., Linsbauer L., Grünbacher P., Egyed A.:
Managing systems evolving in space and time: four challenges for maintenance, evolution and composition of variants, in Mohammad Mousavi and Pierre-Yves Schobbens: SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kingdom, September 6-11, 2021, Volume A, ACM, Seite(n) 75-80, 2021
Riegler M., Sametinger J.:
Mode Switching for Secure Web Applications - A Juice Shop Case Scenario: 32nd DEXA Workshops, September 27 - 30, 2021, Vienna, Austria, virtual., Serie Communications in Computer and Information Science, Vol. 1479, Springer, Cham, Seite(n) 3-8, 2021
Guiza Q., Mayr-Dorn C., Weichhart G., Mayrhofer M., Bahman-Zangi B., Egyed A., Fanta B., Gieler M.:
Monitoring of Human-Intensive Assembly Processes Based on Incomplete and Indirect Shopfloor Observations: 19th IEEE International Conference on Industrial Informatics, INDIN 2021, Palma de Mallorca, Spain, July 21-23, 2021, IEEE, Seite(n) 1-8, 2021
Hammoudi M., Mayr-Dorn C., Mashkoor A., Egyed A.:
On the effect of incompleteness to check requirement-to-method traces, in Chih-Cheng Hung and Jiman Hong and Alessio Bechini and Eunjee Song: SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021, ACM, Seite(n) 1465-1474, 2021
Walter M., Haaswijk W., Wille R., Torres F., Drechsler R.:
One-Pass Synthesis for Field-coupled Nanocomputing Technologies: Asia and South Pacific Design Automation Conference (ASP-DAC), 2021
Burgholzer L., Küng R., Wille R.:
Random Stimuli Generation for the Verification of Quantum Circuits.: Asia and South Pacific Design Automation Conference (ASP-DAC), 2021
Pointner S., Wenzek S., Wille R.:
SMT-Based Placement for System-on-Chip Design: IEEE International Symposium on Circuits and Systems, 2021
Grurl T., Küng R., Fuß J., Wille R.:
Stochastic Quantum Circuit Simulation Using Decision Diagrams: Design, Automation and Test in Europe (DATE), 2021
Shafiq S., Mashkoor A., Mayr-Dorn C., Egyed A.:
TaskAllocator: A Recommendation Approach for Role-based Tasks Allocation in Agile Software Development: 15th IEEE/ACM Joint International Conference on Software and System Processes, and 16th ACM/IEEE International Conference on Global Software Engineering ICSSP/ICGSE 2021, Madrid, Spain, May 17-19, 2021, IEEE, Seite(n) 39-49, 2021
Tröls M., Mashkoor A., Egyed A.:
Team-Oriented Consistency Checking of Heterogeneous Engineering Artifacts: 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021, IEEE, Seite(n) 250-251, 2021
Michelon G., Assunção W., Obermann D., Linsbauer L., Grünbacher P., Egyed A.:
The life cycle of features in highly-configurable software systems evolving in space and time, in Eli Tilevich and Coen De Roover: GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17 - 18, 2021, ACM, Seite(n) 2-15, 2021
Tröls M., Mashkoor A., Egyed A.:
Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts: 15th IEEE/ACM Joint International Conference on Software and System Processes, and 16th ACM/IEEE International Conference on Global Software Engineering ICSSP/ICGSE 2021, Madrid, Spain, May 17-19, 2021, IEEE, Seite(n) 72-82, 2021
Wille R., Peham T., Przigoda J.:
Towards Automatic Design and Verification for Level 3 of the European Train Control System: Automation and Test in Europe (DATE), 2021
Mohamed A., Auer D., Hofer D., Küng J.:
Authorization Strategies and Classification of Access Control Models: Future Data and Security Engineering, Serie Lecture Notes in Computer Science series (LNCS), Vol. 13076, S, 2021
Guiza Q., Mayr-Dorn C., Weichhart G., Mayrhofer M., Bahman-Zangi B., Egyed A., Fanta B., Gieler M.:
Automated Deviation Detection for Partially-Observable Human-Intensive Assembly Processes: 19th IEEE International Conference on Industrial Informatics, INDIN 2021, Palma de Mallorca, Spain, July 21-23, 2021, IEEE, Seite(n) 1-8, 2021
Fischer S., Michelon G., Ramler R., Linsbauer L., Egyed A.:
Automated Reuse of Test Cases for Highly Configurable Software Systems, in Anne Koziolek and Ina Schaefer and Christoph Seidl: Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26. Februar 2021, Braunschweig/Virtuell, Serie LNI, Vol. P-310, Gesellschaft f\ur Informatik e.V., Seite(n) 39-40, 2021
Mayr-Dorn C., Winterer M., Salamon C., Hohensinger D., Ramler R.:
Considerations for using Block-Based Languages for Industrial Robot Programming - a Case Study: 3rd IEEE/ACM International Workshop on Robotics Software Engineering, RoSE@ICSE 2021, Madrid, Spain, June 2, 2021, IEEE, Seite(n) 5-12, 2021
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: Design, Automation and Test in Europe (DATE), 2021
Zulehner A., Hillmich S., Markov I., Wille R.:
Approximation of Quantum States Using Decision Diagrams: 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: International Symposium on Multiple-Valued Logic (ISMVL), 2020
Mohamed A., Auer D., Hofer D., Küng J.:
Authorization Policy Extension for Graph Databases, 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: IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2020
Hillmich S., Zulehner A., Wille R.:
Concurrency in DD-based Quantum Circuit Simulation: 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: 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: 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: IEEE International Symposium on Circuits and Systems, 2020
Mashkoor A., Egyed A.:
Evaluating the alignment of sequence diagrams with systembehavior: ISM 2020, 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: International Workshop on Quantum Compilation (IWQC), 2020
Möhle S., Sebastiani R., Biere A.:
Four Flavors of Entailment, 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: 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: 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, 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: 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.: 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: 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: 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: ISM 2020, International Conference on Industry 4.0 and Smart Manufacturing, Hagenberg, Austria November 23-25, 2020, virtual event., 2020
Hofer D., Jäger M., Mohamed A., Küng J.:
On Applying Graph Database Time Models for Security Log Analysis, in Dang T.K., Küng J., Takizawa M., Chung T.M.: Future Data and Security Engineering, Serie Lecture Notes in Computer Science series (LNCS), Springer, Cham, Seite(n) 87-107, 2020
Almudever C., Lao L., Wille R., Guerreschi G.:
Realizing Quantum Algorithms on Real Quantum Computing Devices: Design, Automation and Test in Europe (DATE), 2020
Burgholzer L., Wille R.:
The Power of Simulation for Equivalence Checking in Quantum Computing: 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: Euromicro Conference on Digital System Design (DSD), 2020
Bornebusch F., Wille R., Drechsler R.:
Towards Automatic Hardware Synthesis from Formal Specification to Implementation: 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: IEEE SENSORS, 2020
Deb A., Dueck G., Wille R.:
Towards Exploring the Potential of Alternative Quantum Computing Architectures: Design, Automation and Test in Europe (DATE), 2020
Shafiq S., Mayr-Dorn C., Mashkoor A., Egyed A.:
Towards Optimal Assembly Line Order Sequencing with Reinforcement Learning: A Case Study: 25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020, Vienna, Austria, September 8-11, 2020, in IEEE, IEEE, Seite(n) 982-989, 2020
Ring M., Bornebusch F., Lüth C., Wille R., Drechsler R.:
Verification Runtime Analysis: Get the Most Out of Partial Verification: 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: Design Automation Conference (DAC), 2020
Burgholzer L., Raymond R., Wille R.:
Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow: IEEE International Conference on Quantum Computing (QCE), 2020
Pointner S., Gonzalez de Aledo P., Wille R.:
YASSi: Yet Another Symbolic Simulator: 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, 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, 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: 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: Conference on Reversible Computation (RC), 2019
Pointner S., Grimmer A., Wille R.:
Exact Stimuli Minimization for Simulation-Based Verification: 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: 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: DDECS 2019, 2019
Zulehner A., Hillmich S., Wille R.:
How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computation: 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, 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: 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
Zahid M., Mashkoor A., Mehmood Z.:
Security Risk Mitigation of Cyber Physical Systems: A Case Study of a Flight Simulator, in Gabriele Anderst-Kotsis, A Min Tjoa, Ismail Khalil, Mourad Elloumi , Atif Mashkoor, Johannes Sametinger, Xabier Larri´ucea, Anna Fensel, Jorge Martinez Gil, B. Moser, C. Seifert, M. Ganitzer: Database and Expert Systems Applications - DEXA 2019 International Workshops BIOKDD, IWCFS, MLKgraphs and TIR, Linz, Austria, August 26-29, 2019, Proceedings, Serie Communications in Computer and Information Science, Vol. 1062, Springer, Seite(n) 129-138, 2019
Pointner S., Frank O., Hazott C., Wille R.:
Test Your Test Programs Pre-Silicon: A Virtual Test Methodology for Industrial Design Flows, 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: 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
Asmat M., Rheman S., Mashkoor A.:
A Conceptual Model for Mitigation of Root Causes of Uncertainty in Cyber-Physical Systems, in Gabriele Kotsis A Min Tjoa Ismail Khalil Bernhard Moser Atif Mashkoor Johannes Sametinger Anna Fensel Jorge Martinez Gi Lukas Fischer Gerald Czech Florian SobieczkySohail Khan: Database and Expert Systems Applications - DEXA 2021 Workshops - BIOKDD, IWCFS, MLKgraphs, AI-CARES, ProTime, AISys 2021, Virtual Event, September 27-30, 2021, Proceedings, Serie Communications in Computer and Information Science, Vol. 1479, Springer, Seite(n) 9-17, 2021
Mayrhofer M., Mayr-Dorn C., Guiza Q., Egyed A.:
Dynamically Wiring CPPS Software Architectures: 22nd IEEE International Conference on Industrial Technology, ICIT 2021, Valencia, Spain, March 10-12, 2021, IEEE, Seite(n) 1060-1067, 2021
Vu F., Leuschel M., Mashkoor A.:
Validation of Formal Models by Timed Probabilistic Simulation, in Alexander Raschke and Dominique Mèry: Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings, Serie Lecture Notes in Computer Science, Vol. 12709, Springer, Seite(n) 81-96, 2021
guiza Q., Mayr-Dorn C., Mayrhofer M., Egyed A., Rieger H., Brandt F.: Recommending Assembly Work to Station Assignment Based on Historical Data: 26th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2021, Vasteras, Sweden, September 7-10, 2021, IEEE, Seite(n) 1-8, 2021
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: 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
Mehic M., Rass S., Fazio P., Voznak M.:
Quantum Key Distribution Networks: A Quality of Service Perspective, Springer Nature, Switzerland, 2022
Hofer P., Roland M., Schwarz P., Mayrhofer R.: Efficient aggregation of face embeddings for decentralized face recognition deployments (extended version), in Computing Research Repository (CoRR), arXiv.org, 2022.
Mayrhofer R., Mohan V., Sigg S.:
Adversary Models for Mobile Device Authentication, in arXiv.org, in arXiv, e-Print archive, 2020
Bošanský B., Gonzalez C., Rass S., Sinha A.: Decision and Game Theory for Security: 12th International Conference, GameSec 2021, Virtual Event, October 25-27, 2021, Proceedings, in Lecture Notes in Computer Science, Serie Lecture Notes in Computer Science (LNCS), Vol. 13061, Nr. 13061, Springer Nature Switzerland, 2021.
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, 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, 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
