 | 2008 |
|---|
| 10 |       | Jean-François Rolland,
Jean-Paul Bodeveix,
Mamoun Filali,
David Chemouil,
Dave Thomas:
Modes in Asynchronous Systems.
ICECCS 2008: 282-287 |
| 9 | | David Chemouil:
An insertion operator preserving infinite reduction sequences.
Mathematical Structures in Computer Science 18(4): 693-728 (2008) |
| 2007 |
|---|
| 8 | | David Chemouil:
The Design of Spacecraft On-Board Software.
B 2007: 3 |
| 7 | | 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 | | 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 | | Nadège Pontisso,
David Chemouil:
TOPCASED Combining Formal Methods with Model-Driven Engineering.
ASE 2006: 359-360 |
| 2005 |
|---|
| 4 | | 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 | | David Chemouil:
Isomorphisms of simple inductive types through extensional rewriting.
Mathematical Structures in Computer Science 15(5): 875-915 (2005) |
| 2003 |
|---|
| 2 | | Sergei Soloviev,
David Chemouil:
Some Algebraic Structures in Lambda-Calculus with Inductive Types.
TYPES 2003: 338-354 |
| 1 | | David Chemouil,
Sergei Soloviev:
Remarks on isomorphisms of simple inductive types.
Electr. Notes Theor. Comput. Sci. 85(7): (2003) |
