Items where Author is "Lluch-Lafuente, Alberto"

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Modelling and analyzing adaptive self-assembling strategies with Maude. Science of Computer Programming, 99. pp. 75-94. ISSN 0167-6423 (2015)

ter Beek, M.H. and Legay, Axel and Lluch-Lafuente, Alberto and Vandin, Andrea Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative Constraints. In: Proceedings of the 19th International Conference on Software Product Line, 2015, New York, USA pp. 11-15. ISBN 978-1-4503-3613-0. (2015)

Lanese , Ivan and Lluch-Lafuente, Alberto and Sokolova, Ana and Torres Vieira, Hugo (edited by) Proceedings 7th Interaction and Concurrency Experience, ICE 2014 (Berlin, Germany, 6th June 2014). Electronic Proceedings in Theoretical Computer Science, 166. ISSN 2075-2180 (2014)

Celestini, Alessandro and Lluch-Lafuente, Alberto and Mayer, Philip and Sebastio, Stefano and Tiezzi, Francesco Reputation-based Cooperation in the Clouds. In: Trust Management VIII. Proceedings of the 8th IFIP WG 11.11 International Conference, IFIPTM 2014, Singapore, July 7-10, 2014. IFIP Advances in Information and Communication Technology (430). Springer, pp. 213-220. ISBN 978-3-662-43812-1 (2014)

Sebastio, Stefano and Amoretti, Michele and Lluch-Lafuente, Alberto A Computational Field Framework for Collaborative Task Execution in Volunteer Clouds. Working Paper # /2014 (Submitted)

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo Constraint Design Rewriting. Science of Computer Programming. ISSN 0167-6423 (2013)

Carbone, Marco and Lanese, Ivan and Lluch-Lafuente, Alberto and Sokolova, Ana Proceedings 6th Interaction and Concurrency Experience, ICE 2013. Electronic Proceedings in Theoretical Computer Science. (2013)

ter Beek, Maurice H. and Lluch-Lafuente, Alberto and Petrocchi, Marinella Combining Declarative and Procedural Views in the Specification and Analysis of Product Families. In: 4th Int'l Workshop on Formal Methods and Analysis in Software Product Line Eng. (FMSPLE 2013) (2013)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Adaptable transition systems. In: Proceedings fo the 21st International Workshop on Algebraic Development Techniques (WADT 2012). Lecture Notes in Computer science (7841). Springer, pp. 95-110. ISBN 978-3-642-37635-1 (2013)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Adaptation is a Game. Tiny Transactions on Computer Science, 2. (2013)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea A Conceptual Framework for Adaptation. Working Paper # /2013 (Unpublished)

Amoretti, Michele and Lluch-Lafuente, Alberto and Sebastio, Stefano A cooperative approach for distributed task execution in autonomic clouds. In: 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2013). IEEE, pp. 274-281. (2013)

Lluch-Lafuente, Alberto and Meseguer, José and Vandin, Andrea State space c-reductions for concurrent systems in rewriting logic. Working Paper # /2012 (Unpublished)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea A Conceptual Framework for Adaptation. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science (7212). Springer, pp. 240-254. ISBN 978-3-642-28872-2 (2012)

Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Counterpart Semantics for a Second-Order mu-Calculus. Fundamenta Informaticae, 118 (1-2). pp. 177-205. ISSN 1875-8681 (2012)

Lluch-Lafuente, Alberto and Gadducci, Fabio and Vandin, Andrea Exploiting over- and under-approximations for infinite-state counterpart models. In: Graph Transformations. Lecture Notes in Computer Science (7562). Springer, pp. 51-65. ISBN 978-3-642-33654-6 (2012)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Modelling and analyzing adaptive self-assembling strategies with Maude. In: Rewriting Logic and Its Applications. Lecture Notes in Computer Science (7571). Springer, pp. 118-138. ISBN 978-3-642-34004-8 (2012)

Lluch-Lafuente, Alberto and Meseguer, José and Vandin, Andrea State space c-reductions for concurrent systems in rewriting logic. In: Formal Methods and Software Engineering. Lecture Notes in Computer Science (7635). Springer, pp. 430-446. ISBN 978-3-642-34281-3 (2012)

Bruni, Roberto and Lluch-Lafuente, Alberto Evaluating the performance of model transformation styles in Maude. In: Formal Aspects of Component Software. Lecture Notes in Computer Science (7253). Springer, pp. 76-96. ISBN 978-3-642-35743-5 (2011)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Montanari, Ugo Hierarchical models for service-oriented systems. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 349-368. ISBN 978-3-642-20400-5 (2011)

Lluch-Lafuente, Alberto and Righi, Marco Internet e Web 2.0. Collezione di informatica . UTET Università, Torino. ISBN 9788860083418 (2011)

Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea A Lewisian approach to the verification of adaptive systems. Rivista Italiana di Filosofia Analitica Junior , 2 (2). ISSN 2037-4445 (2011)

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo On structured model-driven transformations. International journal of software and informatics, 5 (1-2). pp. 185-206. ISSN 1673-7288 (2011)

Lluch-Lafuente, Alberto and Vandin, Andrea Towards a Maude tool for model checking temporal graph properties. Electronic Communications of the EASST, 41. ISSN 1863-2122 (2011)

Bruni, Roberto and Foster, Howard and Lluch-Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio A formal support to business and architectural design for service-oriented systems. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 133-152. ISBN 978-3-642-20400-5 (2011)

Bruni, Roberto and Gadducci, Fabio and Lluch-Lafuente, Alberto An Algebra of Hierarchical Graphs and its Application to Structural Encoding. Scientific Annals in Computer Science, 20. pp. 53-96. ISSN 1843 - 8121 (2010)

Bruni, Roberto and Gadducci, Fabio and Lluch-Lafuente, Alberto An Algebra of Hierarchical Graphs. In: Trustworthly Global Computing (TCG 2010). Lecture Notes in Computer Science, 6084 . Springer, pp. 205-221. ISBN 978-3-642-15639-7 (2010)

Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Counterpart semantics for a second-order mu-calculus. In: Graph Transformations (ICGT 2010). Lecture Notes in Computer Science, 6372 . Springer, pp. 282-297. ISBN 978-3-642-15927-5 (2010)

Lluch-Lafuente, Alberto and Bruni, Roberto and Boronat, Artur and Montanari, Ugo and Paolillo, Generoso Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. In: Formal Techniques for Distributed Systems (FMOODS/FORTE 2010). Lecture Notes in Computer Science, 6117 . Springer, pp. 2-16. ISBN 978-3-642-13463-0 (2010)

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Montanari, Ugo On GS-Monoidal Theories for Graphs with Nesting. In: Graph Transformations and Model-Driven Engineering. Lecture Notes in Computer Science, 5765 . Springer, pp. 59-86. ISBN 978-3-642-17321-9 (2010)

Bucchiarone, Antonio and Lluch-Lafuente, Alberto and Marconi, Annapaola and Pistore, Marco A Formalisation of Adaptable Pervasive Flows. In: Web Services and Formal Methods (WS-FM’09). Lecture Notes in Computer Science, 6194 . Springer, pp. 61-75. ISBN 978-3-642-14457-8 (2009)

Bruni, Roberto and Gadducci, Fabio and Lluch-Lafuente, Alberto A Graph Syntax for Processes and Services. In: Web Services and Formal Methods (WS-FM’09). Lecture Notes in Computer Science, 6194 . Springer, pp. 46-60. ISBN 978-3-642-14457-8 (2009)

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo Hierarchical design rewriting with Maude. Electronic Notes in Theoretical Computer Science, 238 (3). pp. 45-62. ISSN 1571-0661 (2009)

Bracciali, Andrea and Bruni, Roberto and Lluch-Lafuente, Alberto On symbolic semantics for name-decorated contexts. Electronic Notes in Theoretical Computer Science, 229 (3). pp. 37-58. ISSN 1571-0661 (2009)

Bosnacki, Dragan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-order reduction for general state exploring algorithms. International Journal on Software Tools for Technology Transfer (STTT), 11 (1). pp. 39-51. ISSN 1433-2779 (2009)

Bruni, Roberto and Hölzl, Matthias and Koch, Nora and Lluch-Lafuente, Alberto and Mayer, Philip and Montanari, Ugo and Schroeder, Andreas and Wirsing, Martin A Service-Oriented UML Profile with Formal Support. In: Service-Oriented Computing (ICSOC/ServiceWave 2009). Lecture Notes in Computer Science, 5900 . Springer, pp. 455-469. ISBN 978-3-642-10382-7 (2009)

Bruni, Roberto and Lluch-Lafuente, Alberto Ten virtues of structured graphs. Electronic Communications of the EASST (ECEASST), 18. ISSN 1863-2122 (2009)

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio Architectural design rewriting as an architecture description language. In: The Rise and Rise of the Declarative Datacentre - Research Meeting, May 12-13, 2008, Cambridge, UK (Unpublished) (2008)

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio Style-Based architectural reconfigurations. Bulletin of the European association for theoretical computer science, 94. pp. 161-180. ISSN 0252-9742 (2008)

Bruni, Roberto and Bucchiarone, Antonio and Gnesi, Stefania and Hirsch, Dan and Lluch-Lafuente, Alberto Graph-Based Design and Analysis of Dynamic Software Architectures. In: Concurrency, Graphs and Models ('08). Lecture Notes in Computer Science, 5065 . Springer, pp. 37-56. ISBN 978-3-540-68676-7 (2008)

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio Service Oriented Architectural Design. In: Trustworthy Global Computing (TGC '07). Lecture Notes in Computer Science, 4912 . Springer, pp. 186-203. ISBN 978-3-540-78662-7 (2008)

Gadducci, Fabio and Lluch-Lafuente, Alberto Graphical Encoding of a Spatial Logic for the pi-Calculus. In: Algebra and Coalgebra in Computer Science (CALCO’07). Lecture Notes in Computer Science, 4624 . Springer, pp. 209-225. ISBN 978-3-540-73857-2 (2007)

Lluch-Lafuente, Alberto Towards Model Checking Spatial Properties with SPIN. In: Model Checking Software (SPIN'07). Lecture Notes in Computer Science, 4595 . Springer, pp. 223-242. ISBN 978-3-540-73369-0 (2007)

Ferrari, GianLuigi and Lluch-Lafuente, Alberto A Logic for Graphs with QoS. Electronic Notes in Theoretical Computer Science, 142. pp. 143-160. ISSN 1571-0661 (2006)

Gadducci, Fabio and Lluch-Lafuente, Alberto Graphical Verification of a Spatial Logic for the Graphical Verification of a Spatial Logic for the pi-calculus. Electronic Notes in Theoretical Computer Science, 154 (2). pp. 31-46. ISSN 1571-0661 (2006)

Edelkamp, Stefan and Jabbar, Shahid and Lluch-Lafuente, Alberto Heuristic Search for the Analysis of Graph Transition Systems. In: Graph Transformations (ICGT 2006). Lecture Notes in Computer Science, 4178 . Springer, pp. 414-429. ISBN 3-540-38870-2 (2006)

Bosnacki, Dragan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-Order Reduction for General State Exploring Algorithms. In: Model Checking Software (SPIN 2006). Lecture Notes in Computer Science, 3925 . Springer, pp. 271-287. ISBN 3-540-33102-6 (2006)

Baldan, Paolo and Corradini, Andrea and König, Barbara and Lluch-Lafuente, Alberto A Temporal Graph Logic for Verification of Graph Transformation Systems. In: Recent Trends in Algebraic Development Techniques (WADT’06). Lecture Notes in Computer Science, 4409 . Springer, pp. 1-20. ISBN 978-3-540-71997-7 (2006)

Hirsch, Dan and Lluch-Lafuente, Alberto and Tuosto, Emilio A logic for application level QoS. Electronic Notes in Theoretical Computer Science, 153 (2). pp. 135-159. ISSN 1571-0661 (2006)

Edelkamp, Stefan and Jabbar, Shahid and Lluch-Lafuente, Alberto Action planning for graph transition systems. In: ICAPS'05 Workshop on verification and validation of model-based planning and scheduling systems, 5th-10th June 2005, Monterey, California, USA (Unpublished) (2005)

Edelkamp, Stefan and Jabbar, Shahid and Lluch-Lafuente, Alberto Cost-Algebraic Heuristic Search. In: AAAI-05, Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA. AAAI Press / The MIT Press, pp. 1362-1367. ISBN 1-57735-236-X (2005)

Lluch-Lafuente, Alberto and Montanari, Ugo Quantitative mu-calculus and CTL Based on Constraint Semirings. Electronic Notes in Theoretical Computer Science, 112. pp. 37-59. ISSN 1571-0661 (2005)

Lluch-Lafuente, Alberto and Montanari, Ugo Quantitative mu-calculus and CTL defined over constraint semirings. Theoretical Computer Science, 346 (1). pp. 135-160. ISSN 0304-3975 (2005)

Rubio-Loyola, Javier and Serrat, Joan and Flegkas, Paris and Pavlou, George and Lluch-Lafuente, Alberto Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks. In: Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY’05). IEEE Computer Society, pp. 181-190. ISBN 0-7695-2265-3 (2005)

Edelkamp, Stefan and Lluch-Lafuente, Alberto Abstraction in directed model checking. In: Workshop on Connecting Planning Theory with Practice, International Conference on Automated Planning and Scheduling, June 3-7 2004, Whistler, Canada pp. 7-13. (Unpublished) (2004)

Edelkamp, Stefan and Leue, Stefan and Lluch-Lafuente, Alberto Directed explicit-state model checking in the validation of communication protocols. International Journal on Software Tools for Technology Transfer (STTT), 5 (2-3). pp. 247-267. ISSN 1433-2779 (2004)

Edelkamp, Stefan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-order reduction and trail improvement in directed model checking. International Journal on Software Tools for Technology Transfer (STTT), 6 (4). pp. 277-301. ISSN 1433-2779 (2004)

Lluch-Lafuente, Alberto Symmetry reduction and heuristic search for error detection in model checking. In: Workshop on Model Checking and Artificial Intelligence (MoChArt-03), 10 August 2003, Acapulco, Mexico (Unpublished) (2003)

Lluch-Lafuente, Alberto and Edelkamp, Stefan and Leue, Stefan Partial Order Reduction in Directed Model Checking. In: Model Checking Software (SPIN '02). Lecture Notes in Computer Science, 2318 . Springer, pp. 95-138. ISBN 3-540-43477-1 (2002)

Edelkamp, Stefan and Lluch-Lafuente, Alberto and Leue, Stefan Protocol verification with heuristic search. In: AAAI Spring Symposium on Model-Based Validation of Intelligence, March 26-28, 2001, Stanford University (Submitted) (2001)

Edelkamp, Stefan and Lluch-Lafuente, Alberto and Leue, Stefan Directed Explicit Model Checking with HSF-SPIN. In: Model Checking Software (SPIN '01). Lecture Notes in Computer Science, 2057 . Springer, pp. 57-79. ISBN 3-540-42124-6 (2001)

Edelkamp, Stefan and Lluch-Lafuente, Alberto and Leue, Stefan Trail-directed model checking. Electronic Notes in Theoretical Computer Science, 55 (3). ISSN 1571-0661 (2001)