BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × France
1 × Germany
1 × The Netherlands
1 × USA
2 × Estonia
Collaborated with:
A.Vandin R.Bruni F.Gadducci U.Montanari A.Corradini M.Amoretti S.Sebastio S.Edelkamp S.Jabbar D.Hirsch E.Tuosto M.H.t.Beek A.Legay Y.A.Alrahman M.Andric A.Beggiato
Talks about:
model (5) maud (4) graph (3) counterpart (2) constraint (2) calculus (2) quantit (2) analysi (2) under (2) check (2)

Person: Alberto Lluch-Lafuente

DBLP DBLP: Lluch-Lafuente:Alberto

Facilitated 1 volumes:

GRAPHITE 2014Ed

Contributed to:

SPLC 20152015
WRLA 20142014
PDP 20132013
FASE 20122012
ICGT 20122012
WRLA 20122012
GT-VMT 20112011
ICGT 20102010
GT-VMT 20092009
WRLA 20082009
ICGT 20062006
QAPL 20052006
QAPL 20042005

Wrote 13 papers:

SPLC-2015-BeekLLV #analysis #constraints #modelling #probability #product line #statistics
Statistical analysis of probabilistic models of software product lines with quantitative constraints (MHtB, AL, ALL, AV), pp. 11–15.
WRLA-2014-AlrahmanABL #concurrent #maude #memory management #modelling #question #source code
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? (YAA, MA, AB, ALL), pp. 21–41.
PDP-2013-AmorettiLS #approach #distributed #execution
A Cooperative Approach for Distributed Task Execution in Autonomic Clouds (MA, ALL, SS), pp. 274–281.
FASE-2012-BruniCGLV #adaptation #concept #framework
A Conceptual Framework for Adaptation (RB, AC, FG, ALL, AV), pp. 240–254.
ICGT-2012-GadducciLV #approximate #infinity #modelling
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models (FG, ALL, AV), pp. 51–65.
WRLA-2012-BruniCGLV #adaptation #maude #modelling #self
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude (RB, AC, FG, ALL, AV), pp. 118–138.
GT-VMT-2011-VandinL #graph #maude #model checking #towards
Towards a Maude Tool for Model Checking Temporal Graph Properties (AV, ALL).
ICGT-2010-GadducciLV #calculus #higher-order #semantics #μ-calculus
Counterpart Semantics for a Second-Order μ-Calculus (FG, ALL, AV), pp. 282–297.
GT-VMT-2009-BruniL #graph
Ten virtues of structured graphs (RB, ALL), pp. 3–22.
WRLA-2008-BruniLM09 #design #maude
Hierarchical Design Rewriting with Maude (RB, ALL, UM), pp. 45–62.
ICGT-2006-EdelkampJL #analysis #graph #heuristic
Heuristic Search for the Analysis of Graph Transition Systems (SE, SJ, ALL), pp. 414–429.
QAPL-2005-HirschLT06 #logic
A Logic for Application Level QoS (DH, ALL, ET), pp. 135–159.
QAPL-2004-Lluch-LafuenteM05 #calculus #constraints
Quantitative ?-calculus and CTL Based on Constraint Semirings (ALL, UM), pp. 37–59.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.