A theory of timed automata, Theoretical Computer Science, vol.126, pp.90010-90018, 1994. ,
Two vegetation indicators from 2D ground Lidar scanner compared for predicting spraying deposits on grapevine. Communication accepted for EFITA WCCA, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-01735683
Optimal Scheduling Using Priced Timed Automata, ACM SIGMETRICS Performance Evaluation Review, vol.32, pp.34-40, 2005. ,
Development of alternative plant protection product application techniques in orchards, based on measurement sensing systems: A review, Computers and Electronics in Agriculture, vol.124, pp.273-288, 2016. ,
Variable rate application of plant protection products in vineyard using ultrasonic sensors, Crop Protection, vol.26, pp.1287-1297, 2007. ,
Characterising and mapping vineyard canopy using high-spatial-resolution aerial multispectral images, Computers & Geosciences, vol.29, issue.03, pp.82-89, 2003. ,
Precision spraying: from map to sprayer control using model-checking, Journal of Agricultural Informatics, vol.8, issue.3, pp.1-10, 2017. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01960598
Using timed automata and model-checking to simulate material flow in agricultural production systems-Application to animal waste management, Computers and Electronics in Agriculture, vol.63, pp.183-192, 2008. ,
Use of timed automata and modelchecking to explore scenarios on ecosystem models. Environmental Modelling & Software, vol.30, pp.123-138, 2012. ,
Uppaal in a nutshell, Int. Jal on Software Tools for Technology Transfer (STTT), vol.1, pp.134-152, 1997. ,
Comparative assessment of agroenvironmental performance of vineyard sprayers using a physical full scale model of a vineyard row, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01064815
Regulating airflow of orchard airblast sprayer based on tree foliage density, Transactions of the ASABE, vol.52, pp.1423-1428, 2009. ,
Obtaining the three-dimensional structure of tree orchards from remote 2D terrestrial LIDAR scanning, Agricultural and Forest Meteorology, vol.149, pp.1505-1515, 2009. ,
Modelling coral reef habitat trajectories: Evaluation of an integrated timed automata and remote sensing approach, Ecological Modelling, vol.205, pp.59-80, 2007. ,