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


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. Proceedings of the 31st National Conference on Artificial Intelligence AAAI-17, 2017.

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. Proceedings of the 12th International Workshop on Constraint-Based Methods for Bioinformatics WCB’16, 2016.

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. Proceedings of the 8th International Conference on Advances in System Testing and Validation Lifecycle VALID’16, 2016.

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. Proceedings of the 27th International Workshop on Principles of Diagnosis DX’16.

Hassan Ibrahim, Laurent Simon. Using Incremental SAT for Testing Diagnosability of Distributed DES. 26th International Workshop on Principles of Diagnosis DX’15, Aug 2015, Paris, France. Proceedings 26th International Workshop on Principles of Diagnosis DX’15.


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