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 × Korea
Collaborated with:

Talks about:
synchron (3) interpret (1) imperfect (1) properti (1) composit (1) communic (1) abstract (1) program (1) analysi (1) system (1)

Person: Julien Bertrane

DBLP DBLP: Bertrane:Julien

Contributed to:

SAS 20062006
VMCAI 20052005

Wrote 2 papers:

SAS-2006-Bertrane #communication #proving
Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems (JB), pp. 370–386.
VMCAI-2005-Bertrane #abstract interpretation #composition #source code #static analysis
Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs (JB), pp. 97–112.

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.