Peter Backeman

18 papers A 2B 4C 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
rUnit - A Framework for Test Analysis of C Programs.
Softw.
Peter Backeman
2025 B conf
A Conformal Prediction-Based Framework for CPU Load Forecasting: A Black-Box Approach.
COMPSAC
Edin Jelacic, Cristina Seceleanu, Peter Backeman, Ning Xiong, Tiberiu Seceleanu, Axel Jantsch
2025 J jnl
Machine learning-based cache miss prediction.
Int. J. Softw. Tools Technol. Transf.
Edin Jelacic, Cristina Seceleanu, Ning Xiong, Peter Backeman, Sharifeh Yaghoobi, Tiberiu Seceleanu
2025 — conf
Verifying ROS-Based Applications Using Timed and Stochastic Timed Automata.
Rebeca for Actor Analysis in Action
Peter Backeman, Cristina Seceleanu
2024 B conf
Safety Argumentation for Machinery Assembly Control Software.
SAFECOMP
Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson, Peter Backeman
2023 J jnl
Supporting 5G service orchestration with formal verification.
Comput. Sci. Inf. Syst.
Peter Backeman, Ashalatha Kunnappilly, Cristina Seceleanu
2023 — conf
Synthesizing Understandable Strategies.
ECBS
Peter Backeman
2021 — conf
From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration.
ECBS
Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu
2021 J jnl
Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic.
Formal Methods Syst. Des.
Peter Backeman, Philipp Rümmer, Aleksandar Zeljic
2020 C conf
UML-based Modeling and Analysis of 5G Service Orchestration.
APSEC
Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu
2019 — —
Quantifiers and Theories: A Lazy Approach.
Peter Backeman
2018 B conf
Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction.
FMCAD
Peter Backeman, Philipp Rümmer, Aleksandar Zeljic
2018 A conf
Exploring Approximations for Floating-Point Arithmetic Using UppSAT.
IJCAR
Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer
2017 J jnl
Exploring Approximations for Floating-Point Arithmetic using UppSAT.
CoRR
Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer
2016 — conf
Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis.
SMT@IJCAR
Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn
2015 B conf
Efficient Algorithms for Bounded Rigid E-unification.
TABLEAUX
Peter Backeman, Philipp Rümmer
2015 — conf
Free Variables and Theories: Revisiting Rigid E-unification.
FroCos
Peter Backeman, Philipp Rümmer
2015 A conf
Theorem Proving with Bounded Rigid E-Unification.
CADE
Peter Backeman, Philipp Rümmer