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