David Chemouil

	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)

Coauthor Index

1	Jean-Paul Bodeveix	[4] [6] [7] [10]
2	Sylvain Bouveret	[12]
3	Julien Brunel	[11] [12]
4	Raphaël Cavallero	[6]
5	Christophe Chareton	[11]
6	Fabien Dagnaty	[12]
7	Mamoun Filali (Mamoun Filali-Amine)	[4] [6] [7] [10]
8	Ricardo Bedin França	[7]
9	Nadège Pontisso	[5]
10	Jean-François Rolland	[6] [7] [10]
11	Sergei Soloviev	[1] [2]
12	Martin Strecker	[4]
13	Dave Thomas	[7] [10]

Colors in the list of coauthors

Last update Wed May 16 23:21:41 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page