Abstract is missing.
- Shared Autonomous Mobility on Demand: A Fuzzy-Based Approach and Its Performance in the Presence of UncertaintyRihab Khemiri, Mohamed Naija, Ernesto Exposito. 1-24 [doi]
- Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time Tasks with Deadline ConstraintsAicha Goubaa, Mohamed Khalgui, Georg Frey, Zhiwu Li. 25-43 [doi]
- R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based ArchitectureChams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laïd Kahloul, Naïma Souâd Ougouti. 44-69 [doi]
- MLCA: A Model-Learning-Checking Approach for IoT SystemsSébastien Salva, Elliott Blot. 70-97 [doi]
- A Real-Time Integration of Semantic Annotations into Air Quality Monitoring Sensor DataBesmir Sejdiu, Florije Ismaili, Lule Ahmedi. 98-113 [doi]
- On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud EnvironmentChams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laïd Kahloul. 114-133 [doi]
- A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image ProcessingUlrike Witteck, Denis Grießbach, Paula Herber. 134-157 [doi]
- Model-Based Threat Modeling for Cyber-Physical Systems: A Computer-Aided ApproachMonika Maidl, Gerhard Münz, Stefan Seltzsam, Marvin Wagner, Roman Wirtz, Maritta Heisel. 158-183 [doi]
- A Machine Learning Based Methodology for Web Systems Codeless Testing with SeleniumDuyen Phuc Nguyen, Stephane Maag. 184-202 [doi]
- Multilevel Readability Interpretation Against Software Properties: A Data-Centric ApproachThomas Karanikiotis, Michail D. Papamichail, Andreas L. Symeonidis. 203-226 [doi]
- Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and HadoopSohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul. 227-241 [doi]
- A Method for the Joint Analysis of Numerical and Textual IT-System Data to Predict Critical System StatesPatrick Kubiak, Stefan Rass, Martin Pinzger 0001, Stephan Schneider 0003. 242-261 [doi]