Abstract is missing.
- Steady-State Performability Analysis of Call Admission Control in Cellular Mobile NetworksSana Younès, Maroua Idi. 5-16 [doi]
- An MDA Approach for the Specification of Relay-Based DiagramsDalay Israel de Almeida Pereira, Ouahmed Malki, Philippe Bon, Matthieu Perin, Simon Collart Dutilleul. 17-29 [doi]
- A Problem-Oriented Approach to Critical System Design and Diagnosis SupportVincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. 30-39 [doi]
- Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-NetsSaoussen Cheikhrouhou, Nesrine Chabouh, Slim Kallel, Zakaria Maamar. 40-49 [doi]
- Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 CaseZakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua. 50-62 [doi]
- Model-Based Verification and Testing Methodology for Safety-Critical Airborne SystemsMounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli. 63-74 [doi]
- Gamification and Serious Games Based Learning for Early Childhood in Rural AreasRachid Lamrani, El Hassan Abdelwahed, Souad Chraibi, Sara Qassimi, Meriem Hafidi. 79-90 [doi]
- Context-Based Sentiment Analysis: A SurveyOumayma El Ansari, Jihad Zahir, Hajar Mousannif. 91-97 [doi]
- A Multi-agent System-Based Distributed Intrusion Detection System for a Cloud ComputingOmar Achbarou, My Ahmed El Kiram, Outmane Bourkoukou, Salim Elbouanani. 98-107 [doi]
- Invited Talk: A Roadmap for Engineering Safe and Secure Cyber-Physical SystemsAlexander Egyed. 113-114 [doi]
- Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems EnvironmentManzoor Ahmad, Christophe Gnaho, Jean-Michel Bruel, Régine Laleau. 115-129 [doi]
- Assessment of Emerging Standards for Safety and Security Co-Design on a Railway Case StudyChristophe Ponsard, Jeremy Grandclaudon, Philippe Massonet, Mounir Touzani. 130-145 [doi]
- Generation of Behavior-Driven Development C++ Tests from Abstract State Machine ScenariosSilvia Bonfanti, Angelo Gargantini, Atif Mashkoor. 146-152 [doi]
- Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn AssistGuillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh. 153-158 [doi]
- Handling Reparation in Incremental Construction of Realizable Conversation ProtocolsSarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor. 159-166 [doi]
- Analyzing a ROS Based Architecture for Its Cross Reuse in ISO26262 SettingsXabier Larrucea, Pablo González-Nalda, Ismael Etxeberria Agiriano, Mari Carmen Otero, Isidro Calvo. 167-180 [doi]
- Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of EventsSyrine Aouadi, Arnaud Lanoix. 185-199 [doi]
- Systematic Construction of Critical Embedded Systems Using Event-BPascal André, Christian Attiogbé, Arnaud Lanoix. 200-216 [doi]
- Component Design and Adaptation Based on Behavioral ContractsSamir Chouali, Sebti Mouelhi, Hassan Mountassir. 217-230 [doi]
- Towards Real-Time Semantics for a Distributed Event-Based MOP LanguageMateo Sanabria, Wilmer Garzón Alfonso, Luis Daniel Benavides Navarro. 231-243 [doi]
- Automatic Planning: From Event-B to PDDLSabrine Ammar, Mohamed Tahar Bhiri. 247-254 [doi]