Travelled to:1 × Cyprus
1 × USA
Collaborated with:D.Barsotti P.R.D'Argenio H.Qu
Talks about:probabilist (1) abstract (1) variabl (1) program (1) probabl (1) automat (1) random (1) execut (1) verif (1) optim (1)
Person: Nicolás Wolovick
DBLP: Wolovick:Nicol=aacute=s
Contributed to:
2010
2009Wrote 2 papers:
- QAPL-2010-BarsottiW #abstraction #automation #probability #random #verification
- Automatic Probabilistic Program Verification through Random Variable Abstraction (DB, NW), pp. 34–47.
- ICST-2009-WolovickDQ #execution #optimisation #realtime #testing
- Optimizing Probabilities of Real-Time Test Case Execution (NW, PRD, HQ), pp. 446–455.