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 × Austria
1 × Portugal
1 × Spain
Collaborated with:
B.Combemale P.Garoche X.Crégut F.Vernadat B.Baudry A.Dieumegard T.Kahsai A.Taillar
Talks about:
formal (3) model (3) properti (2) process (2) verif (2) simplepdl (1) synchron (1) contract (1) approach (1) infinit (1)

Person: Xavier Thirioux

DBLP DBLP: Thirioux:Xavier

Contributed to:

SAC 20152015
MoDELS 20122012
ICEIS EIS 20072007
Post-ICEIS 20072007

Wrote 4 papers:

SAC-2015-DieumegardGKTT #compilation #contract
Compilation of synchronous observers as code contracts (AD, PLG, TK, AT, XT), pp. 1933–1939.
MoDELS-2012-CombemaleTB #infinity #modelling
Formally Defining and Iterating Infinite Models (BC, XT, BB), pp. 119–133.
ICEIS-EIS-2007-CombemaleGCTV #case study #process #towards #verification
Towards a Formal Verification of Process Model’s Properties SIMPLEPDL and TOCL Case Study (BC, PLG, XC, XT, FV), pp. 80–89.
ICEIS-J-2007-CombemaleCGTV #approach #modelling #process #verification
A Property-Driven Approach to Formal Verification of Process Models (BC, XC, PLG, XT, FV), pp. 286–300.

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.