Conception de systèmes réactifs. Visions, 2001. ,
Process supervision by means of qualitative models, Annual Reviews in Control, vol.24, pp.41-54, 2000. ,
DOI : 10.1016/S1367-5788(00)90011-7
Safe diagnosability for fault-tolerant supervision of discrete-event systems, Automatica, vol.41, issue.8, pp.1335-1347, 2005. ,
DOI : 10.1016/j.automatica.2005.03.017
Modélisation et simulation de la conduite d'un système de production agricole, 4 e conf. de modélisation & simulation (MOSIM'03) Toulouse (F), pp.699-704, 2003. ,
A DSS for rotational grazing managements : simulating both the biophysical and decision making processes, Modsim) Hamilton, pp.759-764, 1999. ,
The DEVS environment for high-performance modeling and simulation, IEEE Computational Science and Engineering, vol.4, issue.3, pp.4-7, 1997. ,
DOI : 10.1109/99.615432
Jdevs : An implementation of a DEVS based formal framework for environmental modelling. Environmental Modelling and Software 19-3, pp.261-274, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00593799
Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System, Lecture Notes In Computer Science, pp.123-132, 1871. ,
DOI : 10.1007/3-540-45484-5_10
Analyse des processus de décision (protection des vignes, Journées Phytosanitaires Régionales, pp.10-11, 2005. ,
Le problème de la décision des interventions phytosanitaires en protection intégrée de la vigne, Innovigne et Vin, pp.16-17, 2004. ,
Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.8-11, 1987. ,
DOI : 10.1016/0167-6423(87)90035-9
Design of Reactive Systems and their Distributed Implementation with Statecharts, 1998. ,
Quelles interventions publiques et privées pour réduire l'utilisation de traitements phytosanitaires dans le secteur du vin ?, 2005. ,
Automata for modeling real-time systems, 17 th ICALP, pp.322-335, 1990. ,
DOI : 10.1007/BFb0032042
Model-Checking in Dense Real-Time, Proc. 5th LICS, pp.414-425, 1990. ,
DOI : 10.1006/inco.1993.1024
Aide à l'interprétation d'une séquence d'images par la modélisation du système observé. Application à la reconnaissance de l'occupation du sol, Thèse de doctorat, 2000. ,
Kronos : A verification tool for real-time systems. (kronos user's manual release 2.2) J al of Software Tools for Technology Transfer, pp.1-1, 1997. ,
Agrégation/abstraction de modèles pour l'analyse et l'organisation de réseaux de flux: application à la gestion des effluents d'élevage à la Réunion, 2003. ,
Validating timed UML models by simulation and verification, International Journal on Software Tools for Technology Transfer, vol.1, issue.3, pp.8-10, 2006. ,
DOI : 10.1007/s10009-005-0205-x
Experimenting statecharts for multiple experts knowledge elicitation in agriculture, IFAC-MCPL, pp.27-30, 2007. ,
Systèmes réactifs pour modéliser la décision en production agricole: Exemples à propos des traitements phytosanitaires, MSR'2007 -Modélisation des Systèmes Réactifs, pp.17-19, 2007. ,