Alberto Lluch-Lafuente

140 papers A* 2A 1B 10C 12Journal 55Unranked 47

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Formal Approach to AMM Fee Mechanisms with Lean 4. CoRR Marco Dessalvi, Massimo Bartoletti, Alberto Lluch-Lafuente
2025	J	`jnl`	Editorial message from the new Editor-in-Chief. J. Log. Algebraic Methods Program. Alberto Lluch-Lafuente
2025	J	`jnl`	Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication. Inf. Softw. Technol. Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessandro Fantechi, Alessio Ferrari
2024	C	`conf`	A Netting Protocol for Liquidity-saving Automated Market Makers. DLT Margherita Renieri, Letterio Galletta, Alberto Lluch-Lafuente, James Hsin-yu Chiang
2024	B	`conf`	Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. REFSQ Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari
2024	J	`jnl`	Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. CoRR Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari
2024	—	`conf`	Attack Tree Generation via Process Mining. ISoLA (1) Alyzia-Maria Konsta, Gemma Di Federico, Alberto Lluch-Lafuente, Andrea Burattin
2024	J	`jnl`	Attack Tree Generation via Process Mining. CoRR Alyzia-Maria Konsta, Gemma Di Federico, Alberto Lluch-Lafuente, Andrea Burattin
2024	J	`jnl`	Corrigendum to "Survey: Automatic generation of attack trees and attack graphs" [Computers & Security Volume 137, February 2024, 103602]. Comput. Secur. Alyzia Maria Konsta, Alberto Lluch-Lafuente, Beatrice Spiga, Nicola Dragoni
2024	—	`conf`	Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining. DAMOCLES@AVI Roberto Casaluce, Andrea Burratin, Francesca Chiaromonte, Alberto Lluch-Lafuente, Andrea Vandin
2024	J	`jnl`	Generative AI in Software Engineering Must Be Human-Centered: The Copenhagen Manifesto. J. Syst. Softw. Daniel Russo, Sebastian Baltes, Niels van Berkel, Paris Avgeriou, Fabio Calefato, Beatriz Cabrero-Daniel, Gemma Catolino, Jürgen Cito, Neil A. Ernst, Thomas Fritz, Hideaki Hata, Reid Holmes, Maliheh Izadi, Foutse Khomh, Mikkel Baun Kjærgaard, Grischa Liebel, Alberto Lluch-Lafuente, Stefano Lambiase, Walid Maalej, Gail C. Murphy, Nils Brede Moe, Gabrielle O'Brien, Elda Paja, Mauro Pezzè, John Stouby Persson, Rafael Prikladnicki, Paul Ralph, Martin P. Robillard, Thiago Rocha Silva, Klaas-Jan Stol, Margaret-Anne D. Storey, Viktoria Stray, Paolo Tell, Christoph Treude, Bogdan Vasilescu
2024	J	`jnl`	Survey: Automatic generation of attack trees and attack graphs. Comput. Secur. Alyzia Maria Konsta, Alberto Lluch-Lafuente, Beatrice Spiga, Nicola Dragoni
2024	—	`conf`	What Should Be Observed for Optimal Reward in POMDPs? CAV (3) Alyzia-Maria Konsta, Alberto Lluch-Lafuente, Christoph Matheja
2024	J	`jnl`	What should be observed for optimal reward in POMDPs? CoRR Alyzia-Maria Konsta, Alberto Lluch-Lafuente, Christoph Matheja
2024	J	`jnl`	White-box validation of quantitative product lines by statistical model checking and process mining. CoRR Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Alberto Lluch-Lafuente, Andrea Vandin
2024	J	`jnl`	White-box validation of quantitative product lines by statistical model checking and process mining. J. Syst. Softw. Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Alberto Lluch-Lafuente, Andrea Vandin
2023	J	`jnl`	A Survey of Automatic Generation of Attack Trees and Attack Graphs. CoRR Alyzia Maria Konsta, Beatrice Spiga, Alberto Lluch-Lafuente, Nicola Dragoni
2023	J	`jnl`	A Survey of Trust Management for Internet of Things. IEEE Access Alyzia Maria Konsta, Alberto Lluch-Lafuente, Nicola Dragoni
2023	A*	`conf`	Minimization of Dynamical Systems over Monoids. LICS Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	Reducing Boolean networks with backward equivalence. BMC Bioinform. Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2022	J	`jnl`	A theory of Automated Market Makers in DeFi. Log. Methods Comput. Sci. Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
2022	—	`conf`	An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence. CMSB Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2022	—	`conf`	Formal Analysis of Lending Pools in Decentralized Finance. ISoLA (3) Massimo Bartoletti, James Hsin-yu Chiang, Tommi A. Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin
2022	J	`jnl`	Formal Analysis of Lending Pools in Decentralized Finance. CoRR Massimo Bartoletti, James Hsin-yu Chiang, Tommi A. Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin
2022	J	`jnl`	Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. Alberto Lluch-Lafuente, Anastasia Mavridou
2022	—	`conf`	Maximizing Extractable Value from Automated Market Makers. Financial Cryptography Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
2022	J	`jnl`	Minimization of Dynamical Systems over Monoids. CoRR Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2022	J	`jnl`	Trust Management for Internet of Things: A Systematic Literature Review. CoRR Alyzia Maria Konsta, Alberto Lluch-Lafuente, Nicola Dragoni
2021	C	`conf`	A Theory of Automated Market Makers in DeFi. COORDINATION Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
2021	J	`jnl`	A theory of Automated Market Makers in DeFi. CoRR Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
2021	J	`jnl`	Are We Preparing Students to Build Security In? A Survey of European Cybersecurity in Higher Education Programs [Education]. IEEE Secur. Priv. Nicola Dragoni, Alberto Lluch-Lafuente, Fabio Massacci, Anders Schlichtkrull
2021	C	`ed.`	Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings FMICS Alberto Lluch-Lafuente, Anastasia Mavridou
2021	J	`jnl`	Maximizing Extractable Value from Automated Market Makers. CoRR Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
2021	—	`conf`	Model Checking ømega-Regular Properties with Decoupled Search. CAV (2) Daniel Gnad, Jan Eisenhut, Alberto Lluch-Lafuente, Jörg Hoffmann
2021	J	`jnl`	Quantitative Security Risk Modeling and Analysis with RisQFLan. Comput. Secur. Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2021	J	`jnl`	Quantitative Security Risk Modeling and Analysis with RisQFLan. CoRR Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2021	—	`conf`	Reducing Boolean Networks with Backward Boolean Equivalence. CMSB Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	J	`jnl`	Reducing Boolean Networks with Backward Boolean Equivalence. CoRR Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	—	`conf`	SoK: Lending Pools in Decentralized Finance. Financial Cryptography Workshops Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
2021	—	`conf`	Towards a Theory of Decentralized Finance. Financial Cryptography Workshops Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
2020	J	`jnl`	A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems. IEEE Trans. Software Eng. Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2020	B	`conf`	Quality Criteria for Cyber Security MOOCs. WISE Simone Fischer-Hübner, Matthias Beckerle, Alberto Lluch-Lafuente, Antonio Ruiz-Martínez, Karo Saharinen, Antonio F. Skarmeta, Pierantonia Sterlini
2020	J	`jnl`	SoK: Lending Pools in Decentralized Finance. CoRR Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
2020	—	`conf`	Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios. VaMoS Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2019	—	`conf`	A Framework for Provenance-Preserving History Distribution and Incremental Reduction. Models, Languages, and Tools for Concurrent and Distributed Programming Alberto Lluch-Lafuente
2019	J	`jnl`	DisCoTec 2019: the 14th international federated conference on distributed computing techniques. ACM SIGLOG News Alberto Lluch-Lafuente
2019	B	`conf`	Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. IFM Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2018	J	`jnl`	A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds. ACM Trans. Model. Comput. Simul. Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente, Antonio Scala
2018	C	`conf`	Aggregation Policies for Tuple Spaces. COORDINATION Linas Kaminskas, Alberto Lluch-Lafuente
2018	C	`conf`	Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies. PDP Vitaly Buravlev, Rocco De Nicola, Alberto Lluch-Lafuente, Claudio Antares Mezzina
2018	J	`jnl`	Many-to-many information flow policies. Sci. Comput. Program. Paolo Baldan, Alberto Lluch-Lafuente
2018	B	`conf`	QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. FM Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente
2018	—	`conf`	Star-Topology Decoupling in SPIN. SPIN Daniel Gnad, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann
2017	J	`jnl`	A framework for quantitative modeling and analysis of highly (re)configurable systems. CoRR Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2017	J	`jnl`	Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields. Log. Methods Comput. Sci. Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari
2017	J	`jnl`	Automated specification and verification of Web-based applications. J. Log. Algebraic Methods Program. Maurice H. ter Beek, Alberto Lluch-Lafuente
2017	C	`conf`	Many-to-Many Information Flow Policies. COORDINATION Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente
2017	—	`ch.`	Microservices: Yesterday, Today, and Tomorrow. Present and Ulterior Software Engineering Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina
2017	J	`jnl`	Preface for the special issue on Interaction and Concurrency Experience 2015. J. Log. Algebraic Methods Program. Ivan Lanese, Alberto Lluch-Lafuente, Sophia Knight, Hugo Torres Vieira
2016	J	`jnl`	A Coordination Language for Databases. Log. Methods Comput. Sci. Ximeng Li, Xi Wu, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
2016	J	`jnl`	AVOCLOUDY: a simulator of volunteer clouds. Softw. Pract. Exp. Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente
2016	C	`ed.`	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 COORDINATION Alberto Lluch-Lafuente, José Proença
2016	J	`jnl`	Microservices: yesterday, today, and tomorrow. CoRR Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina
2016	J	`jnl`	Preface for the special issue on Interaction and Concurrency Experience 2014. J. Log. Algebraic Methods Program. Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira
2016	—	`conf`	Replicating Data for Better Performances in X10. Semantics, Logics, and Calculi Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente
2016	J	`jnl`	Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014). Sci. Comput. Program. Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente, Anton Wijs
2016	—	`conf`	Statistical Model Checking for Product Lines. ISoLA (1) Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2015	C	`conf`	A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. COORDINATION Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari
2015	—	`conf`	A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2015	—	`conf`	Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2015	J	`jnl`	Constraint design rewriting. Sci. Comput. Program. Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
2015	—	`conf`	Discretionary Information Flow Control for Interaction-Oriented Specifications. Logic, Rewriting, and Concurrency Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
2015	J	`jnl`	Guest Editorial: Special Issue on Service-Oriented Architectures and Programming. J. Internet Serv. Inf. Secur. Mario Bravetti, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi
2015	C	`conf`	Klaim-DB: A Modeling Language for Distributed Database Applications. COORDINATION Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
2015	J	`jnl`	Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2015	J	`jnl`	Preface for the special issue of Interaction and Concurrency Experience 2013. Sci. Comput. Program. Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova
2015	J	`jnl`	Preface. Serv. Oriented Comput. Appl. Alberto Lluch-Lafuente, Emilio Tuosto
2015	—	`ed.`	Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015, Oslo, Norway, 23rd June 2015. WWV Maurice H. ter Beek, Alberto Lluch-Lafuente
2015	—	`ed.`	Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015. ICE Sophia Knight, Ivan Lanese, Alberto Lluch-Lafuente, Hugo Torres Vieira
2015	—	`conf`	Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. FMSPLE Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2015	—	`ch.`	Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente, Andrea Vandin, Martin Wirsing
2015	C	`conf`	Replica-Based High-Performance Tuple Space Computing. COORDINATION Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente
2015	B	`conf`	Statistical analysis of probabilistic models of software product lines with quantitative constraints. SPLC Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2015	—	`ch.`	The SCEL Language: Design, Implementation, Verification. The ASCENS Approach Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin
2015	—	`ch.`	Tools for Ensemble Design and Runtime. The ASCENS Approach 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
2014	A	`conf`	A computational field framework for collaborative task execution in volunteer clouds. SEAMS Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente
2014	—	`conf`	Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? WRLA Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch-Lafuente
2014	—	`ed.`	Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2014, Grenoble, France, 5th April 2014. GRAPHITE Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente, Anton Wijs
2014	—	`ed.`	Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014. ICE Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira
2014	—	`conf`	Programming and Verifying Component Ensembles. FPS@ETAPS Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi
2014	—	`conf`	Reputation-Based Cooperation in the Clouds. IFIPTM Alessandro Celestini, Alberto Lluch-Lafuente, Philip Mayer, Stefano Sebastio, Francesco Tiezzi
2014	—	`ed.`	Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers TGC Martín Abadi, Alberto Lluch-Lafuente
2013	C	`conf`	A Cooperative Approach for Distributed Task Execution in Autonomic Clouds. PDP Michele Amoretti, Alberto Lluch-Lafuente, Stefano Sebastio
2013	J	`jnl`	Adaptation is a Game. Tiny Trans. Comput. Sci. Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2013	—	`conf`	Combining declarative and procedural views in the specification and analysis of product families. SPLC Workshops Maurice H. ter Beek, Alberto Lluch-Lafuente, Marinella Petrocchi
2013	—	`ed.`	Proceedings 6th Interaction and Concurrency Experience, ICE 2013, Florence, Italy, 6th June 2013. ICE Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova
2012	B	`conf`	A Conceptual Framework for Adaptation. FASE Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012	—	`conf`	Adaptable Transition Systems. WADT Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012	J	`jnl`	Counterpart Semantics for a Second-Order μ-Calculus. Fundam. Informaticae Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012	B	`conf`	Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. ICGT Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012	—	`conf`	Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012	C	`conf`	State Space c-Reductions of Concurrent Systems in Rewriting Logic. ICFEM Alberto Lluch-Lafuente, José Meseguer, Andrea Vandin
2011	—	`ch.`	A Formal Support to Business and Architectural Design for Service-Oriented Systems. Results of the SENSORIA Project Roberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto
2011	—	`conf`	Evaluating the Performance of Model Transformation Styles in Maude. FACS Roberto Bruni, Alberto Lluch-Lafuente
2011	—	`ch.`	Hierarchical Models for Service-Oriented Systems. Results of the SENSORIA Project Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari
2011	J	`jnl`	On Structured Model-Driven Transformations. Int. J. Softw. Informatics Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
2011	J	`jnl`	Towards a Maude Tool for Model Checking Temporal Graph Properties. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Andrea Vandin, Alberto Lluch-Lafuente
2010	J	`jnl`	An Algebra of Hierarchical Graphs and its Application to Structural Encoding. Sci. Ann. Comput. Sci. Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente
2010	—	`conf`	An Algebra of Hierarchical Graphs. TGC Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente
2010	B	`conf`	Counterpart Semantics for a Second-Order ICGT Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2010	—	`conf`	Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. FMOODS/FORTE Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo
2010	—	`conf`	On GS-Monoidal Theories for Graphs with Nesting. Graph Transformations and Model-Driven Engineering Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari
2009	—	`conf`	A Formalisation of Adaptable Pervasive Flows. WS-FM Antonio Bucchiarone, Alberto Lluch-Lafuente, Annapaola Marconi, Marco Pistore
2009	—	`conf`	A Graph Syntax for Processes and Services. WS-FM Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente
2009	—	`conf`	A Service-Oriented UML Profile with Formal Support. ICSOC/ServiceWave Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing
2009	J	`jnl`	Partial-order reduction for general state exploring algorithms. Int. J. Softw. Tools Technol. Transf. Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente
2009	J	`jnl`	Ten virtues of structured graphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Roberto Bruni, Alberto Lluch-Lafuente
2008	—	`conf`	Graph-Based Design and Analysis of Dynamic Software Architectures. Concurrency, Graphs and Models Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente
2008	—	`conf`	Hierarchical Design Rewriting with Maude. WRLA Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
2008	—	`conf`	On Symbolic Semantics for Name-decorated Contexts. ICE@ICALP Andrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente
2008	J	`jnl`	Style-Based Architectural Reconfigurations. Bull. EATCS Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
2007	B	`conf`	Graphical Encoding of a Spatial Logic for the CALCO Fabio Gadducci, Alberto Lluch-Lafuente
2007	—	`conf`	Service Oriented Architectural Design. TGC Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto
2007	—	`conf`	Towards Model Checking Spatial Properties with SPIN. SPIN Alberto Lluch-Lafuente
2006	—	`conf`	A Temporal Graph Logic for Verification of Graph Transformation Systems. WADT Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente
2006	B	`conf`	Heuristic Search for the Analysis of Graph Transition Systems. ICGT Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente
2006	—	`conf`	Partial-Order Reduction for General State Exploring Algorithms. SPIN Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente
2005	—	`conf`	A Logic for Application Level QoS. QAPL Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto
2005	A*	`conf`	Cost-Algebraic Heuristic Search. AAAI Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente
2005	—	`conf`	Graphical Verification of a Spatial Logic for the GT-VC@CONCUR Fabio Gadducci, Alberto Lluch-Lafuente
2005	J	`jnl`	Quantitative mu-calculus and CTL defined over constraint semirings. Theor. Comput. Sci. Alberto Lluch-Lafuente, Ugo Montanari
2005	—	`conf`	Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks. POLICY Javier Rubio-Loyola, Joan Serrat, Marinos Charalambides, Paris Flegkas, George Pavlou, Alberto Lluch-Lafuente
2004	—	`conf`	A Logic for Graphs with QoS. VODCA@FOSAD Gianluigi Ferrari, Alberto Lluch-Lafuente
2004	J	`jnl`	Directed explicit-state model checking in the validation of communication protocols. Int. J. Softw. Tools Technol. Transf. Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente
2004	J	`jnl`	Partial-order reduction and trail improvement in directed model checking. Int. J. Softw. Tools Technol. Transf. Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente
2004	—	`conf`	Quantitative ?-calculus and CTL Based on Constraint Semirings. QAPL Alberto Lluch-Lafuente, Ugo Montanari
2003	—	`—`	Directed search for the verification of communication protocols. Alberto Lluch-Lafuente
2002	—	`conf`	Partial Order Reduction in Directed Model Checking. SPIN Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue
2001	—	`conf`	Directed Explicit Model Checking with HSF-SPIN. SPIN Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue
2001	—	`conf`	Trail-directed model checking. Workshop on Software Model Checking @ CAV Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue