boite_recherche_g

Search
boite_recherche_d

Team

Alexandre Petrenko

Alexandre Petrenko

Team Director
Distributed Systems Analysis
Lead Researcher

Phone: 514-840-1290
Email: alexandre.petrenko@crim.ca  

Member of Program Committees
Recent invited talks
Publications

Alexandre Petrenko joined CRIM in 1996. Between 1992 and 1996, he had been a visiting professor at Université de Montréal. Until 1992, he was the director of the department of research in computer networks at the Institute of Electronics and Computer Science in Riga, URSS. From 1979 till 1982, he worked in Computer Network Task Force of the International Institute for Applied Systems Analysis (IIASA) in Vienna, Austria.

He was also a visiting professor at the following centers: Siemens CR in Munich, Germany; L'École Centrale Paris, France Télécom R&D, Lannion, Université de Rennes, and École Normale Supérieure de Cachan in Rennes, Université Joseph Fourier in Grenoble, SAP Sophia Antipolis in France; Politecnico di Milano and Università di Catania in Italy; Osaka University in Japan, and Sao Paulo University in Sao Carlos, Brazil.

Alexandre Petrenko has published more than 200 research papers and has given numerous invited talks. In 1999, together with Sergiy Boroday (CRIM) and Roland Groz (France Télécom), Alexandre received the FORTE/PSTV'99 Best Paper Award of the International FORTE/PSTV'99 Conference, given by the International Federation for Information Processing (IFIP). In 2005, along with C. Campbell, M. Veanes, and J. Huo, he received the Best Paper Award from the 17th IFIP International Conference on Testing of Communicating Systems.

He is a member of the IFIP TC6 Working Group 6.1 "Architectures and Protocols for Distributed Systems", and serves as member of the program committee of for several international workshops and conferences. He is also member of the steering committee of the IFIP International Conference on Testing of Communicating Systems (TestCom). His current research interests include formal methods and their application to distributed systems and computer networks.

Director

Alexandre Petrenko

Lead Researcher (Ph.D., Institute of Electronics and Computer Science, Riga, USSR)

 

Team

El Hachemi Alikacem

Senior Research Agent (M.Sc., Université Laval, 1999, DEA, Université Paris VI, 1992 and M.Sc., Eng., Institut National de formation en informatique, Algeria, 1989)

Arnaud Dury

Researcher (Ph.D., Université Henri-Poincaré de Nancy, 2000)



Associate Researchers

  • Prof. Houari Sahraoui, Ph.D., Associate Researcher
    Department of computer science and operations research, Université de Montréal.
  • Hesham Hallal, Ph.D., Associate Researcher
    College of Engineering, Fahad Bin Sultan University, Tabuk, Kingdom of Saudi Arabia.

Former Students

  • Hesham Hallal, Microelectronics and Computer System Lab., Department of Electrical Engineering and Computer Science, McGill University (A. Petrenko) (2008). 
  • May Haydar, (Thèse dans les meilleures 15%) Department of Computer Science and Operations Research, Université de Montréal (A. Petrenko and H. Sahraoui) (2008).
  • Jia Le Huo, Microelectronics and Computer System Lab., Department of Electrical Engineering and Computer Science, McGill University (A. Petrenko and R. Negulescu) (2006). 
  • Mirela Barburas, Department of Computer Science and Operations Research, Université de Montréal (A. Petrenko and H. Sahraoui) (2005).
  • Jagmit Singh, Department of Electrical and Computer Engineering, Faculty of Engineering and Computer Science, Concordia University (A. Petrenko and Otmane Ait Mohamed) (2005).
  • Qing Fan, Microelectronics and Computer System Lab., Department of Electrical Engineering, McGill University (A. Petrenko and R. Negulescu) (2004).
  • Philipp Shugerel, master intern, Johannes Kepler University, Austria (2004).
  • Thi Truc Vien, Institut Francophone Informatique de Hanoï (A. Dury and L. Magnin) (2003). 
  • Hussein Moghnieh, summer intern for the project on the modelling of Web applications, Concordia University (2003).
  • Nourchène Elleuch, Department of Computer Science and Operations Research, Université de Montréal (A. Dury and H. Sahraoui) (2003).
  • Tiphaine Turpin, summer intern for the PATY project, École Normale Supérieure de Cachan (2003).
  • Jean-Noël Isnard, summer intern for the project on the modelling of Web applications, Université de Montréal (2002).
  • Xavier Prat, DESS de l'Université de Paris VI (A. Dury and L. Magnin) (2002).