E-LIB Suche - Ergebnisse für: Lluch Lafuente, Alberto

1

Assessing the Understandability and Acceptance of Attack-De..:

, In: Requirements Engineering: Foundation for Software Quality; Lecture Notes in Computer Science,

Broccia, Giovanna ; ter Beek, Maurice H. ; Lluch Lafuente, Alberto.. - p. 39-56 , 2024

Link: https://doi.org/10.1007/..

2

Survey: Automatic generation of attack trees and attack gra..:

Konsta, Alyzia-Maria ; Lluch Lafuente, Alberto ; Spiga, Beatrice.
Computers & Security. 137 (2024) - p. 103602 , 2024

Link: https://doi.org/10.1016/..

3

Corrigendum to "Survey: Automatic generation of attack tree..:

Konsta, Alyzia-Maria ; Lluch Lafuente, Alberto ; Spiga, Beatrice.
Computers & Security. 138 (2024) - p. 103660 , 2024

Link: https://doi.org/10.1016/..

4

Reducing Boolean networks with backward equivalence:

Argyris, Georgios A. ; Lluch Lafuente, Alberto ; Tribastone, Mirco..
BMC Bioinformatics. 24 (2023) S1 - p. , 2023

Link: https://doi.org/10.1186/..

5

Formal Analysis of Lending Pools in Decentralized Finance:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science,

Bartoletti, Massimo ; Chiang, James ; Junttila, Tommi... - p. 335-355 , 2022

Link: https://doi.org/10.1007/..

6

Formal methods and tools for industrial critical systems:

Lluch Lafuente, Alberto ; Mavridou, Anastasia
International Journal on Software Tools for Technology Transfer. 24 (2022) 6 - p. 973-976 , 2022

Link: https://doi.org/10.1007/..

7

Maximizing Extractable Value from Automated Market Makers:

, In: Financial Cryptography and Data Security; Lecture Notes in Computer Science,

Bartoletti, Massimo ; Chiang, James Hsin-yu ; Lluch Lafuente, Alberto - p. 3-19 , 2022

Link: https://doi.org/10.1007/..

8

Model Checking $$\omega $$-Regular Properties with Decouple..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Gnad, Daniel ; Eisenhut, Jan ; Lluch Lafuente, Alberto. - p. 411-434 , 2021

Link: https://doi.org/10.1007/..

9

Are We Preparing Students to Build Security In? A Survey of..:

Dragoni, Nicola ; Lluch Lafuente, Alberto ; Massacci, Fabio.
IEEE Security & Privacy. 19 (2021) 1 - p. 81-88 , 2021

Link: https://doi.org/10.1109/..

10

Formal Methods for Industrial Critical Systems: 26th Intern..

Programming and Software Engineering, 12863

Lluch Lafuente, Alberto ; Mavridou, Anastasia - 1st ed. 2021 . , 2021

Link: https://doi.org/10.1007/..

11

Quantitative Security Risk Modeling and Analysis with RisQF..:

ter Beek, Maurice H. ; Legay, Axel ; Lluch Lafuente, Alberto.
Computers & Security. 109 (2021) - p. 102381 , 2021

Link: https://doi.org/10.1016/..

12

Reducing Boolean Networks with Backward Boolean Equivalence:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,

Argyris, Georgios ; Lluch Lafuente, Alberto ; Tribastone, Mirco.. - p. 1-18 , 2021

Link: https://doi.org/10.1007/..

13

Quality Criteria for Cyber Security MOOCs:

, In: Information Security Education. Information Security in Action; IFIP Advances in Information and Communication Technology,

Fischer-Hübner, Simone ; Beckerle, Matthias ; Lluch Lafuente, Alberto... - p. 46-60 , 2020

Link: https://doi.org/10.1007/..

14

Summary of: A Framework for Quantitative Modeling and Analy..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

ter Beek, Maurice H. ; Legay, Axel ; Lluch Lafuente, Alberto. - p. 547-551 , 2019

Link: https://doi.org/10.1007/..

15

A Framework for Provenance-Preserving History Distribution ..:

, In: Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science,

Lluch Lafuente, Alberto - p. 471-486 , 2019

Link: https://doi.org/10.1007/..