Accueil‎ > ‎

Publications

[10] Levelized Taxonomy Approach for the Job Seeking/Recruitment Problem. 
M. Guedj. 
In: The 19th IEEE International Conference on Computational Science and Engineering (CSE). 
IEEE. 2016. To appear. 

[9] Ranking Preferences Deduction Based on Semantic Similarity for the Stable Marriage Problem. 
M. Guedj. 
In: The 15th IEEE International Conference on Cognitive Informatics and Cognitive Computing (ICCI*CC). 
IEEE. 2016. To appear. 

[8] A BSP Algorithm for On-The-Fly Checking CTL* Formulas on Security Protocols. 
F. Gava, M. Guedj and F. Pommereau. 
Journal of SuperComputing. 
Springer. 2014. 

[7] Deductive Verification of State-Space Algorithms. 
J. Fortin, F. Gava et M. Guedj. 
In: integrated Formal Methods (iFM), LNCS. 
Springer. 2013. 

[6] A BSP Algorithm for On-The-Fly Checking CTL* Formulas on Security Protocols. 
F. Gava, M. Guedj and F. Pommereau. 
In: Parallel and Distributed Computing (PDCAT). 
IEEE. 2012. 

[5] A BSP Algorithm for On-The-Fly Checking LTL Formulas on Security Protocols. 
F. Gava, M. Guedj and F. Pommereau. 
In: Parallel and Distributed Computing (ISPDC). 
IEEE. 2012. 

[4] Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols. 
F. Gava, M. Guedj and F. Pommereau. 
In: Parallel, Distributed, and Network-Based Processing (PDP). pages 170-174. 
IEEE. 2012. 

[3] A BSP Algorithm for the State Space Construction of Security Protocols. 
F. Gava, M. Guedj and F. Pommereau. 
In: Workshop on Parallel and Distributed Methods in verifiCation (PDMC, affiliated to conference SPIN). 
IEEE. 2010. 

[2] BSP Algorithms for LTL & CTL* Model Checking of Security Protocols. 
M. Guedj. 
PhD thesis, LACL. 
University Paris-Est. 2012. 

[1] Equations et langages formels, le cas quadratique. Equations over Monoids and Formal Languages, the Quadratic Case (in French). 
M. Guedj. 
Master thesis, LaBRI. 
University of Bordeaux. 2007. 
Comments