Autor der Publikation

Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications.

, , , , und . Software Engineering & Management, Volume P-239 von LNI, Seite 91-92. GI, (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

Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?, , , , und . ICST, Seite 240-251. IEEE, (2019)Statistical prioritization for software product line testing: an experience report., , , , , , und . Softw. Syst. Model., 16 (1): 153-171 (2017)Behavioural modelling and verification of real-time software product lines., , , und . SPLC (1), Seite 66-75. ACM, (2012)Towards Statistical Prioritization for Software Product Lines Testing., , , , , und . CoRR, (2013)Test Selection for Deep Learning Systems., , , , und . CoRR, (2019)Adversarial Embedding: A robust and elusive Steganography and Watermarking technique., , , und . CoRR, (2019)Preventing Overloading Incidents on Smart Grids: A Multiobjective Combinatorial Optimization Approach., , , und . OLA, Volume 1173 von Communications in Computer and Information Science, Seite 269-281. Springer, (2020)Efficient and Transferable Adversarial Examples from Bayesian Neural Networks., , , und . CoRR, (2020)Adversarial Robustness in Multi-Task Learning: Promises and Illusions., , , und . AAAI, Seite 697-705. AAAI Press, (2022)CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems., , , und . CPS Summer School, PhD Workshop, Volume 3252 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)