Michaël Guedj

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 2

Top Topics

Security Protocols

Semantic Similarity Computation

Top Venues

Publications

Michaël Guedj
Ranking preferences deduction based on semantic similarity for the stable marriage problem. ICCI*CC (2016)
Michaël Guedj
Levelized Taxonomy Approach for the Job Seeking/Recruitment Problem. CSE/EUC/DCABES (2016)
Frédéric Gava, Franck Pommereau, Michaël Guedj
A BSP algorithm for on-the-fly checking CTL* formulas on security protocols. J. Supercomput. 69 (2) (2014)
Frédéric Gava, Jean Fortin, Michaël Guedj
Deductive Verification of State-Space Algorithms. IFM (2013)
Frédéric Gava, Michaël Guedj, Franck Pommereau
Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols. PDP (2012)
Frédéric Gava, Michaël Guedj, Franck Pommereau
A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols. PDCAT (2012)
Frédéric Gava, Michaël Guedj, Franck Pommereau
A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols. ISPDC (2012)