Jérôme Falampin

According to our database, Jérôme Falampin authored at least 5 papers between 2003 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Improving Railway Data Validation with ProB.

Jérôme Falampin, Hung Le-Dang, Michael Leuschel, Mikael Mokrani, Daniel Plagge

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2011

Automated property verification for large scale B models with ProB.

Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge

Formal Aspects Comput., 2011

2009

Automated Property Verification for Large Scale B Models.

Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge

Proceedings of the FM 2009: Formal Methods, 2009

2004

Validation des règles de base de l'Atelier B.

Karim Berkani, Catherine Dubois, Alain Faivre, Jérôme Falampin

Tech. Sci. Informatiques, 2004

2003

B dans le tranport ferroviaire. L'expérience de Siemens Transportation Systems.

Daniel Dollé, Didier Essamé, Jérôme Falampin

Tech. Sci. Informatiques, 2003