alberto-lluch-lafuente documents

A conceptual framework for behavioural adaptation @ Meeting ASCENS 2011
Technology A conceptual framework for behavioural adaptation @ Meeting ASCENS 2011
Maude .:° ASCENS 2011
Education Maude .:° ASCENS 2011
State Space c-Reductions of Concurrent Systems in Rewriting Logic @ ETAPS Workshop WRLA 2013
Technology State Space c-Reductions of Concurrent Systems in Rewriting Logic @ ETAPS Workshop WRLA 2013
A Semiring-valued Temporal Logic
Science A Semiring-valued Temporal Logic
A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012
Education A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012
Can we efficiently verify concurrent programs under relaxed memory models in Maude?
Science Can we efficiently verify concurrent programs under relaxed memory models in Maude?
White Box Adaptation @ CINA Meeting 2013
Documents White Box Adaptation @ CINA Meeting 2013
A Graph Syntax for Processes and Services @ Workshop WS-FM 2009
Education A Graph Syntax for Processes and Services @ Workshop WS-FM 2009
Adaptable Transition Systems @ ASCENS Meeting Prague 2013
Documents Adaptable Transition Systems @ ASCENS Meeting Prague 2013
IMT Welcome Day 2011
Documents IMT Welcome Day 2011
Collaborative Task Execution In Volunteer Clouds (or how to choose a sub-reviewer)
Technology Collaborative Task Execution In Volunteer Clouds (or how to choose a sub-reviewer)
An Algebra of Hierarchical Graphs
Education An Algebra of Hierarchical Graphs
Quantitative μ-calculus and CTL Based on Constraint Semirings
Documents Quantitative μ-calculus and CTL Based on Constraint Semirings
Quantitative μ-calculus and CTL defined over constraint semirings
Documents Quantitative μ-calculus and CTL defined over constraint semirings
Aggregate Programming through a Soft Modal Logic
Science Aggregate Programming through a Soft Modal Logic
A conceptual framework for behavioural adaptation @ Leicester 2011
Technology A conceptual framework for behavioural adaptation @ Leicester 2011
Many-to-Many Information Flow Policies
Science Many-to-Many Information Flow Policies