Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Inputs from Hell: Generating Uncommon Inputs from Common Samples, , , , und . eprint arXiv:cs.SE/1812.07525, (Dezember 2018)An effective sequential statistical test for probabilistic monitoring.. Inf. Softw. Technol., 53 (3): 190-199 (2011)A Comprehensive Empirical Evaluation of Generating Test Suites for Mobile Applications with Diversity., , und . CoRR, (2020)Applicaton of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification., und . ACIS Int. J. Comput. Inf. Sci., 5 (2): 122-128 (2004)Complete Shadow Symbolic Execution with Java PathFinder., , , , und . ACM SIGSOFT Softw. Eng. Notes, 44 (4): 15-16 (2019)A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL., , , und . CoRR, (2022)Runtime Verification of Self-Adaptive Systems with Changing Requirements., , , und . SEAMS, Seite 104-114. IEEE, (2023)A Consolidated View on Specification Languages for Data Analysis Workflows., , , , , und . ISoLA (2), Volume 13702 von Lecture Notes in Computer Science, Seite 201-215. Springer, (2022)Vudenc: Vulnerability Detection with Deep Learning on a Natural Codebase for Python - Summary., , , , und . Software Engineering, Volume P-332 von LNI, Seite 125-126. Gesellschaft für Informatik e.V., (2023)Perpetual Assurances for Self-Adaptive Systems., , , , , , , , , und 3 andere Autor(en). CoRR, (2019)