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 × Japan
1 × USA
Collaborated with:
O.Bournez H.Hojjat F.Konecný R.Iosif V.Kuncak P.Rümmer
Talks about:
termin (2) almost (2) prove (2) posit (2) sure (2) strategi (1) transit (1) toolkit (1) system (1) verif (1)

Person: Florent Garnier

DBLP DBLP: Garnier:Florent

Contributed to:

FM 20122012
RTA 20062006
RTA 20052005

Wrote 3 papers:

FM-2012-HojjatKGIKR #tool support #verification
A Verification Toolkit for Numerical Transition Systems — Tool Paper (HH, FK, FG, RI, VK, PR), pp. 247–251.
RTA-2006-BournezG #proving #termination
Proving Positive Almost Sure Termination Under Strategies (OB, FG), pp. 357–371.
RTA-2005-BournezG #proving #termination
Proving Positive Almost-Sure Termination (OB, FG), pp. 323–337.

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.