8th International Conference on
Model and Data Engineering (MEDI 2018)

24 - 26 October 2018, Marrakesh, Morocco

Detailed Workshops-MEDI 2018 Program

Go to : Wednesday , Thursday || PDF : Go to W3Schools!

Tuesday October 23, 2018
14h00-21h00 Welcome reception and Registration
Wednesday October 24, 2018
8h30 Welcome reception and Registration
8h30 - 09h00 Opening Conference ROOM I
09h00 - 10h00 Keynote: Professor Georg Gottlob, Oxford University, UK

[Session Chair: Prof. Ladjel Bellatreche, ISAE-ENSMA, Poitiers, France]

Data Science with Vadalog: Bridging Machine Learning and Reasoning

Luigi Bellomarini, Ruslan Fayzrakhmanov, Georg Gottlob, Andrey Kravchenko, Eleonora Laurenza, Yavor Nenov, Stéphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov and Lianlong Wu

10h00 - 10h30 Coffee Break
10h30 - 12h30 DETECT Workshop - Session I
[session chair : Prof. Rachida Dssouli (Concordia University, Canada)]
  • Petri Nets to Event-B: Handling Mathematical Sequences through an ERTMS L3 Case

    Zakaryae Boudi, Simon Collart-Dutilleul and Haloua Mohamed

  • A Problem-Oriented Approach to Critical System Design and Diagnosis Support

    Vincent Leildé, Vincent Ribaud, Ciprian Teodorov and Philippe Dhaussy

  • Formal Verification of Cloud Resource Allocation using Timed Petri Nets

    Saoussen Cheikhrouhou, Nesrine Chabbouh, Slim Kallel and Zakaria Maamar

10h30 - 12h30 IWCFS Workshop – Keynote (chair: PDA)
  • Welcome note

    Atif Mashkoor, Johannes Sametinger, Xabier Larrucea

  • Invited talk: A Roadmap for Engineering Safe and Secure Cyber-Physical Systems

    Alexander Egyed

12h30 - 14h00 Lunch Break
14h00 - 15h30 DETECT Workshop - Session II
[session chair : Dr. Slim Kallel (University of Sfax, Tunisia)]
  • Steady-State Performability Analysis of Call Admission Control in Cellular Mobile Network

    Sana Younes and Maroua Idi

  • A MDA approach for the Specification of Relay-Based Diagrams

    Dalay Israel de Almeida Pereira, Ouahmed Malki, Philip Bon, Matthieu Perin and Simon Collart-Dutilleul

  • Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems

    Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar and Rachida Dssouli

14h00 - 15h30 IWCFS Workshop - Session I (chair: PDA)
  • Handling Reparation in Incremental Construction of Realizable Choreographies

    Sarah Benyagoub, Yamine Ait-Ameur, Meriem Ouederni and Atif Mashkoor

  • Analyzing a ROS Based Architecture for its Cross Reuse in ISO26262 Settings

    Xabier Larrucea, Pablo González-Nalda, Ismael Etxeberria-Agiriano, Mari Carmen Otero and Isidro Calvo

  • Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment

    Manzoor Ahmad, Christophe Gnaho, Jean-Michel Bruel and Régine Laleau

15h30 - 16h00 Coffee Break
16h00 - 18h30 REMEDY Workshop (chair: PDA)
  • Automatic planning: From Event-B to PDDL

    Sabrine Ammar and Mohamed Tahar Bhiri

  • Reliability on Fully Probabilistic Event-B: How Bound the Enabling of Events

    Syrine Aouadi and Arnaud Lanoix

  • Component design and adaptation based on behavioral contracts

    Samir Chouali, Sebti Mouelhi and Hassan Mountassir

  • Systematic Construction of Critical Embedded Systems using Event-B

    Pascal André, Christian Attiogbe and Arnaud Lanoix

  • Towards real-time semantics for a distributed event-based MOP language

    Luis Daniel Benavides Navarro, Wilmer Garzon and Mateo Sanabria

16h00 - 18h30 IWCFS Workshop - Session II (chair: PDA)
  • Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist

    Guillaume Dupont, Yamine Ait Ameur, Marc Pantel and Neeraj Singh

  • Assessment of Emerging Standards for Safety and Security Co-Design on a Railway Case Study

    Christophe Ponsard, Jeremy Grandclaudon, Philippe Massonet and Mounir Touzani

  • Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios

    Silvia Bonfanti, Angelo Gargantini and Atif Mashkoor

  • Discussion & Conclusion

19h00 - ... Social Event around Marrakech & Dinner
Thursday October 25, 2018
17h00 - 18h30 MEDI4SG (chair: PDA)
  • Gamification and serious games based learning for early childhood in rural areas

    Rachid Lamrani, El Hassan Abdelwahed, Souad Chraibi, Sara Qassimi and MeriemHafidi

  • Context-Based Sentiment Analysis: A survey

    Oumayma El Ansari, Jihad Zahir and Hajar Mousannif

  • A Multi-Agent System-Based Distributed Intrusion Detection System for a Cloud Environment

    Omar Achbarou, My Ahmed El Kiram, Outmane Bourkoukou and Salim Elbouanani

Flag Counter