logo EDITE Souheib BAARIR
Identité
Souheib BAARIR
État académique
Thèse soutenue le 2007-05-16
Sujet: EXPLOITATION DES SYMETRIES PARTIELLES POUR LA VERIFICATION ET L'EVALUATION DE PERFORMANCES DES SYSTEMES FINIS
Laboratoire: personnel permanent
Encadrement de thèses (depuis 2007)
2
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
edite:1332792345151
Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag
32nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011), Newcastle, UK 2011
http://www.springerlink.com/content/dm42n88k3404741r/
Feasibility Analysis for Robustness Quantification by Symbolic Model Checking
Vol. 39, No. 2, pp. 165-184 2011
edite:1332792384272
Lumping partially symmetrical stochastic models
Vol. 68, No. 1, pp. 21-44 2011
edite:1332792411376
Self-Reconfigurable Modular Robots and their Symbolic Configuration Space
Modeling, Development and Verification of Adaptative Computer Systems: the Grand Challenge for Robust Software, 16th Monterey Workshop 2010, Redmond, Revised Selected Papers 2011
edite:1332792491785
Quantifying Robustness by Symbolic Model checking
1st Hardware Verification Workshop (CAV workshop) 2010
edite:13327925331015
Complementary Formal Approaches for Dependability Analysis
Evaluating the robustness of digital circuits with respect to soft errors has
Proc. 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems 2009
edite:13327925431093
From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets
Proc. 4th International Conference on Performance Evaluation Methodologies and Tools 2009
edite:13327925631292
The GreatSPN Tool: Recent Enhancements
Vol. 36, No. 4, pp. 4-9 2009
edite:13327925671328
Vérification formelle d'un algorithme générique et hiérarchique d'exclusion mutuelle
Vol. 28, No. 9, pp. 1085-1105 2009
Soutenance
Thèse: EXPLOITATION DES SYMETRIES PARTIELLES POUR LA VERIFICATION ET L'EVALUATION DE PERFORMANCES DES SYSTEMES FINIS
Soutenance: 2007-05-16