Travelled to:1 × Germany
1 × Greece
1 × Portugal
1 × Spain
1 × USA
Collaborated with:C.Godart K.Baïna F.Touré N.N.Chan K.Yongsiriwit J.Mendling K.Benali L.Hamel M.Graiet M.Kmimech M.T.Bhiri
Talks about:workflow (2) event (2) mine (2) log (2) interconnect (1) distribut (1) algorithm (1) transact (1) structur (1) composit (1)
Person: Walid Gaaloul
DBLP: Gaaloul:Walid
Contributed to:
2014
2011
2008
20062004Wrote 5 papers:
- CAiSE-2014-ChanYGM #development #execution #mining #process
- Mining Event Logs to Assist the Development of Executable Process Variants (NNC, KY, WG, JM), pp. 548–563.
- ECSA-2011-HamelGKBG #behaviour #transaction #verification
- Verifying Composite Service Transactional Behavior with EVENT-B (LH, MG, MK, MTB, WG), pp. 67–74.
- ICEIS-ISAS2-2008-BainaT #algorithm #graph #hybrid #towards #verification #workflow
- Toward a Hybrid Algorithm for Workflow Graph Structural Verification (FT, KB, WG), pp. 442–447.
- SEKE-2006-GaaloulG #analysis #mining #statistics #workflow
- A Workflow Mining Tool based on Logs Statistical Analysis (WG, CG), pp. 595–600.
- ICEIS-v4-2004-GaaloulBBG #component #distributed
- A Pattern for Interconnecting Distributed Components (WG, KB, KB, CG), pp. 430–434.