PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Rümmer, Philipp"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automating Regression Verification.

, , , , und . Software Engineering & Management, Volume P-239 von LNI, Seite 75-76. 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.

Dipl.-Ing. Philipp Tempel

Kinematics and dynamics modeling for real-time simulation of the cable-driven parallel robot IPAnema 3, , und . Proceedings of the 14th IFToMM World Congress, Seite 117-123. Taipei, IFToMM, (2015)

Philipp Miermeister

Modelling of kinematics and dynamics of the IPAnema 3 cable robot for simulative analysis, , , und . WGP Congress 2015 : progress in production engineering ; selected, peer reviewed papers from the 2015 WGP Congress, 794, Seite 419-426. Pfaffikon, Trans Tech Publ., (2015)

Philipp Wagner University of Stuttgart

Philipp Thumser University of Stuttgart

Philipp Pelger University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Proof Search with Taclets., und . Deductive Software Verification, Volume 10001 von Lecture Notes in Computer Science, Springer, (2016)Liveness of Randomised Parameterised Systems under Arbitrary Schedulers., und . CAV (2), Volume 9780 von Lecture Notes in Computer Science, Seite 112-133. Springer, (2016)An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic., , , und . J. Autom. Reasoning, 47 (4): 341-367 (2011)Flatten and conquer: a framework for efficient analysis of string constraints., , , , , , und . PLDI, Seite 602-617. ACM, (2017)A Sequent Calculus for Integer Arithmetic with Counterexample Generation.. VERIFY, Volume 259 von CEUR Workshop Proceedings, CEUR-WS.org, (2007)Efficient Algorithms for Bounded Rigid E-unification., und . TABLEAUX, Volume 9323 von Lecture Notes in Computer Science, Seite 70-85. Springer, (2015)Integrating Verification and Testing of Object-Oriented Software., , , und . TAP, Volume 4966 von Lecture Notes in Computer Science, Seite 182-191. Springer, (2008)Non-termination Checking for Imperative Programs., und . TAP, Volume 4966 von Lecture Notes in Computer Science, Seite 154-170. Springer, (2008)Verifying Object-Oriented Programs with KeY: A Tutorial., , , , und . FMCO, Volume 4709 von Lecture Notes in Computer Science, Seite 70-101. Springer, (2006)Systematic Predicate Abstraction Using Variable Roles., , und . NFM, Volume 10227 von Lecture Notes in Computer Science, Seite 265-281. (2017)