MURAT, Valérie, SOFTWARE CERTIFICATION WITH SEMANTIC ANALYSIS (CELTIQUE), INRIA RENNES – BRETAGNE ATLANTIQUE, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTÈMES ALÉATOIRES (IRISA), UNIVERSITÉ DE RENNES (UR)-INSTITUT NATIONAL DES SCIENCES APPLIQUÉES - RENNES (INSA RENNES), INSTITUT NATIONAL DES SCIENCES APPLIQUÉES (INSA)-INSTITUT NATIONAL DES SCIENCES APPLIQUÉES (INSA)-UNIVERSITÉ DE BRETAGNE SUD (UBS)-ÉCOLE NORMALE SUPÉRIEURE - RENNES (ENS RENNES)-INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-TÉLÉCOM BRETAGNE-CENTRALESUPÉLEC-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-UNIVERSITÉ DE RENNES (UR)-INSTITUT NATIONAL DES SCIENCES APPLIQUÉES - RENNES (INSA RENNES), INSTITUT NATIONAL DES SCIENCES APPLIQUÉES (INSA)-INSTITUT NATIONAL DES SCIENCES APPLIQUÉES (INSA)-UNIVERSITÉ DE BRETAGNE SUD (UBS)-ÉCOLE NORMALE SUPÉRIEURE - RENNES (ENS RENNES)-INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-TÉLÉCOM BRETAGNE-CENTRALESUPÉLEC-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTÈMES ALÉATOIRES (IRISA), INSTITUT NATIONAL DES SCIENCES APPLIQUÉES (INSA)-INSTITUT NATIONAL DES SCIENCES APPLIQUÉES (INSA)-UNIVERSITÉ DE BRETAGNE SUD (UBS)-ÉCOLE NORMALE SUPÉRIEURE - RENNES (ENS RENNES)-TÉLÉCOM BRETAGNE-CENTRALESUPÉLEC-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS), UNIVERSITÉ DE RENNES und THOMAS GENET, 2014. Tree automata extensions for verification of infinite states systems ; Extensions des automates d’arbres pour la vérification de systèmes à états infinis. HAL CCSD.

Murat, V., Software certification with semantic analysis (CELTIQUE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS), Université de Rennes, Thomas Genet, 2014. Tree automata extensions for verification of infinite states systems ; Extensions des automates d’arbres pour la vérification de systèmes à états infinis. HAL CCSD.

Murat, V., Software certification with semantic analysis (CELTIQUE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS), Université de Rennes, & Thomas Genet. (2014). Tree automata extensions for verification of infinite states systems ; Extensions des automates d’arbres pour la vérification de systèmes à états infinis. HAL CCSD.

Murat V, Software certification with semantic analysis (CELTIQUE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS), Université de Rennes, Thomas Genet (2014) Tree automata extensions for verification of infinite states systems ; Extensions des automates d’arbres pour la vérification de systèmes à états infinis. HAL CCSD

Murat, Valérie/ Software certification with semantic analysis (CELTIQUE)/ Inria Rennes – Bretagne Atlantique/ Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4)/ Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA)/ Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes)/ Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes)/ Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA)/ Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)/ Université de Rennes/ Thomas Genet, Tree automata extensions for verification of infinite states systems ; Extensions des automates d’arbres pour la vérification de systèmes à états infinis, 2014.