 | 2011 |
|---|
| 12 |       | Sylvain Bouveret,
Julien Brunel,
David Chemouil,
Fabien Dagnaty:
Towards a categorical framework to ensure correct software evolutions.
ICDE Workshops 2011: 139-144 |
| 11 | | Christophe Chareton,
Julien Brunel,
David Chemouil:
A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic.
SBMF 2011: 188-203 |
| 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): 106-124 (2003) |
Data released under the ODC-BY 1.0 license — See also our legal information page