E-LIB Suche - Ergebnisse für: Backeman, Peter

1

Synthesizing Understandable Strategies:

, In: Engineering of Computer-Based Systems; Lecture Notes in Computer Science,

Backeman, Peter - p. 201-204 , 2023

2

Supporting 5G service orchestration with formal verificatio:

Backeman, Peter ; Kunnappilly, Ashalatha ; Seceleanu, Cristina
Computer Science and Information Systems. 20 (2023) 1 - p. 329-357 , 2023

Link: https://doi.org/10.2298/..

3

Interpolating bit-vector formulas using uninterpreted predi..:

Backeman, Peter ; Rümmer, Philipp ; Zeljić, Aleksandar
Formal Methods in System Design. 57 (2021) 2 - p. 121-156 , 2021

Link: https://doi.org/10.1007/..

4

From UML Modeling to UPPAAL Model checking of 5G Dynamic Se..:

, In: 7th Conference on the Engineering of Computer Based Systems,

Kunnappilly, Ashalatha ; Backeman, Peter ; Seceleanu, Cristina - p. 1-10 , 2021

Link: https://dl.acm.org/doi/1..

5

Bit-Vector Interpolation and Quantifier Elimination by Lazy..:

, In: 2018 Formal Methods in Computer Aided Design (FMCAD),

Backeman, Peter ; Rummer, Philipp ; Zeljic, Aleksandar - p. 1-10 , 2018

Link: https://doi.org/10.23919..

6

Interpolating bit-vector formulas using uninterpreted predi..:

Backeman, Peter ; Rümmer, Philipp ; Zeljic, Aleksandar
Formal methods in system design, 0925-9856, 2021, 57:2, s. 121-156. , 2021

Link: http://urn.kb.se/resolve..

7

Quantifiers and Theories : A Lazy Approach:

Backeman, Peter
Uppsala Dissertations from the Faculty of Science and Technology, 1104-2516. , 2019

Link: http://urn.kb.se/resolve..

8

Exploring Approximations for Floating-Point Arithmetic usin..:

Zeljic, Aleksandar ; Backeman, Peter ; Wintersteiger, Christoph M.
Lecture Notes in Computer Science, 0302-9743. , 2018

Link: http://urn.kb.se/resolve..

9

Bit-Vector Interpolation and Quantifier Elimination by Lazy..:

Backeman, Peter ; Rümmer, Philipp ; Zeljic, Aleksandar
Formal Methods in Computer-Aided Design, p. 50-59. , 2018

Link: http://urn.kb.se/resolve..

10

Exploring Approximations for Floating-Point Arithmetic usin..:

Zeljic, Aleksandar ; Backeman, Peter ; Wintersteiger, Christoph M.
http://arxiv.org/abs/1711.08859. , 2017

Link: http://arxiv.org/abs/171..

11

New techniques for handling quantifiers in Boolean and firs..:

Backeman, Peter
IT licentiate theses / Uppsala University, Department of Information Technology, 1404-5117. , 2016

Link: http://urn.kb.se/resolve..

12

Efficient algorithms for bounded rigid E-unification:

Backeman, Peter ; Rümmer, Philipp
Lecture Notes in Computer Science, 0302-9743. , 2015

Link: http://urn.kb.se/resolve..

13

Free variables and theories : Revisiting rigid E-unificatio:

Backeman, Peter ; Rümmer, Philipp
Lecture Notes in Computer Science, 0302-9743. , 2015

Link: http://urn.kb.se/resolve..

14

Propagating the nVector Constraint : Haplotype Inference us..:

Backeman, Peter
IT. , 2013

Link: http://urn.kb.se/resolve..

15

Demonstrating the Effects of Power Management on a Real-tim..:

Backeman, Peter ; Gustafsson, Erik
IT. , 2010

Link: http://urn.kb.se/resolve..