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
COEN6741 - 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
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