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 | 177 | 2009 |
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 | 71 | 2017 |
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 | 55 | 2005 |
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 | 53 | 2018 |
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 | 32 | 2004 |
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 | 29 | 2019 |
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 | 27 | 2011 |
Lumping partially symmetrical stochastic models S Baarir, M Beccuti, C Dutheillet, G Franceschinis, S Haddad Performance Evaluation 68 (1), 21-44, 2011 | 26 | 2011 |
Formalization of fuml: An application to process verification Y Laurent, R Bendraou, S Baarir, MP Gervais Advanced Information Systems Engineering: 26th International Conference …, 2014 | 22 | 2014 |
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 | 21 | 2009 |
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 | 20 | 2013 |
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 | 19 | 2005 |
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 | 18 | 2019 |
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 | 17 | 2022 |
SAT-based minimization of deterministic-automata S Baarir, A Duret-Lutz Logic for Programming, Artificial Intelligence, and Reasoning, 79-87, 2015 | 17 | 2015 |
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 | 15 | 2015 |
Mechanizing the minimization of deterministic generalized Büchi automata S Baarir, A Duret-Lutz International Conference on Formal Techniques for Distributed Objects …, 2014 | 15 | 2014 |
Emptiness check of powerset buchi automata using inclusion tests S Baarir, A Duret-Lutz Seventh International Conference on Application of Concurrency to System …, 2007 | 14 | 2007 |
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 | 13 | 2019 |
Community and LBD-based clause sharing policy for parallel SAT solving V Vallade, L Le Frioux, S Baarir, J Sopena, V Ganesh, F Kordon Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020 | 11 | 2020 |