Alexandre Petrenko, Ph.D.

Lead Researcher, Advanced Software Modeling and Development Team

Alexandre Petrenko
Team: Advanced Software Modeling and Development

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

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

Since 1996, Alexandre Petrenko is part of the Advanced Software Modeling and Development team. 

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, USSR. 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/resercher at the following centers: Siemens CT 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. In 2012, together with A. Simao and N. Yevtushenko, Alexandre received The Best Paper Award of the IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST). 

Team's Scientific publications

Seminars

Recent Invited Talks:

  • Keynote to the 3rd Siemens Test Engineering Conference, Princeton, United States, November 15, 2016.
  • Keynote, Can We Deal with Uncertainty and Faults in a Systematic Way? at the Test Automation Day 2016, Rotterdam, Netherlands, June 2016.
  • Invited Talk to the 6th Halmstad Summer School on Testing (HSST 2016), Halmstad, Sweden, July 2016.
  • Invited talk to the 52nd Annual Design Automation Conference (DAC 2015), San-Francisco, United States, June 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, May 2011.
  • SAP, Sophia Antipolis, France, October 2010.
  • Invited paper to the Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), Novosibirsk, Akademgorodok, Russia, June 27-30, 2006.
  • The National Institute for Space Research (INPE), Brazil, March 2005.
  • Université Joseph Fourier, Grenoble, France, avril 2004.
  • Microsoft Research, December 2003.
  • College of Information Technology, Hagenberg, Austria, November 2003.
  • IRISA/INRIA, Université de Rennes, France, June 2003.
  • Ecole Normale Superieure de Cachan in Rennes, France, May 2003.
  • Invited lecture to the Concordia Summer School on Communication Software Engineering, Concordia University, Montreal, Canada, August 2002.
  • Invited paper to the Summer School MOVEP'2000, Modelling and Verification of Parallel Processes, Nantes, France, June 2000.
  • R&D Center of Siemens AG, Munich, Germany, September 1999.
  • Invited paper to the ISAS'98, 4TH International conference on Information Systems Analysis and Synthesis, USA, July 1998.
  • University of California in Berkeley, USA, February 1998.
  • Invited paper to the XXIV Congress of the Brazilian Computer Society, (SEMISH'97), Brasilia, Brazil, August 1997.
  • University of Sao Paulo in Sao Carlos, Brazil, August 1997.
  • University of Rio de Janeiro, Brazil, August 1997.
  • University of Campinas, Brazil, August 1997.
  • Invited paper to the Workshop on Application of Formal Methods to System Development:Telecommunications, VLSI and Real-Time Computerized Control Systems, Workshop of the 9th international scientific exchanges sponsored by the Jacques Cartier Centre, Montreal, October 1996.
  • Universite Henri Poincare, (Ecole Superieure D’informatique at Applications de Lorraine) Nancy, France, September 1996.
  • University of Osaka, Japan, June 1996.
  • Institut National des Telecommunications, Evry, France, September 1995.
  • University of Twente,the Netherlands, September 1995.
  • Invited paper to the IFIP Eighth International Workshop on Protocol Test Systems, Evry, France, September 1995.
  • University of Cottbus, Germany, July 1995.
  • University of Osaka, Japan, November 1994.
  • Invited paper to the IFIP Seventh International Workshop on Protocol Test Systems, Tokyo, Japan, November 1994.
  • Invited paper to ISSTA'94, ACM International Symposium on Software Testing and Analysis, Seattle, USA, August 1994.
  • Concordia University, Montreal, April 1994.
  • University of Western Ontario, London, Canada, January 1994.
  • University of Waterloo, Canada, January 1994.
  • Invited paper to the IFIP Sixth International Workshop on Protocol Test Systems, Pau, France, September 1993.
  • University of Ottawa, Canada, February 1993.

Committees

Member of the Program Committees of the following conferences (since 1992):

  • 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
  • 11th Workshop on Advances in Model Based Testing, Chicago, USA, April 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, stanbul, 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, March 25-26, 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.

Return to list

Recent news

  • Le CRIM ouvre ses portes à la communauté de l’innovation et rend accessible une toute nouvelle salle
    09/12/2016

    C’est avec fierté que le CRIM a inauguré, le 1er décembre, sa nouvelle salle évènementielle en présence de madame Anie Samson, maire de l’arrondissement de Villeray–Saint-Michel–Parc-Extension et vice-présidente du comité exécutif à la Ville de Montréal.

    +

Upcoming event

  • AGU Fall Meeting
    16 December 2016 0:00
    San Francisco
    CRIM will be presenting a paper at the AGU Fall Meeting, the largest conference on Earth and space science that will be held in San Francisco, USA, December 12-16, 2016.
    +
  • CRIM reçoit 1 subvention du Fonds pour l’accessibilité de la radiodiffusion pour la réalisation d'un projet novateur https://t.co/mc2Y6hCXDn
  • PME MTL RT @PMEMTL: #parcoursPME :40 #entrepreneurs propulseront leur entreprise en 2017. https://t.co/Q9iLRhBuJM

Recent Publications

  • Contextual term equivalent search using domain-driven disambiguation

    +
  • Integration Testing of AUTOSAR Components

    +