Michaël Guedj

According to our database, Michaël Guedj authored at least 7 papers between 2012 and 2016.

Collaborative distances:

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

2016

Levelized Taxonomy Approach for the Job Seeking/Recruitment Problem.

Michaël Guedj

Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

Ranking preferences deduction based on semantic similarity for the stable marriage problem.

Michaël Guedj

Proceedings of the 15th IEEE International Conference on Cognitive Informatics & Cognitive Computing , 2016

2014

A BSP algorithm for on-the-fly checking CTL* formulas on security protocols.

Frédéric Gava, Franck Pommereau, Michaël Guedj

J. Supercomput., 2014

2013

Deductive Verification of State-Space Algorithms.

Frédéric Gava, Jean Fortin, Michaël Guedj

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

BSP Algorithms for LTL & CTL* Model Checking of Security Protocols. (Algorithmes BSP pour la vérification de modèles LTL et CTL* pour les protocoles de sécurité).

Michaël Guedj

PhD thesis, 2012

Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols.

Frédéric Gava, Michaël Guedj, Franck Pommereau

Proceedings of the 20th Euromicro International Conference on Parallel, 2012

A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols.

Frédéric Gava, Michaël Guedj, Franck Pommereau

Proceedings of the 11th International Symposium on Parallel and Distributed Computing, 2012