Vincent Monfort

According to our database, Vincent Monfort authored at least 5 papers between 2010 and 2019.

Collaborative distances:

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

2019

Role of the supplementary motor area during reproduction of supra-second time intervals: An intracerebral EEG study.

Micha Pfeuty, Vincent Monfort, Madelyne Klein, Julien Krieg, Steffie Collé, Sophie Colnat-Coulbois, Hélène Brissart, Louis Maillard

NeuroImage, 2019

2018

Modelling Dynamic Data Structures with the B Method.

Frédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin, Christophe Métayer

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2014

Driving Assistance by Deictic Control for a Smart Wheelchair: The Assessment Issue.

Frédéric Leishman, Vincent Monfort, Odile Horn, Guy Bourhis

IEEE Trans. Hum. Mach. Syst., 2014

2010

Sawja: Static Analysis Workshop for Java.

Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin

Proceedings of the Formal Verification of Object-Oriented Software, 2010

Enforcing Secure Object Initialization in Java.

Laurent Hubert, Thomas P. Jensen, Vincent Monfort, David Pichardie

Proceedings of the Computer Security, 2010