Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Lluch Lafuente, Alberto
83  Ergebnisse:
Artikel (Online) X
Personensuche X
?
1

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/..
 
?
2

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/..
 
?
3

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/..
 
?
4

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/..
 
?
5

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/..
 
?
6

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/..
 
?
7

Many-to-many information flow policies:

Baldan, Paolo ; Lluch Lafuente, Alberto
Science of Computer Programming.  168 (2018)  - p. 118-141 , 2018
Link: https://doi.org/10.1016/..
 
?
8

Preface for the special issue on Interaction and Concurrenc..:

Lanese, Ivan ; Lluch Lafuente, Alberto ; Knight, Sophia.
Journal of Logical and Algebraic Methods in Programming.  86 (2017)  1 - p. 1 , 2017
Link: https://doi.org/10.1016/..
 
?
9

Automated specification and verification of Web-based appli..:

ter Beek, Maurice H. ; Lluch Lafuente, Alberto
Journal of Logical and Algebraic Methods in Programming.  87 (2017)  - p. 51 , 2017
Link: https://doi.org/10.1016/..
 
?
10

Special section on Graph Inspection and Traversal Engineeri..:

Bošnački, Dragan ; Edelkamp, Stefan ; Lluch Lafuente, Alberto.
Science of Computer Programming.  130 (2016)  - p. 1 , 2016
Link: https://doi.org/10.1016/..
 
?
11

Preface for the special issue on Interaction and Concurrenc..:

Lanese, Ivan ; Lluch Lafuente, Alberto ; Sokolova, Ana.
Journal of Logical and Algebraic Methods in Programming.  85 (2016)  3 - p. 367 , 2016
Link: https://doi.org/10.1016/..
 
?
12

Modelling and analyzing adaptive self-assembly strategies w..:

Bruni, Roberto ; Corradini, Andrea ; Gadducci, Fabio..
Science of Computer Programming.  99 (2015)  - p. 75-94 , 2015
Link: https://doi.org/10.1016/..
 
?
13

Preface:

Lluch Lafuente, Alberto ; Tuosto, Emilio
Service Oriented Computing and Applications.  9 (2015)  3-4 - p. 211-211 , 2015
Link: https://doi.org/10.1007/..
 
?
14

Constraint design rewriting:

Bruni, Roberto ; Lluch Lafuente, Alberto ; Montanari, Ugo
Science of Computer Programming.  97 (2015)  - p. 23-30 , 2015
Link: https://doi.org/10.1016/..
 
?
15

Preface for the special issue of Interaction and Concurrenc..:

Carbone, Marco ; Lanese, Ivan ; Lluch Lafuente, Alberto.
Science of Computer Programming.  109 (2015)  - p. 1 , 2015
Link: https://doi.org/10.1016/..
 
1-15