Publications
Number of publications matching the search criterion: 18
Doctoral Thesis (1)
Quantifiers and Theories: A Lazy Approach Peter Backeman
Licentiate Thesis (1)
New techniques for handling quantifiers in Boolean and first-order logic Peter Backeman
Journal article (2)
Verifying ROS-based Applications Using Timed and Stochastic Timed Automata Peter Backeman, Cristina Seceleanu Lecture Notes in Computer Science (LNCS)
Supporting 5G Service Orchestration with Formal Verification (Mar 2023) Peter Backeman, Ashalatha Kunnappilly, Cristina Seceleanu Computer Science and Information Systems (ComSIS,10(1))
Conference/Workshop Paper (9)
Safety Argumentation for Machinery Assembly Control Software (Sep 2024) Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson, Peter Backeman 43rd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2024)
Synthesizing Understandable Strategies (Nov 2023) Peter Backeman 8th International Conference on Engineering of Computer-based Systems (ECBS2023)
From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration (May 2021) Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu 7th international Conference on the Engineering of Computer Based Systems (ECBS 2021)
UML-based Modeling and Analysis of 5G Service Orchestration (Nov 2020) Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu THE 27TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2020)
Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction Peter Backeman, Aleksandar Zeljic , Christoph Wintersteiger , Philipp Rümmer The eighteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification (FMCAD 2018)
Exploring Approximations for Floating-Point Arithmetic using UppSAT Aleksandar Zeljic , Peter Backeman, Christoph Wintersteiger , Philipp Rümmer 9th International Joint Conference on Automated Reasoning (IJCAR 2018)
Efficient algorithms for bounded rigid E-unification Peter Backeman, Philipp Rümmer TABLEAUX 2015 (TABLEAUX)
Free variables and theories: Revisiting rigid E-unification Peter Backeman, Philipp Rümmer rontiers of Combining Systems - 10th International Symposium (FroCoS)
Theorem proving with bounded rigid E-unification Peter Backeman, Philipp Rümmer 25th International Conference on Automated Deduction (CADE-25)
Report - MRTC (2)
Modeling and Verification of ROS Systems Using Stochastic Timed Automata (Jun 2024) Peter Backeman, Cristina Seceleanu MRTC Report, Mälardalen Real-Time Research Centre (MRTC 2024)
5G Service Orchestration Supported by Model Checking - A Case Study of Health Applications (Sep 2021) Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu, Mathias Johanson MRTC Report, Mälardalen Real-Time Research Centre (MRTC 2021)
Other (3)
Towards Efficient Bit-Vector Interpolation (Oct 2018) Peter Backeman, Philipp Rümmer , Aleksandar Zeljic
The Next 10^4 UppSAT Approximations (Jul 2018) Aleksandar Zeljic , Peter Backeman, Christoph Wintersteiger , Philipp Rümmer
Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis (Jun 2016) Peter Backeman, Christoph Wintersteiger , Bordan Yordanov , Sara-Jane Dunn
