Algorithmic verification with multiple and nested parameters A Siirtola, J Kortelainen Formal Methods and Software Engineering: 11th International Conference on …, 2009 | 14 | 2009 |
Algorithmic multiparameterised verification of safety properties: process algebraic approach A Siirtola University of Oulu, 2010 | 12 | 2010 |
Verifying parameterized taDOM+ lock managers A Siirtola, M Valenta SOFSEM 2008: Theory and Practice of Computer Science: 34th Conference on …, 2008 | 12 | 2008 |
Cut-offs with network invariants A Siirtola 2010 10th International Conference on Application of Concurrency to System …, 2010 | 11 | 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 |
Parametrised modal interface automata A Siirtola, K Heljanko ACM Transactions on Embedded Computing Systems (TECS) 14 (4), 1-25, 2015 | 9 | 2015 |
Bounds2: A tool for compositional multi-parametrised verification A Siirtola Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 9 | 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 | 9 | 2013 |
Multi-parameterised compositional verification of safety properties A Siirtola, J Kortelainen Information and Computation 244, 23-48, 2015 | 8 | 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 Formal Methods and Software Engineering: 12th International Conference on …, 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 | 5 | 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 |
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, ... | | |