Abstract is missing.
- A Refinement Strategy for Hybrid System Design with Safety ConstraintsZheng Cheng, Dominique Méry. 3-17 [doi]
- Model-Based Approach for Co-optimization of Safety and Security Objectives in Design of Critical ArchitecturesKunal Suri, Gabriel Pedroza, Patrick Leserf. 18-32 [doi]
- Towards a Model-Based Approach to Support Physical Test Process of Aircraft Hydraulic SystemsOuissem Mesli-Kesraoui, Yassine Ouhammou, Olga Goubali, Pascal Berruet, Patrick Girard 0002, Emmanuel Grolleau. 33-40 [doi]
- Multi-facets Contract for Modeling and Verifying Heterogeneous SystemsA. Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi. 41-49 [doi]
- An Approach to Detect Cyberbullying on Social MediaFatemeh Sajadi Ansari, Mahmoud Barhamgi, Aymen Khelifi, Djamal Benslimane. 53-66 [doi]
- An Ontology Engineering Case Study for Advanced Digital Forensic AnalysisPavel Chikul, Hayretdin Bahsi, Olaf Maennel. 67-74 [doi]
- More Automation in Model Driven DevelopmentPascal André, Mohammed El Amin Tebib. 75-83 [doi]
- Realisability of Control-State ChoreographiesKlaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub. 87-100 [doi]
- A Low-Cost Authentication Protocol Using Arbiter-PUFFahem Zerrouki, Samir Ouchani, Hafida Bouarfa. 101-116 [doi]
- Aspect-Oriented Model-Based Testing with UPPAAL Timed AutomataJüri Vain, Leonidas Tsiopoulos, Gert Kanter. 117-124 [doi]
- Social Neural Hybrid Recommendation with Deep Representation LearningLamia Berkani, Dyhia Laga, Abdelhak Aissat. 127-140 [doi]
- Cloud Query Processing with Reinforcement Learning-Based Multi-objective Re-optimizationChenxiao Wang, Le Gruenwald, Laurent d'Orazio, Eleazar Leal. 141-155 [doi]
- Top-K Formal Concepts for Identifying Positively and Negatively Correlated BiclustersAmina Houari, Sadok Ben Yahia. 156-172 [doi]
- Anonymization Methods of Structured Health Care Data: A Literature ReviewOlga Vovk, Gunnar Piho, Peeter Ross. 175-189 [doi]
- Categorical Modeling of Multi-model Data: One Model to Rule Them AllMartin Svoboda, Pavel Contos, Irena Holubová. 190-198 [doi]
- Guaranteeing Information Integrity Through Blockchains for Smart CitiesWalid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa. 199-212 [doi]
- A Blockchain-Based Platform for the e-Procurement Management in the Public SectorHasna Elalaoui El Abdallaoui, Abdelaziz El Fazziki, Mohamed Sadgal. 213-223 [doi]
- COVIDonto: An Ontology Model for Acquisition and Sharing of COVID-19 DataJean Vincent Fonou Dombeu, Thimershen Achary, Emma Genders, Shiv Mahabeer, Shivani Mahashakti Pillay. 227-240 [doi]
- K-Nearest Neighbors Classification of Semantic Web OntologiesGideon Koech, Jean Vincent Fonou Dombeu. 241-248 [doi]
- Automated Generation of Datasets from Fishbone DiagramsBrian Sal, Diego García-Saiz, Pablo Sánchez. 249-263 [doi]
- GPU-Based Algorithms for Processing the k Nearest-Neighbor Query on Disk-Resident DataPolychronis Velentzas, Michael Vassilakopoulos, Antonio Corral. 264-278 [doi]
- Revisiting Data Compression in Column-StoresAlexander Slesarev, Evgeniy Klyuchikov, Kirill Smirnov 0001, George A. Chernishev. 279-292 [doi]
- Using Multidimensional Skylines for Regret MinimizationKarim Alami, Sofian Maabout. 293-304 [doi]
- Enhancing Sedona (formerly GeoSpark) with Efficient k Nearest Neighbor Join ProcessingFrancisco García-García 0001, Antonio Corral, Luis Iribarne, Michael Vassilakopoulos. 305-319 [doi]