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

1

A theory of Automated Market Makers in DeFi:

Bartoletti, Massimo ; Chiang, James Hsin-yu ; Lluch-Lafuente, Alberto
Logical Methods in Computer Science. 18, Issue 4 (2022) - p. , 2022

Link: https://doi.org/10.46298..

2

A Theory of Automated Market Makers in DeFi:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Bartoletti, Massimo ; Chiang, James Hsin-yu ; Lluch-Lafuente, Alberto - p. 168-187 , 2021

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

3

A Logic for Graphs with QoS:

Ferrari, Gianluigi ; Lluch-Lafuente, Alberto
Electronic Notes in Theoretical Computer Science. 142 (2006) - p. 143-160 , 2006

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

4

A Logic for Application Level QoS:

Hirsch, Dan ; Lluch-Lafuente, Alberto ; Tuosto, Emilio
Electronic Notes in Theoretical Computer Science. 153 (2006) 2 - p. 135-159 , 2006

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

5

Quantitative μ-calculus and CTL defined over constraint sem..:

Lluch-Lafuente, Alberto ; Montanari, Ugo
Theoretical Computer Science. 346 (2005) 1 - p. 135-160 , 2005

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

6

Quantitative μ-calculus and CTL Based on Constraint Semirin..:

Lluch-Lafuente, Alberto ; Montanari, Ugo
Electronic Notes in Theoretical Computer Science. 112 (2005) - p. 37-59 , 2005

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

7

Abstraction databases

[Technical report / Universität Freiburg, Institut für Informatik] ; [196]

Edelkamp, Stefan ; Lluch-Lafuente, Alberto , 2004

Link: http://edok01.tib.uni-ha..

8

Partial-order reduction and trail improvement in directed m..:

Edelkamp, Stefan ; Leue, Stefan ; Lluch-Lafuente, Alberto
International Journal on Software Tools for Technology Transfer. 6 (2004) 4 - p. 277-301 , 2004

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

9

Directed explicit-state model checking in the validation of..:

Edelkamp, Stefan ; Leue, Stefan ; Lluch-Lafuente, Alberto
International Journal on Software Tools for Technology Transfer. 5 (2004) 2-3 - p. 247-267 , 2004

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

10

Partial order reduction in directed model checking

Technical report / Universität Freiburg, Institut für Informatik ; 162

Lluch-Lafuente, Alberto ; Edelkamp, Stefan ; Leue, Stefan , 2001

Link: http://edok01.tib.uni-ha..

11

Directed explicit-state model checking in the validation of..

Technical report / Universität Freiburg, Institut für Informatik ; 161

Edelkamp, Stefan ; Leue, Stefan ; Lluch-Lafuente, Alberto , 2001

Link: http://edok01.tib.uni-ha..

12

Trail-Directed Model Checking:

Edelkamp, Stefan ; Lluch-Lafuente, Alberto ; Leue, Stefan
Electronic Notes in Theoretical Computer Science. 55 (2001) 3 - p. 343-356 , 2001

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

13

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

14

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

15

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