Travelled to:1 × Italy
1 × Luxembourg
1 × Singapore
1 × Switzerland
2 × USA
Collaborated with:M.F.Frias N.Aguirre J.P.Galeotti P.Ponzio S.Khurshid C.L.Pombo V.S.Bengolea J.H.Siddiqui T.Brennan N.Tsiskaridze A.Aydin T.Bultan S.A.Khalek S.Bermúdez G.M.Blas S.P.D.Rosso L.Pizzagalli L.Zemín P.Abad D.Ciolek T.S.E.Maibaum M.M.Moscato I.Vissani
Talks about:bound (6) analysi (4) invari (3) parallel (2) generat (2) effici (2) tight (2) field (2) test (2) rich (2)
Person: Nicolás Rosner
DBLP: Rosner:Nicol=aacute=s
Contributed to:
2014
2014
2013
2013
20132010
2017Wrote 7 papers:
- FM-2014-PonzioRAF #bound #performance
- Efficient Tight Field Bounds Computation Based on Shape Predicates (PP, NR, NA, MFF), pp. 531–546.
- OOPSLA-2014-RosnerBPKAFK #bound #generative #hybrid #invariant
- Bounded exhaustive test input generation from hybrid invariants (NR, VSB, PP, SAK, NA, MFF, SK), pp. 655–674.
- ASE-2013-RosnerSAKF #alloy #analysis #clustering #modelling #named #parallel
- Ranger: Parallel analysis of alloy models by range partitioning (NR, JHS, NA, SK, MFF), pp. 147–157.
- ICST-2013-AbadABCFGMMRV #bound #contract #generative #incremental #satisfiability #testing
- Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving (PA, NA, VSB, DC, MFF, JPG, TSEM, MMM, NR, IV), pp. 21–30.
- 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.
- ISSTA-2010-GaleottiRPF #analysis #bound #invariant #performance #verification
- Analysis of invariants for efficient bounded verification (JPG, NR, CLP, MFF), pp. 25–36.
- ESEC-FSE-2017-BrennanTRAB #constraints #normalisation #program analysis
- Constraint normalization and parameterized caching for quantitative program analysis (TB, NT, NR, AA, TB), pp. 535–546.