Decidability of parameterized verification

por Bloem, Roderick, Jacobs, Swen, Khalimov, Ayrat, Konnov, Igor
Publicado 2015

Validation of Abstract Side-Channel Models for Computer Architectures

por Nemati, Hamed, Buiras, Pablo, Lindner, Andreas, Guanciale, Roberto, Jacobs, Swen
Publicado 2020

Parameterized Verification of Systems with Global Synchronization and Guards

por Jaber, Nouraldin, Jacobs, Swen, Wagner, Christopher, Kulkarni, Milind, Samanta, Roopsha
Publicado 2020