Philipp Rümmer

Available identifiers

zbMath Open rummer.philippMaRDI QIDQ300416

List of research outcomes

Publication	Date of Publication	Type
Probabilistic bisimulation for parameterized systems (with applications to verifying anonymous protocols)	2024-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q6197214	2024-02-16	Paper
Regular model checking revisited	2023-05-26	Paper
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type	2022-12-22	Paper
Monadic decomposition in integer linear arithmetic	2022-11-09	Paper
Reasoning in the theory of heap: satisfiability and interpolation	2022-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q5020659	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q5020662	2022-01-06	Paper
Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic	2021-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q4997235	2021-06-28	Paper
Characterization of simulation by probabilistic testing	2021-05-20	Paper
Fair Termination for Parameterized Probabilistic Concurrent Systems	2020-08-05	Paper
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers	2019-05-03	Paper
Quantified Heap Invariants for Object-Oriented Programs	2019-01-10	Paper
Exploring approximations for floating-point arithmetic using UppSAT	2018-10-18	Paper
Automating regression verification of pointer programs by predicate abstraction	2018-07-16	Paper
An approximation framework for solvers and decision procedures	2017-07-10	Paper
Free Variables and Theories: Revisiting Rigid E-unification	2017-02-27	Paper
Deciding Bit-Vector Formulas with mcSAT	2016-09-05	Paper
Guiding Craig interpolation with domain-specific abstractions	2016-06-28	Paper
Regular Symmetry Patterns	2016-03-23	Paper
Efficient Algorithms for Bounded Rigid E-unification	2015-12-11	Paper
Theorem Proving with Bounded Rigid E-Unification	2015-12-02	Paper
On recursion-free Horn clauses and Craig interpolation	2015-10-20	Paper
Approximations for Model Construction	2014-09-26	Paper
A Theory for Control-Flow Graph Exploration	2014-07-08	Paper
Ranking function synthesis for bit-vector relations	2014-06-30	Paper
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic	2014-01-10	Paper
Accelerating Interpolants	2012-11-21	Paper
An interpolating sequent calculus for quantifier-free Presburger arithmetic	2012-07-31	Paper
E-Matching with Free Variables	2012-06-15	Paper
Automatic analysis of DMA races using model checking and \(k\)-induction	2012-03-09	Paper
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic	2011-02-15	Paper
Mutation-Based Test Case Generation for Simulink Models	2011-01-08	Paper
Interpolating Quantifier-Free Presburger Arithmetic	2010-10-12	Paper
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic	2010-09-14	Paper
Ranking Function Synthesis for Bit-Vector Relations	2010-04-27	Paper
A Polymorphic Intermediate Verification Language: Design and Logical Encoding	2010-04-27	Paper
Real World Verification	2009-07-28	Paper
Integration of a Security Type System into a Program Logic	2009-03-05	Paper
A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic	2009-01-27	Paper
Integration of a security type system into a program logic	2008-08-06	Paper
Sequential, Parallel, and Quantified Updates of First-Order Structures	2008-05-27	Paper
Non-termination Checking for Imperative Programs	2008-04-24	Paper
Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic	2007-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q3021903	2005-06-21	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Philipp Rümmer