default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th 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, Laid 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, Laid 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, Laid 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
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-14 22:25 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:
