Dorian Petit

	2010
4		Abderrahman Matoussi, Dorian Petit: Improving Traceability between KAOS Requirements Models and B Specifications. ASM 2010: 401-402
3		Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouët: A first attempt to combine SysML requirements diagrams and B. ISSE 6(1-2): 47-54 (2010)
	2005
2		Samuel Colin, Dorian Petit, Vincent Poirriez, Jérôme Rocheteau, Rafael Marcano, Georges Mariano: BRILLANT : An Open Source and XML-based platform for Rigourous Software Development. SEFM 2005: 373-382
	2004
1		Dorian Petit, Vincent Poirriez, Georges Mariano: Reuse of SML module system for the B language. FDL 2004: 637-649

Coauthor Index

1	Samuel Colin	[2]
2	Ahmed Hammad	[3]
3	Régine Laleau (Regine Laleau)	[3]
4	Rafael Marcano	[2]
5	Georges Mariano	[1] [2]
6	Abderrahman Matoussi	[3] [4]
7	Vincent Poirriez	[1] [2]
8	Jérôme Rocheteau	[2]
9	Farida Semmak	[3]
10	Bruno Tatibouët	[3]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page