Philipp Rümmer

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 78

Top Venues

CoRR

FMCAD

Proc. ACM Program. Lang.

Formal Methods Syst. Des.

Publications

Ahmed El Yaacoub, Luca Mottola, Thiemo Voigt, Philipp Rümmer
Poster: Fault Tolerance with Time Guarantees in Mobile Systems for Extreme Environments. HotMobile (2024)
Parosh Aziz Abdulla, Chencheng Liang, Philipp Rümmer
Boosting Constrained Horn Solving by Unsat Core Learning. VMCAI (1) (2024)
Daneshvar Amrollahi, Hossein Hojjat, Philipp Rümmer
An Encoding for CLP Problems in SMT-LIB. CoRR (2024)
Amanda Stjerna, Philipp Rümmer
A Constraint Solving Approach to Parikh Images of Regular Languages. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
Decision Procedures for Sequence Theories (Technical Report). CoRR (2023)
Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer
Automatic Program Instrumentation for Automatic Verification. CAV (3) (2023)
Sandip Ghosal, Bengt Jonsson, Philipp Rümmer
An Active Learning Approach to Synthesizing Program Contracts. SEFM (2023)
Ahmed El Yaacoub, Luca Mottola, Thiemo Voigt, Philipp Rümmer
Timing Analysis of Embedded Software Updates. RTCSA (2023)
Ahmed El Yaacoub, Luca Mottola, Thiemo Voigt, Philipp Rümmer
Timing Analysis of Embedded Software Updates. CoRR (2023)
Benjamin Eriksson, Amanda Stjerna, Riccardo De Masellis, Philipp Rümmer, Andrei Sabelfeld
Black Ostrich: Web Application Scanning with String Solvers. CCS (2023)
Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer
Automatic Program Instrumentation for Automatic Verification (Extended Technical Report). CoRR (2023)
Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
Decision Procedures for Sequence Theories. CAV (2) (2023)
Ahmed El Yaacoub, Luca Mottola, Thiemo Voigt, Philipp Rümmer
Scheduling Dynamic Software Updates in Mobile Robots. ACM Trans. Embed. Comput. Syst. 22 (6) (2023)
Yu-Fang Chen, Philipp Rümmer, Wei-Lun Tsai
A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification). CADE (2023)
Zafer Esen, Philipp Rümmer
Tricera: Verifying C Programs Using the Theory of Heaps. FMCAD (2022)
Ahmed El Yaacoub, Luca Mottola, Thiemo Voigt, Philipp Rümmer
NeRTA: Enabling Dynamic Software Updates in Mobile Robotics. EWSN (2022)
Wolfgang Ahrendt, Dilian Gurov, Moa Johansson, Philipp Rümmer
TriCo - Triple Co-piloting of Implementation, Specification and Tests. ISoLA (1) (2022)
Zafer Esen, Philipp Rümmer
An SMT-LIB Theory of Heaps. SMT (2022)
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Solving string constraints with Regex-dependent functions through transducers with priorities and variables. Proc. ACM Program. Lang. 6 (POPL) (2022)
Hossein Hojjat, Philipp Rümmer
OptiRica: Towards an Efficient Optimizing Horn Solver. HCVS/VPT@ETAPS (2022)
Dilian Gurov, Christian Lidström, Philipp Rümmer
Alice in Wineland: A Fairy Tale with Contracts. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Chencheng Liang, Philipp Rümmer, Marc Brockschmidt
Exploring Representation of Horn clauses using GNNs. PAAR@IJCAR (2022)
Ahmed El Yaacoub, Luca Mottola, Thiemo Voigt, Philipp Rümmer
Poster Abstract: Scheduling Dynamic Software Updates in Safety-critical Embedded Systems - the Case of Aerial Drones. ICCPS (2022)
Chencheng Liang, Philipp Rümmer, Marc Brockschmidt
Exploring Representation of Horn Clauses using GNNs (Extended Technique Report). CoRR (2022)
Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Micha Schrader
CertiStr: a certified string solver. CPP (2022)
Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Micha Schrader
CertiStr: A Certified String Solver (technical report). CoRR (2021)
Maria Paola Bonacina, Philipp Rümmer, Renate A. Schmidt
Integrated Deduction (Dagstuhl Seminar 21371). Dagstuhl Reports 11 (8) (2021)
Zafer Esen, Philipp Rümmer
A Theory of Heap for Constrained Horn Clauses (Extended Technical Report). CoRR (2021)
Peter Backeman, Philipp Rümmer, Aleksandar Zeljic
Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic. Formal Methods Syst. Des. 57 (2) (2021)
Anthony W. Lin, Philipp Rümmer
Regular Model Checking Revisited. Model Checking, Synthesis, and Learning (2021)
Ali Shamakhi, Hossein Hojjat, Philipp Rümmer
Towards String Support in JayHorn (Competition Contribution). TACAS (2) (2021)
Grigory Fedyukovich, Philipp Rümmer
Competition Report: CHC-COMP-21. HCVS@ETAPS (2021)
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables. CoRR (2021)
Matthew Hague, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
Monadic Decomposition in Integer Linear Arithmetic (Technical Report). CoRR (2020)
Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. CoRR (2020)
Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar
String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). CoRR (2020)
Philipp Rümmer
Invited Talk: Solving String Constraints, Starting from the Beginning and from the End. SMT (2020)
Zafer Esen, Philipp Rümmer
Abstract: Towards an SMT-LIB Theory of Heap. SMT (2020)
Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
Probabilistic Bisimulation for Parameterized Systems (Technical Report). CoRR (2020)
Anthony W. Lin, Philipp Rümmer
Regular Model Checking Revisited (Technical Report). CoRR (2020)
Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. ATVA (2020)
Philipp Rümmer
Competition Report: CHC-COMP-20. VPT/HCVS@ETAPS (2020)
Zafer Esen, Philipp Rümmer
Reasoning in the Theory of Heap: Satisfiability and Interpolation. LOPSTR (2020)
Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Monadic Decomposition in Integer Linear Arithmetic. IJCAR (1) (2020)
Hossein Hojjat, Philipp Rümmer, Ali Shamakhi
On Strings in Software Model Checking. APLAS (2019)
Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Decision procedures for path feasibility of string-manipulating programs with complex operations. Proc. ACM Program. Lang. 3 (POPL) (2019)
Carsten Fuhs, Philipp Rümmer, Renate A. Schmidt, Cesare Tinelli
Deduction Beyond Satisfiability (Dagstuhl Seminar 19371). Dagstuhl Reports 9 (9) (2019)
Temesghen Kahsai, Philipp Rümmer, Martin Schäf
JayHorn: A Java Model Checker - (Competition Contribution). TACAS (3) (2019)
Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols). CAV (1) (2019)
Philipp Rümmer
JayHorn: a Java model checker. FTfJP@ECOOP (2019)
Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations. CoRR (2018)
Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer
Exploring Approximations for Floating-Point Arithmetic Using UppSAT. IJCAR (2018)
Hossein Hojjat, Philipp Rümmer
The ELDARICA Horn Solver. FMCAD (2018)
Hossein Hojjat, Philipp Rümmer
Deciding and Interpolating Algebraic Data Types by Reduction (Technical Report). CoRR (2018)
Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar
String constraints with concatenation and transducers solved efficiently. Proc. ACM Program. Lang. 2 (POPL) (2018)
Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
Automating regression verification of pointer programs by predicate abstraction. Formal Methods Syst. Des. 52 (3) (2018)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer
Trau: SMT solver for string constraints. FMCAD (2018)
Peter Backeman, Philipp Rümmer, Aleksandar Zeljic
Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction. FMCAD (2018)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer
Flatten and conquer: a framework for efficient analysis of string constraints. PLDI (2017)
Hossein Hojjat, Philipp Rümmer
Deciding and Interpolating Algebraic Data Types by Reduction. SYNASC (2017)
Yulia Demyanova, Philipp Rümmer, Florian Zuleger
Systematic Predicate Abstraction Using Variable Roles. NFM (2017)
Ondrej Lengál, Anthony Widjaja Lin, Rupak Majumdar, Philipp Rümmer
Fair Termination for Parameterized Probabilistic Concurrent Systems. TACAS (1) (2017)
Nikolaj Bjørner, Dejan Jovanovic, Tancrède Lepoint, Philipp Rümmer, Martin Schäf
Abduction by Non-Experts. LPAR (Short Presentations) (2017)
Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer
Exploring Approximations for Floating-Point Arithmetic using UppSAT. CoRR (2017)
Alberto Griggio, Philipp Rümmer
Preface to special issue on satisfiability modulo theories. Formal Methods Syst. Des. 51 (3) (2017)
Ondrej Lengál, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report). CoRR (2017)
Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer
Learning to prove safety over parameterised concurrent systems. FMCAD (2017)
Temesghen Kahsai, Rody Kersten, Philipp Rümmer, Martin Schäf
Quantified Heap Invariants for Object-Oriented Programs. LPAR (2017)
Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer
Learning to Prove Safety over Parameterised Concurrent Systems (Full Version). CoRR (2017)
Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer
An Approximation Framework for Solvers and Decision Procedures. J. Autom. Reason. 58 (1) (2017)
Anthony W. Lin, Philipp Rümmer
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers. CAV (2) (2016)
Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer
Deciding Bit-Vector Formulas with mcSAT. SAT (2016)
Jérôme Leroux, Philipp Rümmer, Pavle Subotic
Guiding Craig interpolation with domain-specific abstractions. Acta Informatica 53 (4) (2016)
Philipp Rümmer, Wang Yi
Characterization of Simulation by Probabilistic Testing. Theory and Practice of Formal Methods (2016)
Temesghen Kahsai, Philipp Rümmer, Huascar Sanchez, Martin Schäf
JayHorn: A Framework for Verifying Java programs. CAV (1) (2016)
Anthony W. Lin, Philipp Rümmer
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report). CoRR (2016)
Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster
Optimizing horn solvers for network repair. FMCAD (2016)
Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun
Regular Symmetry Patterns. VMCAI (2016)
Peter Backeman, Philipp Rümmer
Efficient Algorithms for Bounded Rigid E-unification. TABLEAUX (2015)
Peter Backeman, Philipp Rümmer
Theorem Proving with Bounded Rigid E-Unification. CADE (2015)
Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
Automating Regression Verification. Software Engineering & Management (2015)
Peter Backeman, Philipp Rümmer
Free Variables and Theories: Revisiting Rigid E-unification. FroCos (2015)
Daniel Schwartz-Narbonne, Martin Schäf, Dejan Jovanovic, Philipp Rümmer, Thomas Wies
Conflict-Directed Graph Coverage. NFM (2015)
Tim McCarthy, Philipp Rümmer, Martin Schäf
Bixie: Finding and Understanding Inconsistent Code. ICSE (2) (2015)
Martin Brain, Cesare Tinelli, Philipp Rümmer, Thomas Wahl
An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic. ARITH (2015)
Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun
Regular Symmetry Patterns (Technical Report). CoRR (2015)
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
On recursion-free Horn clauses and Craig interpolation. Formal Methods Syst. Des. 47 (1) (2015)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman
Norn: An SMT Solver for String Constraints. CAV (1) (2015)
Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi
Horn Clauses for Communicating Timed Systems. HCVS (2014)
Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
Automating regression verification. ASE (2014)
Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar
The Gradual Verifier. NASA Formal Methods (2014)
Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer
Approximations for Model Construction. IJCAR (2014)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman
String Constraints for Verification. CAV (2014)
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
Disjunctive Interpolants for Horn-Clause Verification. CAV (2013)
Philipp Rümmer, Pavle Subotic
Exploring interpolants. FMCAD (2013)
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report) CoRR (2013)
Stephan Arlt, Philipp Rümmer, Martin Schäf
Joogie: from Java through Jimple to Boogie. SOAP@PLDI (2013)
Stephan Arlt, Philipp Rümmer, Martin Schäf
A Theory for Control-Flow Graph Exploration. ATVA (2013)
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
Classifying and Solving Horn Clauses for Verification. VSTTE (2013)
Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger
Ranking function synthesis for bit-vector relations. Formal Methods Syst. Des. 43 (1) (2013)

Philipp Rümmer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Philipp Rümmer