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 | 171 | 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 | 60 | 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 | 39 | 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 | 31 | 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 | 26 | 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 | 26 | 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 | 20 | 2014 |
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 |
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 | 20 | 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, 79-87, 2015 | 16 | 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 |
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 | 14 | 2019 |
Mechanizing the minimization of deterministic generalized Büchi automata S Baarir, A Duret-Lutz International Conference on Formal Techniques for Distributed Objects …, 2014 | 14 | 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 |
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 | 12 | 2022 |
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 | 12 | 2014 |