Alberto Lluch Lafuente, profile picture

Alberto Lluch Lafuente

17 Slideshow
Sort by
Many-to-Many Information Flow Policies
byAlberto Lluch Lafuente
 
Aggregate Programming through a Soft Modal Logic
byAlberto Lluch Lafuente
 
A Semiring-valued Temporal Logic
byAlberto Lluch Lafuente
 
Can we efficiently verify concurrent programs under relaxed memory models in Maude?
byAlberto Lluch Lafuente
 
Collaborative Task Execution In Volunteer Clouds (or how to choose a sub-reviewer)
byAlberto Lluch Lafuente
 
State Space C-Reductions @ ETAPS Workshop GRAPHITE 2013
byAlberto Lluch Lafuente
 
Adaptable Transition Systems @ ASCENS Meeting Prague 2013
byAlberto Lluch Lafuente
 
White Box Adaptation @ CINA Meeting 2013
byAlberto Lluch Lafuente
 
A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012
byAlberto Lluch Lafuente
 
State Space c-Reductions of Concurrent Systems in Rewriting Logic @ ETAPS Workshop WRLA 2013
byAlberto Lluch Lafuente
 
A conceptual framework for behavioural adaptation @ Leicester 2011
byAlberto Lluch Lafuente
 
Evaluating the performance of model transformation styles with Maude @ Symposium FACS 2011
byAlberto Lluch Lafuente
 
A conceptual framework for behavioural adaptation @ Meeting ASCENS 2011
byAlberto Lluch Lafuente
 
Maude .:° ASCENS 2011
byAlberto Lluch Lafuente
 
IMT Welcome Day 2011
byAlberto Lluch Lafuente