Christoph Welzel

From MaRDI portal
Person:2117164

Available identifiers

zbMath Open welzel.christophMaRDI QIDQ2117164

List of research outcomes





PublicationDate of PublicationType
Abduction of trap invariants in parameterized systems2024-12-06Paper
Regular model checking upside-down: an invariant-based approach2024-08-13Paper
Computing Parameterized Invariants of Parameterized Petri Nets2022-10-31Paper
Structural Invariants for the Verification of Systems with Parameterized Architectures2022-10-13Paper
Computing parameterized invariants of parameterized Petri nets2022-03-21Paper

Research outcomes over time

This page was built for person: Christoph Welzel

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2117164&oldid=6604791"
Powered by MediaWiki