BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × Finland
1 × Germany
1 × Norway
1 × United Kingdom
2 × France
2 × USA
Collaborated with:
E.Albert G.Puebla J.Correas J.C.Fernández S.Genaim R.Bubel R.Hähnle P.Arenas M.Gómez-Zamalloa E.Martin-Martin E.B.Johnsen A.Flores-Montoya
Talks about:
resourc (5) analysi (5) distribut (4) system (3) guarante (2) program (2) concurr (2) verifi (2) cost (2) increment (1)

Person: Guillermo Román-Díez

DBLP DBLP: Rom=aacute=n-D=iacute=ez:Guillermo

Contributed to:

FM 20152015
SAS 20152015
TACAS 20152015
SAS 20142014
TACAS 20142014
IFM 20132013
FASE 20122012
PEPM 20122012
PEPM 20112011

Wrote 9 papers:

FM-2015-AlbertACGGMPR #analysis #concurrent #distributed #source code
Resource Analysis: From Sequential to Concurrent and Distributed Programs (EA, PA, JC, SG, MGZ, EMM, GP, GRD), pp. 3–17.
SAS-2015-AlbertCJR #cost analysis #distributed #parallel
Parallel Cost Analysis of Distributed Systems (EA, JC, EBJ, GRD), pp. 275–292.
TACAS-2015-AlbertFR #analysis #cumulative
Non-cumulative Resource Analysis (EA, JCF, GRD), pp. 85–100.
SAS-2014-AlbertFR #cost analysis #distributed
Peak Cost Analysis of Distributed Systems (EA, JCF, GRD), pp. 18–33.
TACAS-2014-AlbertAFGGMPR #concurrent #named
SACO: Static Analyzer for Concurrent Objects (EA, PA, AFM, SG, MGZ, EMM, GP, GRD), pp. 562–567.
IFM-2013-AlbertCPR #abstraction #distributed #quantifier
Quantified Abstractions of Distributed Systems (EA, JC, GP, GRD), pp. 285–300.
FASE-2012-AlbertBGHR #source code
Verified Resource Guarantees for Heap Manipulating Programs (EA, RB, SG, RH, GRD), pp. 130–145.
PEPM-2012-AlbertCPR #analysis #incremental #resource management
Incremental resource usage analysis (EA, JC, GP, GRD), pp. 25–34.
PEPM-2011-AlbertBGHPR #using
Verified resource guarantees using COSTA and KeY (EA, RB, SG, RH, GP, GRD), pp. 73–76.

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.