Nombre de documents


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

Computer Science Researcher at ONERA DTIS, Toulouse.

Link to my professional web page:

Pré-publication, Document de travail1 document

  • Christophe Chareton, Julien Brunel, David Chemouil. Towards an Updatable Strategy Logic. 2013. 〈hal-00796962〉

Article dans une revue3 documents

Communication dans un congrès16 documents

  • Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg. Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations. Foundations of Software Engineering, Nov 2016, Seattle, United States. 〈hal-01355062〉
  • Denis Kuperberg, Julien Brunel, David Chemouil. On Finite Domains in First-Order Linear Temporal Logic. 14th International Symposium on Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. 〈10.1007/978-3-319-46520-3_14〉. 〈hal-01343197〉
  • Julien Brunel, David Chemouil. Safety and Security Assessment of Behavioral Properties Using Alloy. 2nd International workshop on the Integration of Safety and Security Engineering, Sep 2015, Delft, Netherlands. 〈hal-01206638〉
  • 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. 〈hal-01206625〉
  • Julien Brunel, David Chemouil, Laurent Rioux, Mohamed Bakkali, Frédérique Vallée. A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures. 11th Workshop on Model-Driven Engineering, Verification and Validation, Sep 2014, Spain. 1235, pp.39-48, 2014. 〈hal-01070960〉
  • 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. 2012. 〈hal-00782773〉
  • Maria Piriquito, Pierre Bieber, Julien Brunel, David Chemouil. Une vue sûreté de fonctionnement pour la vérification d'architectures abstraites. Conférence francophone sur les architectures logicielles, 2012, Montpellier, France. 2012. 〈hal-00785494〉
  • 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, 2011, 〈10.1007/978-3-642-25032-3_13〉. 〈hal-00783715〉
  • Sylvain Bouveret, Julien Brunel, David Chemouil, Fabien Dagnat. Towards a categorical framework to ensure correct software evolutions. Workshop on Hot Topics in Software Upgrades, Apr 2011, Hannover, Germany. pp.139-144, 2011, 〈10.1109/ICDEW.2011.5767625〉. 〈hal-00785433〉
  • Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Dave Thomas. Modes in Asynchronous Systems. 13th IEEE International Conference on Engineering of Complex Computer Systems, 2008, Belfast, Ireland. pp.282 - 287, 2008, 〈10.1109/ICECCS.2008.28〉. 〈hal-00784986〉
  • David Chemouil. The Design of Spacecraft On-Board Software. B 2007, 2007, Besançon, France. 4355, pp.3, 2006. 〈hal-00784980〉
  • Jean-Paul Bodeveix, Raphaël Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland. A mapping from AADL to Java-RTSJ. ACM. 5th international workshop on Java technologies for real-time and embedded systems, 2007, Austria. pp.165-174, 2007, 〈10.1145/1288940.1288965〉. 〈hal-00784968〉
  • Ricardo Bedin França, Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Jean-François Rolland, et al.. The AADL behaviour annex -- experiments and roadmap. International Conference on Engineering Complex Computer Systems, 2007, Auckland, New Zealand. pp.377-382, 2007, 〈10.1109/ICECCS.2007.41〉. 〈hal-00784976〉
  • Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker. Towards formalising AADL in Proof Assistants. Formal Foundations of Embedded Software and Component-based Software Architectures 2005, 2005, Edinburgh, United Kingdom. 141 (3), pp.153-169, 2005, 〈10.1016/j.entcs.2005.05.008〉. 〈hal-00784959〉
  • Sergei Soloviev, David Chemouil. Some Algebraic Structures in Lambda-Calculus with Inductive Types. TYPES, Apr 2003, Italy. pp.338-354, 2004, 〈10.1007/978-3-540-24849-1_22〉. 〈hal-00782718〉
  • David Chemouil, Sergei Soloviev. Remarks on isomorphisms of simple inductive types. Mathematics, Logic and Computation (Satellite Event of ICALP 2003, in honor of N. G. de Bruijn's 85th birthday), Jun 2003, Eindhoven, Netherlands. 85 (7), pp.106-124, 2003, 〈10.1016/S1571-0661(04)80760-6〉. 〈hal-00783654〉