![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
15th ICSOFT 2020: Paris, France - Selected Papers
- Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill
:
Software Technologies - 15th International Conference, ICSOFT 2020, Online Event, July 7-9, 2020, Revised Selected Papers. Communications in Computer and Information Science 1447, Springer 2021, ISBN 978-3-030-83006-9 - Rihab Khemiri, Mohamed Naija, Ernesto Exposito
:
Shared Autonomous Mobility on Demand: A Fuzzy-Based Approach and Its Performance in the Presence of Uncertainty. 1-24 - Aicha Goubaa, Mohamed Khalgui, Georg Frey, Zhiwu Li:
Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time Tasks with Deadline Constraints. 25-43 - Chams Eddine Choucha
, Mohamed Oussama Ben Salem
, Mohamed Khalgui
, Laïd Kahloul
, Naïma Souâd Ougouti:
R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture. 44-69 - Sébastien Salva, Elliott Blot:
MLCA: A Model-Learning-Checking Approach for IoT Systems. 70-97 - Besmir Sejdiu
, Florije Ismaili
, Lule Ahmedi
:
A Real-Time Integration of Semantic Annotations into Air Quality Monitoring Sensor Data. 98-113 - Chams Eddine Choucha
, Mohamed Ramdani
, Mohamed Khalgui
, Laïd Kahloul
:
On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment. 114-133 - Ulrike Witteck, Denis Grießbach, Paula Herber:
A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing. 134-157 - Monika Maidl, Gerhard Münz, Stefan Seltzsam, Marvin Wagner, Roman Wirtz, Maritta Heisel:
Model-Based Threat Modeling for Cyber-Physical Systems: A Computer-Aided Approach. 158-183 - Duyen Phuc Nguyen
, Stephane Maag
:
A Machine Learning Based Methodology for Web Systems Codeless Testing with Selenium. 184-202 - Thomas Karanikiotis
, Michail D. Papamichail
, Andreas L. Symeonidis
:
Multilevel Readability Interpretation Against Software Properties: A Data-Centric Approach. 203-226 - Sohaib Soualah
, Yousra Hafidi
, Mohamed Khalgui
, Allaoua Chaoui
, Laïd Kahloul:
Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. 227-241 - Patrick Kubiak
, Stefan Rass
, Martin Pinzger
, Stephan Schneider
:
A Method for the Joint Analysis of Numerical and Textual IT-System Data to Predict Critical System States. 242-261
![](https://dblp.org/img/cog.dark.24x24.png)
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.