Number of documents

6

David Chemouil's (and Co-author's) Publications


Computer Science Researcher at ONERA DTIS, Toulouse.

Link to my professional web page: http://www.onera.fr/staff/david-chemouil


"Christophe Chareton"   

Journal articles1 document

Conference papers5 documents

  • Christophe Chareton, Julien Brunel, David Chemouil. Sur l’assignation de buts comportementaux à des coalitions d’agents. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France. ⟨hal-01863437⟩
  • Christophe Chareton, Julien Brunel, David Chemouil. Evaluating the Assignment of Behavioral Goals to Coalitions of Agents. Brazilian Symposium on Formal Methods, Sep 2015, Belo Horizonte, Brazil. ⟨10.1007/978-3-319-29473-5_4⟩. ⟨hal-01206625⟩
  • Christophe Chareton, Julien Brunel, David Chemouil. Towards an Updatable Strategy Logic. 1st International Workshop on Strategic Reasoning, Mar 2013, Rome, France. pp.91 - 98, ⟨10.4204/EPTCS.112.14⟩. ⟨hal-00796962⟩
  • Christophe Chareton, Julien Brunel, David Chemouil. Vers une sémantique des jeux pour un langage d'ingénierie des exigences par buts et agents. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2012, France. ⟨hal-00782773⟩
  • Christophe Chareton, Julien Brunel, David Chemouil. A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic. 14th Brazilian Symposium, SBMF 2011, Sep 2011, São Paulo, Brazil. pp.188-203, ⟨10.1007/978-3-642-25032-3_13⟩. ⟨hal-00783715⟩