Diagnosis of quantized systems based on a timed discrete-event model, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.30, issue.3, pp.322-335, 2000. ,
DOI : 10.1109/3468.844356
RELEVANCE OF COMMUNITY STRUCTURE IN ASSESSING INDETERMINACY OF ECOLOGICAL PREDICTIONS, Ecology, vol.83, issue.5, pp.1372-1385, 2002. ,
DOI : 10.2307/1940449
Qualitative models about stream ecosystem recovery: Exploratory studies, Ecological Modelling, vol.194, issue.1-3, pp.80-89, 2006. ,
DOI : 10.1016/j.ecolmodel.2005.10.018
Qualitative reasoning: modeling and simulation with incomplete knowledge, 1994. ,
Mathematical foundations of qualitative reasoning, AI Magazine, Special Issue on Qualitative Reasoning, vol.24, issue.4, pp.91-106, 2003. ,
Improving the landcover classification using domain knowledge, pp.35-43, 2001. ,
Using model-checking techniques for diagnosing discrete-event systems, Proceedings of the Twelfth International Workshop on Principles of diagnosis (DX'01), pp.39-46, 2001. ,
Analysis and verification of qualitative models of genetic regulatory networks: A model-checking approach, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05), pp.370-375, 2005. ,
Patterns in property specifications for finite-state verification, Proceedings of the 21th International Conference of Software Engineering, pp.411-420, 1999. ,
Temporal logic patterns for querying qualitative models of genetic regulatory networks, European Conference in Artificial Intelligence (ECAI'08), pp.229-233, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00357802
Mathematical Biology II: Spatial Models and Biomedical Applications, ser. Interdisciplinary Applied Mathematics, 2003. ,
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Model-Checking in Dense Real-Time, Information and Computation, vol.104, issue.1, pp.2-34, 1993. ,
DOI : 10.1006/inco.1993.1024
Progress on the State Explosion Problem in Model Checking, Lecture Notes in Computer Science, pp.176-194, 2000. ,
DOI : 10.1007/3-540-44577-3_12
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997. ,
DOI : 10.1007/s100090050010
Use of timed automata and model-checking to explore scenarios on ecosystem models, Environmental Modelling & Software, vol.30, pp.123-138, 2011. ,
DOI : 10.1016/j.envsoft.2011.08.005