Browse by Journal

B

Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2019) Comparing approaches for model-checking strategies under imperfect information and fairness constraints. International Journal on Software Tools for Technology Transfer, 21 (4) . pp. 449-469. ISSN 1433-2779 [Article] (doi:10.1007/s10009-018-0505-6)

K

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Legay, Axel and Schivo, Stefano (2021) Masterminding change by combining secure system design with security risk assessment. International Journal on Software Tools for Technology Transfer, 23 (1) . pp. 69-70. ISSN 1433-2779 [Article] (doi:10.1007/s10009-020-00595-8)

L

Lomuscio, Alessio, Qu, Hongyang and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2017) MCMAS: an open-source model checker for the verification of multi-agent systems. International Journal on Software Tools for Technology Transfer, 19 (1) . pp. 9-30. ISSN 1433-2779 [Article] (doi:10.1007/s10009-015-0378-x)