A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “runtime monitoring” 4

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Milan Češka, Sebastian Junges, Luko van der Maas, Filip Macák, Tim Quatmann

1

citations
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Milan Češka, Sebastian Junges, Luko van der Maas, Filip Macák, Tim Quatmann

0

citations

4 results