Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

QIn: Enabling Formal Methods to Deal with Quantum Circuits., , , and . QSW, page 175-185. IEEE, (2023)Experiences in Quantum Software Engineering., , , , and . IPDPS Workshops, page 552-559. IEEE, (2023)Software Engineering am FZI Forschungszentrum Informatik., and . SE, volume P-300 of LNI, page 233-234. Gesellschaft für Informatik e.V., (2020)A Framework for Coupled Simulations of Robots and Spiking Neuronal Networks., , , , , , , , , and 4 other author(s). J. Intell. Robotic Syst., 85 (1): 71-91 (2017)Connecting Artificial Brains to Robots in a Comprehensive Simulation Framework: The Neurorobotics Platform., , , , , , , , , and 22 other author(s). Frontiers Neurorobotics, (2017)On Detecting Concurrency Defects Automatically at the Design Level., , , and . APSEC (1), page 263-271. IEEE Computer Society, (2013)978-1-4799-2143-0.Fault-tolerant Hybrid Quantum Software Systems., , and . QSW, page 52-57. IEEE, (2022)Engineering Reliable Hybrid Quantum Software: An Architectural-driven Approach., , and . Q-SET@QCE, volume 3008 of CEUR Workshop Proceedings, page 29-37. CEUR-WS.org, (2021)A Stream Processing Framework for On-Line Optimization of Performance and Energy Efficiency on Heterogeneous Systems., , and . IPDPS Workshops, page 1039-1048. IEEE Computer Society, (2014)Recommending relevant code artifacts for change requests using multiple predictors.. RSSE@ICSE, page 78-79. IEEE, (2012)