Vincent Leilde

According to our database, Vincent Leilde authored at least 12 papers between 2010 and 2019.

Collaborative distances:

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

2019

Aide au diagnostic de vérification formelle de systèmes. (A diagnosis support for formal verification of systems).

Vincent Leildé

PhD thesis, 2019

Engineering Projects "Savanturiers de l'Ingénierie".

Vincent Ribaud, Vincent Leildé, Cyrielle Féron, Ashwarya Arora, Sarah Le Bihan

Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

2018

Domain-Oriented Verification Management.

Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy

Proceedings of the Model and Data Engineering - 8th International Conference, 2018

A Problem-Oriented Approach to Critical System Design and Diagnosis Support.

Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy

Proceedings of the New Trends in Model and Data Engineering, 2018

2017

Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project.

Vincent Ribaud, Vincent Leilde

Proceedings of the Software Process Improvement and Capability Determination, 2017

A Diagnosis Framework for Critical Systems Verification (Short Paper).

Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project.

Vincent Leilde, Vincent Ribaud

Proceedings of the 30th IEEE Conference on Software Engineering Education and Training, 2017

2016

Model-based diagnosis patterns for model checking.

Vincent Leilde, Vincent Ribaud, Philippe Dhaussy

Proceedings of the Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, 2016

An Organizing System to Perform and Enable Verification and Diagnosis Activities.

Vincent Leilde, Vincent Ribaud, Philippe Dhaussy

Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2016, 2016

2012

Towards Tool Integration through Artifacts and Roles.

Weiqing Zhang, Vincent Leilde, Birger Møller-Pedersen, Joël Champeau, Christophe Guychard

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

An approach for describing concurrency and communication of heterogeneous systems.

Papa Issa Diallo, Joël Champeau, Vincent Leilde

Proceedings of the Third Workshop on Behavioural Modelling, 2011

2010

MoPCoM Methodology: Focus on Models of Computation.

Ali Koudri, Joël Champeau, Jean-Christophe Le Lann, Vincent Leilde

Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010