| Bit-vector interpolation and quantifier elimination by lazy reduction P Backeman, P Rummer, A Zeljic 2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018 | 26 | 2018 |
| Exploring Approximations for Floating-Point Arithmetic Using UppSAT A Zeljić, P Backeman, CM Wintersteiger, P Rümmer International Joint Conference on Automated Reasoning, 246-262, 2018 | 16 | 2018 |
| Theorem Proving with Bounded Rigid E-Unification P Backeman, P Rümmer Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015 | 14 | 2015 |
| Efficient Algorithms for Bounded Rigid E-unification P Backeman, P Rümmer Automated Reasoning with Analytic Tableaux and Related Methods: 24th …, 2015 | 10 | 2015 |
| From UML modeling to UPPAAL model checking of 5G dynamic service orchestration A Kunnappilly, P Backeman, C Seceleanu 7th Conference on the Engineering of Computer Based Systems, 1-10, 2021 | 9 | 2021 |
| Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction. In 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30-November 2, 2018 … P Backeman, P Rümmer, A Zeljic IEEE, 2018 | 5 | 2018 |
| Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic P Backeman, P Rümmer, A Zeljić Formal methods in system design 57 (2), 121-156, 2021 | 4 | 2021 |
| Uml-based modeling and analysis of 5g service orchestration A Kunnappilly, P Backeman, C Seceleanu 2020 27th Asia-Pacific Software Engineering Conference (APSEC), 129-138, 2020 | 4 | 2020 |
| Free Variables and Theories: Revisiting Rigid E-unification P Backeman, P Rümmer Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015 …, 2015 | 2 | 2015 |
| Supporting 5g service orchestration with formal verification P Backeman, A Kunnappilly, C Seceleanu Computer Science and Information Systems 20 (1), 329-357, 2023 | 1 | 2023 |
| 5G Service Orchestration Supported by Model Checking-A Case Study of Health Applications A Kunnappilly, P Backeman, C Seceleanu, M Johanson Mälardalens högskola, 2021 | 1 | 2021 |
| Propagating the nvector constraint: Haplotype inference using constraint programming P Backeman | 1 | 2013 |
| Safety Argumentation for Machinery Assembly Control Software JP Castellanos-Ardila, S Punnekkat, H Hansson, P Backeman International Conference on Computer Safety, Reliability, and Security, 251-266, 2024 | | 2024 |
| Synthesizing Understandable Strategies P Backeman International Conference on Engineering of Computer-Based Systems, 201-204, 2023 | | 2023 |
| Quantifiers and Theories: A Lazy Approach P Backeman Acta Universitatis Upsaliensis, 2019 | | 2019 |
| Towards Efficient Bit-Vector Interpolation P Backeman, P Rümmer, A Zeljic Workshop on Programming Theory, 19, 2018 | | 2018 |
| New techniques for handling quantifiers in Boolean and first-order logic P Backeman Uppsala University, 2016 | | 2016 |
| Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis. P Backeman, CM Wintersteiger, B Yordanov, SJ Dunn SMT@ IJCAR, 41-50, 2016 | | 2016 |
| Demonstrating the Effects of Power Management on a Real-Time Operating System P Backeman, E Gustafsson | | 2010 |
| Safety Argumentation for Machinery Assembly Control Software P Backeman Computer Safety, Reliability, and Security, 251, 0 | | |
