Christoph Welzel

According to our database, Christoph Welzel authored at least 7 papers between 2019 and 2024.

Collaborative distances:

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

2024

Inductive Statements for Regular Transition Systems.

Christoph Welzel-Mohr

PhD thesis, 2024

Computing Inductive Invariants of Regular Abstraction Frameworks.

Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr

CoRR, 2024

2022

Computing Parameterized Invariants of Parameterized Petri Nets.

Javier Esparza, Mikhail A. Raskin, Christoph Welzel

Fundam. Informaticae, 2022

Regular Model Checking Upside-Down: An Invariant-Based Approach.

Javier Esparza, Mikhail A. Raskin, Christoph Welzel

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Abduction of trap invariants in parameterized systems.

Javier Esparza, Mikhail A. Raskin, Christoph Welzel

Proceedings of the Proceedings 12th International Symposium on Games, 2021

2020

Structural Invariants for the Verification of Systems with Parameterized Architectures.

Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

Working with First Order Proofs and Provers.

Michael A. Raskin, Christoph Welzel

Proceedings of the 12th European Lisp Symposium (ELS 2019), 2019