Stubborn Set Reduction for Two-Player Reachability Games von Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jiří Srba

Volltext

Stubborn versus structural reductions for Petri nets von Bønneland, Frederik M., Dyhr, Jakob, Jensen, Peter G., Johannsen, Mads, Srba, Jiří

Volltext

Stubborn Set Reduction for Timed Reachability and Safety Games von Bønneland, Frederik M., Jensen, Peter G., Larsen, Kim G., Muñiz, Marco, Srba, Jiří

Volltext

Stubborn Set Reduction for Two-Player Reachability Games von Frederik Meyer Bønneland, Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Muñiz, Marco, Srba, Jiří

Volltext

Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs von Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Bønneland, Frederik Meyer, Das, Sarbojit, Jonsson, Bengt, Lång, Magnus, Sagonas, Konstantinos

Volltext

Simplification of CTL Formulae for Efficient Model Checking of Petri Nets von Bønneland, Frederik, Dyhr, Jakob, Jensen, Peter G., Johannsen, Mads, Srba, Jiří

Volltext

Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs von Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Bønneland, Frederik Meyer, Das, Sarbojit, Jonsson, Bengt, Lång, Magnus, Sagonas, Konstantinos

Volltext bestellen

Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs von Parosh Aziz Abdulla, Atig, Mohamed Faouzi, Frederik Meyer Bønneland, Das, Sarbojit, Jonsson, Bengt, Lång, Magnus, Sagonas, Konstantinos

Volltext