Michael Kirsten

According to our database, Michael Kirsten authored at least 14 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Formal Foundations of Consistency in Model-Driven Development.

Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, Wolfram Pfeifer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

Towards AI-Assisted Correctness-by-Construction Software Development.

Maximilian Kodetzki, Tabea Bordis, Michael Kirsten, Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

2023

Formal Methods for Trustworthy Voting Systems: From Trusted Components to Reliable Software.

Michael Kirsten

PhD thesis, 2023

2022

Why Is Online Voting Still Largely a Black Box?

Michael Kirsten, Melanie Volkamer, Bernhard Beckert

Proceedings of the Computer Security. ESORICS 2022 International Workshops, 2022

2021

Card-Based Cryptography Meets Formal Verification.

Alexander Koch, Michael Schrempp, Michael Kirsten

New Gener. Comput., 2021

2020

Integration of Static and Dynamic Analysis Techniques for Checking Noninterference.

Bernhard Beckert, Mihai Herda, Michael Kirsten, Shmuel S. Tyszberowicz

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Modular Verification of JML Contracts Using Bounded Model Checking.

Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

2019

Understanding Counterexamples for Relational Properties with DIbugger.

Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, Bernhard Beckert

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, 2019

Verified Construction of Fair Voting Rules.

Karsten Diekhoff, Michael Kirsten, Jonas Krämer

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

2018

Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control.

Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning

Proceedings of the Formal Methods and Software Engineering, 2018

Towards automatic argumentation about voting rules.

Michael Kirsten, Olivier Cailloux

Proceedings of the 4ème Conférence Nationale sur les Applications Pratiques de l'Intelligence Artificielle, 2018

2017

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

Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

2016

Automatic Margin Computation for Risk-Limiting Audits.

Bernhard Beckert, Michael Kirsten, Vladimir Klebanov, Carsten Schürmann

Proceedings of the Electronic Voting - First International Joint Conference, 2016

2015

A Hybrid Approach for Proving Noninterference of Java Programs.

Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr

IACR Cryptol. ePrint Arch., 2015