Communications in Computer and Information Science - Software Technologies
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 12)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030830069, 9783030830076

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Method for the Joint Analysis of Numerical and Textual IT-System Data to Predict Critical System States

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-83007-6_12 ◽

2021 ◽

pp. 242-261

Author(s):

Patrick Kubiak ◽

Stefan Rass ◽

Martin Pinzger ◽

Stephan Schneider

Keyword(s):

Joint Analysis ◽

Critical System ◽

System Data ◽

System States

Download Full-text

A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-83007-6_7 ◽

2021 ◽

pp. 134-157

Author(s):

Ulrike Witteck ◽

Denis Grießbach ◽

Paula Herber

Keyword(s):

Genetic Algorithm ◽

Image Processing ◽

Automated Testing ◽

Tournament Selection ◽

Selection For

Download Full-text

Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time Tasks with Deadline Constraints

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-83007-6_2 ◽

2021 ◽

pp. 25-43

Author(s):

Aicha Goubaa ◽

Mohamed Kahlgui ◽

Frey Georg ◽

Zhiwu Li

Keyword(s):

Real Time ◽

Deadline Constraints

Download Full-text

On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-83007-6_6 ◽

2021 ◽

pp. 114-133

Author(s):

Chams Eddine Choucha ◽

Mohamed Ramdani ◽

Moahmed Khalgui ◽

Laid Kahloul

Keyword(s):

Formal Verification ◽

Real Time ◽

Real Time Systems ◽

Cloud Environment ◽

Time Systems

Download Full-text

Multilevel Readability Interpretation Against Software Properties: A Data-Centric Approach

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-83007-6_10 ◽

2021 ◽

pp. 203-226

Author(s):

Thomas Karanikiotis ◽

Michail D. Papamichail ◽

Andreas L. Symeonidis

Download Full-text

A Machine Learning Based Methodology for Web Systems Codeless Testing with Selenium

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-83007-6_9 ◽

2021 ◽

pp. 184-202

Author(s):

Phuc Nguyen ◽

Stephane Maag

Keyword(s):

Machine Learning ◽

Web Systems

Download Full-text

Shared Autonomous Mobility on Demand: A Fuzzy-Based Approach and Its Performance in the Presence of Uncertainty

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-83007-6_1 ◽

2021 ◽

pp. 1-24

Author(s):

Rihab Khemiri ◽

Mohamed Naija ◽

Ernesto Exposito

Keyword(s):

On Demand ◽

Autonomous Mobility

Download Full-text

A Real-Time Integration of Semantic Annotations into Air Quality Monitoring Sensor Data

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-83007-6_5 ◽

2021 ◽

pp. 98-113

Author(s):

Besmir Sejdiu ◽

Florije Ismaili ◽

Lule Ahmedi

Keyword(s):

Air Quality ◽

Real Time ◽

Time Integration ◽

Quality Monitoring ◽

Sensor Data ◽

Air Quality Monitoring ◽

Semantic Annotations

Download Full-text

R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-83007-6_3 ◽

2021 ◽

pp. 44-69

Author(s):

Chams Eddine Choucha ◽

Mohamed Oussama Ben Salem ◽

Moahmed Khalgui ◽

Laid Kahloul ◽

Naima Souad Ougouti

Keyword(s):

State Space ◽

State Space Generation ◽

Distributed Cloud

Download Full-text

Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-83007-6_11 ◽

2021 ◽

pp. 227-241

Author(s):

Sohaib Soualah ◽

Yousra Hafidi ◽

Mohamed Khalgui ◽

Allaoua Chaoui ◽

Laid Kahloul

Keyword(s):

Discrete Event ◽

Discrete Event System ◽

Theorem Prover ◽

Event System ◽

Hol Theorem Prover ◽

Efficient Verification

Download Full-text

Communications in Computer and Information Science - Software TechnologiesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Method for the Joint Analysis of Numerical and Textual IT-System Data to Predict Critical System States

A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing

Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time Tasks with Deadline Constraints

On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment

Multilevel Readability Interpretation Against Software Properties: A Data-Centric Approach

A Machine Learning Based Methodology for Web Systems Codeless Testing with Selenium

Shared Autonomous Mobility on Demand: A Fuzzy-Based Approach and Its Performance in the Presence of Uncertainty

A Real-Time Integration of Semantic Annotations into Air Quality Monitoring Sensor Data

R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture

Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop

Communications in Computer and Information Science - Software Technologies
Latest Publications