Alexandre Petrenko, Ph. D.

Chercheur principal

Alexandre Petrenko
Équipe : Modélisation et développement logiciel avancé

T 514 840-1290
@ alexandre.petrenko@crim.ca

(Ph. D., Institute of Electronics and Computer Science, Riga, URSS)

Alexandre Petrenko œuvre au CRIM depuis 1996 au sein de l’équipe Modélisation et développement logiciel avancé.

De 1992 à 1996, il a été professeur et chercheur invité à l'Université de Montréal. Jusqu'en 1992, il a été directeur d'un département de recherche en réseau informatique à l’Institute of Electronics and Computer Science à Riga, en URSS. De 1979 à 1982, il a fait partie de l'équipe du Computer Network Task Force de l’International Institute for Applied Systems Analysis (IIASA) à Vienne en Autriche.

Il a aussi été professeur et chercheur invité dans les centres suivants : Siemens CR à Munich en Allemagne; École Centrale Paris, France Télécom R-D, Lannion, Université de Rennes et École Normale Supérieure de Cachan à Rennes, Université Joseph Fourier à Grenoble, SAP Sophia Antipolis en France; Politecnico di Milano et Università di Catania en Italie; Université d'Osaka au Japon et Université de Sao Paulo à Sao Carlos au Brésil.

Alexandre Petrenko a plus de 200 publications de recherche à son actif et a été invité à donner de nombreuses conférences à travers le monde. En 1999, en collaboration avec Sergiy Boroday du CRIM et Roland Groz de France Télécom, il a reçu le FORTE/PSTV'99 Best Paper Award de l’International FORTE/PSTV'99 Conference, donné par l’International Federation for Information Processing (IFIP). En 2005, avec C. Campbell, Veanes, et J. Huo, il a reçu le Best Paper Award de la 17e IFIP International Conference on Testing of Communicating Systems. 

Par ailleurs, il est membre du IFIP TC6 Working Group 6.1 « Architectures and Protocols for Distributed Systems », de comités pour plusieurs ateliers et conférences à l’international et du comité organisateur du IFIP International Conference on Testing of Communicating Systems (TestCom).

Portrait d'expert du CRIM : Découvrez Alexandre Petrenko (en anglais - 5:45)

Séminaires

  • Keynote, Can We Deal with Uncertainty and Faults in a Systematic Way? at the Test Automation Day 2016, Rotterdam, Netherlands, juin 2016.
  • Keynote to the 3rd Siemens Test Engineering Conference, Princeton, États-Unis, 15 novembre 2016.
  • Invited Talk to the 6th Halmstad Summer School on Testing (HSST 2016), Halmstad, Suède, juillet 2016.
  • Invited talk to the 52nd Annual Design Automation Conference (DAC 2015), San-Francisco, États-Unis, juin 2015.
  • Invited talk to the seminar of R&D Laboratories of Japanese telecommunications operator KDDI, Tokyo, Japan. 2014.
  • Invited talk to the 13th International Conference on Software QA and Testing on Embedded Systems, Bilbao, Spain, October 2014.
  • Invited talk to the Ninth Workshop on Model-Based Testing, Grenoble, France, April 2014.
  • Invited talk to the 25th IFIP International Conference on Testing Software and Systems, Turkey, November 2013.
  • Keynote to the 8th Workshop on Advances in Model Based Testing (A-MOST 2012), April 2012.
  • L'École Centrale Paris, France, mai 2011.
  • SAP, Sophia Antipolis, France, octobre 2010.
  • Article invité au Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), Novosibirsk, Akademgorodok, Russie, 27-30 juin 2006.
  • The National Institute for Space Research (INPE), Brésil, mars 2005.
  • Université Joseph Fourier, Grenoble, France, avril 2004.
  • Microsoft Research, décembre 2003.
  • College of Information Technology, Hagenberg, Autriche, novembre 2003.
  • IRISA/INRIA, Université de Rennes, France, juin 2003.
  • École Normale Supérieure de Cachan, Rennes, France, mai 2003.
  • Conférencier invité à la Concordia Summer School on Communication Software Engineering, Université Concordia, Montréal, Canada, août 2002.
  • Article invité à la Summer School MOVEP'2000, Modelling and Verification of Parallel Processes, Nantes, France, juin 2000.
  • R&D Center of Siemens AG, Munich, Allemagne, septembre 1999.
  • Article invité à la ISAS'98, 4TH International conference on Information Systems Analysis and Synthesis, États-Unis, juillet 1998.
  • University of California in Berkeley, États-Unis, février 1998.
  • Article invité au XXIV Congress of the Brazilian Computer Society, (SEMISH'97), Brasilia, Brésil, août 1997.
  • University of Sao Paulo in Sao Carlos, Brésil, août 1997.
  • University of Rio de Janeiro, Brésil, août 1997.
  • University of Campinas, Brésil, août 1997.
  • Article invité au Workshop on Application of Formal Methods to System Development:Telecommunications, VLSI and Real-Time Computerized Control Systems, Workshop of the 9th international scientific exchanges commandité par le Centre Jacques Cartier, Montréal, octobre 1996.
  • Université Henri Poincaré, (École Supérieure d’informatique et Applications de Lorraine), Nancy, France, septembre 1996.
  • University of Osaka, Japon, juin 1996.
  • Institut National des Telecommunications, Evry, France, septembre 1995.
  • University of Twente, Pays-Bas, septembre 1995.
  • Invited paper to the IFIP Eighth International Workshop on Protocol Test Systems, Evry, France, septembre 1995.
  • University of Cottbus, Allemagne, juillet 1995.
  • University of Osaka, Japon, novembre 1994.
  • Article invité au IFIP Seventh International Workshop on Protocol Test Systems, Tokyo, Japon, novembre 1994.
  • Article invité au ISSTA'94, ACM International Symposium on Software Testing and Analysis, Seattle, États-Unis, août 1994.
  • Université Concordia, Montréal, avril 1994.
  • University of Western Ontario, London, Canada, janvier 1994.
  • University of Waterloo, Canada, janvier 1994.
  • Article invité au the IFIP Sixth International Workshop on Protocol Test Systems, Pau, France, septembre 1993.
  • University of Ottawa, Canada, février 1993.

Comités

  • 8th Inernational Conference on Simulation and Modeling Methodologies, technologies and Applications, SIMULTECH 2018, Porto, Portugal, July 2018
  • 22nd International Symposium on Formal Methods, FM 2018, Oxford, UK, July 2018
  • Formal Methods 2018, Industry Day, Oxford, UK, July 2018
  • 29th International Conference on Testing Software and Systems, ICTSS 2017, St-Petersburg, Russia, October 2017
  • 7th International Conference on Simulation and Modeling Methodologies, Technologies and Application, SIMULTECH 2017, Madrid, Spain, July 29-31, 2017
  • International Multidisciplinary Modeling and Simulation Multiconference, Barcelona, Spain, September 18-20, 2017
  • 11th International Workshop on Model-Based Testing, Uppsala, Sweden, April 23, 2017.
  • IEEE International Conference on Software Quality, Reliability, and Security, QRS 2017, Prague, the Czech Republic, July 26-28, 2017
  • 13th Workshop on Advances in Model Based Testing, Tokyo, Japan, March 17, 2017
  • 1st Brazilian Symposium on Systematic and Automated Software Testing, Maringa, Parana, Brazil, September 19-20, 2016
  • The 2nd Workshop on Usages of Constraint Solving and Symbolic Execution, Cyprus, Greece, November 2016
  • 28th International Conference on Testing Software and Systems, Graz, Austria, October 17-19, 2016
  • The 4th IEEE International Workshop on Formal Methods Integration, Pittsburgh, USA, July 28-30, 2016
  • 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Lisbon, Portugal, July 29-31, 2016
  • 12th Workshop on Advances in Model Based Testing (A-MOST'16) Co-located with IEEE International Conference on Software Testing, Verification and Validation (ICST'16), Chicago, USA, April 11, 2016
  • 9th Workshop on Systematic and Automated Software Testing (SAST 2015), Belo Horizonte, Brazil, September 2015
  • The 3rd IEEE International Workshop on Formal Methods Integration, San Francisco, USA, August 13-15, 2015
  • 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Colmar, France, July 21-23, 2015
  • 9th International Conference on Tests & Proofs, L'Aquila, Italy, July 2015
  • The 2nd Workshop on Usages of Symbolic Execution, Oslo, Norway, June 23, 2015
  • 10th Workshop on Model-Based Testing, London, UK, April 18, 2015
  • 11th Workshop on Advances in Model Based Testing, Graz, Austria, April 17, 2015
  • 17th Brazilian Symposium on Formal Methods (SBMF), Macelo, Brazil, September 28 - October 3, 2014
  • 9th Brazilian Workshop on Systematic and Automated Software Testing (SAST 2014), Belo Horizonte, Brazil, September 23, 2014
  • 26th International Conference of Testing Software and Systems, Madrid, Spain, September 23-25, 2014
  • The 2nd IEEE International Workshop on Formal Methods Integration, San Francisco, USA, August 13-15, 2014
  • 8th International Conference on Tests & Proofs, York, UK, July 24 - July 25, 2014
  • 10th Workshop on Advances in Model Based Testing, Cleveland, Ohio, USA, April 4, 2014
  • 25th International Conference on Testing Software and Systems, ICTSS 2013, Istanbul, Turkey, November 2013
  • 16th Brazilian Symposium on Formal Methods (SBMF 2013), Brasília, Brazil, 29 September - 4 October 2013
  • 7th Brazilian Workshop on Systematic and Automated Software Testing, SAST 2013, Brasília, Brazil, October 2013
  • IEEE International Workshop on Formal Methods Integration - FMI 2013, San Francisco, August 2013
  • 7th International Conference on Tests & Proofs, Budapest, Hungary, June 2013
  • 9th Workshop on Advances in Model Based Testing (A-Most 2013), Luxembourg, March 2013
  • 8th Workshop on Model-Based Testing, Rome, Italy, March 2013.
  • 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, March 2012
  • IFIP International Conference on Formal Techniques for Distributed Systems, FMOODS & FORTE 2012, Stockholm, Sweden, June 2012
  • 15th Brazilian Symposium on Formal Methods, SBMF 2012, Natal, Brazil, September 2012
  • 6th Brazilian Workshop on Systematic and Automated Software Testing, Natal, Brazil, September 2012
  • 24th International Conference on Testing Software and Systems, ICTSS 2012, Aalborg, Denmark, October 2012
  • 15th Brazilian Symposium on Formal Methods, SBMF 2012, Natal, Brazil, September 2012
  • IFIP International Conference on Formal Techniques for Distributed Systems, FMOODS & FORTE 2012, Stockholm, Sweden, June 2012
  • The 8th Workshop on Advances in Model Based Testing, A-MOST 2012, Montreal, Canada, April 2012
  • Fifth International Conference on Software Testing, Verification and Validation, Montreal, Canada, April 2012
  • Eighth Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, March 2012
  • 23th IFIP International Conference on Testing Software and Systems (ICTSS'11), Paris, France, November 2011
  • 14th Brazilian Symposium On Formal Methods (SBMF 2011), Sao Paulo, Brazil, September 2011
  • 5th Brazilian Workshop on Systematic and Automated Software Testing, Sao Paulo, Brazil, September 2011
  • 6th International Federated Conferences on Distributed Computing Techniques, Reykjavik, Iceland, June 2011
  • 22nd IFIP International Conference on Testing Software and Systems (ICTSS), November 8 – 10, 2010, Natal, Brazil , Co-chair
  • Brazilian Symposium on Formal Methods (SBMF 2010), November 8-12, 2010, Natal, Brazil
  • The 1st International Workshop on Model Inference In Testing (MIIT 2010), July 12-17, 2010, Trento, Italy
  • The IFIP International Conference on Formal Techniques for Distributed Systems, June 7 - 10, 2010, Amsterdam, the Netherland
  • 6th Workshop on Advances in Model Based Testing (A-MOST 2010 ), April 6, 2010, Paris, France
  • The 3rd International Conference on Software Testing, Verification and Validation (ICST 2010), April 6, 2010, Paris, France
  • Sixth Workshop on Model-Based Testing, March 21, 2010, Paphos, Cyprus
  • Brazilian Symposium on Formal Methods (SBMF 2009), Gramado, Brazil, August 19-21, 2009.
  • Brazilian Workshop on Systematic and Automated Software Testing, (SAST 2009), August 19th, 2009, Gramado, Brazil.
  • 5th Workshop on Advances in Model Based Testing (A-MOST 2009), Denver, Colorado, USA, April 1, 2009.
  • Join international conference of FMOODS/FORTE (11th Formal Methods for Open Object-Based Distributed Systems and 29th Formal Techniques for Networked and Distributed Systems), Lisbon, Portugal, June 9-11, 2009.
  • Fifth Workshop on Model-Based Testing (MBT-2009), York, UK, March 22, 2009.
  • 35th Latin-American Conference on Informatics (CLEI-2009), Pelotas, Brazil, September, 22-25, 2009.
  • 21th IFIP International Conference on Testing of Communicating Systems and the 9th Int. Workshop on Formal Approaches to Testing of Software (TESTCOM/FATES 2009), Eindhoven, the Netherlands, November 2-4, 2009.
  • 2nd Brazilian Workshop on Systematic and Automated Software Testing, collocated with SBBD/SBES 2008, Campinas, SP, Brazil, October 14th, 2008.
  • 7th International conference on Computer-Aided Technologies in Applied Mathematics, ICAM'08, Tomsk, Russia, September 2-5, 2008.
  • Brazilian Symposium on Formal Methods, SBMF 2008, Salvador, Brazil, August 26-29, 2008.
  • International Symposium on Quality Engineering of Embedded Systems, QEES2008, Berlin, Germany, June 13, 2008.
  • The 20th IFIP Int. Conference on Testing of Communicating Systems (TestCom) and the 8th Int. Workshop on Formal Approaches to Testing of Software (FATES), June 10-13, 2008, Tokyo, Japan.
  • 28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2008), June 10-13, 2008, Tokyo, Japan.
  • 3rd International Computer Science Symposium in Russia (CSR 2008), June 7-12, 2008, Moscow, Russia.
  • First International Conference on Software Testing, Verification and Validation (ICST 2008), Lillehammer, Norway, April 9-11, 2008.
  • Fourth Workshop on Model-Based Testing (MBT 2008), April 2008, Budapest, Hungary.
  • 4th Workshop on Advances in Model Based Testing (A-MOST 2008), Lillehammer, Norway, April 9-11, 2008.
  • 1st Brazilian Workshop on Systematic and Automated Software Testing, Brazil, October 19, 2007.
  • 2nd International Computer Science Symposium in Russia, Ekaterinburg, Russia, September 3-7, 2007.
  • Third Workshop on Model-Based Testing, March 31 - April 1, 2007 Braga, Portugal.
  • 27th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE'07), June 26-29, 2007, Tallinn, Estonia.
  • The 19th IFIP International Conference on Testing Communicating Systems (TESTCOM 2007), Tallinn, Estonia, July 2-5, 2007; General chair.
  • 1st Workshop on Model-Based Testing and Object-Oriented Systems (M-TOOS 2006), Portland USA, October 23, 2006.
  • 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE 2006), Paris, France, September 26-29 2006.
  • 1st Joint International Workshop on Formal Aspects of Testing and Runtime Verification (FATES/RV 2006), Seattle, USA, August 15-16, 2006.
  • The 18th IFIP International Conference on Testing of Communicating Systems (TestCom 2006), New York City, USA, May 16-18, 2006.
  • Second Workshop on Model Based Testing (MBT 2006), Vienna, Austria, 25-26 mars 2006.
  • 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005), Taipei, Taiwan, October 2 - 5, 2005
  • NOTERE 2005, le congrès francophone sur les Nouvelles Technologies de la Répartition, Gatineau, Québec, Canada, du 30 août au 1er septembre 2005
  • 5th International Workshop on Formal Approaches To Testing Of Software (FATES 2005), Edinburgh, Scotland, UK, July 11, 2005.
  • The 17th IFIP International Conference on Testing of Communicating Systems (TestCom 2005), Montréal, Québec, Canada, May 30 - June 2, 2005.
  • Montréal Conference on E-technologies 2005, January 20 - 21, 2005.
  • 12th IEEE International Conference on Network Protocols, Berlin, Germany, October 5th - 8th, 2004.
  • 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2004), Madrid, Spain, 27-30 September, 2004.
  • 4th International Workshop on Formal Approaches To Testing Of Software (FATES 2004), Linz, Austria, September 2004.
  • The 16th IFIP International Conference on Testing of Communicating Systems, Oxford, United Kingdom, 17-19 March 2004.
  • 3rd International Workshop on Formal Approaches to Testing of Software, (FATES 2003), Montreal, Canada, October 6, 2003, (Co-chair of the Workshop).
  • The IFIP TC 6 / WG 6.1 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2003), Berlin, Germany, September 29th - October 2nd, 2003.
  • The Ninth International Conference on Informational Networks, Systems and Technologies, ICINSAT'2003, Moscow, Russia, September 17-19, 2003.
  • The IFIP TC6/WG6.1 15th International Conference on Testing of Communicating Systems, Sophia Antipolis, France, May 26 - 29, 2003.
  • The IFIP WG6.1 22nd International Conference on Formal Techniques for Networked and Distributed Systems, (FORTE'2002), Houston, Texas, November 11-14, 2002.
  • The Eighth International Conference on Informational Networks, Systems and Technologies, ICINSAT'2002, Saint Petersburg, Russia, September 16-19, 2002.
  • Workshop FATES 2002, Formal Approaches to Testing of Software, a satellite workshop of CONCUR'02, Brno, Czech Republic, August 2002.
  • The IFIP TC6/WG6.1 14th International Conference on Testing of Communicating Systems TestCom 2002, Testing Internet Technologies and Services, Berlin, March, 19th-22nd 2002.
  • The IEEE 9th International Conference on Network Protocols, ICNP'2001, USA, 2001.
  • Workshop FATES'01, Formal Approaches To Testing Of Software, a satellite workshop of CONCUR'01, Denmark, 2001.
  • FORTE'2001, 21st IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems, Korea, 2001.
  • The IEEE 8th International Conference on Network Protocols, Osaka, Japan, 2000.
  • The IFIP Joint International Conference FORTE/PSTV'2000, Formal Description Techniques (FORTE XIII) & Protocol Specification, Testing, and Verification (PSTV XV), Pisa, Italy, 2000.
  • The IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom'2000), Ottawa, Ontario, Canada, 2000.
  • MOVEP'2000, 4th Summer School on Modeling and Verification of Parallel Processes, Nantes, France, 2000.
  • The IFIP Joint International Conference FORTE/PSTV'99, Formal Description Techniques (FORTE XII) & Protocol Specification, Testing, and Verification (PSTV XIV), China, 1999.
  • The Twelfth IFIP International Workshop on Testing of Communicating Systems, Hungary, 1999.
  • The Eleventh IFIP International Workshop on Testing of Communicating Systems, Russia, 1998 (Co-chair of the Workshop).
  • The IFIP Joint International Conference FORTE/PSTV'98, Formal Description Techniques (FORTE XI) & Protocol Specification, Testing, and Verification (PSTV XVIII), France, 1998.
  • The Tenth IFIP International Workshop on Testing of Communicating Systems, Korea, 1997.
  • The Ninth IFIP International Workshop on Testing of Communicating Systems, Germany, 1996.
  • FORTE'95, The Eighth IFIP International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, Canada, 1995.
  • The Eighth IFIP International Workshop on Protocol Test Systems, France, 1995.
  • The Fifth IFIP International Workshop on Protocol Test Systems, Canada, 1992.

Publications scientifiques de l'équipe

Retour à la liste

Nouvelles récentes

  • La joie de la lecture, signée De Marque
    18/04/2018

    Avant la création du Web, on travaillait beaucoup dans les écoles et on avait la motivation d’offrir un contenu en mode numérique, francophone et québécois, car ce qui existait était principalement anglophone...

    +

Événement à venir

  • Séminaire R-D - Vers des systèmes de génération du langage naturel cohérents, fluides et adaptés au contexte
    24/04/18 11h00
    CRIM (405, avenue Ogilvy, bureau 101, Montréal)
    Une présentation de Jad Kabbara, boursier au sein de l'équipe Parole et Texte du CRIM et étudiant au doctorat à l'Université McGill (School of Computer Science). Présentation en anglais.
    +
  • Sherbrooke Innopole RT @SherbInnopole: 8 tendances technos à surveiller en 2018 selon @DeloitteInsight #TechTrends2018 https://t.co/O0ev0DeEI8 via @economie_qu…
  • Univalor RT @univalor: Vite! Inscrivez-vous au Symposium en IA pour 120 $. Après le 20 avril : 240 $ https://t.co/myO0M7nqgA @HEC_Montreal @IVADO_Qc…

Publications récentes

  • Towards Automatic Feature Extraction for Activity Recognition from Wearable Sensors: A Deep Learning Approach

    +
  • État des lieux des technologies web

    +