Bannière Faculté des sciences DIC

Roger Villemaire

Unité : Département d'informatique

Poste : Professeur

Courriel : villemaire.roger@uqam.ca

Téléphone : (514) 987-3000 poste 6744

Local : PK-4615

Domaines d'expertises

  • Logiques informatiques
  • Vérification
  • Modélisation

 

Informations générales

Cheminement académique

  • Aucune donnée disponible pour cette section.

Liens d’intérêt

Unités de recherche

  • Laboratoire de téléinformatique et réseaux (LTIR)

Projets de recherche en cours

  • Aucune donnée disponible pour cette section.

Partenaires (organismes, entreprises)

  • Aucune donnée disponible pour cette section.

Affiliations externes principales

  • Aucune donnée disponible pour cette section.
Enseignement et supervision

Cours

Direction de thèses et de mémoires (Depuis 2006) et d’essais doctoraux (depuis 2014)

  • Monnet, Anthony Jean-Luc. (2013). Améliorer l'efficacité de l'algorithme CDCL : décompositions arborescentes de grandes instances, CDCL sans saut arrière et CDCL à ordre partiel. (Thèse de doctorat). Université du Québec à Montréal. Récupéré d’Archipel, l’archive de publications électroniques de l’UQAM. http://www.archipel.uqam.ca/5863.

  • Hallé, Sylvain. (2008). Spécification, validation et satisfiabilité [i.e. satisfaisabilité] de contraintes hybrides par réduction à la logique temporelle. (Thèse de doctorat). Université du Québec à Montréal. Récupéré d’Archipel, l’archive de publications électroniques de l’UQAM. http://www.archipel.uqam.ca/1680.

  • Ben Nasr, Sami. (2011). Model-checking du délai dans les éléments réseaux. (Mémoire de maîtrise). Université du Québec à Montréal. Récupéré d’Archipel, l’archive de publications électroniques de l’UQAM. http://www.archipel.uqam.ca/4013.

  • Bourgeois, Mathieu. (2011). Conception et implémentation d'un langage de description de diagrammes de mathématiques discrètes et d'informatique théorique. (Mémoire de maîtrise). Université du Québec à Montréal. Récupéré d’Archipel, l’archive de publications électroniques de l’UQAM. http://www.archipel.uqam.ca/4633.

  • Wenaas, Éric. (2006). Implantation d'une logique de configuration pour la vérification automatique de configurations d'équipements de réseaux. (Mémoire de maîtrise). Université du Québec à Montréal.

  • Rahmoune, Nabila. (2006). Méthode SAT et algorithme DPLL appliqués à un problème de recherche opérationnelle. (Mémoire de maîtrise). Université du Québec à Montréal.

  • Micati, Marwan. (2005). Développement d'une heuristique par influences mutuelles pour l'ordonnancement des variables d'un diagramme de décision binaire (BDD). (Mémoire de maîtrise). Université du Québec à Montréal.

  • Hallé, Sylvain. (2005). Formalismes logiques pour la gestion des configurations dans les réseaux informatiques. (Mémoire de maîtrise). Université du Québec à Montréal.

  • Jaafar, Samir. (2016). Modélisation et vérification de l'utilisation de patrons de conception (GoF). (Rapport d'activités et projet d'intervention). Université du Québec à Montréal.

Publications

Publications

  • Aucune donnée disponible pour cette section.
Communications

Communications

  • Aucune donnée disponible pour cette section.
Réalisations

Réalisations

  • Aucune donnée disponible pour cette section.
Distinctions

Prix et distinctions

  • Aucune donnée disponible pour cette section.
Services à la collectivité

Services à la collectivité

Aucune donnée disponible pour cette section.