| 2026 | FM | From Execution to Necessity: Proof-Based Metrics for Code Coverage (Short Paper). | Karl Mattsson, Peter Backeman |
| 2025 | COMPSAC | A Conformal Prediction-Based Framework for CPU Load Forecasting: A Black-Box Approach. | Edin Jelacic, Cristina Seceleanu, Peter Backeman, Ning Xiong, Tiberiu Seceleanu, Axel Jantsch |
| 2024 | SAFECOMP | Safety Argumentation for Machinery Assembly Control Software. | Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson, Peter Backeman |
| 2020 | APSEC | UML-based Modeling and Analysis of 5G Service Orchestration. | Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu |
| 2018 | CADE | Exploring Approximations for Floating-Point Arithmetic Using UppSAT. | Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rmmer |
| 2018 | FMCAD | Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction. | Peter Backeman, Philipp Rmmer, Aleksandar Zeljic |
| 2016 | CADE | Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis. | Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn |
| 2015 | CADE | Theorem Proving with Bounded Rigid E-Unification. | Peter Backeman, Philipp Rmmer |
| 2015 | TABLEAUX | Efficient Algorithms for Bounded Rigid E-unification. | Peter Backeman, Philipp Rmmer |