<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Heidari, Parisa"

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Réseau de collaboration
Nuage de mots
Grouper par: Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Aller à : H
Nombre de documents: 7

H

Heidari, P., Boucheneb, H., & Shami, A. (novembre 2015). A Formal Approach for QoS Assurance in the Cloud [Communication écrite]. 7th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2015), Vancouver, British Colombia. Lien externe

Heidari, P., & Boucheneb, H. (2013). Controller synthesis of time petri nets using stopwatch. Journal of Engineering, 2013, 970487 (13 pages). Disponible

Heidari, P., & Boucheneb, H. (2013). Maximally permissive controller synthesis for time Petri nets. International Journal of Control, 86(3), 493-511. Lien externe

Heidari, P. (2012). A Forward On-The-Fly Approach for Safety and Reachability Controller Synthesis of Timed Systems [Thèse de doctorat, École Polytechnique de Montréal]. Disponible

Heidari, P., & Boucheneb, H. (juin 2010). Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets [Communication écrite]. 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal. Lien externe

Heidari, P., Desnoyers, M., & Dagenais, M. (mai 2008). Performance analysis of virtual machines through tracing [Communication écrite]. Canadian Conference on Electrical and Computer Engineering (CCECE 2008), Niagara Falls, Ontario. Lien externe

Heidari, P. (2007). Hypervisors and virtual systems tracing for performance analysis [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Liste produite: 17 avril 2025 à 07 h 49.