2008 |
9 | EE | David Chemouil:
An insertion operator preserving infinite reduction sequences.
Mathematical Structures in Computer Science 18(4): 693-728 (2008) |
2007 |
8 | EE | David Chemouil:
The Design of Spacecraft On-Board Software.
B 2007: 3 |
7 | EE | Ricardo Bedin França,
Jean-Paul Bodeveix,
Mamoun Filali,
Jean-François Rolland,
David Chemouil,
Dave Thomas:
The AADL behaviour annex - experiments and roadmap.
ICECCS 2007: 377-382 |
6 | EE | Jean-Paul Bodeveix,
Raphaël Cavallero,
David Chemouil,
Mamoun Filali,
Jean-François Rolland:
A mapping from AADL to Java-RTSJ.
JTRES 2007: 165-174 |
2006 |
5 | EE | Nadège Pontisso,
David Chemouil:
TOPCASED Combining Formal Methods with Model-Driven Engineering.
ASE 2006: 359-360 |
2005 |
4 | EE | Jean-Paul Bodeveix,
David Chemouil,
Mamoun Filali,
Martin Strecker:
Towards formalising AADL in Proof Assistants.
Electr. Notes Theor. Comput. Sci. 141(3): 153-169 (2005) |
3 | EE | David Chemouil:
Isomorphisms of simple inductive types through extensional rewriting.
Mathematical Structures in Computer Science 15(5): 875-915 (2005) |
2003 |
2 | EE | Sergei Soloviev,
David Chemouil:
Some Algebraic Structures in Lambda-Calculus with Inductive Types.
TYPES 2003: 338-354 |
1 | EE | David Chemouil,
Sergei Soloviev:
Remarks on isomorphisms of simple inductive types.
Electr. Notes Theor. Comput. Sci. 85(7): (2003) |