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 × Greece
1 × Russia
1 × South Korea
1 × Spain
1 × United Kingdom
Collaborated with:
R.Bendraou Y.Laurent M.Gervais M.Colange F.Kordon Y.Thierry-Mieg D.E.Khelladi
Talks about:
softwar (4) process (4) formal (3) framework (2) verif (2) distribut (1) diagram (1) conform (1) verifi (1) toward (1)

Person: Souheib Baarir

DBLP DBLP: Baarir:Souheib

Contributed to:

SAC 20152015
CAiSE 20142014
ECMFA 20142014
SAC 20142014
CAV 20132013

Wrote 5 papers:

SAC-2015-KhelladiBBLG #consistency #framework #process #verification
A framework to formally verify conformance of a software process to a software method (DEK, RB, SB, YL, MPG), pp. 1518–1525.
CAiSE-2014-LaurentBBG #formal method #process #verification
Formalization of fUML: An Application to Process Verification (YL, RB, SB, MPG), pp. 347–363.
ECMFA-2014-LaurentBBG #alloy #framework #process #verification
Alloy4SPV : A Formal Framework for Software Process Verification (YL, RB, SB, MPG), pp. 83–100.
SAC-2014-LaurentBBG #declarative #process
Planning for declarative processes (YL, RB, SB, MPG), pp. 1126–1133.
CAV-2013-ColangeBKT #diagrams #distributed #model checking #towards #using
Towards Distributed Software Model-Checking Using Decision Diagrams (MC, SB, FK, YTM), pp. 830–845.

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.