征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介

International Workshop Formal Models for Mastering Multifaceted Systems (@ MEDI 2018)

Numerous software-based systems are distinguished by their needs to handle simultaneously multiple facets: complex behaviours, intensive data, continuous reaction with their environment, evolving physical environments, time properties, robustness to failure, etc.

Modelling, analysing and building such multifaceted systems are still challenging research concerns.

The purpose of the workshop is  to connect researchers and practionners working on various aspects of such systems which involve heterogeneous components, distributed and embedded systems, reactive systems, etc.

As an event of MEDI’2018, the workshop will be scheduled on half a day (October 24th, 2018), for the presentation of papers selected by an international programme committee.

组委会

General Chairs

 

  • Ladjel Bellatreche, ISAE-ENSMA, Poitiers, France

  • El Hassan Abdelwahed, University Cadi Ayyad Marrakech, Morocco 

Program Committe Co-Chairs

 

  • Carlos Ordonez, University of Houston, USA

  • Matteo Golfarelli, University of Bologna, Italy

  • Dominique Mery, LORIA, Nancy, France

Publicity Chairs  

 

  • Djoudi Mahieddine, Poitiers University, France

Demo Co-Chairs  

 

  • Alain Crolotte, Teradata Corporation, USA

  • Karim Baina, ENSIAS, Université Mohamed V de Rabat

  • Soumia Benkrid, ESI, Algiers, Algeria

  • Moussa LO, Gaston Berger University, Saint-Louis, Senegal

 

WIP Co-Chairs

 

  • Yamine Aït Ameur, ENSEEIHT/IRIT, Toulouse

  • Stéphane Jean, Poitiers University, France

  • Sadok Ben Yahia, University of Tunis El Manar, Tunisia

  • El Adnani Mohamed, University Cadi Ayyad Marrakech, Morocco

Organizing Committee

 

  • My Ahmed El Kiram , University Cadi Ayyad Marrakech, Morocco

  • Souad Chraibi , University Cadi Ayyad Marrakech, Morocco

  • Essaid El Bachari, University Cadi Ayyad Marrakech, Morocco

  • Zahir Jihad, University Cadi Ayyad Marrakech, Morocco

  • Sana Nouzri, University Cadi Ayyad Marrakech, Morocco

  • Tarik Agouti, University Cadi Ayyad Marrakech, Morocco

  • Issam Qaffou, University Cadi Ayyad Marrakech, Morocco

  • My El Mehdi Bouhamidi, University Cadi Ayyad Marrakech, Morocco

PhD Students Organizing Committee

 

  • Sara Qassimi, University Cadi Ayyad Marrakech, Morocco

  • Meriem Hafidi, University Cadi Ayyad Marrakech, Morocco

  • Rachid Lamrani, University Cadi Ayyad Marrakech, Morocco

Program Committee Members  

  • El Hassan Abdelwahed, University Cadi Ayyad Marrakech, Morocco

  • Alberto Abello, Universitat PolitŠcnica de Catalunya, Spain

  • Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France

  • Idir Ait Sadoune, LRI - CentraleSup‚lec, France

  • Shaukat Ali, Simula Research Laboratory, Norway

  • Jesus M. Almendros-Jimenez, Universidad de Almeria, Spain

  • Sabeur Aridhi, Telecom Nancy at the University of Lorraine, France

  • Kamel Barkaoui, Cedric- Le Cnam, Paris, France

  • Ladjel Bellatreche, LIAS/ENSMA, France

  • Orlando Belo, University of Minho, Portugal

  • Sidi Mohamed Benslimane, University of Sidi Bel Abbes, Algeria

  • Alexander Borusan, TU Berlin / Fraunhofer FOKUS, Germany

  • Drazen Brdjanin, University of Banja Luka, Bosnia and Herzegovina

  • Francesco Buccafurri, DIIES - Universita' Mediterranea di Reggio Calabria, Italy

  • Wellington Cabrera, Teradata, USA

  • Humberto Carrillo, UNAM University, Mexico

  • Antonio Corral, University of Almeria, Spain

  • Alain Crolotte, Teradata Corporation, USA

  • Florian Daniel, Politecnico di Milano, Italy

  • Mostafa Ezziyyani, Abdelmalek Essaadi University, Morocco

  • Alex Delis, University of Athens, Greece

  • Georgios Evangelidis, University of Macedonia, Thessaloniki, Greece

  • Alfio Ferrara, University of Milan, Italy

  • Enrico Gallinucci, University of Bologna, Italy

  • Javier Garcia-Garcia, UNAM University, Mexico

  • Anastasios Gounaris, Aristotle University of Thessaloniki, Greece

  • Emmanuel Grolleau, LIAS, ISAE-ENSMA, France

  • Brahim Hamid, IRIT- University of Toulouse, France

  • Slimane Hammoudi, ESEO, France

  • Luis Iribarne, University of Almernia, Spain

  • Mirjana Ivanovic, University of Novi Sad, Serbia

  • Petar Jovanovic, Universitat PolitŠcnica De Catalunya - Barcelona Tech, Spain

  • Nadjet Kamel, University of Science and Technology Houari Boumedien, Algeria

  • Selma Khouri, Ecole nationale Supérieure d'Informatique, Algeria

  • Adamantios Koumpis, University of Passau, Germany

 
  • Regine Laleau, Paris Est Creteil University, France

  • Witold Kinsner, University of Manitoba, Winnipeg, Canada

  • Yves Ledru, University Joseph Fourier, France

  • Carson Leung, University of Manitoba, Canada

  • Zhimin Liu, Southwest University, China

  • Ivan Lukovic, University of Novi Sad, Serbia

  • Sofian Maabout, LaBRI. University of Bordeaux, France

  • Yannis Manolopoulos, Aristotle University of Thessaloniki, Greece

  • Patrick Marcel, University Franocis Rabelais of Tours, France

  • Dominique Mery, University of Lorraine, LORIA, France

  • Mohamed Mosbah, Institut Polytechnique de Bordeaux, France

  • Chokri Mraidha, CEA LIST, France

  • Yassine Ouhammou, LIAS/ENSMA, France

  • Jose Ignacio Panach Navarrete, Universitat de ValŠncia, Spain

  • Oscar Pastor Lopez, Universitat Politecnica de Valencia, Spain

  • Jaroslav Pokorny, Charles University in Prague, Czech Republic

  • Giuseppe Polese, University of Salerno, Italy

  • Elvinia Riccobene, University of Milan, Italy

  • Oscar Romero, Universitat PolitŠcnica de Catalunya, Spain

  • Dimitris Sacharidis, TU Wien, Austria

  • Milos Savic, University of Novi Sad, Serbia

  • Klaus-Dieter Schewe, Software Competence Center Hagenberg, Austria

  • Timos Sellis, Swinburne University of Technology, Australia

  • Giovanni Simonini, University of Modena and Reggio Emilia, Italy

  • Neeraj Singh, University of Toulouse, France

  • Spyros Sioutas, IONIAN University, Greece

  • Riccardo Torlone, Roma Tre University, Italy

  • Ismail Toroslu, Middle East Technical University, Turkey

  • Predrag Tosic, University of Idaho, USA

  • Goce Trajcevski, Northwestern University, USA

  • Javier Tuya, University of Oviedo, Spain

  • Theodoros Tzouramanis, University of the Aegean, Greece

  • Michael Vassilakopoulos, University of Thessaly, Greece

  • Panos Vassiliadis, University of Ioannina, Greece

  • Robert Wrembel, Poznan Unviersity of Technology, Poland

  • Yiqun Zhang, VoltDB, USA

  • Jorge ,ISEC - Polytechnic Institute of Coimbra, Portugal

征稿信息

重要日期

2018-05-18
摘要截稿日期
2018-06-01
初稿截稿日期
2018-06-29
初稿录用日期
2018-07-09
终稿截稿日期

TOPICS AND GOALS

Multifaceted Systems are distinguished by their needs to handle simultaneously numerous facets : complex behaviours, intensive data, continuous reaction with their environment, evolving physical environments, time properties, robustness to failure, etc

The formal modelling and analysis of such multifaceted systems are still challenging due to the need of well-researched theories, methods and tools to combine models and methods in order to take account of the various facets, environment (including hardware but not only) as well  as software components, the interaction with the environment, the transfer of properties, the refinement into various target languages pr frameworks, etc.

All these facets make it difficult in practice to build or to guarantee that a multifaceted model is correct.

The topics of interest of the workshop include, but are not limited to :

  • New concepts, models, theory and tools for multifacted systems ;

  • Formal modelling of multifaceted systems ;

  • Formal modelling of embedded systems and mechatronic systems ;

  • Analysis of interactive distributed systems ;

  • Standards for interchange between models, methods, provers, model checkers ;

  • All aspects of interaction between formal analysis tools ;

  • Correct-by-construction (refinement-based) methods ;

  • Contract-based design and verification ;

  • Probabilistic modelling and analysis ;

  • Compositional approaches to heterogeneous systems ;

  • Heterogeneous models for cyber-physical or mechatronic systems ;

  • Case studies.

作者指南

Submission Guidelines

All submitted papers must be 12-14 pages long, following the Springer LNCS format. These submissions may be:

  • Original research papers providing new concepts and results

  • Experience reports, case studies

  • Tool presentations

留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 10月24日

    2018

    会议日期

  • 05月18日 2018

    摘要截稿日期

  • 06月01日 2018

    初稿截稿日期

  • 06月29日 2018

    初稿录用通知日期

  • 07月09日 2018

    终稿截稿日期

  • 10月24日 2018

    注册截止日期

联系方式
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询