Concepedia

Philipp Rümmer

PR

27

Publications

898

Citations

17

H-Index

2007

Active since

Affiliations

Uppsala University(Current)

University of Oxford

Academia Sinica

Brno University of Technology

Cornell University

Philipp Rümmer is an author at Uppsala University specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisAutomated ReasoningSoftware AnalysisVerificationFormal SpecificationSoftware Engineering

Publications per year

2007–2022

27

Publications

27

The ELDARICA Horn Solver

Hossein Hojjat, Philipp Rümmer · 2018 · 122 citations · Full text

Mathematical Programming, Eldarica Version 2, Engineering +19

Automating regression verification

Dennis Felsing, Sarah Grebing, Vladimir Klebanov et al. · 2014 · 118 citations

Program Checking, Engineering, Verification +19

Decision procedures for path feasibility of string-manipulating programs with complex operations

Taolue Chen, Matthew Hague, Anthony W. Lin et al. · Proceedings of the ACM on Programming Languages · 2019 · 77 citations · Full text

Program Checking, Engineering, Verification +21

Test-case generation for embedded simulink via formal concept analysis

Nannan He, Philipp Rümmer, Daniel Kroening · 2011 · 59 citations

Engineering, Test Data Generation, Software Engineering +20

String constraints with concatenation and transducers solved efficiently

Lukáš Holík, Petr Janků, Anthony W. Lin et al. · Proceedings of the ACM on Programming Languages · 2017 · 57 citations · Full text

Mathematical Programming, Engineering, Verification +23

Rows per page

1–5 of 27