Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 2017
Tue 17 Jan 2017 10:30 - 11:00 at Amphitheater 44 - Model Checking and Synthesis Chair(s): Ahmed Bouajjani

In a dynamic parametric process every sub-process may spawn arbitrarily many, identical child processes, that may communicate either over global variables, or over local variables that are shared with their parent.

We show that reachability for dynamic parametric processes is decidable under mild assumptions. These assumptions are e.g. met if individual processes are realized by pushdown systems, or even higher-order pushdown systems. We also provide algorithms for subclasses of pushdown dynamic parametric processes, with complexity ranging between NP and DEXPTIME.

Tue 17 Jan
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00: VMCAI - Model Checking and Synthesis at Amphitheater 44
Chair(s): Ahmed BouajjaniIRIF, Université Paris Diderot
VMCAI-2017-papers10:30 - 11:00
Anca MuschollUniversité de Bordeaux / LaBRI, Helmut SeidlTechnische Universität München, Igor WalukiewiczCNRS, LaBRI
VMCAI-2017-papers11:00 - 11:30
Roderick BloemInstitute of Software Technology, Graz University of Technology , Hana Chockler, Masoud EbrahimiInstitute of Applied Information Processing and Communications, Graz University of Technology, Ofer StrichmanTechnion
File Attached
VMCAI-2017-papers11:30 - 12:00
Dejan JovanovićSRI International