( en | de | ru )

 

Disambiguierung von "Schaefer, Ina"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Ernst Denert Software-Engineering-Preis 2021.

, , , , , , , , und . Softwaretechnik-Trends, 42 (2): 3 (2022)

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.

Ina Schaefer

Michael Inacker

Mohan Mohadeo Inamdar

Jason Inan

Kemal Inat

 

Weitere Publikationen von Autoren mit dem selben Namen

Scalability of Deductive Verification Depends on Method Call Treatment., , , und . ISoLA (4), Volume 11247 von Lecture Notes in Computer Science, Seite 159-175. Springer, (2018)Evaluating #SAT solvers on industrial feature models., , und . VaMoS, Seite 3:1-3:9. ACM, (2020)Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct., , , , , , und . LNCS Trans. Found. Mastering Chang., (2016)Using Abstract Contracts for Verifying Evolving Features and Their Interactions., , , , , , und . 20 Years of KeY, Volume 12345 von Lecture Notes in Computer Science, Springer, (2020)Feature-oriented contract composition., , , , und . J. Syst. Softw., (2019)A Specification Logic for Programs in the Probabilistic Guarded Command Language., , , und . ICTAC, Volume 13572 von Lecture Notes in Computer Science, Seite 369-387. Springer, (2022)Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces., , , , , , und . Software Engineering, Volume P-343 von LNI, Seite 67-68. Gesellschaft für Informatik e.V., (2024)Scaling size and parameter spaces in variability-aware software performance models., , , und . Software Engineering, Volume P-252 von LNI, Seite 33-34. GI, (2016)Towards efficient SPL testing by variant reduction., , und . VariComp@AOSD, Seite 1-6. ACM, (2013)Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY., , , , , und . The Logic of Software. A Tasting Menu of Formal Methods, Volume 13360 von Lecture Notes in Computer Science, Seite 80-104. Springer, (2022)