Antti Siirtola

ORCID

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 4

Top Venues

ACSD

ACM Trans. Embed. Comput. Syst.

TACAS

Sci. Comput. Program.

University of Oulu, Finland (PHD)

Education History

University of Oulu, Finland

PHD

Publications

Antti Siirtola, Keijo Heljanko
An optimal cut-off algorithm for parameterised refinement checking. Sci. Comput. Program. 198 (2020)
Antti Siirtola, Keijo Heljanko
Dynamic Cut-Off Algorithm for Parameterised Refinement Checking. FACS (2018)
Antti Siirtola
Refinement Checking Parameterised Quorum Systems. ACSD (2017)
Antti Siirtola, Stavros Tripakis, Keijo Heljanko
When Do We Not Need Complex Assume-Guarantee Rules? ACM Trans. Embed. Comput. Syst. 16 (2) (2017)
Antti Siirtola, Juha Kortelainen
Multi-parameterised compositional verification of safety properties. Inf. Comput. 244 (2015)
Antti Siirtola, Keijo Heljanko
Parametrised Modal Interface Automata. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Antti Siirtola, Stavros Tripakis, Keijo Heljanko
When Do We (Not) Need Complex Assume-Guarantee Rules? ACSD (2015)
Antti Siirtola
Parametrised Interface Automata. ACSD (2014)
Antti Siirtola
Bounds2: A Tool for Compositional Multi-parametrised Verification. TACAS (2014)
Antti Siirtola, Keijo Heljanko
Parametrised Compositional Verification with Multiple Process and Data Types. ACSD (2013)
Antti Siirtola, Antti Puhakka, Gerald Lüttgen
Introducing Fairness into Compositional Verification via Unidirectional Counters. ACSD (2012)
Antti Siirtola
Bounds: From Parameterised to Finite-State Verification. ACSD (2011)
Antti Siirtola
Automated Multiparameterised Verification by Cut-Offs. ICFEM (2010)
Antti Siirtola
Cut-Offs with Network Invariants. ACSD (2010)
Antti Siirtola, Juha Kortelainen
Algorithmic Verification with Multiple and Nested Parameters. ICFEM (2009)
Antti Siirtola, Juha Kortelainen
Parameterised Process Algebraic Verification by Precongruence Reduction. ACSD (2009)
Antti Siirtola, Michal Valenta
Verifying Parameterized taDOM+ Lock Managers. SOFSEM (2008)

Antti Siirtola.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Antti Siirtola