Nombre de documents

24

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


Article dans une revue3 documents

Communication dans un congrès21 documents

  • Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, et al.. Proposition of an Action Layer for Electrum. 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, Jun 2018, Southampton, United Kingdom. 〈10.1007/978-3-319-91271-4_30〉. 〈hal-01774920〉
  • Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo. The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications. 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE ’18), Sep 2018, Montpellier, France. ACM Press, 2018, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering 〈10.1145/3238147.3240475〉. 〈hal-01846951v2〉
  • Julien Brunel, David Chemouil, Jeanne Tawa. Analyzing the Fundamental Liveness Property of the Chord Protocol. Formal Methods in Computer-Aided Design, Oct 2018, Austin, United States. 〈https://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD18/〉. 〈hal-01862755〉
  • 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〉
  • 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. 〈10.1145/2950290.2950318〉. 〈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〉
  • 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〉
  • 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. 〈10.1007/978-3-319-24249-1_22〉. 〈hal-01206638〉
  • 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. Towards an Updatable Strategy Logic. 1st International Workshop on Strategic Reasoning, Mar 2013, Rome, France. 112, pp.91 - 98, 2013, Proceedings 1st International Workshop on Strategic Reasoning: Preface. 〈10.4204/EPTCS.112.14〉. 〈hal-00796962〉
  • 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. 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〉
  • 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〉
  • 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〉
  • David Chemouil. The Design of Spacecraft On-Board Software. B 2007, 2007, Besançon, France. 4355, pp.3, 2006. 〈hal-00784980〉
  • 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〉
  • 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〉
  • 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〉