Travelled to:1 × France
1 × Ireland
1 × Italy
1 × USA
Collaborated with:E.Albert S.Genaim R.Bubel R.Hähnle M.Gómez-Zamalloa I.Cabanas S.Gutierrez P.Arenas E.Martin-Martin G.Puebla G.Román-Díez
Talks about:concurr (2) object (2) analyz (2) may (2) parallel (1) softwar (1) generat (1) automat (1) analysi (1) static (1)
Person: Antonio Flores-Montoya
DBLP: Flores-Montoya:Antonio
Contributed to:
2014
2014
2012
2011Wrote 4 papers:
- SFM-2014-BubelMH #analysis #execution #modelling
- Analysis of Executable Software Models (RB, AFM, RH), pp. 1–25.
- TACAS-2014-AlbertAFGGMPR #concurrent #named
- SACO: Static Analyzer for Concurrent Objects (EA, PA, AFM, SG, MGZ, EMM, GP, GRD), pp. 562–567.
- FSE-2012-AlbertFG #concurrent #named
- MayPar: a may-happen-in-parallel analyzer for concurrent objects (EA, AFM, SG), p. 14.
- WCRE-2011-AlbertCFGG #automation #generative #java #named #testing
- jPET: An Automatic Test-Case Generator for Java (EA, IC, AFM, MGZ, SG), pp. 441–442.