Travelled to:1 × Switzerland
Collaborated with:N.Rosner J.P.Galeotti G.M.Blas S.P.D.Rosso L.Pizzagalli L.Zemín M.F.Frias
Talks about:bound (2) parallel (1) analysi (1) invari (1) refin (1) field (1) rich (1) code (1)
Person: Santiago Bermúdez
DBLP: Berm=uacute=dez:Santiago
Contributed to:
2013Wrote 1 papers:
- ISSTA-2013-RosnerGBBRPZF #analysis #bound #invariant #parallel #refinement
- Parallel bounded analysis in code with rich invariants by refinement of field bounds (NR, JPG, SB, GMB, SPDR, LP, LZ, MFF), pp. 23–33.