Concepedia

Souheib Baarir

SB

3

Publications

35

Citations

3

H-Index

2009

Active since

Affiliations

University of Biskra(Current)

Sorbonne Université

Centre National de la Recherche Scientifique

LIP6

Université Paris Cité

Souheib Baarir is an author at University of Biskra specializing in computer science, automated reasoning, and formal verification.

ORCID

Top concepts

Publications per year

2009–2021

3

Publications

3

Complementary Formal Approaches for Dependability Analysis

Souheib Baarir, Cécile Braunstein, Renaud Clavel et al. · 2009 · 13 citations

, , +23

A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations

Sara Houhou, Souheib Baarir, Pascal Poizat et al. · Information Systems · 2021 · 12 citations · Full text

, , +11

Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems

Samir Tigane, Laïd Kahloul, Saber Benharzallah et al. · Science of Computer Programming · 2019 · 10 citations

Rows per page

1–3 of 3