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 × Canada
1 × Finland
1 × Romania
Collaborated with:
C.Michel M.Rueher W.Serwe H.Collavizza C.Fédèle
Talks about:
program (2) schedulerless (1) constraint (1) interpret (1) translat (1) abstract (1) written (1) automat (1) analysi (1) system (1)

Person: Olivier Ponsini

DBLP DBLP: Ponsini:Olivier

Contributed to:

ICST 20122012
ICSM 20102010
FM 20082008

Wrote 3 papers:

ICST-2012-PonsiniMR #abstract interpretation #analysis #constraints #float #programming #source code
Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs (OP, CM, MR), pp. 775–776.
ICSM-2010-PonsiniCFMR #automation #invariant #verification
Automatic verification of loop invariants (OP, HC, CF, CM, MR), pp. 1–5.
FM-2008-PonsiniS #modelling #semantics
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS (OP, WS), pp. 278–293.

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.