Michael Kirsten
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2017–2025
Best venue rank
C
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MODELS | Towards Examining the Complexity of Consistency. | Romain Pascual, Arne Lange, Thomas Weber, Lars Knig, Michael Kirsten, Terru Stbinger |
| 2024 | ISoLA | Towards AI-Assisted Correctness-by-Construction Software Development. | Maximilian Kodetzki, Tabea Bordis, Michael Kirsten, Ina Schaefer |
| 2024 | ISoLA | Formal Foundations of Consistency in Model-Driven Development. | Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, Wolfram Pfeifer |
| 2022 | ESORICS | Why Is Online Voting Still Largely a Black Box? | Michael Kirsten, Melanie Volkamer, Bernhard Beckert |
| 2020 | ISoLA | Modular Verification of JML Contracts Using Bounded Model Checking. | Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich |
| 2019 | ASIACRYPT | Card-Based Cryptography Meets Formal Verification. | Alexander Koch, Michael Schrempp, Michael Kirsten |
| 2019 | LOPSTR | Verified Construction of Fair Voting Rules. | Karsten Diekhoff, Michael Kirsten, Jonas Krmer |
| 2018 | ICFEM | Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control. | Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Bning |
| 2017 | INDIN | Generalized test tables: A powerful and intuitive specification language for reactive systems. | Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser |