Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Alberto Lluch-Lafuente

> Home > Persons

Person information

affiliation: Technical University of Denmark, DTU Compute
affiliation: IMT Institute for Advanced Studies Lucca, Italy
affiliation: University of Pisa, Department of Computer Science
affiliation: University of Freiburg, Institute of Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2003
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Lafuente03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Lafuente03
Alberto Lluch-Lafuente:
Directed search for the verification of communication protocols. University of Freiburg, Freiburg im Breisgau, Germany, 2003, pp. 1-144

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/KonstaLSD24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/KonstaLSD24a
Alyzia Maria Konsta, Alberto Lluch-Lafuente, Beatrice Spiga, Nicola Dragoni:
Survey: Automatic generation of attack trees and attack graphs. Comput. Secur. 137: 103602 (2024)
[j34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/compsec/KonstaLSD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/KonstaLSD24
Alyzia Maria Konsta, Alberto Lluch-Lafuente, Beatrice Spiga, Nicola Dragoni:
Corrigendum to "Survey: Automatic generation of attack trees and attack graphs" [Computers & Security Volume 137, February 2024, 103602]. Comput. Secur. 138: 103660 (2024)
[j33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jss/CasaluceBCLV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/CasaluceBCLV24
Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Alberto Lluch-Lafuente, Andrea Vandin:
White-box validation of quantitative product lines by statistical model checking and process mining. J. Syst. Softw. 210: 111983 (2024)
2023
[j32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/KonstaLD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/KonstaLD23
Alyzia Maria Konsta, Alberto Lluch-Lafuente, Nicola Dragoni:
A Survey of Trust Management for Internet of Things. IEEE Access 11: 122175-122204 (2023)
[j31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/ArgyrisLTTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/ArgyrisLTTV23
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Reducing Boolean networks with backward equivalence. BMC Bioinform. 24(1): 212 (2023)
2022
[j30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BartolettiCL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BartolettiCL22
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
A theory of Automated Market Makers in DeFi. Log. Methods Comput. Sci. 18(4) (2022)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Lluch-LafuenteM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Lluch-LafuenteM22
Alberto Lluch-Lafuente, Anastasia Mavridou:
Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. 24(6): 973-976 (2022)
2021
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/BeekLLV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/BeekLLV21
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Quantitative Security Risk Modeling and Analysis with RisQFLan. Comput. Secur. 109: 102381 (2021)
[j27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ieeesp/DragoniLMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieeesp/DragoniLMS21
Nicola Dragoni, Alberto Lluch-Lafuente, Fabio Massacci, Anders Schlichtkrull:
Are We Preparing Students to Build Security In? A Survey of European Cybersecurity in Higher Education Programs [Education]. IEEE Secur. Priv. 19(1): 81-88 (2021)
2020
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BeekLLV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BeekLLV20
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems. IEEE Trans. Software Eng. 46(3): 321-345 (2020)
2019
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Lluch-Lafuente19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Lluch-Lafuente19
Alberto Lluch-Lafuente:
DisCoTec 2019: the 14th international federated conference on distributed computing techniques. ACM SIGLOG News 6(4): 24-25 (2019)
2018
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BaldanL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BaldanL18
Paolo Baldan, Alberto Lluch-Lafuente:
Many-to-many information flow policies. Sci. Comput. Program. 168: 118-141 (2018)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/tomacs/SebastioALS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tomacs/SebastioALS18
Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente, Antonio Scala:
A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds. ACM Trans. Model. Comput. Simul. 28(2): 14:1-14:27 (2018)
2017
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Lluch-LafuenteL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Lluch-LafuenteL16
Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari:
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields. Log. Methods Comput. Sci. 13(1) (2017)
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/LaneseLKV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LaneseLKV17
Ivan Lanese, Alberto Lluch-Lafuente, Sophia Knight, Hugo Torres Vieira:
Preface for the special issue on Interaction and Concurrency Experience 2015. J. Log. Algebraic Methods Program. 86(1): 1 (2017)
[j20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BeekL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BeekL17
Maurice H. ter Beek, Alberto Lluch-Lafuente:
Automated specification and verification of Web-based applications. J. Log. Algebraic Methods Program. 87: 51 (2017)
2016
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Li0LNN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Li0LNN16
Ximeng Li, Xi Wu, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson:
A Coordination Language for Databases. Log. Methods Comput. Sci. 13(1) (2016)
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/LaneseLSV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LaneseLSV16
Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira:
Preface for the special issue on Interaction and Concurrency Experience 2014. J. Log. Algebraic Methods Program. 85(3): 367 (2016)
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BosnackiELW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BosnackiELW16
Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente, Anton Wijs:
Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014). Sci. Comput. Program. 130: 1 (2016)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/SebastioAL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/SebastioAL16
Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente:
AVOCLOUDY: a simulator of volunteer clouds. Softw. Pract. Exp. 46(1): 3-30 (2016)
2015
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jisis/BravettiLMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jisis/BravettiLMM15
Mario Bravetti, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi:
Guest Editorial: Special Issue on Service-Oriented Architectures and Programming. J. Internet Serv. Inf. Secur. 5(1): 1-2 (2015)
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BruniLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BruniLM15
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
Constraint design rewriting. Sci. Comput. Program. 97: 23-30 (2015)
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BruniCGLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BruniCGLV15
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. 99: 75-94 (2015)
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CarboneLLS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CarboneLLS15
Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova:
Preface for the special issue of Interaction and Concurrency Experience 2013. Sci. Comput. Program. 109: 1 (2015)
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/soca/Lluch-LafuenteT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soca/Lluch-LafuenteT15
Alberto Lluch-Lafuente, Emilio Tuosto:
Preface. Serv. Oriented Comput. Appl. 9(3-4): 211 (2015)
2012
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/GadducciLV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/GadducciLV12
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Counterpart Semantics for a Second-Order μ-Calculus. Fundam. Informaticae 118(1-2): 177-205 (2012)
2011
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/VandinL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/VandinL11
Andrea Vandin, Alberto Lluch-Lafuente:
Towards a Maude Tool for Model Checking Temporal Graph Properties. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011)
[j8]
- view
  - electronic edition @ ijsi.org
  - no references & citations available
- export record
  dblp key:
  - journals/ijsi/BruniLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsi/BruniLM11
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
On Structured Model-Driven Transformations. Int. J. Softw. Informatics 5(1-2): 185-206 (2011)
2010
[j7]
- view
  - electronic edition @ uaic.ro (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/cuza/BruniGL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cuza/BruniGL10
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
An Algebra of Hierarchical Graphs and its Application to Structural Encoding. Sci. Ann. Comput. Sci. 20: 53-96 (2010)
2009
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BruniL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BruniL09
Roberto Bruni, Alberto Lluch-Lafuente:
Ten virtues of structured graphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BosnackiLL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BosnackiLL09
Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente:
Partial-order reduction for general state exploring algorithms. Int. J. Softw. Tools Technol. Transf. 11(1): 39-51 (2009)
2008
[j4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/BruniLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/BruniLM08
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
Style-Based Architectural Reconfigurations. Bull. EATCS 94: 161-180 (2008)
2005
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Lluch-LafuenteM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Lluch-LafuenteM05
Alberto Lluch-Lafuente, Ugo Montanari:
Quantitative mu-calculus and CTL defined over constraint semirings. Theor. Comput. Sci. 346(1): 135-160 (2005)
2004
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/EdelkampLL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/EdelkampLL04
Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente:
Directed explicit-state model checking in the validation of communication protocols. Int. J. Softw. Tools Technol. Transf. 5(2-3): 247-267 (2004)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/EdelkampLL04a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/EdelkampLL04a
Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente:
Partial-order reduction and trail improvement in directed model checking. Int. J. Softw. Tools Technol. Transf. 6(4): 277-301 (2004)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/BrocciaBLSF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/BrocciaBLSF24
Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. REFSQ 2024: 39-56
2023
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/ArgyrisLLTTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/ArgyrisLLTTV23
Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Minimization of Dynamical Systems over Monoids. LICS 2023: 1-14
2022
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/ArgyrisLTTV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/ArgyrisLTTV22
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence. CMSB 2022: 294-301
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BartolettiCL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BartolettiCL22
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
Maximizing Extractable Value from Automated Market Makers. Financial Cryptography 2022: 3-19
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BartolettiCJLMV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BartolettiCJLMV22
Massimo Bartoletti, James Hsin-yu Chiang, Tommi Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin:
Formal Analysis of Lending Pools in Decentralized Finance. ISoLA (3) 2022: 335-355
2021
[c61]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GnadELH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GnadELH20
Daniel Gnad, Jan Eisenhut, Alberto Lluch-Lafuente, Jörg Hoffmann:
Model Checking ømega-Regular Properties with Decoupled Search. CAV (2) 2021: 411-434
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/ArgyrisLTTV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/ArgyrisLTTV21
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Reducing Boolean Networks with Backward Boolean Equivalence. CMSB 2021: 1-18
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BartolettiCL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BartolettiCL21
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
A Theory of Automated Market Makers in DeFi. COORDINATION 2021: 168-187
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BartolettiCL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BartolettiCL21
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
Towards a Theory of Decentralized Finance. Financial Cryptography Workshops 2021: 227-232
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BartolettiCL21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BartolettiCL21a
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
SoK: Lending Pools in Decentralized Finance. Financial Cryptography Workshops 2021: 553-578
2020
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/BeekLLV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/BeekLLV20
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios. VaMoS 2020: 11:1-11:9
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/wise/Fischer-HubnerB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wise/Fischer-HubnerB20
Simone Fischer-Hübner, Matthias Beckerle, Alberto Lluch-Lafuente, Antonio Ruiz-Martínez, Karo Saharinen, Antonio F. Skarmeta, Pierantonia Sterlini:
Quality Criteria for Cyber Security MOOCs. WISE 2020: 46-60
2019
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Lluch-Lafuente19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Lluch-Lafuente19
Alberto Lluch-Lafuente:
A Framework for Provenance-Preserving History Distribution and Incremental Reduction. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 471-486
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BeekLLV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BeekLLV19
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. IFM 2019: 547-551
2018
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/KaminskasL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/KaminskasL18
Linas Kaminskas, Alberto Lluch-Lafuente:
Aggregation Policies for Tuple Spaces. COORDINATION 2018: 181-199
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/VandinBLL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/VandinBLL18
Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente:
QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. FM 2018: 329-337
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/pdp/BuravlevNLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdp/BuravlevNLM18
Vitaly Buravlev, Rocco De Nicola, Alberto Lluch-Lafuente, Claudio Antares Mezzina:
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies. PDP 2018: 302-305
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/GnadDL018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/GnadDL018
Daniel Gnad, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann:
Star-Topology Decoupling in SPIN. SPIN 2018: 103-114
2017
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BaldanBL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BaldanBL17
Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente:
Many-to-Many Information Flow Policies. COORDINATION 2017: 159-177
2016
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AndricNL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AndricNL16
Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente:
Replicating Data for Better Performances in X10. Semantics, Logics, and Calculi 2016: 236-251
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BeekLLV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeekLLV16
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Statistical Model Checking for Product Lines. ISoLA (1) 2016: 114-133
2015
[c45]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/BruniCGLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BruniCGLV15
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets 2015: 19-21
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Lluch-LafuenteN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Lluch-LafuenteN15
Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson:
Discretionary Information Flow Control for Interaction-Oriented Specifications. Logic, Rewriting, and Concurrency 2015: 427-450
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BruniCGLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BruniCGLV15
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems 2015: 552-581
[c42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/coordination/AndricNL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AndricNL15
Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente:
Replica-Based High-Performance Tuple Space Computing. COORDINATION 2015: 3-18
[c41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/coordination/Lluch-LafuenteL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/Lluch-LafuenteL15
Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari:
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. COORDINATION 2015: 101-116
[c40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/coordination/WuLLNN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/WuLLNN15
Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson:
Klaim-DB: A Modeling Language for Distributed Database Applications. COORDINATION 2015: 197-212
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/BeekLLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BeekLLV15
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Statistical analysis of probabilistic models of software product lines with quantitative constraints. SPLC 2015: 11-15
[c38]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BeekLLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BeekLLV15
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. FMSPLE 2015: 56-70
2014
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/NicolaLLMPST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/NicolaLLMPST14
Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi:
Programming and Verifying Component Ensembles. FPS@ETAPS 2014: 69-83
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SebastioAL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SebastioAL14
Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente:
A computational field framework for collaborative task execution in volunteer clouds. SEAMS 2014: 105-114
[c35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifiptm/CelestiniLMST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifiptm/CelestiniLMST14
Alessandro Celestini, Alberto Lluch-Lafuente, Philip Mayer, Stefano Sebastio, Francesco Tiezzi:
Reputation-Based Cooperation in the Clouds. IFIPTM 2014: 213-220
[c34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wrla/AlrahmanABL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/AlrahmanABL14
Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch-Lafuente:
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? WRLA 2014: 21-41
2013
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/pdp/AmorettiLS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdp/AmorettiLS13
Michele Amoretti, Alberto Lluch-Lafuente, Stefano Sebastio:
A Cooperative Approach for Distributed Task Execution in Autonomic Clouds. PDP 2013: 274-281
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/BeekLP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BeekLP13
Maurice H. ter Beek, Alberto Lluch-Lafuente, Marinella Petrocchi:
Combining declarative and procedural views in the specification and analysis of product families. SPLC Workshops 2013: 10-17
2012
[c31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BruniCGLV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BruniCGLV12
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
A Conceptual Framework for Adaptation. FASE 2012: 240-254
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/GadducciLV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/GadducciLV12
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. ICGT 2012: 51-65
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/Lluch-LafuenteMV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/Lluch-LafuenteMV12
Alberto Lluch-Lafuente, José Meseguer, Andrea Vandin:
State Space c-Reductions of Concurrent Systems in Rewriting Logic. ICFEM 2012: 430-446
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wadt/BruniCGLV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/BruniCGLV12
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptable Transition Systems. WADT 2012: 95-110
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/BruniCGLV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/BruniCGLV12
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA 2012: 118-138
2011
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BruniL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BruniL11
Roberto Bruni, Alberto Lluch-Lafuente:
Evaluating the Performance of Model Transformation Styles in Maude. FACS 2011: 79-96
2010
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BruniCGLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BruniCGLM10
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari:
On GS-Monoidal Theories for Graphs with Nesting. Graph Transformations and Model-Driven Engineering 2010: 59-86
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/BoronatBLMP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BoronatBLMP10
Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo:
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. FMOODS/FORTE 2010: 2-16
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/GadducciLV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/GadducciLV10
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Counterpart Semantics for a Second-Order µ-Calculus. ICGT 2010: 282-297
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BruniGL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BruniGL10
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
An Algebra of Hierarchical Graphs. TGC 2010: 205-221
2009
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/BruniHKLMMSW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/BruniHKLMMSW09
Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing:
A Service-Oriented UML Profile with Formal Support. ICSOC/ServiceWave 2009: 455-469
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/BruniGL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/BruniGL09
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
A Graph Syntax for Processes and Services. WS-FM 2009: 46-60
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/BucchiaroneLMP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/BucchiaroneLMP09
Antonio Bucchiarone, Alberto Lluch-Lafuente, Annapaola Marconi, Marco Pistore:
A Formalisation of Adaptable Pervasive Flows. WS-FM 2009: 61-75
2008
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BruniBGHL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BruniBGHL08
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente:
Graph-Based Design and Analysis of Dynamic Software Architectures. Concurrency, Graphs and Models 2008: 37-56
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BraccialiBL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BraccialiBL09
Andrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente:
On Symbolic Semantics for Name-decorated Contexts. ICE@ICALP 2008: 37-58
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BruniLM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BruniLM09
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
Hierarchical Design Rewriting with Maude. WRLA 2008: 45-62
2007
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/calco/GadducciL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/GadducciL07
Fabio Gadducci, Alberto Lluch-Lafuente:
Graphical Encoding of a Spatial Logic for the pi -Calculus. CALCO 2007: 209-225
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/Lluch-Lafuente07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Lluch-Lafuente07
Alberto Lluch-Lafuente:
Towards Model Checking Spatial Properties with SPIN. SPIN 2007: 223-242
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BruniLMT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BruniLMT07
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto:
Service Oriented Architectural Design. TGC 2007: 186-203
2006
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/EdelkampJL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/EdelkampJL06
Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente:
Heuristic Search for the Analysis of Graph Transition Systems. ICGT 2006: 414-429
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BosnackiLL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BosnackiLL06
Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente:
Partial-Order Reduction for General State Exploring Algorithms. SPIN 2006: 271-287
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/BaldanCKL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/BaldanCKL06
Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente:
A Temporal Graph Logic for Verification of Graph Transformation Systems. WADT 2006: 1-20
2005
[c9]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/EdelkampJL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/EdelkampJL05
Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente:
Cost-Algebraic Heuristic Search. AAAI 2005: 1362-1367
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/policy/Rubio-LoyolaSCFPL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/policy/Rubio-LoyolaSCFPL05
Javier Rubio-Loyola, Joan Serrat, Marinos Charalambides, Paris Flegkas, George Pavlou, Alberto Lluch-Lafuente:
Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks. POLICY 2005: 181-190
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GadducciL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GadducciL06
Fabio Gadducci, Alberto Lluch-Lafuente:
Graphical Verification of a Spatial Logic for the pi-calculus. GT-VC@CONCUR 2005: 31-46
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HirschLT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HirschLT06
Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto:
A Logic for Application Level QoS. QAPL 2005: 135-159
2004
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Lluch-LafuenteM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Lluch-LafuenteM05
Alberto Lluch-Lafuente, Ugo Montanari:
Quantitative ?-calculus and CTL Based on Constraint Semirings. QAPL 2004: 37-59
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FerrariL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FerrariL06
Gianluigi Ferrari, Alberto Lluch-Lafuente:
A Logic for Graphs with QoS. VODCA@FOSAD 2004: 143-160
2002
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/Lluch-LafuenteEL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Lluch-LafuenteEL02
Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue:
Partial Order Reduction in Directed Model Checking. SPIN 2002: 112-127
2001
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/EdelkampLL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/EdelkampLL01
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue:
Directed Explicit Model Checking with HSF-SPIN. SPIN 2001: 57-79
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/EdelkampLL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/EdelkampLL01
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue:
Trail-directed model checking. Workshop on Software Model Checking @ CAV 2001: 343-356

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2017
[p6]
- view
  authority control:
- export record
  dblp key:
  - books/sp/17/DragoniGLMMMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/17/DragoniGLMMMS17
Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina:
Microservices: Yesterday, Today, and Tomorrow. Present and Ulterior Software Engineering 2017: 195-216
2015
[p5]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/NicolaLLLMMMPTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/NicolaLLLMMMPTV15
Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin:
The SCEL Language: Design, Implementation, Verification. The ASCENS Approach 2015: 3-71
[p4]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/BruniCGHLVW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BruniCGHLVW15
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente, Andrea Vandin, Martin Wirsing:
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach 2015: 163-184
[p3]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/AbeywickramaCHKKLLMMMMPTVV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/AbeywickramaCHKKLLMMMMPTVV15
Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Horký, Jaroslav Keznikl, Jan Kofron, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Giacoma Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma, Andrea Vandin, Emil Vassev:
Tools for Ensemble Design and Runtime. The ASCENS Approach 2015: 429-448
2011
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/sensoria2011/BruniFLMT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/sensoria2011/BruniFLMT11
Roberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto:
A Formal Support to Business and Architectural Design for Service-Oriented Systems. Results of the SENSORIA Project 2011: 133-152
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/sensoria2011/BruniCGLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/sensoria2011/BruniCGLM11
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari:
Hierarchical Models for Service-Oriented Systems. Results of the SENSORIA Project 2011: 349-368

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2021
[e8]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2021
Alberto Lluch-Lafuente, Anastasia Mavridou:
Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings. Lecture Notes in Computer Science 12863, Springer 2021, ISBN 978-3-030-85247-4 [contents]
2016
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/2016
Alberto Lluch-Lafuente, José Proença:
Coordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lecture Notes in Computer Science 9686, Springer 2016, ISBN 978-3-319-39518-0 [contents]
2015
[e6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BeekL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BeekL15
Maurice H. ter Beek, Alberto Lluch-Lafuente:
Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015, Oslo, Norway, 23rd June 2015. EPTCS 188, 2015 [contents]
[e5]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KnightLLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KnightLLV15
Sophia Knight, Ivan Lanese, Alberto Lluch-Lafuente, Hugo Torres Vieira:
Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015. EPTCS 189, 2015 [contents]
2014
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/2013
Martín Abadi, Alberto Lluch-Lafuente:
Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8358, Springer 2014, ISBN 978-3-319-05118-5 [contents]
[e3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BosnackiELW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BosnackiELW14
Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente, Anton Wijs:
Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2014, Grenoble, France, 5th April 2014. EPTCS 159, 2014 [contents]
[e2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LaneseLSV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LaneseLSV14
Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira:
Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014. EPTCS 166, 2014 [contents]
2013
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CarboneLLS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CarboneLLS13
Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova:
Proceedings 6th Interaction and Concurrency Experience, ICE 2013, Florence, Italy, 6th June 2013. EPTCS 131, 2013 [contents]

Data and Artifacts

see FAQ

What is the meaning of the colors in the publication lists?

2021
[d1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/DragoniMLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DragoniMLS21
Nicola Dragoni, Fabio Massacci, Alberto Lluch-Lafuente, Anders Schlichtkrull:
A Survey of European Cybersecurity in Higher Education Programs. IEEE DataPort, 2021

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-13019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-13019
Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Alberto Lluch-Lafuente, Andrea Vandin:
White-box validation of quantitative product lines by statistical model checking and process mining. CoRR abs/2401.13019 (2024)
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-12040
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-12040
Alyzia-Maria Konsta, Gemma Di Federico, Alberto Lluch-Lafuente, Andrea Burattin:
Attack Tree Generation via Process Mining. CoRR abs/2402.12040 (2024)
2023
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-14479
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-14479
Alyzia Maria Konsta, Beatrice Spiga, Alberto Lluch-Lafuente, Nicola Dragoni:
A Survey of Automatic Generation of Attack Trees and Attack Graphs. CoRR abs/2302.14479 (2023)
2022
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-01333
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-01333
Massimo Bartoletti, James Hsin-yu Chiang, Tommi Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin:
Formal Analysis of Lending Pools in Decentralized Finance. CoRR abs/2206.01333 (2022)
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-15169
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-15169
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Minimization of Dynamical Systems over Monoids. CoRR abs/2206.15169 (2022)
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-01712
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-01712
Alyzia Maria Konsta, Alberto Lluch-Lafuente, Nicola Dragoni:
Trust Management for Internet of Things: A Systematic Literature Review. CoRR abs/2211.01712 (2022)
2021
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-08677
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-08677
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Quantitative Security Risk Modeling and Analysis with RisQFLan. CoRR abs/2101.08677 (2021)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-11350
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-11350
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
A theory of Automated Market Makers in DeFi. CoRR abs/2102.11350 (2021)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-01870
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-01870
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
Maximizing Extractable Value from Automated Market Makers. CoRR abs/2106.01870 (2021)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-15476
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-15476
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Reducing Boolean Networks with Backward Boolean Equivalence. CoRR abs/2106.15476 (2021)
2020
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-13230
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-13230
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
SoK: Lending Pools in Decentralized Finance. CoRR abs/2012.13230 (2020)
2017
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BeekLLV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BeekLLV17
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
A framework for quantitative modeling and analysis of highly (re)configurable systems. CoRR abs/1707.08411 (2017)
2016
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DragoniGLMMMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DragoniGLMMMS16
Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina:
Microservices: yesterday, today, and tomorrow. CoRR abs/1606.04036 (2016)
2013
[i1]
- view
  - electronic edition @ tinytocs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/tinytocs/BruniCGLV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tinytocs/BruniCGLV13
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptation is a Game. Tiny Trans. Comput. Sci. 2 (2013)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.