Alberto Lluch-Lafuente
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
30
Venues
18
Active years
2005–2024
Best venue rank
A*
Where they publish
Papers
30 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CAV | What Should Be Observed for Optimal Reward in POMDPs? | Alyzia-Maria Konsta, Alberto Lluch-Lafuente, Christoph Matheja |
| 2024 | ISoLA | Attack Tree Generation via Process Mining. | Alyzia-Maria Konsta, Gemma Di Federico, Alberto Lluch-Lafuente, Andrea Burattin |
| 2024 | REFSQ | Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. | Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari |
| 2023 | LICS | Minimization of Dynamical Systems over Monoids. | Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2022 | FC | Maximizing Extractable Value from Automated Market Makers. | Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente |
| 2022 | ISoLA | Formal Analysis of Lending Pools in Decentralized Finance. | Massimo Bartoletti, James Hsin-yu Chiang, Tommi A. Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin |
| 2021 | CAV | Model Checking mega-Regular Properties with Decoupled Search. | Daniel Gnad, Jan Eisenhut, Alberto Lluch-Lafuente, Jrg Hoffmann |
| 2021 | Coordination | A Theory of Automated Market Makers in DeFi. | Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente |
| 2021 | FC | Towards a Theory of Decentralized Finance. | Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente |
| 2021 | FC | SoK: Lending Pools in Decentralized Finance. | Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente |
| 2020 | WISE | Quality Criteria for Cyber Security MOOCs. | Simone Fischer-Hbner, Matthias Beckerle, Alberto Lluch-Lafuente, Antonio Ruiz-Martnez, Karo Saharinen, Antonio F. Skarmeta, Pierantonia Sterlini |
| 2019 | IFM | Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. | Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin |
| 2018 | Coordination | Aggregation Policies for Tuple Spaces. | Linas Kaminskas, Alberto Lluch-Lafuente |
| 2018 | FM | QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. | Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente |
| 2018 | PDP | Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies. | Vitaly Buravlev, Rocco De Nicola, Alberto Lluch-Lafuente, Claudio Antares Mezzina |
| 2017 | Coordination | Many-to-Many Information Flow Policies. | Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente |
| 2016 | ISoLA | Statistical Model Checking for Product Lines. | Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin |
| 2015 | Coordination | Replica-Based High-Performance Tuple Space Computing. | Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente |
| 2015 | Coordination | A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. | Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari |
| 2015 | Coordination | Klaim-DB: A Modeling Language for Distributed Database Applications. | Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson |
| 2015 | SPLC | Statistical analysis of probabilistic models of software product lines with quantitative constraints. | Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin |
| 2014 | ICSE | A computational field framework for collaborative task execution in volunteer clouds. | Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente |
| 2013 | PDP | A Cooperative Approach for Distributed Task Execution in Autonomic Clouds. | Michele Amoretti, Alberto Lluch-Lafuente, Stefano Sebastio |
| 2013 | SPLC | Combining declarative and procedural views in the specification and analysis of product families. | Maurice H. ter Beek, Alberto Lluch-Lafuente, Marinella Petrocchi |
| 2012 | FASE | A Conceptual Framework for Adaptation. | Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin |
| 2012 | ICFEM | State Space c-Reductions of Concurrent Systems in Rewriting Logic. | Alberto Lluch-Lafuente, Jos Meseguer, Andrea Vandin |
| 2010 | FORTE | Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. | Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo |
| 2009 | ICSOC | A Service-Oriented UML Profile with Formal Support. | Roberto Bruni, Matthias M. Hlzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing |
| 2007 | CALCO | Graphical Encoding of a Spatial Logic for the | Fabio Gadducci, Alberto Lluch-Lafuente |
| 2005 | AAAI | Cost-Algebraic Heuristic Search. | Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente |