Philipp Ruemmer
Uppsala Universitet
H-index: 33
Europe-Sweden
Top articles of Philipp Ruemmer
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
An Encoding for CLP Problems in SMT-LIB | arXiv preprint arXiv:2404.14924 | Daneshvar Amrollahi Hossein Hojjat Philipp Rümmer | 2024/4/23 |
Poster: Fault Tolerance with Time Guarantees in Mobile Systems for Extreme Environments | Ahmed El Yaacoub Luca Mottola Thiemo Voigt Philipp Rümmer | 2024/2/28 | |
An exercise in mind reading: Automatic contract inference for Frama-C | Jesper Amilon Zafer Esen Dilian Gurov Christian Lidström Philipp Rümmer | 2024 | |
A Constraint Solving Approach to Parikh Images of Regular Languages | Proceedings of the ACM on Programming Languages | Amanda Stjerna Philipp Rümmer | 2024/4/29 |
An Active Learning Approach to Synthesizing Program Contracts | Sandip Ghosal Bengt Jonsson Philipp Rümmer | 2023/10/31 | |
Timing analysis of embedded software updates | Ahmed El Yaacoub Luca Mottola Thiemo Voigt Philipp Rümmer | 2023/8/30 | |
Decision Procedures for Sequence Theories (Technical Report) | arXiv preprint arXiv:2308.00175 | Artur Jeż Anthony W Lin Oliver Markgraf Philipp Rümmer | 2023/7/31 |
Automatic Program Instrumentation for Automatic Verification | Jesper Amilon Zafer Esen Dilian Gurov Christian Lidström Philipp Rümmer | 2023/7/17 | |
Boosting Constrained Horn Solving by Unsat Core Learning | Parosh Aziz Abdulla Chencheng Liang Philipp Rümmer | 2023/12/30 | |
Decision Procedures for Sequence Theories | Artur Jeż Anthony W Lin Oliver Markgraf Philipp Rümmer | 2023/7/17 | |
Scheduling Dynamic Software Updates in Mobile Robots | ACM Transactions on Embedded Computing Systems | Ahmed El Yaacoub Luca Mottola Thiemo Voigt Philipp Rümmer | 2023/11/9 |
A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) | Yu-Fang Chen Philipp Rümmer Wei-Lun Tsai | 2023/7/1 | |
Exploring Representation of Horn Clauses using GNNs (Extended Technical Report) | Chencheng Liang Philipp Rümmer Marc Brockschmidt | 2022 | |
OptiRica: towards an efficient optimizing Horn solver | arXiv preprint arXiv:2211.12229 | Hossein Hojjat Philipp Rümmer | 2022/11/22 |
Scheduling Dynamic Software Updates in Safety-critical Embedded Systems-the Case of Aerial Drones | Ahmed El Yaacoub Luca Mottola Thiemo Voigt Philipp Rümmer | 2022/5/4 | |
TriCo—Triple Co-piloting of Implementation, Specification and Tests | Wolfgang Ahrendt Dilian Gurov Moa Johansson Philipp Rümmer | 2022/10/17 | |
Certistr: a certified string solver | Shuanglong Kan Anthony Widjaja Lin Philipp Rümmer Micha Schrader | 2022/1/17 | |
Tricera: Verifying C Programs Using the Theory of Heaps. | Zafer Esen Philipp Rümmer | 2022/10/12 | |
An SMT-LIB Theory of Heaps. | Zafer Esen Philipp Rümmer | 2022 | |
Solving string constraints with regex-dependent functions through transducers with priorities and variables | Proceedings of the ACM on Programming Languages | Taolue Chen Alejandro Flores-Lamas Matthew Hague Zhilei Han Denghang Hu | 2022/1/11 |