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

1

White-box validation of quantitative product lines by stati..:

Casaluce, Roberto ; Burattin, Andrea ; Chiaromonte, Francesca..
Journal of Systems and Software. 210 (2024) - p. 111983 , 2024

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

2

Generative AI in Software Engineering Must Be Human-Centere..:

Russo, Daniel ; Baltes, Sebastian ; van Berkel, Niels...
Journal of Systems and Software. 216 (2024) - p. 112115 , 2024

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

3

Minimization of Dynamical Systems over Monoids:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Argyris, Georgios ; Lafuente, Alberto Lluch ; Robayo, Alexander Leguizamon... - p. 1-14 , 2023

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

4

A Survey of Trust Management for Internet of Things:

Konsta, Alyzia Maria ; Lafuente, Alberto Lluch ; Dragoni, Nicola
IEEE Access. 11 (2023) - p. 122175-122204 , 2023

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

5

An Extension of ERODE to Reduce Boolean Networks By Backwar..:

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

Argyris, Georgios ; Lafuente, Alberto Lluch ; Tribastone, Mirco.. - p. 294-301 , 2022

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

6

SoK: Lending Pools in Decentralized Finance:

, In: Lecture Notes in Computer Science; Financial Cryptography and Data Security. FC 2021 International Workshops,

Bartoletti, Massimo ; Chiang, James Hsin-yu ; Lafuente, Alberto Lluch - p. 553-578 , 2021

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

7

Towards a Theory of Decentralized Finance:

, In: Lecture Notes in Computer Science; Financial Cryptography and Data Security. FC 2021 International Workshops,

Bartoletti, Massimo ; Chiang, James Hsin-yu ; Lafuente, Alberto Lluch - p. 227-232 , 2021

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

8

Variability meets security : qantitative security modeli..:

, In: Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems,

Beek, Maurice H. ter ; Legay, Axel ; Lafuente, Alberto Lluch. - p. 1-9 , 2020

Link: https://dl.acm.org/doi/1..

9

A Framework for Quantitative Modeling and Analysis of Highl..:

Ter Beek, Maurice H. ; Legay, Axel ; Lafuente, Alberto Lluch.
IEEE Transactions on Software Engineering. 46 (2020) 3 - p. 321-345 , 2020

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

10

DisCoTec 2019 : the 14th international federated confere..:

Lafuente, Alberto Lluch
ACM SIGLOG News. 6 (2019) 4 - p. 24-25 , 2019

Link: https://dl.acm.org/doi/1..

11

DisCoTec 2019: the 14th international federated conference ..:

Lafuente, Alberto Lluch
ACM SIGLOG News. 6 (2019) 4 - p. 24-25 , 2019

Link: https://doi.org/10.1145/..

12

Improving Availability in Distributed Tuple Spaces Via Shar..:

, In: 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP),

Buravlev, Vitaly ; De Nicola, Rocco ; Lafuente, Alberto Lluch. - p. 302-305 , 2018

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

13

A Holistic Approach for Collaborative Workload Execution in..:

Sebastio, Stefano ; Amoretti, Michele ; Lafuente, Alberto Lluch.
ACM Transactions on Modeling and Computer Simulation (TOMACS). 28 (2018) 2 - p. 1-27 , 2018

Link: https://dl.acm.org/doi/1..

14

A Holistic Approach for Collaborative Workload Execution in..:

Sebastio, Stefano ; Amoretti, Michele ; Lafuente, Alberto Lluch.
ACM Transactions on Modeling and Computer Simulation. 28 (2018) 2 - p. 1-27 , 2018

Link: https://doi.org/10.1145/..

15

Session details: Volume II: Software development, system so..:

, In: Proceedings of the 30th Annual ACM Symposium on Applied Computing,

Lafuente, Alberto Lluch ; Bersani, Marcello Maria ; Núñez, Alberto , 2015

Link: https://dl.acm.org/doi/1..