Partial List of Past External Activities

PC member for 9th Workshop on Modeling in Software Engineering (MiSE'17). Buenos Aires, Argentina. May 20-28, 2017.

PC member for 10th IEEE International Conference on Software Testing, Verification, and Validation (ICST'17). Tokyo, Japan. March 13-18, 2017.

PC member for 2nd Workshoip on Usages of Constraint Solving and Symbolic Execution (USE'16). November 7-11, 2016

PC member for MODELS'16. Saint-Malo, France. October 2-7, 2016.

Co-organizer of 3rd Workshop on Open Source Software for Model-Driven Engineering (OSS4MDE'16). October 3, 2016.

PC member for 2nd International Workshop on Executable Modeling (EXE'16). October 3, 2016.

PC member for 3rd International Workshop on the Interplay of Model-Driven and Component-Based Software Engineering (ModComp'16). October 4, 2016.

PC member for 5th International Workshop on the Verification of Model Transformation (Volt'16). October 2, 2016.

PC member for ECMFA'16. July 4-8, 2016.

PC member for 5th International ABZ Conference (ABZ'16). May 23-27, 2016.

PC member for 8th Workshop on Modelling in Software Engineering (MiSE'16). May 16-17, 2016.

PC member for ICST'16. April 10-15, 2016.

PC member for FASE'16. April 4-8, 2016.

PC member for EXE'15. Ottawa, Canada. Sept 27, 2015.

Co-organizer of 2nd Workshop on Open Source Software for Model-Driven Engineering (OSS4MDE'15). Ottawa, Canada. Sept 29, 2015.

Co-organizer of 4th Workshop on the Analysis of Model Transformations (AMT'15). Ottawa, Canada. Sept 28, 2015.

Co-organizer of 1st Workshop on Modeling in Automotive Software Engineering (MASE'15). Ottawa, Canada. Sept 27, 2015.

PB member for MODELS'15. Ottawa, Canada. Sept 27 - October 2, 2015.

PC member for ECMFA'15. L'Aquila, Italy. July 20-24, 2015.

PC member for USE'15. Oslo, Norway. June 23, 2015.

PC member for MiSE'15. Florence, Italy. May 16-17, 2015.

Co-organizer for AMT'14 @ MODELS'14. Sept 28 - Sept 30, 2014

Co-organizer for OSS4MDE'14 @ MODELS'14. Sept 28 - Sept 30, 2014

PC Co-Chair for MODELS'14. Sept 28 - Oct 3, 2014

PC member for ABZ'14. June 2-6, 2014.

PC member for MiSE'14 @ ICSE'14. May 31 - June 7, 2014.

PC member for MiSE'14 @ ICSE'14. May 31 - June 7, 2014.

Co-organizer for MDE'14 @ HPI. May 31, 2014.

PC member for ICSE'14. May 31 - June 7, 2014.

Member of Steering Committee for FMOODS/FORTE (2011-2014).

PC member for FASE'14. April 5-13, 2014.

Co-organizer for AMT'13. Sept 29, 2013.

PB member for MODELS'13. Sept. 29 - Oct. 4, 2013.

PC member for FMOODS/FORTE'13. June 2013.

PC member for Workshop on Models in Software Engineering (MiSE'13) at ICSE'13. May 2013.

PC member for FME Workshop on Formal Methods in Software Engineering (FormaliSE) at ICSE'13. May 2013.

PC member for VOLT'13 workshop at STAF'13. June 2013.

PC member for FASE'13 as part of ETAPS'13, March 2013.

Mentor for Mentorship Program of ICST'13. March, 2013.

Co-organizer for AMT'12. Oct., 2012.

PC member for MODELS'12. Sept. 30 - Oct. 5, 2012.

PC member for ABZ'12. June 18-22, 2012.

PC member for FormSERA'12 as part of ICSE'12. June 2, 2012.

PC member for FMOODS-FORTE'12 as part of DisCoTec'12. June 2012.

PC member for ICST'12. April 17-21, 2012.

PC member for FASE'12 as part of ETAPS'12, March 2012.

Member of NSERC DG Evaluation Group 1507, 2009 - 2012.

Co-organizer for Workshop on Software Modeling for Embedded and Mobile Sensor Networks at CASCON'11. November 8, 2011.

PC member for MODELS'11. October 2011.

PC co-chair for FMOODS-FORTE'11 as part of DisCoTec'11. June 2011.

PC member for ECMFA'11. June 2011.

PC member for ICST'11. March 2011.

PC member for FOAL'11. March 2011.

Workshop committee co-chair of ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MoDELS'10). Oslo, October 2009.

PC member for ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MoDELS'10). Oslo, October 2009.

PC member for Doctoral Symposium of ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MoDELS'10). Oslo, October 2009.

PC member for the Sixth European Conference on Modelling Foundations and Applications ( ECMFA'10). Paris, June 15 - 18, 2010.

PC member for the International Conference on Formal Methods for Open Object-based Distributed Systems and the International Conference on Formal Techniques for Networked and Distributed Systems Verification, and Validation (FMOODS/FORTE 2010). Amsterdam, June 7 - 9, 2010.

PC member for International Conference on Software Testing, Verification, and Validation (ICST 2010). Paris, France, April 2010.

PC member for IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010). St Anne's College, University of Oxford, United Kingdom, 24-26 March 2010.

PC member for International Conference on Alloy, ASM, B, and Z (ABZ 2010). Orford, Quebec, February 2010.

Chair of Doctoral Symposium of ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS'09). Denver, October 4-9, 2009.

PC member for ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS '09). Denver, October 2009.

PC member for the 2009 International Conference on Software Testing and Analysis (ISSTA'09). Chicago, July 19-23, 2009.

PC member for Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA'09). Twente, The Netherlands, June 23-26, 2009.

PC member for 12th International Conference on Fundamental Approaches to Software Engineering (FASE '09). York, UK. March 2009.

PC member for International Conference on Software Engineering Advances (ICSEA'08). Malta. October 2008.

PC member for ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS '08). Toulouse, September/October 2008.

PC member for 4th European Conference on Model-Driven Architecture (ECMDA '08). Berlin, June 2008.

Expert-Review Panel member for International Conference on Automated Software Engineering (ASE'07). Atlanta, Georgia. Novmember 2007.

PC member for International Conference on Software Engineering Advances (ICSEA'07). France. August 2007.

PC member for the 12th IEEE International Conference on Engineering Complex Computing Systems (ICECCS'07) to be held at The University of Auckland, New Zealand, July 10 - 14, 2007.

PC member for the Inaugural International Conference on Distributed Event-Based Systems (DEBS'07). Toronto, Canada, June 20-22, 2007.

PC member for 3rd European Conference on Model-Driven Architecture (ECMDA '07). Haifa, June 2007.

PC member for 10th International Conference on Fundamental Approaches to Software Engineering (FASE'07). Braga, Portugal. March 2007.

PC member for International Conference on Software Engineering Advances (ICSEA'06). Tahiti, French Polynesia. October 2006.

PC member for First International Workshop on Event-driven Architecture, Processing and Systems (EDA-PS '06). Chicago, USA. September 2006.

PC member for 2nd European Conference on Model-Driven Architecture (ECMDA '06). Bilbao, July 2006.

PC member for 5th International Workshop on Distributed Event-Based Systems (DEBS'06). Lisbon, Portugal. July 2006.

Sponsorship chair for 14th International Symposium on Formal Methods. McMaster University, Canada. 21 - 27 August 2006.

Co-organizer of "A Formal Semantics for UML2.0" Workshop at the European Conference for Model-Driven Architecture (ECMDA) in November 2005.

Co-chair of 4th International Workshop on Distributed Event-Based Systems (DEBS'05) on June 10, 2005.


Last modified: Wed May 31 11:20:54 EDT 2017