@conference { ISI:000259605900068,
	title = {TOWARD A HYBRID ALGORITHM FOR WORKFLOW GRAPH STRUCTURAL VERIFICATION},
	booktitle = {ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL ISAS-2: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, VOL 2},
	year = {2008},
	note = {10th International Conference on Enterprise Information Systems, Barcelona, SPAIN, JUN 12-16, 2008},
	pages = {442-447},
	publisher = {Inst Syst \& Technol Informat, Control \& Commun; Workflow Management Coalit; Assoc Adv Artificial Intelligence},
	organization = {Inst Syst \& Technol Informat, Control \& Commun; Workflow Management Coalit; Assoc Adv Artificial Intelligence},
	abstract = {Appropriate definition, analysis, checking and improvement of business process models are indispensable before their deployment within workflow management systems. In this paper, we focus on business process model verification that insures business process structural correctness. Our proposal consist in a new hybrid algorithm of workflow graph structural validation combining graph reduction and traversal mechanisms. Our algorithm will be discussed and compared to existing workflow structural checking approaches.},
	author = {Toure, Fode and Baina, Karim and Gaaloul, Walid},
	editor = {Cordeiro, J and Filipe, J}
}
@conference { ISI:000239482400015,
	title = {A bottom-up workflow mining approach for workflow applications analysis},
	booktitle = {DATA ENGINEERING ISSUES IN E-COMMERCE AND SERVICES, PROCEEDINGS},
	series = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {4055},
	year = {2006},
	note = {2nd International Workshop on Data Engineering Issues in E-Commerce and Services, San Francisco, CA, JUN 26, 2006},
	pages = {182-197},
	abstract = {Engineering workflow applications are becoming more and more complex, involving numerous interacting business objects within considerable processes. Analysing the interaction structure of those complex applications will enable them to be well understood, controlled, and redesigned. Our contribution to workflow mining is a statistical technique to discover workflow patterns from event-based log. Our approach is characterised by a {\textquoteleft}{\textquoteleft}local{{\textquoteright}{\textquoteright}} workflow patterns discovery that allows to cover partial results through a dynamic programming algorithm. Those local discovered workflow patterns are then composed iteratively until discovering the global workflow model. Our approach has been implemented within our prototype WorkflowMiner.},
	isbn = {3-540-35440-9},
	issn = {0302-9743},
	author = {Gaaloul, Walid and Baina, Karim and Godart, Claude},
	editor = {Lee, J and Shim, J and Lee, S and Bussler, C and Shim, S}
}
