Parameterized verification Parosh A. AbdullaGiorgio Delzanno Introduction 24 June 2016 Pages: 469 - 473
A unified view of parameterized verification of abstract models of broadcast communication Giorgio Delzanno PV 2014 25 January 2016 Pages: 475 - 493
Parameterized verification through view abstraction Parosh AbdullaFrédéric HazizaLukáš Holík PV 2014 23 November 2015 Pages: 495 - 516
Counting dynamically synchronizing processes Zeinab GanjeiAhmed RezineZebo Peng PV 2014 21 January 2016 Pages: 517 - 534
Soundness of data-aware, case-centric processes Marco MontaliDiego Calvanese PV 2014 15 March 2016 Pages: 535 - 558
Parameterized model checking for security policy analysis Silvio RaniseAnh TruongRiccardo Traverso PV 2014 18 December 2015 Pages: 559 - 573