| Proving positive almost-sure termination O Bournez, F Garnier International Conference on Rewriting Techniques and Applications, 323-337, 2005 | 115 | 2005 |
| A Verification Toolkit for Numerical Transition Systems: Tool Paper H Hojjat, F Konečný, F Garnier, R Iosif, V Kuncak, P Rümmer FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012 | 94 | 2012 |
| Proving positive almost sure termination under strategies O Bournez, F Garnier International Conference on Rewriting Techniques and Applications, 357-371, 2006 | 26 | 2006 |
| Terminaison en temps moyen fini de systemes de regles probabilistes F Garnier Institut National Polytechnique de Lorraine-INPL, 2007 | 3 | 2007 |
| Stratégies de réécriture probabiliste dans ELAN4 O Bournez, F Garnier, C Kirchner | 3 | 2004 |
| Termination in finite mean time of a csma/ca rule-based model O Bournez, F Garnier, C Kirchner 12th. International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION …, 2006 | 1 | 2006 |
| Lot 4.2 Technologie de modélisation O Bournez, F Garnier, C Kirchner, P subventionné par le Ministere | | 2006 |
| Vérification de propriétés quantitatives et fonctionnelles Analysis and VERification for the Reliability Of Embedded Systems O BouRnEz, F GARniER, C KiRchnER | | 2004 |
| Modularity of Termination of TRS under Fair Strategies F Garnier, P Lafourcade | | |
