| 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 | 160 | 2009 |
| 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 | 53 | 2005 |
| 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 | 45 | 2017 |
| 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 | 30 | 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 | 30 | 2004 |
| 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 | 27 | 2011 |
| Lumping partially symmetrical stochastic models S Baarir, M Beccuti, C Dutheillet, G Franceschinis, S Haddad Performance Evaluation 68 (1), 21-44, 2011 | 23 | 2011 |
| 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 | 20 | 2013 |
| 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 | 19 | 2019 |
| Formalization of fuml: An application to process verification Y Laurent, R Bendraou, S Baarir, MP Gervais Advanced Information Systems Engineering: 26th International Conference …, 2014 | 19 | 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 | 18 | 2009 |
| 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 | 17 | 2005 |
| SAT-based minimization of deterministic-automata S Baarir, A Duret-Lutz Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015 | 13 | 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 | 13 | 2015 |
| Emptiness check of powerset buchi automata using inclusion tests S Baarir, A Duret-Lutz Seventh International Conference on Application of Concurrency to System …, 2007 | 13 | 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 | 12 | 2019 |
| 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 | 10 | 2019 |
| 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 | 10 | 2004 |
| 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 | 10 | 2004 |
| 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 | 9 | 2014 |
