Autor der Publikation

Optimizing selection of competing features via feedback-directed evolutionary algorithms.

, , , , , und . ISSTA, Seite 246-256. ACM, (2015)

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

Automated synthesis of local time requirement for service composition., , , , , , und . CoRR, (2020)Service Adaptation with Probabilistic Partial Models., , , , , , und . ICFEM, Volume 10009 von Lecture Notes in Computer Science, Seite 122-140. (2016)JSDC: A Hybrid Approach for JavaScript Malware Detection and Classification., , , und . AsiaCCS, Seite 109-120. ACM, (2015)Towards Verification of a Service Orchestration Language.. SSIRI (Companion), Seite 36-37. IEEE Computer Society, (2010)Model-Based Methods for Linking Web Service Choreography and Orchestration., , , , und . APSEC, Seite 166-175. IEEE Computer Society, (2010)Optimizing selection of competing features via feedback-directed evolutionary algorithms., , , , , und . ISSTA, Seite 246-256. ACM, (2015)JSFox: integrating static and dynamic type analysis of JavaScript programs., , , , , und . ICSE (Companion Volume), Seite 256-258. IEEE Computer Society, (2017)VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition., , , , und . ICSE Companion, Seite 564-567. ACM, (2014)Management of Time Requirements in Component-Based Systems., , und . FM, Volume 8442 von Lecture Notes in Computer Science, Seite 399-415. Springer, (2014)Verification of Orchestration Systems Using Compositional Partial Order Reduction., , , und . ICFEM, Volume 6991 von Lecture Notes in Computer Science, Seite 98-114. Springer, (2011)