( en | de | ru )

 

Disambiguierung von "Grunske, Lars"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Runtime Verification of Self-Adaptive Systems with Changing Requirements.

, , , und . SEAMS, Seite 104-114. IEEE, (2023)

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.

Lars Grunske

Albrecht Grunske

Almut Grunske

Friedrich Grunske

Konrad Grunske

 

Weitere Publikationen von Autoren mit dem selben Namen

The Collaborative Research Center FONDA., , , , , , , , , und 11 andere Autor(en). Datenbank-Spektrum, 21 (3): 255-260 (2021)A Comparative Evaluation on the Quality of Manual and Automatic Test Case Generation Techniques for Scientific Software - a Case Study of a Python Project for Material Science Workflows., , und . SBST@ICSE, Seite 6-13. IEEE, (2022)Reactive vs. Proactive Detection of Quality of Service Problems., und . Software Engineering, Volume P-227 von LNI, Seite 37-38. GI, (2014)A Summary of ReVision: History-based Model Repair Recommendations., , , , und . Software Engineering, Volume P-332 von LNI, Seite 99-100. Gesellschaft für Informatik e.V., (2023)Runtime Verification of Self-Adaptive Systems with Changing Requirements., , , und . Software Engineering, Volume P-343 von LNI, Seite 151-152. Gesellschaft für Informatik e.V., (2024)Evaluating probabilistic models with uncertain model parameters., , , und . Softw. Syst. Model., 13 (4): 1395-1415 (2014)Bet and Run for Test Case Generation., , und . SSBSE, Volume 12420 von Lecture Notes in Computer Science, Seite 204-219. Springer, (2020)Counterexample Interpretation for Contract-Based Design., , , und . IMBSA, Volume 12297 von Lecture Notes in Computer Science, Seite 99-114. Springer, (2020)A systematic literature review on counterexample explanation., , , und . Inf. Softw. Technol., (2022)Adversarial example-based test case generation for black-box speech recognition systems., , , , , und . Softw. Test. Verification Reliab., (August 2023)