Peter Backeman

ORCID

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 9

Top Venues

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Peter Backeman
Synthesizing Understandable Strategies. ECBS (2023)
Peter Backeman, Ashalatha Kunnappilly, Cristina Seceleanu
Supporting 5G service orchestration with formal verification. Comput. Sci. Inf. Syst. 20 (1) (2023)
Peter Backeman, Philipp Rümmer, Aleksandar Zeljic
Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic. Formal Methods Syst. Des. 57 (2) (2021)
Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu
From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration. ECBS (2021)
Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu
UML-based Modeling and Analysis of 5G Service Orchestration. APSEC (2020)
Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer
Exploring Approximations for Floating-Point Arithmetic Using UppSAT. IJCAR (2018)
Peter Backeman, Philipp Rümmer, Aleksandar Zeljic
Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction. FMCAD (2018)
Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer
Exploring Approximations for Floating-Point Arithmetic using UppSAT. CoRR (2017)
Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn
Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis. SMT@IJCAR (2016)
Peter Backeman, Philipp Rümmer
Efficient Algorithms for Bounded Rigid E-unification. TABLEAUX (2015)
Peter Backeman, Philipp Rümmer
Theorem Proving with Bounded Rigid E-Unification. CADE (2015)
Peter Backeman, Philipp Rümmer
Free Variables and Theories: Revisiting Rigid E-unification. FroCos (2015)

Peter Backeman.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Backeman