-
CHOReOS Governance V&V policies and rules (D4.1)
This document presents an initial view of the framework under development for CHOReOS governance and V&V. The focus is on specifying policies and rules on which... -
Critical systems development methodology using formal techniques
International audience -
Recombinant Programming
This research report presents a promising new approach to computation called Recombinant Programming. The novelty of our approach is that it separates the program into... -
Contribution for the Specification and the Verification of Temporal Requireme...
The work developed in this thesis aims to assist the engineering process of temporal requirements for time-constrained complex systems. Our contributions concern three... -
Validation of a New Functional Design of Automatic Protection Systems at Leve...
International audience -
Evaluating RBAC Supported Techniques and their Validation and Verification
International audience -
Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive ...
Context-aware pervasive computing has attracted a significant research interest from both academy and industry worldwide. It covers a broad range of applications that...
