Presentations and Seminars:
“Towards a Comprehensive Framework for Business Process Compliance”,
- Invited Seminar, University of Leicester, Leicester, the UK, December 2014.
- Invited Seminar, Trinity College Dublin, Dublin, Ireland, January 2014.
- Invited Seminar, German University in Cairo, Cairo, Egypt, April 2013.
- Invited Seminar, University of Duisburg-Essen, Paluno, Essen, Germany, January 2013.
- Invited Seminar, Cairo University, Faculty of Computers and Information, Cairo, October 2012.
- Invited Seminar, University of Alberta, Edmonton, Canada, January 2012.
- IM Seminar, Tilburg University, Tilburg, the Netherlands, January 2012.
"Self-Adaptation using Models@Runtime: Application on Smart Cities", Invited Seminar, University of Versailles, Versailles, France, June 2014
"Compliance Request Language Tools (CRLT) for Design Time Business Process Compliance Management", talk and demo presentation at COMPAS project review meeting, Vienna, March 2011.
"An Integrated Framework for Design-time Business Process Compliance", IM Seminar and demo presentation, Tilburg University, Tilburg, February 2011.
"On the Formal Specification of Regulatory Compliance: A Comparative Analysis", talk at the International Performance Assessment and Auditing in Service Computing Workshop, ICSOC10 workshops, San Francisco, December 2010.
"Root-Cause Analysis of Design-time Compliance Violations on the basis of Property Patterns", talk at the 8th International Conference on Service-Oriented Computing (ICSOC10), San Francisco, December 2010.
"Towards a Comprehensive Design-time Compliance Management: A Roadmap", talk at the 15 International Business Information Management Conference, Cairo, November 2010.
"On the Formal Specification of Business Contracts and Regulatory Compliance", talk at the 4th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS10)’ SEFM'10 workshops, Pisa, September 2010.
"Compliance Request Language Extensions and Root-cause Analysis of Design-time Compliance Violations",
- talk at COMPAS project review meeting, Brussels, April 2010.
- IM Seminar and demo presentation, Tilburg University, Tilburg, March 2010.
- talk at COMPAS project workshop (periodic meeting), Poznan, March 2010.
"Formal Specification of Compliance Constraints", talk at Formal Method week (FMCO), Eindhoven, November 2009.
“WP2: Expressive Languages for Compliance Concerns”, talk at WP-2 workshop, Tilburg University, Tilburg, March 2009.
“Design-time Business Process Compliance Management: Challenges and Research Directions”, Invited Seminar at Faculty of Computers and Information, Cairo University, Cairo, December 2008.
“D2.2: Initial Specification of Compliance Language Constructs and Operators”, talk at COMPAS project workshop (periodic meeting), Lyon, November 2008.
“On the risk management and auditing of SOA based business processes”, talk at the 3rd international Symposium on leveraging applications of formal methods, verification and validation, Thessaloniki, October 2008.
“WP-2: Expressive Language for Compliance”, talk at COMPAS project workshop (periodic meeting), Milan, September 2008.
“Automated Web Services Composition and Analysis”, IM Seminar at Tilburg University, Tilburg, December 2007."Compliance Request Language Tools (CRLT) for Design Time Business Process Compliance Management
"Compliance Request Language Tools (CRLT) for Design Time Business Process Compliance Management", talk and demo presentation at COMPAS project review meeting, Vienna, March 2011.
"An Integrated Framework for Design-time Business Process Compliance", IM Seminar and demo presentation, Tilburg University, Tilburg, February 2011.
"On the Formal Specification of Regulatory Compliance: A Comparative Analysis", talk at the International Performance Assessment and Auditing in Service Computing Workshop, ICSOC10 workshops, San Francisco, December 2010.
"Root-Cause Analysis of Design-time Compliance Violations on the basis of Property Patterns", talk at the 8th International Conference on Service-Oriented Computing (ICSOC10), San Francisco, December 2010.
"Towards a Comprehensive Design-time Compliance Management: A Roadmap", talk at the 15 International Business Information Management Conference, Cairo, November 2010.
"On the Formal Specification of Business Contracts and Regulatory Compliance", talk at the 4th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS10)’ SEFM'10 workshops, Pisa, September 2010.
"Compliance Request Language Extensions and Root-cause Analysis of Design-time Compliance Violations",
- talk at COMPAS project review meeting, Brussels, April 2010.
- IM Seminar and demo presentation, Tilburg University, Tilburg, March 2010.
- talk at COMPAS project workshop (periodic meeting), Poznan, March 2010.
"Formal Specification of Compliance Constraints", talk at Formal Method week (FMCO), Eindhoven, November 2009.
“WP2: Expressive Languages for Compliance Concerns”, talk at WP-2 workshop, Tilburg University, Tilburg, March 2009.
“Design-time Business Process Compliance Management: Challenges and Research Directions”, Invited Seminar at Faculty of Computers and Information, Cairo University, Cairo, December 2008.
“D2.2: Initial Specification of Compliance Language Constructs and Operators”, talk at COMPAS project workshop (periodic meeting), Lyon, November 2008.
“On the risk management and auditing of SOA based business processes”, talk at the 3rd international Symposium on leveraging applications of formal methods, verification and validation, Thessaloniki, October 2008.
“WP-2: Expressive Language for Compliance”, talk at COMPAS project workshop (periodic meeting), Milan, September 2008.
“Automated Web Services Composition and Analysis”, IM Seminar at Tilburg University, Tilburg, December 2007.
“Towards a Comprehensive Framework for Business Process Compliance”,
- Invited Seminar, University of Leicester, Leicester, the UK, December 2014.
- Invited Seminar, Trinity College Dublin, Dublin, Ireland, January 2014.
- Invited Seminar, German University in Cairo, Cairo, Egypt, April 2013.
- Invited Seminar, University of Duisburg-Essen, Paluno, Essen, Germany, January 2013.
- Invited Seminar, Cairo University, Faculty of Computers and Information, Cairo, October 2012.
- Invited Seminar, University of Alberta, Edmonton, Canada, January 2012.
- IM Seminar, Tilburg University, Tilburg, the Netherlands, January 2012.
"Self-Adaptation using Models@Runtime: Application on Smart Cities", Invited Seminar, University of Versailles, Versailles, France, June 2014
"Compliance Request Language Tools (CRLT) for Design Time Business Process Compliance Management", talk and demo presentation at COMPAS project review meeting, Vienna, March 2011.
"An Integrated Framework for Design-time Business Process Compliance", IM Seminar and demo presentation, Tilburg University, Tilburg, February 2011.
"On the Formal Specification of Regulatory Compliance: A Comparative Analysis", talk at the International Performance Assessment and Auditing in Service Computing Workshop, ICSOC10 workshops, San Francisco, December 2010.
"Root-Cause Analysis of Design-time Compliance Violations on the basis of Property Patterns", talk at the 8th International Conference on Service-Oriented Computing (ICSOC10), San Francisco, December 2010.
"Towards a Comprehensive Design-time Compliance Management: A Roadmap", talk at the 15 International Business Information Management Conference, Cairo, November 2010.
"On the Formal Specification of Business Contracts and Regulatory Compliance", talk at the 4th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS10)’ SEFM'10 workshops, Pisa, September 2010.
"Compliance Request Language Extensions and Root-cause Analysis of Design-time Compliance Violations",
- talk at COMPAS project review meeting, Brussels, April 2010.
- IM Seminar and demo presentation, Tilburg University, Tilburg, March 2010.
- talk at COMPAS project workshop (periodic meeting), Poznan, March 2010.
"Formal Specification of Compliance Constraints", talk at Formal Method week (FMCO), Eindhoven, November 2009.
“WP2: Expressive Languages for Compliance Concerns”, talk at WP-2 workshop, Tilburg University, Tilburg, March 2009.
“Design-time Business Process Compliance Management: Challenges and Research Directions”, Invited Seminar at Faculty of Computers and Information, Cairo University, Cairo, December 2008.
“D2.2: Initial Specification of Compliance Language Constructs and Operators”, talk at COMPAS project workshop (periodic meeting), Lyon, November 2008.
“On the risk management and auditing of SOA based business processes”, talk at the 3rd international Symposium on leveraging applications of formal methods, verification and validation, Thessaloniki, October 2008.
“WP-2: Expressive Language for Compliance”, talk at COMPAS project workshop (periodic meeting), Milan, September 2008.
“Automated Web Services Composition and Analysis”, IM Seminar at Tilburg University, Tilburg, December 2007."Compliance Request Language Tools (CRLT) for Design Time Business Process Compliance Management
"Compliance Request Language Tools (CRLT) for Design Time Business Process Compliance Management", talk and demo presentation at COMPAS project review meeting, Vienna, March 2011.
"An Integrated Framework for Design-time Business Process Compliance", IM Seminar and demo presentation, Tilburg University, Tilburg, February 2011.
"On the Formal Specification of Regulatory Compliance: A Comparative Analysis", talk at the International Performance Assessment and Auditing in Service Computing Workshop, ICSOC10 workshops, San Francisco, December 2010.
"Root-Cause Analysis of Design-time Compliance Violations on the basis of Property Patterns", talk at the 8th International Conference on Service-Oriented Computing (ICSOC10), San Francisco, December 2010.
"Towards a Comprehensive Design-time Compliance Management: A Roadmap", talk at the 15 International Business Information Management Conference, Cairo, November 2010.
"On the Formal Specification of Business Contracts and Regulatory Compliance", talk at the 4th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS10)’ SEFM'10 workshops, Pisa, September 2010.
"Compliance Request Language Extensions and Root-cause Analysis of Design-time Compliance Violations",
- talk at COMPAS project review meeting, Brussels, April 2010.
- IM Seminar and demo presentation, Tilburg University, Tilburg, March 2010.
- talk at COMPAS project workshop (periodic meeting), Poznan, March 2010.
"Formal Specification of Compliance Constraints", talk at Formal Method week (FMCO), Eindhoven, November 2009.
“WP2: Expressive Languages for Compliance Concerns”, talk at WP-2 workshop, Tilburg University, Tilburg, March 2009.
“Design-time Business Process Compliance Management: Challenges and Research Directions”, Invited Seminar at Faculty of Computers and Information, Cairo University, Cairo, December 2008.
“D2.2: Initial Specification of Compliance Language Constructs and Operators”, talk at COMPAS project workshop (periodic meeting), Lyon, November 2008.
“On the risk management and auditing of SOA based business processes”, talk at the 3rd international Symposium on leveraging applications of formal methods, verification and validation, Thessaloniki, October 2008.
“WP-2: Expressive Language for Compliance”, talk at COMPAS project workshop (periodic meeting), Milan, September 2008.
“Automated Web Services Composition and Analysis”, IM Seminar at Tilburg University, Tilburg, December 2007.