Skip to Main content Skip to Navigation

Search by documents



...
hal-00783654v1  Conference papers
David ChemouilSergei 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. pp.106-124, ⟨10.1016/S1571-0661(04)80760-6⟩
hal-00784959v1  Conference papers
Jean-Paul BodeveixDavid ChemouilM FilaliMartin Strecker. Towards formalising AADL in Proof Assistants
Formal Foundations of Embedded Software and Component-based Software Architectures 2005, 2005, Edinburgh, United Kingdom. pp.153-169, ⟨10.1016/j.entcs.2005.05.008⟩
hal-00782793v1  Journal articles
David Chemouil. Isomorphisms of simple inductive types through extensional rewriting
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2005, 15 (5), pp.875-915. ⟨10.1017/S0960129505004950⟩
...
hal-00782799v1  Journal articles
David Chemouil. An insertion operator preserving infinite reduction sequences
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2008, 18 (4), pp.693-728. ⟨10.1017/S0960129508006816⟩
hal-00784968v1  Conference papers
Jean-Paul BodeveixRaphaël CavalleroDavid ChemouilM FilaliJean-François Rolland. A mapping from AADL to Java-RTSJ
5th international workshop on Java technologies for real-time and embedded systems, 2007, Vienne, Austria. pp.165-174, ⟨10.1145/1288940.1288965⟩
hal-00784976v1  Conference papers
Ricardo Bedin FrançaJean-Paul BodeveixDavid ChemouilM FilaliJean-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, ⟨10.1109/ICECCS.2007.41⟩
hal-00784986v1  Conference papers
Jean-Paul BodeveixDavid ChemouilM FilaliDave Thomas. Modes in Asynchronous Systems
13th IEEE International Conference on Engineering of Complex Computer Systems, 2008, Belfast, Ireland. pp.282 - 287, ⟨10.1109/ICECCS.2008.28⟩
...
hal-02332531v1  Conference papers
Jean-Paul BodeveixJulien BrunelDavid ChemouilM Filali. Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol (FM 2019)
3rd International Symposium on Formal Methods (FM 2019), FME: Formal Methods Europe, Oct 2019, Porto, Portugal. pp.45-63, ⟨10.1007/978-3-030-30942-8_5⟩
hal-03012557v1  Conference papers
Jean-Paul BodeveixJulien BrunelDavid ChemouilM Filali. Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol
Journées du Groupe de Travail Vérification du GDR GPL 2019, GDR GPL (Groupement de Recherche Génie de la Programmation et du Logiciel) - INS2I / CNRS, Jun 2019, Nantes, France