Publications HAL de DUMOND du labo/EPI LISTIC

2019

Communication dans un congrès

titre
Modelling fire fighters actions in a forest fire simulation algorithm
auteur
Yves Dumond
article
The 17th International Industrial Simulation Conference 2019, European Technology Institute, Jun 2019, Lisbonne, Portugal. pp.59-66
Accès au bibtex
BibTex

2017

Communication dans un congrès

titre
Enhancing the accuracy of raster-based algorithms for forest fire spread modelling
auteur
Yves Dumond
article
The 2017 European Simulation and Modelling Conference, European Technology Institute, Oct 2017, Lisbon, Portugal. pp.93-100
Accès au bibtex
BibTex

2016

Communication dans un congrès

titre
Forest Fire Spread Modelling In Practice
auteur
Yves Dumond
article
The 2016 European Simulation and Modelling Conference, Oct 2016, Las Palmas, Spain. pp.341-347
Accès au bibtex
BibTex

2015

Article dans une revue

titre
From forest firefighting doctrine to digital battlefield: a case study
auteur
Yves Dumond
article
Disaster Prevention and Management, Emerald, 2015, 24 (3), pp.320-337. ⟨10.1108/DPM-03-2014-0043⟩
Accès au bibtex
BibTex

2014

Communication dans un congrès

titre
Handling back fire in forest fire spread modelling
auteur
Yves Dumond
article
The 2014 European Simulation and Modelling Conference, Eurosis, Oct 2014, Porto, Portugal. pp.411-418
Accès au bibtex
BibTex

2009

Article dans une revue

titre
Asphodèle: un logiciel "orienté-métier" pour la lutte contre les incendies de forêts
auteur
Yves Dumond, Stéphane Garitat, Frédéric Gosse, Eric Michelis, Philippe Simonpieri, Philippe Tran
article
Revue Forestière Française, Ecole nationale du génie rural, 2009, LXI, pp.9-19
Accès au bibtex
BibTex

Communication dans un congrès

titre
An applied step in forest fire spread modelling
auteur
Yves Dumond
article
23rd European Conference on Modelling and Simulation - BEST PAPER AWARD, Jun 2009, Madrid, Spain. pp.32-38
Accès au bibtex
BibTex
titre
Digital technologies for forest fire suppression: an applied step in means management
auteur
Yves Dumond
article
6th Future Business Technology Conference, Apr 2009, Bruges, Belgium. pp.47-51
Accès au bibtex
BibTex

2008

Communication dans un congrès

titre
Forest fire growth modelling with geographical information fusion
auteur
Yves Dumond
article
11th International Conference on Information Fusion, Jun 2008, Cologne, Germany
Accès au bibtex
BibTex

2007

Communication dans un congrès

titre
Forest fire spread modelling: a practical GIS-based approach
auteur
Yves Dumond
article
The 2007 European Simulation and Modelling Conference, Oct 2007, St Julians, Malta. pp.547-552
Accès au bibtex
BibTex

2006

Communication dans un congrès

titre
L'outil de SITAC Asphodèle en zone Sud
auteur
Yves Dumond, Estelle Eléna, Frédéric Gosse
article
Rencontres Euroméditerranéennes feux de forêt: l'apport des outils innovants, Dec 2006, Gardane, France
Accès au bibtex
BibTex
titre
Modelling the fight against forest fires by means of a numerical battlefield
auteur
Yves Dumond
article
The 2006 European Simulation and Modelling Conference, Oct 2006, Toulouse, France. pp.251-255
Accès au bibtex
BibTex

2003

Communication dans un congrès

titre
Verifying dynamic UML diagrams with SPIN
auteur
Yves Dumond, Didier Girardet, Flavio Oquendo
article
5ème Congrès international pluridisciplinaire, qualité et sûreté de fonctionnement, Mar 2003, Nancy, France. pp.97-106
Accès au bibtex
BibTex

2000

Article dans une revue

titre
Formal specification of a multi-agent system architecture for manufacture: the contribution of the pi-calculus
auteur
Yves Dumond, Christophe Roche
article
Journal of Materials Processing Technology, Elsevier, 2000, 107, pp.209-215
Accès au bibtex
BibTex

Communication dans un congrès

titre
Transition from UML Sequence Charts to the pi-calculus: a pragmatic approach
auteur
Yves Dumond, Didier Girardet, Flavio Oquendo
article
13th International Conference on Software and Systems Engineering and their Applications, Dec 2000, Paris, France. pp.1-9
Accès au bibtex
BibTex
titre
A relationship between Sequence and statechart diagrams
auteur
Yves Dumond, Didier Girardet, Flavio Oquendo
article
Workshop on Dynamic Behaviour in UML Models, Oct 2000, York, United Kingdom. pp.38-43
Accès au bibtex
BibTex
titre
Spécification en pi-calcul de l'étude de cas relative au contrôle d'accès
auteur
Noël Bernard, Yves Dumond
article
Approches Formelles dans l'Assistance au Développement de Logiciels, 2000, France. pp.188-202
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00386308/file/afadl_2000_Bernard-Dumond.pdf BibTex

1999

Communication dans un congrès

titre
A Multi-Agent System Architecture for manufacture: A formal specification with the pi-calculus
auteur
Yves Dumond, Christophe Roche
article
15th International Conference on Computer-Aided Production Engineering, May 1999, Durham, United Kingdom. pp.337-344
Accès au bibtex
BibTex

1998

Communication dans un congrès

titre
From concurrent engineering to collaborative engineering: an agent-oriented approach
auteur
Christophe Roche, Yves Dumond
article
5th European Concurrent Engineering Conference, Apr 1998, Erlangen-Nuremberg, Germany. pp.259-263
Accès au bibtex
BibTex

1997

Article dans une revue

titre
Formal specification of topology computation in a national EHV grid
auteur
Yves Dumond
article
Electric Machines and Power Systems, Informa UK (Taylor & Francis), 1997, 25 (7), pp.757-766
Accès au bibtex
BibTex
titre
Modelling enterprise using concurrent engineering paradigms
auteur
Christophe Roche, Yves Dumond, Jean-Charles Marty, Jean-Charles Profizi
article
Journal of Mathematical Modelling and Scientific Computing, 1997, 8, pp.247-254
Accès au bibtex
BibTex

1996

Article dans une revue

titre
Application of Graph transformations to declarative knowledge bases
auteur
Christophe Roche, Yves Dumond, Gérard Lopez
article
Journal of Mathematical Modelling and Scientific Computing, 1996, 6, pp.123-128
Accès au bibtex
BibTex

Communication dans un congrès

titre
BAAL: an agent-oriented language for modelling and simulation
auteur
Yves Dumond, Christophe Roche, Jean-Louis Etienne
article
European Simulation Symposium, Oct 1996, Gènes, Italy. pp.359-363
Accès au bibtex
BibTex
titre
Implementing a reflective concurrent object-oriented architecture with the pi-calculus
auteur
Yves Dumond, Christophe Roche, Arnaud Violland
article
14th International Conference on Applied Informatics, Feb 1996, Innsbrück, Austria. pp.193-195
Accès au bibtex
BibTex

1995

Communication dans un congrès

titre
Distributed problem solving with the K/1 agent-based language
auteur
Yves Dumond, Christophe Roche, Serge Stinckwich
article
13th International Conference on Applied Informatics, Feb 1995, Innsbrück, Austria. pp.224-227
Accès au bibtex
BibTex

1994

Communication dans un congrès

titre
From objets to agents: the K/1 agent-based language
auteur
Yves Dumond, Christophe Roche, Serge Stinckwich
article
19th International Conference on Information Technologies and Programming, Jun 1994, Sofia, Bulgaria. pp.126-134
Accès au bibtex
BibTex

1993

Article dans une revue

titre
LRO3: un modèle pour la programmation par objets parallèle
auteur
Yves Dumond, Christophe Roche, Serge Stinckwich
article
Revue Génie Logiciel, 1993, pp.48-57
Accès au bibtex
BibTex

1989

Article dans une revue

titre
Démarches applicatives par les objets dans la conception de systèmes de commandes de procédés industriels
auteur
Yves Dumond
article
Revue Génie Logiciel, 1989, pp.68-83
Accès au bibtex
BibTex