Follow
Souheib Baarir
Souheib Baarir
Verified email at lip6.fr
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
1602009
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
532005
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
452017
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
302018
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
302004
Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag
M Colange, S Baarir, F Kordon, Y Thierry-Mieg
Applications and Theory of Petri Nets: 32nd International Conference, PETRI …, 2011
272011
Lumping partially symmetrical stochastic models
S Baarir, M Beccuti, C Dutheillet, G Franceschinis, S Haddad
Performance Evaluation 68 (1), 21-44, 2011
232011
Towards distributed software model-checking using decision diagrams
M Colange, S Baarir, F Kordon, Y Thierry-Mieg
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
202013
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
192019
Formalization of fuml: An application to process verification
Y Laurent, R Bendraou, S Baarir, MP Gervais
Advanced Information Systems Engineering: 26th International Conference …, 2014
192014
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
182009
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
172005
SAT-based minimization of deterministic-automata
S Baarir, A Duret-Lutz
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
132015
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
132015
Emptiness check of powerset buchi automata using inclusion tests
S Baarir, A Duret-Lutz
Seventh International Conference on Application of Concurrency to System …, 2007
132007
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
122019
A first-order logic semantics for communication-parametric BPMN collaborations
S Houhou, S Baarir, P Poizat, P Quéinnec
Business Process Management: 17th International Conference, BPM 2019, Vienna …, 2019
102019
Extended SWN solvers in GreatSPN
S Donatelli, JM Ilie, S Baarir, M Beccuti, C Delamare, C Dutheillet, ...
First International Conference on the Quantitative Evaluation of Systems …, 2004
102004
Nouvelles techniques de model-checking pour la vérification de systèmes complexes
Y Thierry-Mieg, S Baarir, A Duret-Lutz, F Kordon
GENIE LOGICIEL-TOULOUSE THEN PARIS-, 17-23, 2004
102004
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
92014
The system can't perform the operation now. Try again later.
Articles 1–20