Alexandre Petrenko - Program Committees

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

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.