Torsten Liebke

According to our database, Torsten Liebke authored at least 10 papers between 2018 and 2022.

Collaborative distances:

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

2022

Using Approximation for the Verification of Token-Scaling Models.

Torsten Liebke, Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 2022

2021

Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach.

Torsten Liebke, Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 2021

2020

Improving explicit model checking for Petri nets

Torsten Liebke

PhD thesis, 2020

Verification of Token-Scaling Models using an Under-Approximation.

Torsten Liebke, Karsten Wolf

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020

Faster Enabledness-Updates for the Reachability Graph Computation.

Torsten Liebke, Christian Rosenke

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020

Büchi-Automata guided Partial Order Reduction for LTL.

Torsten Liebke

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020

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, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf

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

Solving E (φUψ) using the CEGAR Approach.

Torsten Liebke, Karsten Wolf

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019

Taking Some Burden Off an Explicit CTL Model Checker.

Torsten Liebke, Karsten Wolf

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018

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, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 2018