Roger Villemaire

Département d'informatique

Poste : Professeur

Courriel : villemaire.roger@uqam.ca

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

Local : PK-4615

Domaines d'expertise

  • Logiques informatiques
  • Vérification
  • Modélisation
  • Général
  • Enseignement et supervision
  • Publications
  • Communications
  • Réalisations
  • Distinctions
  • Services à la collectivité

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.

Prix et distinctions

  • Aucune donnée disponible pour cette section.

Publications

  • Aucune donnée disponible pour cette section.

Cours

Direction (Depuis 1990) 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.

Autres directions et supervisions

Aucune donnée disponible pour cette section.

Communications

  • Aucune donnée disponible pour cette section.

Réalisations

  • Aucune donnée disponible pour cette section.

Participation à l'édition d'une revue

  • Aucune donnée disponible pour cette section.

Services à la collectivité

Aucune donnée disponible pour cette section.