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: Rom=aacute=n-D=iacute=ez:Guillermo
Contributed to:
2015
2015
201520142014
2013
2012
20122011Wrote 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.