I agree that this site is using cookies. You can find further informations here.
X
Rümmer, Philipp
129  results:
Search for persons X
?
1

Poster: Fault Tolerance with Time Guarantees in Mobile Syst..:

, In: Proceedings of the 25th International Workshop on Mobile Computing Systems and Applications,
El Yaacoub, Ahmed ; Mottola, Luca ; Voigt, Thiemo. - p. 138 ff. , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

A Constraint Solving Approach to Parikh Images of Regular L..:

Stjerna, Amanda ; Rümmer, Philipp
Proceedings of the ACM on Programming Languages.  8 (2024)  OOPSLA1 - p. 1235-1263 , 2024
Link: https://doi.org/10.1145/..
 
?
3

Automatic Program Instrumentation for Automatic Verificatio:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Amilon, Jesper ; Esen, Zafer ; Gurov, Dilian.. - p. 281-304 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Boosting Constrained Horn Solving by Unsat Core Learning:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Abdulla, Parosh Aziz ; Liang, Chencheng ; Rümmer, Philipp - p. 280-302 , 2023
Link: https://doi.org/10.1007/..
 
?
5

An Active Learning Approach to Synthesizing Program Contrac..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
Ghosal, Sandip ; Jonsson, Bengt ; Rümmer, Philipp - p. 126-144 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Timing Analysis of Embedded Software Updates:

, In: 2023 IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA),
El Yaacoub, Ahmed ; Mottola, Luca ; Voigt, Thiemo. - p. 1-11 , 2023
Link: https://doi.org/10.1109/..
 
?
7

Decision Procedures for Sequence Theories:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Jeż, Artur ; Lin, Anthony W. ; Markgraf, Oliver. - p. 18-40 , 2023
Link: https://doi.org/10.1007/..
 
?
8

Scheduling Dynamic Software Updates in Mobile Robots:

Yaacoub, Ahmed El ; Mottola, Luca ; Voigt, Thiemo.
ACM Transactions on Embedded Computing Systems.  22 (2023)  6 - p. 1-27 , 2023
Link: https://doi.org/10.1145/..
 
?
9

A Theory of Cartesian Arrays (with Applications in Quantum ..:

, In: Automated Deduction – CADE 29; Lecture Notes in Computer Science,
Chen, Yu-Fang ; Rümmer, Philipp ; Tsai, Wei-Lun - p. 170-189 , 2023
Link: https://doi.org/10.1007/..
 
?
10

CertiStr: a certified string solver:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Kan, Shuanglong ; Lin, Anthony Widjaja ; Rümmer, Philipp. - p. 210-224 , 2022
Link: https://dl.acm.org/doi/1..
 
?
11

Alice in Wineland: A Fairy Tale with Contracts:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,
Gurov, Dilian ; Lidström, Christian ; Rümmer, Philipp - p. 229-242 , 2022
Link: https://doi.org/10.1007/..
 
?
12

Solving string constraints with Regex-dependent functions t..:

Chen, Taolue ; Flores-Lamas, Alejandro ; Hague, Matthew...
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-31 , 2022
Link: https://dl.acm.org/doi/1..
 
?
13

Solving string constraints with Regex-dependent functions t..:

Chen, Taolue ; Flores-Lamas, Alejandro ; Hague, Matthew...
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-31 , 2022
Link: https://doi.org/10.1145/..
 
?
14

TriCo—Triple Co-piloting of Implementation, Specification a..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,
Ahrendt, Wolfgang ; Gurov, Dilian ; Johansson, Moa. - p. 174-187 , 2022
Link: https://doi.org/10.1007/..
 
?
15

Poster Abstract: Scheduling Dynamic Software Updates in Saf..:

, In: 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS),
El Yaacoub, Ahmed ; Mottola, Luca ; Voigt, Thiemo. - p. 284-285 , 2022
Link: https://doi.org/10.1109/..
 
1-15