Æȷοì
Ala Eddine BEN SALEM
Ala Eddine BEN SALEM
LRDE/LIP6-UPMC
lrde.epita.frÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
102014
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
102012
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
92011
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
12015
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
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–7