Pre-proceedings version of all papers can be downloaded by clicking on the links in the programme or as a comprehensive zip archive here: Pre-proceedings of DataMod 2018.
Monday, 25 June 2018
| 10.30 – 10.50 |
Registration and Coffee Break |
| 10.50 – 11.00 |
Set up and introduction |
| Session 1 |
| 11:00 – 11:30 |
Lucia Nasti, Roberta Gori and Paolo Milazzo. Formalizing Robustness of biochemical networks (pre-proceedings paper)
|
| 11:30 – 12:00 |
Riccardo Guidotti, Jacopo Soldani, Davide Neri and Antonio Brogi. Explaining Successful Docker Images using Pattern Mining Analysis (pre-proceedings paper)
|
| 12:00 – 12:30 |
Roberto Pellungrini, Luca Pappalardo, Francesca Pratesi and Anna Monreale. Analyzing Privacy Risk in Human Mobility Data (pre-proceedings paper)
|
|
| 12:30 – 14:00 |
Lunch |
|
| Session 2 |
| 14:00 – 15:00 |
Keynote Talk by Paolo Masci (abstract)
|
| 15:00 – 15:30 |
Luca Arnaboldi and Charles Morisset. Generating Synthetic Data for Real World Detection of DoS attacks in the IoT (pre-proceedings paper)
|
|
| 15:30 – 16:00 |
Coffee Break |
| Session 3 |
| 16:00 – 16:30 |
Vashti Galpin. CARMA modelling of network security (abstract)
|
| 16:30 – 17:00 |
Yuri Gordienko, Sergii Stirenko and Anis Rojbi.Heart Beat Analysis for Estimation of Physical Load (presentation report)
|
| 17:00 – 17:30 |
Julie Bu Daher, Armelle Brun and Anne Boyer. Multi-source Data Mining for e-Education (presentation report)
|
Tuesday, 26 June 2018
| Session 4 |
| 09:00 – 10:00 |
Keynote Talk by Gwen Salaün (abstract)
|
| 10:00 – 10:30 |
Juliana Küster Filipe Bowles, Ricardo Czekster and Thais Webber. Annotated BPMN models for optimised healthcare resource planning (pre-proceedings paper)
|
|
| 10.30 – 11.00 |
Coffee Break |
|
| Session 5 |
| 11:00 – 11:30 |
Antonio Cerone and Aiym Zhexenbayeva. Using Formal Methods to Validate Research Hypotheses: the Duolingo Case Study (pre-proceedings paper)
|
| 11:30 – 12:00 |
Giovanna Broccia. A Cognitive Framework for Modeling and Analysing Safety-Critical Human Multitasking (presentation report)
|
| 12:00 – 12:30 |
Vittorio Cuculo, Alessandro D’Amelio, Raffaella Lanzarotti and Giuseppe Boccignone. Personality gaze patterns unveiled via automatic relevance determination (pre-proceedings paper)
|
|
| 12:30 – 14:00 |
Lunch |
| Session 6 |
| 14:00 – 15:00 |
Keynote Talk by Giulio Caravagna (abstract)
|
| 15:00 – 15:30 |
Antonio Cerone. FormalMiner: a Formal Framework for Refinement Mining (pre-proceedings paper)
|
|
| 15:30 – 16:00 |
Coffee Break |
|
| 16:00 – 17:30 |
Discussion |