Export 28 results:
Author Title Type [ Year(Desc)]
Filters: Author is Laurent Simon  [Clear All Filters]
M. Martin, Dague, P., Pérès, S., and Simon, L., Minimality of Metabolic Flux Modes under Boolean Regulation Constraints, in {12th International Workshop on Constraint-Based Methods for Bioinformatics WCB'16}, Toulouse, France, 2016.
H. Ibrahim, Dague, P., and Simon, L., SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems, in {8th International Conference on Advances in System Testing and Validation Lifecycle VALID'16}, Rome, Italy, 2016.
H. Ibrahim, Dague, P., Grastien, A., Ye, L., and Simon, L., Diagnosability Planning for Controllable Discrete Event Systems, in {31st National Conference on Artificial Intelligence AAAI-17}, San Francisco, United States, 2017.