Antti Siirtola
Titolo
Citata da
Citata da
Anno
Algorithmic verification with multiple and nested parameters
A Siirtola, J Kortelainen
International Conference on Formal Engineering Methods, 561-580, 2009
142009
Algorithmic multiparameterised verification of safety properties: process algebraic approach.
A Siirtola
University of Oulu, Finland, 2010
122010
Parameterised process algebraic verification by precongruence reduction
A Siirtola, J Kortelainen
2009 Ninth International Conference on Application of Concurrency to System …, 2009
112009
Verifying parameterized taDOM+ lock managers
A Siirtola, M Valenta
International Conference on Current Trends in Theory and Practice of …, 2008
112008
Cut-offs with network invariants
A Siirtola
2010 10th International Conference on Application of Concurrency to System …, 2010
102010
Parametrised modal interface automata
A Siirtola, K Heljanko
ACM Transactions on Embedded Computing Systems (TECS) 14 (4), 1-25, 2015
82015
Bounds2: A tool for compositional multi-parametrised verification
A Siirtola
International Conference on Tools and Algorithms for the Construction and …, 2014
82014
Parametrised compositional verification with multiple process and data types
A Siirtola, K Heljanko
2013 13th International Conference on Application of Concurrency to System …, 2013
82013
Multi-parameterised compositional verification of safety properties
A Siirtola, J Kortelainen
Information and Computation 244, 23-48, 2015
72015
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
International Conference on Formal Engineering Methods, 321-337, 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
42017
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
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, ...
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–19