MCC'2017 - The Seventh Model Checking Contest. - Fabrice Kordon; Hubert Garavel; Lom-Messan Hillah; Emmanuel Paviot-Adet; Loïg Jezequel; Francis Hulin-Hubard; Elvio Gilberto Amparore; Marco Beccuti; Bernard Berthomieu; Hugues Evrard; Peter Gjøl Jensen; Didier Le Botlan; et al. (Trans. Petri Nets Other Model. Concurr., 2018)

Taking Some Burden Off an Explicit CTL Model Checker. - Torsten Liebke; Karsten Wolf (Petri Nets, 2019)

Solving E (φUψ) using the CEGAR Approach. - Torsten Liebke; Karsten Wolf (PNSE@Petri Nets/ACSD, 2019)

Presentation of the 9th Edition of the Model Checking Contest. - Elvio Gilberto Amparore; Bernard Berthomieu; Gianfranco Ciardo; Silvano Dal-Zilio; Francesco Gallà; Lom-Messan Hillah; Francis Hulin-Hubard; Peter Gjøl Jensen; Loïg Jezequel; Fabrice Kordon; Didier Le Botlan; Torsten Liebke; et al. (TACAS (3), 2019)

Büchi-Automata guided Partial Order Reduction for LTL. - Torsten Liebke (PNSE@Petri Nets, 2020)

Faster Enabledness-Updates for the Reachability Graph Computation. - Torsten Liebke; Christian Rosenke (PNSE@Petri Nets, 2020)

Verification of Token-Scaling Models using an Under-Approximation. - Torsten Liebke; Karsten Wolf (PNSE@Petri Nets, 2020)

Improving explicit model checking for Petri nets - Torsten Liebke (2020)

Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach. - Torsten Liebke; Karsten Wolf (Trans. Petri Nets Other Model. Concurr., 2021)

Using Approximation for the Verification of Token-Scaling Models. - Torsten Liebke; Karsten Wolf (Trans. Petri Nets Other Model. Concurr., 2022)