Verifying Parameterized taDOM+ Lock Managers. - Antti Siirtola; Michal Valenta (SOFSEM, 2008)

Parameterised Process Algebraic Verification by Precongruence Reduction. - Antti Siirtola; Juha Kortelainen (ACSD, 2009)

Algorithmic Verification with Multiple and Nested Parameters. - Antti Siirtola; Juha Kortelainen (ICFEM, 2009)

Cut-Offs with Network Invariants. - Antti Siirtola (ACSD, 2010)

Automated Multiparameterised Verification by Cut-Offs. - Antti Siirtola (ICFEM, 2010)

Algorithmic multiparameterised verification of safety properties:process algebraic approach. - Antti Siirtola (2010)

Bounds: From Parameterised to Finite-State Verification. - Antti Siirtola (ACSD, 2011)

Introducing Fairness into Compositional Verification via Unidirectional Counters. - Antti Siirtola; Antti Puhakka; Gerald Lüttgen (ACSD, 2012)

Parametrised Compositional Verification with Multiple Process and Data Types. - Antti Siirtola; Keijo Heljanko (ACSD, 2013)

Parametrised Interface Automata. - Antti Siirtola (ACSD, 2014)

Bounds2: A Tool for Compositional Multi-parametrised Verification. - Antti Siirtola (TACAS, 2014)

Multi-parameterised compositional verification of safety properties. - Antti Siirtola; Juha Kortelainen (Inf. Comput., 2015)

Parametrised Modal Interface Automata. - Antti Siirtola; Keijo Heljanko (ACM Trans. Embed. Comput. Syst., 2015)

Refinement Checking Parameterised Quorum Systems. - Antti Siirtola (ACSD, 2017)

When Do We Not Need Complex Assume-Guarantee Rules? - Antti Siirtola; Stavros Tripakis; Keijo Heljanko (ACM Trans. Embed. Comput. Syst., 2017)

Dynamic Cut-Off Algorithm for Parameterised Refinement Checking. - Antti Siirtola; Keijo Heljanko (FACS, 2018)

An optimal cut-off algorithm for parameterised refinement checking. - Antti Siirtola; Keijo Heljanko (Sci. Comput. Program., 2020)