Alexandre Cortier

	2010
4		Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier: Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. ACSD 2010: 137-146
	2009
3		Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, G. Garcia, A. Rugina, Jérémy Buisson, Fabien Dagnat: Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software FMA 2009: 80-87
	2007
2		Alexandre Cortier, Bruno d'Ausbourg, Yamine Aït Ameur: Formal Validation of Java/Swing User Interfaces with the Event B Method. HCI (1) 2007: 1062-1071
	2006
1		Yamine Aït Ameur, Remi Delmas, Alexandre Cortier, Virginie Wiels: Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language. ISoLA 2006: 36-44

Coauthor Index

1	Yamine Aït Ameur	[1] [2]
2	Loïc Besnard	[3] [4]
3	Jean-Paul Bodeveix	[3]
4	Jérémy Buisson	[3]
5	Fabien Dagnat	[3]
6	Remi Delmas	[1]
7	G. Garcia	[3]
8	Thierry Gautier	[3] [4]
9	Julien Ouy	[3] [4]
10	Marc Pantel	[3]
11	A. Rugina	[3]
12	Martin Strecker	[3]
13	Jean-Pierre Talpin	[3] [4]
14	Virginie Wiels	[1]
15	Bruno d'Ausbourg	[2]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page