Valentin Promies

promies
Email
promies at cs.rwth-aachen.de
Phone
+49 241 80 21243
Address
Room 4228
Ahornstraße 55
D-52074 Aachen

I am a doctoral student of the Theory of Hybrid Systems group since September 2022.

Research Interests

  • SMT solving
  • (Non-)linear real arithmetic

Teaching Assistance

Publications

ORCID

2025
DOI [bibtex]
@conference{ADCAVELRA2025,
title = {A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic},
author = {Valentin Maxim Promies and Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
volume = {14933},
pages = {131-148},
type = {Conference Paper},
year = {2025},
doi = {10.1007/978-3-031-71162-6_7},
url = { https://publications.rwth-aachen.de/record/994022},
}×
[issue] 		Valentin Maxim Promies, Erika Ábrahám. A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic, 26. International Symposium on Formal Methods (FM 2024), Volume 14933 of LNCS, 131-148, Springer, 2025.
2024
fulltext PDF [bibtex]
@misc{UASACEA2024,
title = {Under-Approximation of a Single Algebraic Cell (Extended Abstract)},
author = {Valentin Maxim Promies and Jasper Kurt Ferdinand Nalbach and Erika Ábrahám},
publisher = {RWTH Aachen},
booktitle = {CEUR workshop proceedings},
volume = {3717},
pages = {132-136},
type = {Invited Abstract},
year = {2024},
url = { https://publications.rwth-aachen.de/record/994020},
}×
[issue] 		Valentin Maxim Promies, Jasper Kurt Ferdinand Nalbach, Erika Ábrahám. Under-Approximation of a Single Algebraic Cell (Extended Abstract), Volume 3717 of CEUR workshop proceedings, 132-136, RWTH Aachen, 2024.
Show all