Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 13

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

Conference/Workshop Paper (7)

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 (1)

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

Items per page: