In the context of a proliferation Database Management Systems (DBMSs), we have envisioned and produced an OWL 2 ontology able to provide high-level machine-processable description DBMSs domain. This conceptualization aims facilitate proper execution various software engineering processes database-focused administration tasks. Also, it can be used improve decision-making process for determining/...

This paper addresses the problem of evaluating the communication behavior of cyber physical systems. An important problem for the validation of the interaction in the distributed system is missing, wrong or incomplete specification. In this paper, the application of a new approach for assessing the communication behavior based on reference traces is presented and evaluated. The benefit of the a...

A characterization of the behavior of an application is fundamental for the anomaly-based intrusion detection. This paper illustrates a methodology for the synthesis of the behavior of an application program in terms of the set of system calls invoked by the program. The methodology is completely automated, with the exception of the description of the high level specification of the application...

We propose a complete description and validation of the ATMR protocol within the UNITY formalism. An operational description using the UNITY programming notation is given as well as a specification of the main correctness properties in the UNITY temporal logic. This formal description helps to understand precisely the mechanisms this protocol involves. In particular, we have noted the use of a ...