( en | de | ru )

 

Disambiguierung von "Rümmer, Philipp"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Software Verification Using k-Induction.

, , , und . SAS, Volume 6887 von Lecture Notes in Computer Science, Seite 351-368. Springer, (2011)

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.

Wolfgang Rümmer

Heinrich Rümmer

Caroline Rummer

Ralf Rummer

Ralf Rummer

 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors., , und . TACAS, Volume 6015 von Lecture Notes in Computer Science, Seite 280-295. Springer, (2010)Characterization of Simulation by Probabilistic Testing., und . Theory and Practice of Formal Methods, Volume 9660 von Lecture Notes in Computer Science, Seite 360-372. Springer, (2016)A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type., , , , , , und . ATVA, Volume 12302 von Lecture Notes in Computer Science, Seite 325-342. Springer, (2020)Automatic Program Instrumentation for Automatic Verification., , , , und . CAV (3), Volume 13966 von Lecture Notes in Computer Science, Seite 281-304. Springer, (2023)Poster: Fault Tolerance with Time Guarantees in Mobile Systems for Extreme Environments., , , und . HotMobile, Seite 138. ACM, (2024)JayHorn: a Java model checker.. FTfJP@ECOOP, Seite 1:1. ACM, (2019)Reasoning in the Theory of Heap: Satisfiability and Interpolation., und . LOPSTR, Volume 12561 von Lecture Notes in Computer Science, Seite 173-191. Springer, (2020)Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols)., , , und . CAV (1), Volume 11561 von Lecture Notes in Computer Science, Seite 455-474. Springer, (2019)Deciding and Interpolating Algebraic Data Types by Reduction., und . SYNASC, Seite 145-152. IEEE Computer Society, (2017)A Constraint Solving Approach to Parikh Images of Regular Languages., und . Proc. ACM Program. Lang., 8 (OOPSLA1): 1235-1263 (2024)