… Examples of parameterized systems include mutual exclusion algorithms, bus protocols, …
the paradigm of parameterized verification in order to verify systems which operate on tree-like …

… lend themselves well to behavior-oriented design for complex systems [3]. The paradigm …
With this technique, we can build libraries of parameterized behavior trees (to which we …

… tree traversal is needed.) For our purposes, the critical observation is that for many parameterized
problems, the size of the tree … search trees, we consider the parameterized version of a …

… Using this parameterization, we show that every input instance can be solved in 2ωdp·|I|O(1)
time where ω is the matrix multiplication constant. With the current-best known value for ω …

… In this thesis we give a novel classification of techniques for designing parameterized
algorithms, together with research publications applying these techniques, in particular Crown …

… systems are not polynomially bounded. We introduce the concept of parameterized proof
systems… in these new systems yield evidence that certain parameterized problems are not fixed-…

… We prove that an important naturally parameterized problem in arti cial intelligence, STRIPS
… the top end of the parameterized complexity hierarchy: the naturally parameterized Graph k-…

… In this paper we deal with verification of safety properties of parameterized systems with
a tree topology. The verification problem is translated to a purely logical problem of finding a …

… We focus on parameterized systems con gured either as array networks, or as tree networks,
… We have implemented software tools supporting the veri cation of such systems. Additional …

… and constitute the class of parameterized problems FPT. • We … Not only are there now
thousands of relevant parameterized … the parameterized complexity of concrete parameterized …