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 × China
1 × France
1 × Hungary
1 × Italy
2 × USA
Collaborated with:
M.Martel Y.Seladji A.Chapoutot E.Goubault S.Putot K.Tekkal F.Védrine
Talks about:
hybrid (3) abstract (2) program (2) semant (2) numer (2) polyhedra (1) interpret (1) implement (1) algorithm (1) simulink (1)

Person: Olivier Bouissou

DBLP DBLP: Bouissou:Olivier

Contributed to:

VMCAI 20132013
LCTES 20122012
CAV 20092009
SAS 20092009
ESOP 20082008
VMCAI 20082008

Wrote 6 papers:

VMCAI-2013-SeladjiB #abstract domain #analysis #fixpoint #tool support #using
Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools (YS, OB), pp. 149–168.
LCTES-2012-BouissouC #semantics #simulation
An operational semantics for Simulink’s simulation engine (OB, AC), pp. 129–138.
CAV-2009-BouissouGPTV #named #source code
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment (OB, EG, SP, KT, FV), pp. 620–626.
SAS-2009-Bouissou #algorithm #correctness #implementation #proving
Proving the Correctness of the Implementation of a Control-Command Algorithm (OB), pp. 102–119.
ESOP-2008-BouissouM #hybrid #semantics
A Hybrid Denotational Semantics for Hybrid Systems (OB, MM), pp. 63–77.
VMCAI-2008-BouissouM #abstract interpretation #embedded #physics #source code
Abstract Interpretation of the Physical Inputs of Embedded Programs (OB, MM), pp. 37–51.

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.