Jérôme Falampin

	2011
4		Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge: Automated property verification for large scale B models with ProB. Formal Asp. Comput. 23(6): 683-709 (2011)
	2009
3		Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge: Automated Property Verification for Large Scale B Models. FM 2009: 708-723
	2004
2		Karim Berkani, Catherine Dubois, Alain Faivre, Jérôme Falampin: Validation des règles de base de l'Atelier B. Technique et Science Informatiques 23(7): 855-878 (2004)
	2003
1		Daniel Dollé, Didier Essamé, Jérôme Falampin: B dans le tranport ferroviaire. L'expérience de Siemens Transportation Systems. Technique et Science Informatiques 22(1): 11-32 (2003)

Coauthor Index

1	Karim Berkani	[2]
2	Daniel Dollé	[1]
3	Catherine Dubois	[2]
4	Didier Essamé	[1]
5	Alain Faivre	[2]
6	Fabian Fritz	[3] [4]
7	Michael Leuschel	[3] [4]
8	Daniel Plagge	[3] [4]

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