Software Modeling and Verification Group ▲ Sign in to save

• ▲ Joost-Pieter Katoen

  Cornell University · RWTH Aachen University Computer Science
  20.3k

  citations

  62

  h-index

  193

  Aachen papers
• ▲ Thomas Noll

  Escola Superior de Música de Catalunya · RWTH Aachen University Computer Science
  2.43k

  citations

  25

  h-index

  14

  Aachen papers
• ▲ Matthias Volk

  Eindhoven University of Technology Computer Science
  1.26k

  citations

  13

  h-index

  8

  Aachen papers
• ▲ Carroll Morgan

  UNSW Sydney Computer Science
  1.04k

  citations

  18

  h-index

  1

  Aachen papers
• ▲ Kevin Batz

  Cornell University · University of Münster Computer Science
  271

  citations

  10

  h-index

  23

  Aachen papers
• ▲ Philipp K. Berger

  Computer Science
  114

  citations

  6

  h-index

  4

  Aachen papers
• ▲ Darion Haase

  RWTH Aachen University Computer Science
  19

  citations

  2

  h-index

  17

  Aachen papers
• ▲ Christina Gehnen

  RWTH Aachen University Computer Science
  13

  citations

  2

  h-index

  7

  Aachen papers
• ▲ Ira Fesefeldt

  University of Duisburg-Essen · RWTH Aachen University Computer Science
  9

  citations

  2

  h-index

  6

  Aachen papers
• ▲ Marvin Jansen

  RWTH Aachen University Computer Science
  4

  citations

  1

  h-index

  2

  Aachen papers
• ▲ Florian Keßler

  Friedrich-Alexander-Universität Erlangen-Nürnberg Social Sciences
  4

  citations

  1

  h-index

  2

  Aachen papers
• ▲ Roy Hermanns

  RWTH Aachen University Computer Science
  0

  citations

  0

  h-index

  1

  Aachen papers

12 results

• Foundations of Probabilistic Programming

  2020 Cambridge University Press eBooks book Computer Science Logic, programming, and type systems Open access

  63

  citations
• On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata

  2023 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Formal Methods in Verification

  5

  citations
• Foundations for Entailment Checking in Quantitative Separation Logic

  2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  4

  citations
• Synthesizing and optimizing FDIR recovery strategies from fault trees

  2020 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

  4

  citations
• Synthesizing optimal bias in randomized self-stabilization

  2021 Distributed Computing article Computer Science Distributed systems and fault tolerance Open access

  3

  citations
• Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars

  2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

  1

  citations
• A Modular Approach to Non-deterministic Dynamic Fault Trees

  2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  0

  citations
• Foundations for Entailment Checking in Quantitative Separation Logic (extended version)

  2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

  0

  citations
• Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining

  2022 Lecture notes in computer science conference-paper Engineering Railway Systems and Energy Efficiency

  0

  citations
• On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata

  2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

  0

  citations
• Unknown Biases and Timing Constraints in Timed Automata

  2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

  0

  citations
• Quantum Computing: From Weakest Preconditions to Voltage Pulses

  2024 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture

  0

  citations

12 results