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).

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

  • Le CRIM, partie prenante d'un des 100 meilleurs projets de R-D au monde de l'année 2017!
    12/12/2017

    L'initiative ESGF a été sélectionnée parmi les 100 meilleurs projets de recherche et développement de l'année 2017 dans le cadre des R&D 100 Awards. ESGF (Earth System Grid Federation) est un effort de développement concerté en science du climat et du...

    +

Événement à venir

  • OGC Testbed 13 Demonstration Event
    13/12/17 8h30
    Reston, Virginie
    Le CRIM sera présent pour cet événement qui se déroule les 12 et 13 décembre 2017 à Reston en Virginie.
    +
  • Grenier nouvelles RT @Grenier_enbref: .@Deloitte dévoile ses prédictions en matière de technologies, de médias et de télécommunications au cours des cinq pro…
  • Congratulations to all collaborators involved! @Livermore_Lab @ouranos_cc @VISI_TEAM @Tom_Landry_ #PAVICS… https://t.co/tw55D2vwfF

Publications récentes

  • Projet patrimoine TARV

    +
  • PeopleBot

    +