Média
Partenaires
Recherche
Chercheurs

Tahar, Sofiène
Université Concordia
Membre associé

Description du programme de recherche

Formal Verification of Cyber-physical Systems

We address the development of techniques and tools for formal verification of cyber-physical systems. In particular, we aim at developing advanced methods for the modeling, analysis and verification of hardware, embedded software, and physical components (optical, analog, etc.) of safety-critical systems.

Cours offerts

COEN 6741 - Computer Architecture and Design (4 cr.)

Axes et thèmes

  • Axe 1: Modélisation, simulation et méthodes de conception des microsystèmes.
    • Thème 1.1: Specification, verification and optimization.
    • Thème 1.2: Algorithms, architectures and design methodologies.
    • Thème 1.3: Modeling and computer-aided design.

    Collaboration au sein du ReSMiQ

    Ait Mohamed, Otmane - Université Concordia
    Bois, Guy - Polytechnique Montréal
    Nicolescu, Gabriela - Polytechnique Montréal

    Collaboration hors ReSMiQ

    , -

    Coordonnées:

    Université Concordia
    Département de génie Électrique et d'Informatique
    1455, Boul. De Maisonneuve O. bureau EV005.211
    Montréal (Québec) H3G 1M8
    Canada
    Téléphone: (514) 848-2424 poste 3114
    Télécopieur: (514) 848-2802
    Adresse de courrier électronique: tahar@ece.concordia.ca