Formal Methods in System Design

Aachen authors

Patent citations

–

h-index (all)

Aachen papers per year

Papers 8

Parameter synthesis for Markov models: covering the parameter space
2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, +1 more

20

citations
Termination of triangular polynomial loops
2023 Formal Methods in System Design article Engineering graph theory and CDMA systems Open access

Marcel Hark, Florian Frohn, Jürgen Giesl

8

citations
Markov automata with multiple objectives
2021 Formal Methods in System Design article Computer Science Formal Methods in Verification

Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen

5

citations
Stochastic games with lexicographic objectives
2023 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler

5

citations
The probabilistic termination tool amber
2022 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

5

citations
Search and explore: symbiotic policy synthesis in POMDPs
2026 Formal Methods in System Design article Social Sciences Policy Transfer and Learning Open access

Roman Andriushchenko, Alexander Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

0

citations
Termination of triangular polynomial loops
2025 Formal Methods in System Design article Mathematics Mathematics and Applications Open access

Marcel Hark, Florian Frohn, Jürgen Giesl

0

citations
Search and explore: symbiotic policy synthesis in POMDPs
2026 Formal Methods in System Design article Social Sciences Policy Transfer and Learning Open access

Roman Andriushchenko, Alexander Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

0

citations

8 results

Most active Aachen authors

Joost-Pieter Katoen 20,330 citations overall
6 papers
Jürgen Giesl 4,354 citations overall
2 papers
Tim Quatmann 886 citations overall
2 papers
Florian Frohn 567 citations overall
2 papers
Marcel Hark 140 citations overall
2 papers
Alexander Bork 61 citations overall
2 papers
Erika Ábrahám 3,470 citations overall
1 paper
Christian Hensel 385 citations overall
1 paper
Tobias Winkler 172 citations overall
1 paper