Author of the publication

Software Engineering Challenges for Quantum Computing: Report from the First Working Seminar on Quantum Software Engineering (WSQSE 22).

, , , , , and . ACM SIGSOFT Softw. Eng. Notes, 48 (2): 29-32 (April 2023)

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

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata., , and . FACS, volume 12018 of Lecture Notes in Computer Science, page 147-169. Springer, (2019)Minimum/maximum delay testing of product lines with unbounded parametric real-time constraints., , , , and . J. Syst. Softw., (2019)Architektur-Evaluation von AUTOSAR-Systemen: Adaption und Integration, , , , and . Elektronik automotive congress, page 77-98. Elektronik automotive, (2009)Optimierung von AUTOSAR-Systemen durch automatisierte Architektur-Evaluation, , , , and . 14. Internationale Konferenz Elektronik im Kraftfahrzeug, VDI-Berichte 2075, page 827-838. VDI Verlag GmbH, (2009)Precomputing reconfiguration strategies based on stochastic timed game automata., , , , , and . MoDELS, page 31-42. ACM, (2022)Modal transition system encoding of featured transition systems., , , , and . J. Log. Algebraic Methods Program., (2019)SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-Based Analysis of Variant-Rich Software., , , and . ASE, page 1134-1137. IEEE, (2019)Addressed Challenges, , , , , , , , and . Managed Software Evolution, (2019)From Imprecise N-Way Model Matching to Precise N-Way Model Merging., , and . J. Object Technol., 18 (2): 8:1-20 (2019)Compositional testing of management conformance for multi-component enterprise applications., , , , and . Serv. Oriented Comput. Appl., 16 (3): 209-225 (2022)