default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMEDI Workshops 2018: Marrakesh, Morocco
- El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Méry, Kazumi Nakamatsu, Carlos Ordonez:
New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Communications in Computer and Information Science 929, Springer 2018, ISBN 978-3-030-02851-0
DETECT 2018 Workshop
- Sana Younès, Maroua Idi:
Steady-State Performability Analysis of Call Admission Control in Cellular Mobile Networks. 5-16 - Dalay Israel de Almeida Pereira
, Ouahmed Malki, Philippe Bon, Matthieu Perin, Simon Collart Dutilleul:
An MDA Approach for the Specification of Relay-Based Diagrams. 17-29 - Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy:
A Problem-Oriented Approach to Critical System Design and Diagnosis Support. 30-39 - Saoussen Cheikhrouhou, Nesrine Chabouh, Slim Kallel, Zakaria Maamar:
Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets. 40-49 - Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua:
Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case. 50-62 - Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli:
Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems. 63-74
MEDI4SG 2018 Workshop
- Rachid Lamrani, El Hassan Abdelwahed, Souad Chraibi, Sara Qassimi, Meriem Hafidi:
Gamification and Serious Games Based Learning for Early Childhood in Rural Areas. 79-90 - Oumayma El Ansari, Jihad Zahir, Hajar Mousannif:
Context-Based Sentiment Analysis: A Survey. 91-97 - Omar Achbarou, My Ahmed El Kiram, Outmane Bourkoukou, Salim Elbouanani:
A Multi-agent System-Based Distributed Intrusion Detection System for a Cloud Computing. 98-107
IWCFS 2018 Workshop
- Alexander Egyed:
Invited Talk: A Roadmap for Engineering Safe and Secure Cyber-Physical Systems. 113-114 - Manzoor Ahmad, Christophe Gnaho, Jean-Michel Bruel, Régine Laleau:
Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment. 115-129 - Christophe Ponsard, Jeremy Grandclaudon, Philippe Massonet, Mounir Touzani:
Assessment of Emerging Standards for Safety and Security Co-Design on a Railway Case Study. 130-145 - Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor:
Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. 146-152 - Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. 153-158 - Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor:
Handling Reparation in Incremental Construction of Realizable Conversation Protocols. 159-166 - Xabier Larrucea, Pablo González-Nalda, Ismael Etxeberria Agiriano, Mari Carmen Otero, Isidro Calvo:
Analyzing a ROS Based Architecture for Its Cross Reuse in ISO26262 Settings. 167-180
REMEDY 2018 Workshop
- Syrine Aouadi, Arnaud Lanoix:
Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events. 185-199 - Pascal André, J. Christian Attiogbé, Arnaud Lanoix:
Systematic Construction of Critical Embedded Systems Using Event-B. 200-216 - Samir Chouali, Sebti Mouelhi, Hassan Mountassir:
Component Design and Adaptation Based on Behavioral Contracts. 217-230 - Mateo Sanabria, Wilmer Garzón Alfonso, Luis Daniel Benavides Navarro:
Towards Real-Time Semantics for a Distributed Event-Based MOP Language. 231-243
Short Paper
- Sabrine Ammar, Mohamed Tahar Bhiri:
Automatic Planning: From Event-B to PDDL. 247-254
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.
last updated on 2025-11-25 00:29 CET 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:
