Autor der Publikation

Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.

, , und . ICATPN, Volume 3536 von Lecture Notes in Computer Science, Seite 188-207. Springer, (2005)

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

Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions., , , und . SAT, Volume 8561 von Lecture Notes in Computer Science, Seite 333-350. Springer, (2014)Speeding up the Constraint-Based Method in Difference Logic., , , , und . SAT, Volume 9710 von Lecture Notes in Computer Science, Seite 284-301. Springer, (2016)Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation., , und . ICATPN, Volume 3536 von Lecture Notes in Computer Science, Seite 188-207. Springer, (2005)Automatic generation of polynomial loop., und . ISSAC, Seite 266-273. ACM, (2004)SMT-Based Array Invariant Generation., , und . VMCAI, Volume 7737 von Lecture Notes in Computer Science, Seite 169-188. Springer, (2013)Speeding up Pseudo-Boolean Propagation., , , und . SAT, Volume 305 von LIPIcs, Seite 22:1-22:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Program Verification Using Automatic Generation of Invariants., und . ICTAC, Volume 3407 von Lecture Notes in Computer Science, Seite 325-340. Springer, (2004)Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic., , , , und . CADE, Volume 5663 von Lecture Notes in Computer Science, Seite 294-305. Springer, (2009)Proving Termination Through Conditional Termination., , , , , und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 99-117. (2017)Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra., , und . SAS, Volume 3672 von Lecture Notes in Computer Science, Seite 19-34. Springer, (2005)