Publications

Main publications

Selected publications about MINERful and presentation slides:

• The main discovery algorithm:

  Claudio Di Ciccio, Massimo Mecella: On the Discovery of Declarative Control Flows for Artful Processes. ACM Trans. Management Inf. Syst. 5(4): 24:1-24:37 (2015)

  • DOI: 10.1145/2629447
  • Presentation: https://www.slideshare.net/cdc08x/automated-discovery-of-declarative-process-models

• Discovery of more target-branched (read: more complex) declarative models:

  Claudio Di Ciccio, Fabrizio Maria Maggi, Jan Mendling: Efficient discovery of Target-Branched Declare constraints. Inf. Syst. 56: 258-283 (2016)

  • DOI: 10.1016/j.is.2015.06.009

• Getting rid of redundancies and inconsistencies:

  Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, Jan Mendling: Resolving inconsistencies and redundancies in declarative process models. Inf. Syst. 64: 425-446 (2017)

  • DOI: 10.1016/j.is.2016.09.005
  • Presentation: https://www.slideshare.net/cdc08x/resolving-inconsistencies-and-redundancies-in-declarative-process-models

• Retaining only non-vacuously satisfied (read: relevant) constraints:

  Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, JanMendling: On the relevance of a business constraint to an event log. Inf. Syst. 78: 144-161 (2018)

  • DOI: 10.1016/j.is.2018.01.011
  • Presentation: https://www.slideshare.net/cdc08x/semantical-vacuity-detection-in-declarative-process-mining

• Simulation of declarative models:

  Claudio Di Ciccio, Mario Luca Bernardi, Marta Cimitile, Fabrizio Maria Maggi: Generating Event Logs Through the Simulation of Declare Models. EOMAS@CAiSE 2015: 20-36

  • DOI: 10.1007/978-3-319-24626-0_2

• Declarative process specifications:

  Claudio Di Ciccio and Marco Montali. Declarative process specifications: reasoning, discovery, monitoring. Process Mining Handbook. LNBIP, 448:108– 152, 2022.

  • DOI DOI:10.1007/978-3-031-08848-3_4