| Algorithmic verification with multiple and nested parameters A Siirtola, J Kortelainen International Conference on Formal Engineering Methods, 561-580, 2009 | 14 | 2009 |
| Algorithmic multiparameterised verification of safety properties: process algebraic approach. A Siirtola University of Oulu, Finland, 2010 | 12 | 2010 |
| Parameterised process algebraic verification by precongruence reduction A Siirtola, J Kortelainen 2009 Ninth International Conference on Application of Concurrency to System …, 2009 | 11 | 2009 |
| Verifying parameterized taDOM+ lock managers A Siirtola, M Valenta International Conference on Current Trends in Theory and Practice of …, 2008 | 11 | 2008 |
| Cut-offs with network invariants A Siirtola 2010 10th International Conference on Application of Concurrency to System …, 2010 | 10 | 2010 |
| Parametrised modal interface automata A Siirtola, K Heljanko ACM Transactions on Embedded Computing Systems (TECS) 14 (4), 1-25, 2015 | 8 | 2015 |
| Bounds2: A tool for compositional multi-parametrised verification A Siirtola International Conference on Tools and Algorithms for the Construction and …, 2014 | 8 | 2014 |
| Parametrised compositional verification with multiple process and data types A Siirtola, K Heljanko 2013 13th International Conference on Application of Concurrency to System …, 2013 | 8 | 2013 |
| Multi-parameterised compositional verification of safety properties A Siirtola, J Kortelainen Information and Computation 244, 23-48, 2015 | 7 | 2015 |
| Bounds: from parameterised to finite-state verification A Siirtola 2011 Eleventh International Conference on Application of Concurrency to …, 2011 | 7 | 2011 |
| Automated multiparameterised verification by cut-offs A Siirtola International Conference on Formal Engineering Methods, 321-337, 2010 | 6 | 2010 |
| 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 | 4 | 2017 |
| Parametrised interface automata A Siirtola 2014 14th International Conference on Application of Concurrency to System …, 2014 | 4 | 2014 |
| Dynamic cut-off algorithm for parameterised refinement checking A Siirtola, K Heljanko International Conference on Formal Aspects of Component Software, 256-276, 2018 | 2 | 2018 |
| Refinement checking parameterised quorum systems A Siirtola 2017 17th International Conference on Application of Concurrency to System …, 2017 | 2 | 2017 |
| An optimal cut-off algorithm for parameterised refinement checking A Siirtola, K Heljanko Science of Computer Programming 198, 102517, 2020 | | 2020 |
| 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, ... | | |
