Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/medi/medi2018.bht:"
download as .bib file
@inproceedings{DBLP:conf/medi/0001CIV18,
author = {Francisco Garc{\'{\i}}a{-}Garc{\'{\i}}a and
Antonio Corral and
Luis Iribarne and
Michael Vassilakopoulos},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Voronoi-Diagram Based Partitioning for Distance Join Query Processing
in SpatialHadoop},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {251--267},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_16},
doi = {10.1007/978-3-030-00856-7\_16},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medi/0001CIV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/AbdallaouiFES18,
author = {Hasna El Alaoui El Abdallaoui and
Abdelaziz El Fazziki and
Fatima Zohra Ennaji and
Mohammed Sadgal},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {A Gamification and Objectivity Based Approach to Improve Users Motivation
in Mobile Crowd Sensing},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {153--167},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_10},
doi = {10.1007/978-3-030-00856-7\_10},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/AbdallaouiFES18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/AbdelkhalekBE18,
author = {Ikram Abdelkhalek and
Afef Ben Brahim and
Nadia Essoussi},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {A New Way of Handling Missing Data in Multi-source Classification
Based on Adaptive Imputation},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {125--136},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_8},
doi = {10.1007/978-3-030-00856-7\_8},
timestamp = {Wed, 24 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/AbdelkhalekBE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/AbracheMC18,
author = {Mohamed{-}Amine Abrache and
Khalid Megder and
Chihab Cherkaoui},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Feedback-Oriented Assessor Model - Application: Allocation of Submissions
in Online Peer Assessment},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {137--149},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_9},
doi = {10.1007/978-3-030-00856-7\_9},
timestamp = {Wed, 24 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/AbracheMC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/AsaadB18,
author = {Chaimae Asaad and
Karim Ba{\"{\i}}na},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {NoSQL Databases - Seek for a Design Methodology},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {25--40},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_2},
doi = {10.1007/978-3-030-00856-7\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/AsaadB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/BaidadaBJ18,
author = {Chafik Baidada and
El Mahi Bouziane and
Abdeslam Jakimi},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {A Dynamic Analysis for Reverse Engineering of Sequence Diagram Using
{CPN}},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {331--345},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_22},
doi = {10.1007/978-3-030-00856-7\_22},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/BaidadaBJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/BellomariniFGKL18,
author = {Luigi Bellomarini and
Ruslan R. Fayzrakhmanov and
Georg Gottlob and
Andrey Kravchenko and
Eleonora Laurenza and
Yavor Nenov and
St{\'{e}}phane Reissfelder and
Emanuel Sallinger and
Evgeny Sherkhonov and
Lianlong Wu},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Data Science with Vadalog: Bridging Machine Learning and Reasoning},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {3--21},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_1},
doi = {10.1007/978-3-030-00856-7\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/BellomariniFGKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/CherguiB18,
author = {Mohamed El{-}Amine Chergui and
Sidi Mohamed Benslimane},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {A Valid {BPMN} Extension for Supporting Security Requirements Based
on Cyber Security Ontology},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {219--232},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_14},
doi = {10.1007/978-3-030-00856-7\_14},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/CherguiB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/DombeuK18,
author = {Jean Vincent Fonou Dombeu and
Yannick Kazela Kazadi},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Adaptive Algorithms for Computing Ontologies Metrics Through Processing
of {RDF} Graphs},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {92--106},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_6},
doi = {10.1007/978-3-030-00856-7\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/DombeuK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/DombeuV18,
author = {Jean Vincent Fonou Dombeu and
Serestina Viriri},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {CRank: {A} Novel Framework for Ranking Semantic Web Ontologies},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {107--121},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_7},
doi = {10.1007/978-3-030-00856-7\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/DombeuV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/EssebaaC18,
author = {Imane Essebaa and
Salima Chantit},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Scrum and {V} Lifecycle Combined with Model-Based Testing and Model
Driven Architecture to Deal with Evolutionary System Issues},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {77--91},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_5},
doi = {10.1007/978-3-030-00856-7\_5},
timestamp = {Wed, 24 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/EssebaaC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/GadoucheZT18,
author = {Hania Gadouche and
Farah Zoubeyr and
Abdelkamel Tari},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {A Correct-by-Construction Model for Attribute-Based Access Control},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {233--247},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_15},
doi = {10.1007/978-3-030-00856-7\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/GadoucheZT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/KhebbebHB18,
author = {Khaled Khebbeb and
Nabil Hameurlain and
Faiza Belala},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud
Systems},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {168--183},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_11},
doi = {10.1007/978-3-030-00856-7\_11},
timestamp = {Wed, 24 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/KhebbebHB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/LeildeRTD18a,
author = {Vincent Leild{\'{e}} and
Vincent Ribaud and
Ciprian Teodorov and
Philippe Dhaussy},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Domain-Oriented Verification Management},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {354--370},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_24},
doi = {10.1007/978-3-030-00856-7\_24},
timestamp = {Wed, 24 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/LeildeRTD18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/MaamarBUBAABA18,
author = {Zakaria Maamar and
Khouloud Boukadi and
Emir Ugljanin and
Thar Baker and
Muhammad Asim and
Mohammed Al{-}Khafajiy and
Djamal Benslimane and
Hasna El Alaoui El Abdallaoui},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Thing Federation as a Service: Foundations and Demonstration},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {184--197},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_12},
doi = {10.1007/978-3-030-00856-7\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/MaamarBUBAABA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/MaghfourE18,
author = {Mohcine Maghfour and
Abdeljalil Elouardighi},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Standard and Dialectal Arabic Text Classification for Sentiment Analysis},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {282--291},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_18},
doi = {10.1007/978-3-030-00856-7\_18},
timestamp = {Wed, 24 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/MaghfourE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/Mahfoud18,
author = {Houari Mahfoud},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Graph Pattern Matching Preserving Label-Repetition Constraints},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {268--281},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_17},
doi = {10.1007/978-3-030-00856-7\_17},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medi/Mahfoud18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/MarirBH18,
author = {Souad Marir and
Faiza Belala and
Nabil Hameurlain},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {A Formal Model for Interaction Specification and Analysis in IoT Applications},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {371--384},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_25},
doi = {10.1007/978-3-030-00856-7\_25},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/MarirBH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/MontinP18,
author = {Mathieu Montin and
Marc Pantel},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Mechanizing the Denotational Semantics of the Clock Constraint Specification
Language},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {385--400},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_26},
doi = {10.1007/978-3-030-00856-7\_26},
timestamp = {Wed, 24 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/MontinP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/Ouchani18,
author = {Samir Ouchani},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Ensuring the Functional Correctness of IoT through Formal Modeling
and Verification},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {401--417},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_27},
doi = {10.1007/978-3-030-00856-7\_27},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/Ouchani18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/QassimiAHL18,
author = {Sara Qassimi and
El Hassan Abdelwahed and
Meriem Hafidi and
Rachid Lamrani},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {A Graph-Based Model for Tag Recommendations in Clinical Decision Support
System},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {292--300},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_19},
doi = {10.1007/978-3-030-00856-7\_19},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/QassimiAHL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/RoulandHJ18,
author = {Quentin Rouland and
Brahim Hamid and
Jason Jaskolka},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Formalizing Reusable Communication Models for Distributed Systems
Architecture},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {198--216},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_13},
doi = {10.1007/978-3-030-00856-7\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/RoulandHJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/RoumelisVCFM18,
author = {George Roumelis and
Michael Vassilakopoulos and
Antonio Corral and
Athanasios Fevgas and
Yannis Manolopoulos},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Spatial Batch-Queries Processing Using xBR + -trees in Solid-State
Drives},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {301--317},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_20},
doi = {10.1007/978-3-030-00856-7\_20},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medi/RoumelisVCFM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/RybolaV18,
author = {Zdenek Rybola and
Michal Valenta},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Towards OntoUML for Software Engineering: Experimental Evaluation
of Exclusivity Constraints in Relational Databases},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {58--73},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_4},
doi = {10.1007/978-3-030-00856-7\_4},
timestamp = {Wed, 24 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/RybolaV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/SalmiCM18,
author = {Cheikh Salmi and
Mohamed Chaabani and
Mohamed Mezghiche},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {A Formalized Procedure for Database Horizontal Fragmentation in Isabelle/HOL
Proof Assistant},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {346--353},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_23},
doi = {10.1007/978-3-030-00856-7\_23},
timestamp = {Wed, 24 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/SalmiCM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/Schewe18,
author = {Klaus{-}Dieter Schewe},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Extensions to Hybrid Event-B to Support Concurrency in Cyber-Physical
Systems},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {418--433},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_28},
doi = {10.1007/978-3-030-00856-7\_28},
timestamp = {Wed, 24 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/Schewe18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/VegaG0ZS18,
author = {Alfonso de la Vega and
Diego Garc{\'{\i}}a{-}Saiz and
Carlos Blanco and
Marta E. Zorrilla and
Pablo S{\'{a}}nchez},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Mortadelo: {A} Model-Driven Framework for NoSQL Database Design},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {41--57},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_3},
doi = {10.1007/978-3-030-00856-7\_3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medi/VegaG0ZS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/WakrimeADLI18,
author = {Abderrahim Ait Wakrime and
Rahma Ben Ayed and
Simon Collart Dutilleul and
Yves Ledru and
Akram Idani},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Formalizing Railway Signaling System {ERTMS/ETCS} Using UML/Event-B},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {321--330},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_21},
doi = {10.1007/978-3-030-00856-7\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/WakrimeADLI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/medi/2018,
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7},
doi = {10.1007/978-3-030-00856-7},
isbn = {978-3-030-00855-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-24 09:08 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
