| Symbolic Model Checking of Stutter-invariant Properties Using Generalized Testing Automata AEB Salem, A Duret-Lutz, F Kordon, Y Thierry-Mieg Tools and Algorithms for the Construction and Analysis of Systems, LNCS 8413 …, 2014 | 10 | 2014 |
| Model checking using generalized testing automata AE Ben Salem, A Duret-Lutz, F Kordon Transactions on Petri Nets and Other Models of Concurrency VI, 94-122, 2012 | 10 | 2012 |
| Generalized Büchi automata versus testing automata for model checking AEB Salem, A Duret-Lutz, F Kordon Procedings of the 2nd workshop on Scalable and Usable Model Checking for …, 2011 | 9 | 2011 |
| Combining explicit and symbolic LTL model checking using generalized testing automata AEB Salem, M Graiet 2015 15th International Conference on Application of Concurrency to System …, 2015 | 1 | 2015 |
| Extending Testing Automata to All LTL AEB Salem Formal Techniques for Distributed Objects, Components, and Systems: 35th …, 2015 | | 2015 |
| Single-pass Testing Automata for LTL Model Checking AE Ben Salem Language and Automata Theory and Applications, LNCS 8977, 563-576, 2015 | | 2015 |
| Improving the Model Checking of Stutter-Invariant LTL Properties AE BEN SALEM LIP6 / LRDE, 2014 | | 2014 |
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéGeverifieerd e-mailadres voor lip6.fr
