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 × 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 DBLP: Wolovick:Nicol=aacute=s

Contributed to:

QAPL 20102010
ICST 20092009

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

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.