Christoph Welzel

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 10

Top Topics

Top Venues

Fundam. Informaticae

Publications

Javier Esparza, Mikhail A. Raskin, Christoph Welzel
Regular Model Checking Upside-Down: An Invariant-Based Approach. CONCUR (2022)
Javier Esparza, Mikhail A. Raskin, Christoph Welzel
Regular Model Checking Upside-Down: An Invariant-Based Approach. CoRR (2022)
Javier Esparza, Mikhail A. Raskin, Christoph Welzel
Computing Parameterized Invariants of Parameterized Petri Nets. Fundam. Informaticae 187 (2-4) (2022)
Javier Esparza, Mikhail A. Raskin, Christoph Welzel
Computing Parameterized Invariants of Parameterized Petri Nets. Petri Nets (2021)
Javier Esparza, Mikhail A. Raskin, Christoph Welzel
Computing Parameterized Invariants of Parameterized Petri Nets. CoRR (2021)
Javier Esparza, Mikhail A. Raskin, Christoph Welzel
Abduction of trap invariants in parameterized systems. GandALF (2021)
Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel
Structural Invariants for the Verification of Systems with Parameterized Architectures. TACAS (1) (2020)
Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel
Structural Invariants for the Verification of Systems with Parameterized Architectures. CoRR (2020)
Michael A. Raskin, Christoph Welzel
Working with first-order proofs and provers. CoRR (2019)
Michael A. Raskin, Christoph Welzel
Working with First Order Proofs and Provers. ELS (2019)