Antti Siirtola

According to our database, Antti Siirtola authored at least 17 papers between 2008 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

An optimal cut-off algorithm for parameterised refinement checking.

Antti Siirtola, Keijo Heljanko

Sci. Comput. Program., 2020

2018

Dynamic Cut-Off Algorithm for Parameterised Refinement Checking.

Antti Siirtola, Keijo Heljanko

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

2017

When Do We Not Need Complex Assume-Guarantee Rules?

Antti Siirtola, Stavros Tripakis, Keijo Heljanko

ACM Trans. Embed. Comput. Syst., 2017

Refinement Checking Parameterised Quorum Systems.

Antti Siirtola

Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2015

Parametrised Modal Interface Automata.

Antti Siirtola, Keijo Heljanko

ACM Trans. Embed. Comput. Syst., 2015

Multi-parameterised compositional verification of safety properties.

Antti Siirtola, Juha Kortelainen

Inf. Comput., 2015

2014

Bounds2: A Tool for Compositional Multi-parametrised Verification.

Antti Siirtola

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Parametrised Interface Automata.

Antti Siirtola

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

Parametrised Compositional Verification with Multiple Process and Data Types.

Antti Siirtola, Keijo Heljanko

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Introducing Fairness into Compositional Verification via Unidirectional Counters.

Antti Siirtola, Antti Puhakka, Gerald Lüttgen

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011

Bounds: From Parameterised to Finite-State Verification.

Antti Siirtola

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

Algorithmic multiparameterised verification of safety properties:process algebraic approach.

Antti Siirtola

PhD thesis, 2010

Automated Multiparameterised Verification by Cut-Offs.

Antti Siirtola

Proceedings of the Formal Methods and Software Engineering, 2010

Cut-Offs with Network Invariants.

Antti Siirtola

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Algorithmic Verification with Multiple and Nested Parameters.

Antti Siirtola, Juha Kortelainen

Proceedings of the Formal Methods and Software Engineering, 2009

Parameterised Process Algebraic Verification by Precongruence Reduction.

Antti Siirtola, Juha Kortelainen

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

Verifying Parameterized taDOM+ Lock Managers.

Antti Siirtola, Michal Valenta

Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008