Follow
Souheib Baarir
Souheib Baarir
EPITA /LRE
No verified email - Homepage
Title
Cited by
Cited by
Year
The GreatSPN tool: recent enhancements
S Baarir, M Beccuti, D Cerotti, M De Pierro, S Donatelli, G Franceschinis
ACM SIGMETRICS Performance Evaluation Review 36 (4), 4-9, 2009
1702009
Painless: a framework for parallel sat solving
L Le Frioux, S Baarir, J Sopena, F Kordon
Theory and Applications of Satisfiability Testing–SAT 2017: 20th …, 2017
582017
On the formal verification of middleware behavioral properties
J Hugues, T Vergnaud, L Pautet, Y Thierry-Mieg, S Baarir, F Kordon
Electronic Notes in Theoretical Computer Science 133, 139-157, 2005
552005
Cdclsym: Introducing effective symmetry breaking in sat solving
H Metin, S Baarir, M Colange, F Kordon
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
372018
Exploiting partial symmetries in well-formed nets for the reachability and the linear time model checking problems
S Baarir, S Haddad, JM Ilié
IFAC Proceedings Volumes 37 (18), 219-224, 2004
312004
Modular and efficient divide-and-conquer sat solver on top of the painless framework
L Le Frioux, S Baarir, J Sopena, F Kordon
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
262019
Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag
M Colange, S Baarir, F Kordon, Y Thierry-Mieg
International Conference on Application and Theory of Petri Nets and …, 2011
262011
Lumping partially symmetrical stochastic models
S Baarir, M Beccuti, C Dutheillet, G Franceschinis, S Haddad
Performance Evaluation 68 (1), 21-44, 2011
252011
Formalization of fuml: An application to process verification
Y Laurent, R Bendraou, S Baarir, MP Gervais
Advanced Information Systems Engineering: 26th International Conference …, 2014
202014
Towards distributed software model-checking using decision diagrams
M Colange, S Baarir, F Kordon, Y Thierry-Mieg
International Conference on Computer Aided Verification, 830-845, 2013
202013
Complementary formal approaches for dependability analysis
S Baarir, C Braunstein, R Clavel, E Encrenaz, JM Ilié, R Leveugle, ...
2009 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI …, 2009
202009
SAT-based minimization of deterministic-automata
S Baarir, A Duret-Lutz
Logic for Programming, Artificial Intelligence, and Reasoning, 79-87, 2015
162015
On the use of exact lumpability in partially symmetrical Well-formed Nets
S Baarir, C Dutheillet, S Haddad, JM Ilié
Second International Conference on the Quantitative Evaluation of Systems …, 2005
162005
A framework to formally verify conformance of a software process to a software method
DE Khelladi, R Bendraou, S Baarir, Y Laurent, MP Gervais
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1518-1525, 2015
152015
A first-order logic semantics for communication-parametric BPMN collaborations
S Houhou, S Baarir, P Poizat, P Quéinnec
International Conference on Business Process Management, 52-68, 2019
142019
Mechanizing the minimization of deterministic generalized Büchi automata
S Baarir, A Duret-Lutz
International Conference on Formal Techniques for Distributed Objects …, 2014
142014
Emptiness check of powerset buchi automata using inclusion tests
S Baarir, A Duret-Lutz
Seventh International Conference on Application of Concurrency to System …, 2007
142007
Composing symmetry propagation and effective symmetry breaking for sat solving
H Metin, S Baarir, F Kordon
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019
132019
A first-order logic verification framework for communication-parametric and time-aware BPMN collaborations
S Houhou, S Baarir, P Poizat, P Quéinnec, L Kahloul
Information Systems 104, 101765, 2022
122022
Alloy4spv: A formal framework for software process verification
Y Laurent, R Bendraou, S Baarir, MP Gervais
Modelling Foundations and Applications: 10th European Conference, ECMFA 2014 …, 2014
112014
The system can't perform the operation now. Try again later.
Articles 1–20