Browse Proceedings

Whenever continuous dynamics and discrete control interact, hybrid systems arise. As hybrid systems become ubiquitous and more and more complex, analysis and synthesis techniques are in high demand to design safe hybrid systems. This is however ...

During the development of Cyber-Physical Systems (CPS) safety and security are major concerns to be considered as it has been established by various literature. Moreover, these concerns must be included early on during the System Development Life ...

The physical integration of an aircraft consists of the assembly of several complex subsystems (including hydraulic systems) developed by different stakeholders. The cleanliness of the developed hydraulic subsystems is ensured by performing ...

Critical and cyber-physical systems (CPS) such as nuclear power plants, railway, automotive or aeronautical industries are complex heterogeneous systems. They are perimeter-less, built by assembling various heterogeneous and interacting components ...

Detecting Cyberbullying is still an important issue. Existing approaches often rely on advanced techniques including machine learning and Natural Language Processing algorithms. In this paper, we propose an ontology and classifiers-based approach ...

Digital forensics faces some serious challenges at present. Those challenges include ever-increasing processed data volumes, heterogeneous nature of evidentiary artifacts, multiple data sources incompatible with each other, and more. Most of the ...

Model Driven Development (MDD) earned a leading role in Software Engineering but still does not play its role in practice. In MDD, models are abstractions of implementations and development is a refinement process with as much automation as ...

Choreographies prescribe the rendez-vous synchronisation of messages in a system of communicating finite state machines. Such a system is called realisable, if the traces of the prescribed communication coincide with those of the asynchronous ...

Integrated Circuits (ICs) and electronic devices become part of human daily life (mobile, home, car, etc.) and for the safety of the information transported to and from these devices, some specifics security measures are proposed. Some ICs are a ...

This paper presents a method for offline test derivation from formal aspect-oriented models so that the tests provide coverage in terms of aspects related metrics. A test purpose specification method in temporal logic TCTL is proposed that enables ...

Deep learning techniques are proved to be very effective in various domains, such as computer vision, pattern recognition, and natural language processing. With the rapid development of this technology, more and more deep models have been used in ...

Query processing on cloud database systems is a challenging problem due to the dynamic cloud environment. The configuration and utilization of the distributed hardware used to process queries change continuously. A query optimizer aims to generate ...

Formal Concept Analysis has been widely applied to identify differently expressed genes among microarray data. Top-K Formal Concepts are identified as efficient in generating most important Formal Concepts. To the best of our knowledge, no ...

Anonymization of health data is one of the most important technics of sharing data for secondary purposes such as research and statistics while preserving people’s privacy. This article is a systematic literature review of current methods that are ...

As most of the DBMSs have become multi-model, there have occurred plenty of related issues. One of them is a design of a multi-model application, where the step from the conceptual layer to a set of distinct interlinked logical models is not ...

Given the threats that the smart city faces especially tampering the integrity of information, it has become necessary to integrate more robust and decentralized technologies that ensure transparency and sustainability of the system. Blockchain is ...

Public procurement represents an important part of the countries’ budgets. It is impossible to effectively solve the problem of public expenditure without establishing a rational and transparent public procurement management system. These markets ...

The collection and sharing of accurate data is paramount to the fight against COVID-19. However, the health system in many countries is fragmented. Furthermore, because no one was prepared for COVID-19, manual information systems have been put in ...

The growing interest in the semantic web technologies in the past years has led to the increase in the number of ontologies on the web. This gives semantic web developers the opportunity to select and reuse these ontologies in new applications. ...

The analysis of the data generated in manufacturing processes and products, also known as Industry 4.0, has gained a lot of popularity in last years. However, as in any data analysis process, data to be processed must be manually gathered and ...

Algorithms for answering the k Nearest-Neighbor (k-NN) query are widely used for queries in spatial databases and for distance classification of a group of query points against a reference dataset to derive the dominating feature class. GPU ...

Data compression is widely used in contemporary column-oriented DBMSes to lower space usage and to speed up query processing. Pioneering systems have introduced compression to tackle the disk bandwidth bottleneck by trading CPU processing power ...