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 × 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 DBLP: Flores-Montoya:Antonio

Contributed to:

SFM 20142014
TACAS 20142014
FSE 20122012
WCRE 20112011

Wrote 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.

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.