Follow
Antti Siirtola
Title
Cited by
Cited by
Year
Algorithmic verification with multiple and nested parameters
A Siirtola, J Kortelainen
Formal Methods and Software Engineering: 11th International Conference on …, 2009
142009
Algorithmic multiparameterised verification of safety properties: process algebraic approach
A Siirtola
University of Oulu, 2010
122010
Verifying parameterized taDOM+ lock managers
A Siirtola, M Valenta
SOFSEM 2008: Theory and Practice of Computer Science: 34th Conference on …, 2008
122008
Cut-offs with network invariants
A Siirtola
2010 10th International Conference on Application of Concurrency to System …, 2010
112010
Parameterised process algebraic verification by precongruence reduction
A Siirtola, J Kortelainen
2009 Ninth International Conference on Application of Concurrency to System …, 2009
112009
Parametrised modal interface automata
A Siirtola, K Heljanko
ACM Transactions on Embedded Computing Systems (TECS) 14 (4), 1-25, 2015
92015
Bounds2: A tool for compositional multi-parametrised verification
A Siirtola
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
92014
Parametrised compositional verification with multiple process and data types
A Siirtola, K Heljanko
2013 13th International Conference on Application of Concurrency to System …, 2013
92013
Multi-parameterised compositional verification of safety properties
A Siirtola, J Kortelainen
Information and Computation 244, 23-48, 2015
82015
Bounds: from parameterised to finite-state verification
A Siirtola
2011 Eleventh International Conference on Application of Concurrency to …, 2011
72011
Automated multiparameterised verification by cut-offs
A Siirtola
Formal Methods and Software Engineering: 12th International Conference on …, 2010
62010
When do we not need complex assume-guarantee rules?
A Siirtola, S Tripakis, K Heljanko
ACM Transactions on Embedded Computing Systems (TECS) 16 (2), 1-25, 2017
52017
Parametrised interface automata
A Siirtola
2014 14th International Conference on Application of Concurrency to System …, 2014
42014
Dynamic cut-off algorithm for parameterised refinement checking
A Siirtola, K Heljanko
International Conference on Formal Aspects of Component Software, 256-276, 2018
22018
Refinement checking parameterised quorum systems
A Siirtola
2017 17th International Conference on Application of Concurrency to System …, 2017
22017
An optimal cut-off algorithm for parameterised refinement checking
A Siirtola, K Heljanko
Science of Computer Programming 198, 102517, 2020
2020
Refinement checking parameterised quorum systems
A Siirtola
17th International Conference on Application of Concurrency to System Design …, 2018
2018
Introducing Fairness into Compositional Verification via Unidirectional Counters
A Siirtola, A Puhakka, G Lüttgen
2012 12th International Conference on Application of Concurrency to System …, 2012
2012
Early adoption of IFRS 7 and implementation of IFRS 7 in Fortum
A Siirtola
2008
ACSD 2015
M Alansari, S Andalam, K Barylska, N Benes, B Bonakdarpour, F Bujtor, ...
The system can't perform the operation now. Try again later.
Articles 1–20