Author of the publication

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

, , and . ICATPN, volume 3536 of Lecture Notes in Computer Science, page 188-207. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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