BEN SALEM Ala Eddine
function showhidediv(id) {
if (document.getElementById) { // DOM3 = IE5, NS6
if (document.getElementById(id).style.display == 'none') document.getElementById(id).style.display = 'block'; else document.getElementById(id).style.display = 'none';
}
else {
if (document.layers) { // Netscape 4
if (document.id.display == 'none') document.id.display = 'block'; else document.id.display = 'none';
}
else { // IE 4
if (document.all.id.style.display == 'none') document.all.id.style.display = 'block'; else document.all.id.style.display = 'none';
}
}
}
// https://csp.withgoogle.com/docs/adopting-csp.html
document.addEventListener('DOMContentLoaded', function () {
document.getElementById('show_doctors')
.addEventListener('click', function doThings() {
showhidediv("docteurs");
});
});
2011-2014 Publications
-
2014
- A. Ben Salem : “Model checking adapté aux spécifications et propriétés à vérifier”, thesis, defence 09/25/2014, supervision Kordon, Fabrice, co-supervision : Duret-lutz, Alexandre (2014)
- A. Ben Salem, A. Duret‑Lutz, F. Kordon, Y. Thierry‑Mieg : “Symbolic Model Checking of stutter invariant properties Using Generalized Testing Automata”, 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, vol. 8413, Lecture Notes in Computer Science, Grenoble, France, pp. 440-454, (Springer) (2014)
-
2012
- A. Ben Salem, A. Duret‑Lutz, F. Kordon : “Model Checking using Generalized Testing Automata”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 7400 (VI), pp. 94-122, (Springer) (2012)
-
2011
- A. Ben Salem, A. Duret‑Lutz, F. Kordon : “{Generalized Büchi Automata versus Testing Automata for Model Checking}”, 2nd workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency (SUMo 2011), vol. 726, CEUR-WS, Newcastle, United Kingdom, pp. 65-79, (CEUR) (2011)