| 2026 |
— |
conf |
ESOP (2)
Philipp Schröer, Darion Haase, Joost-Pieter Katoen
|
| 2026 |
J |
jnl |
CoRR
Philipp Schröer, Joost-Pieter Katoen
|
| 2025 |
J |
jnl |
CoRR
Philipp Schröer, Darion Haase, Joost-Pieter Katoen
|
| 2024 |
— |
conf |
Principles of Verification (1)
Philipp Schröer, Francesca Randone, Raúl Pardo, Andrzej Wasowski
|
| 2024 |
J |
jnl |
CoRR
Philipp Schröer, Francesca Randone, Raúl Pardo, Andrzej Wasowski
|
| 2023 |
J |
jnl |
CoRR
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
|
| 2023 |
J |
jnl |
Proc. ACM Program. Lang.
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
|
| 2021 |
— |
conf |
CAV (2)
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
|
| 2021 |
J |
jnl |
CoRR
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
|
| 2020 |
— |
conf |
CAV (2)
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
|
| 2020 |
J |
jnl |
CoRR
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
|