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, URSS)

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, 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/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:

  • 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):

  • 17th Brazilian Symposium on Formal Methods (SBMF), Macelo, Brazil, September 28 - October 3, 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

CONTACT US

Contact us for assisting you in choosing the solution tailored to your specific needs.

514 840-1234
1 877 840-2746

This email address is being protected from spambots. You need JavaScript enabled to view it.

Recent news

  • CRIM stands out at an international facial analysis competition
    20/07/2016

    The VISI.CRIM team ranks among the winners!

    +

Upcoming event

  • Age 3.0 - La foire du Vieillissement créatif
    25 August 2016 9:00
    Université Concordia
    Le CRIM est heureux d'être partenaire de diffusion pour l’événement Age3.0 - la Foire du vieillissement créatif, qui aura lieu à Montréal le 25 août prochain à l'Université Concordia.
    +
  • Fier partenaire de la conférence @la_lesaffaires Gestion de l’#innovation Soyez des nôtres ! https://t.co/VWs0Xxgvmh https://t.co/l9c5xKIzA7
  • #Innovation https://t.co/Qp8Sud1BA1

Recent Publications

  • Uncertainty modeling without subspace methods in text-dependent speaker recognition

    +
  • Spoofing Detection on the ASVSpoof2015 Challenge Corpus Employing Deep Neural Networks

    +