Laurent SIMON
Laurent Simon Professeur (ENSEIRB)

Équipe LaBRI : Méthodes formelles
Fonction administrative : Resp. du Thème Modélisation et vérification
Courrier électronique : laurent.simonarobaselabri.fr
Bureau : 302
Tél : +33 (0)5 40 00 37 98


Extrait de publications


Valentin Montmirail, Marie Pelleau, Jean-Charles Régin, Laurent Simon. Contraintes de cardinalité cachées dans les preuves d'insatisfaisabilité. 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. ⟨hal-02271389⟩

Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon. Diagnosability Planning for Controllable Discrete Event Systems. 31st National Conference on Artificial Intelligence AAAI-17, Feb 2017, San Francisco, United States. ⟨hal-01483416⟩

Morterol Martin, Philippe Dague, Sabine Pérès, Laurent Simon. Minimality of Metabolic Flux Modes under Boolean Regulation Constraints. 12th International Workshop on Constraint-Based Methods for Bioinformatics WCB’16, Sep 2016, Toulouse, France. ⟨hal-01483433⟩

Hassan Ibrahim, Philippe Dague, Laurent Simon. SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems. 8th International Conference on Advances in System Testing and Validation Lifecycle VALID’16, Aug 2016, Rome, Italy. ⟨hal-01483428⟩

Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon. Diagnosability Planning for Controllable Discrete Event Systems. 27th International Workshop on Principles of Diagnosis DX’16, Oct 2016, Denver, United States. ⟨hal-01483420⟩


Page mise à jour le 13/08/2010 à 10:56