Peter Backeman

According to our database, Peter Backeman authored at least 12 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Supporting 5G service orchestration with formal verification.

Peter Backeman, Ashalatha Kunnappilly, Cristina Seceleanu

Comput. Sci. Inf. Syst., 2023

Synthesizing Understandable Strategies.

Peter Backeman

Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023

2021

Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic.

Peter Backeman, Philipp Rümmer, Aleksandar Zeljic

Formal Methods Syst. Des., 2021

From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration.

Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu

Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021

2020

UML-based Modeling and Analysis of 5G Service Orchestration.

Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

Quantifiers and Theories: A Lazy Approach.

Peter Backeman

PhD thesis, 2019

2018

Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction.

Peter Backeman, Philipp Rümmer, Aleksandar Zeljic

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Exploring Approximations for Floating-Point Arithmetic Using UppSAT.

Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2016

Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis.

Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn

Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, 2016

2015

Efficient Algorithms for Bounded Rigid E-unification.

Peter Backeman, Philipp Rümmer

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

Free Variables and Theories: Revisiting Rigid E-unification.

Peter Backeman, Philipp Rümmer

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

Theorem Proving with Bounded Rigid E-Unification.

Peter Backeman, Philipp Rümmer

Proceedings of the Automated Deduction - CADE-25, 2015