Antti Siirtola

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