Michal Guedj
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2012–2013
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | IFM | Deductive Verification of State-Space Algorithms. | Frdric Gava, Jean Fortin, Michal Guedj |
| 2012 | ISPDC | A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols. | Frdric Gava, Michal Guedj, Franck Pommereau |
| 2012 | PDCAT | A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols. | Frdric Gava, Michal Guedj, Franck Pommereau |
| 2012 | PDP | Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols. | Frdric Gava, Michal Guedj, Franck Pommereau |