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: Baarir:Souheib
Contributed to:
2015
2014
20142014
2013Wrote 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.