default search action
MEDI 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
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
Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case. 50-62 - Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar
Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems. 63-74
MEDI4SG 2018 Workshop
- Rachid Lamrani, El Hassan Abdelwahed
Gamification and Serious Games Based Learning for Early Childhood in Rural Areas. 79-90 - Oumayma El Ansari, Jihad Zahir
Context-Based Sentiment Analysis: A Survey. 91-97 - Omar Achbarou
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
Assessment of Emerging Standards for Safety and Security Co-Design on a Railway Case Study. 130-145 - Silvia Bonfanti
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
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é
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
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 2024-10-01 20:33 CEST 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: