Torsten Liebke

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 9

Top Topics

Partial Order Reduction

Top Venues

Trans. Petri Nets Other Model. Concurr.

PNSE@Petri Nets

PNSE@Petri Nets/ACSD

Publications

Torsten Liebke, Karsten Wolf
Using Approximation for the Verification of Token-Scaling Models. Trans. Petri Nets Other Model. Concurr. 16 (2022)
Torsten Liebke, Karsten Wolf
Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach. Trans. Petri Nets Other Model. Concurr. 15 (2021)
Torsten Liebke
Büchi-Automata guided Partial Order Reduction for LTL. PNSE@Petri Nets (2020)
Torsten Liebke, Karsten Wolf
Verification of Token-Scaling Models using an Under-Approximation. PNSE@Petri Nets (2020)
Torsten Liebke, Christian Rosenke
Faster Enabledness-Updates for the Reachability Graph Computation. PNSE@Petri Nets (2020)
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, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) (2019)
Torsten Liebke, Karsten Wolf
Solving E (φUψ) using the CEGAR Approach. PNSE@Petri Nets/ACSD (2019)
Torsten Liebke, Karsten Wolf
Taking Some Burden Off an Explicit CTL Model Checker. Petri Nets (2019)
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, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13 (2018)