Theorem Proving with Bounded Rigid E-Unification. - Peter Backeman; Philipp Rümmer (CADE, 2015)

Free Variables and Theories: Revisiting Rigid E-unification. - Peter Backeman; Philipp Rümmer (FroCos, 2015)

Efficient Algorithms for Bounded Rigid E-unification. - Peter Backeman; Philipp Rümmer (TABLEAUX, 2015)

Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis. - Peter Backeman; Christoph M. Wintersteiger; Boyan Yordanov; Sara-Jane Dunn (SMT@IJCAR, 2016)

Exploring Approximations for Floating-Point Arithmetic Using UppSAT. - Aleksandar Zeljic; Peter Backeman; Christoph M. Wintersteiger; Philipp Rümmer (IJCAR, 2018)

Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction. - Peter Backeman; Philipp Rümmer; Aleksandar Zeljic (FMCAD, 2018)

Quantifiers and Theories: A Lazy Approach. - Peter Backeman (2019)

UML-based Modeling and Analysis of 5G Service Orchestration. - Ashalatha Kunnappilly; Peter Backeman; Cristina Seceleanu (APSEC, 2020)

From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration. - Ashalatha Kunnappilly; Peter Backeman; Cristina Seceleanu (ECBS, 2021)

Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic. - Peter Backeman; Philipp Rümmer; Aleksandar Zeljic (Formal Methods Syst. Des., 2021)

Synthesizing Understandable Strategies. - Peter Backeman (ECBS, 2023)

Supporting 5G service orchestration with formal verification. - Peter Backeman; Ashalatha Kunnappilly; Cristina Seceleanu (Comput. Sci. Inf. Syst., 2023)

Safety Argumentation for Machinery Assembly Control Software. - Julieth Patricia Castellanos Ardila; Sasikumar Punnekkat; Hans Hansson; Peter Backeman (SAFECOMP, 2024)

Verifying ROS-Based Applications Using Timed and Stochastic Timed Automata. - Peter Backeman; Cristina Seceleanu (Rebeca for Actor Analysis in Action, 2025)

A Conformal Prediction-Based Framework for CPU Load Forecasting: A Black-Box Approach. - Edin Jelacic; Cristina Seceleanu; Peter Backeman; Ning Xiong 001; Tiberiu Seceleanu; Axel Jantsch (COMPSAC, 2025)

Machine learning-based cache miss prediction. - Edin Jelacic; Cristina Seceleanu; Ning Xiong 001; Peter Backeman; Sharifeh Yaghoobi; Tiberiu Seceleanu (Int. J. Softw. Tools Technol. Transf., 2025)