Abstract—Motivated by the increasing importance of knowing which operating systems are running in a given network, we evaluated operating system discovery (OSD) tools. The results indicated a serious lack of accuracy in current OSD tools. This thesis proposes a new approach to OS discovery which addresses the limitations of existing tools and leads to a more flexible, less intrusive, and much more accurate tool. Moreover, unlike existing OSD tools which are completely ad hoc, our approach is formal and follows the principles of diagnosis problem solving. This formalism allows us to: • characterize the complexity of OSD; • use well-tested algorithms and • benefit from numerous possible extensions. To fully address the needs of OSD, we genera...
This paper proposes an approach to software faults diagnosis in complex fault tolerant systems, enco...
[[abstract]]The goal of the fault diagnosis agreement (FDA) problem is to make each fault-free proce...
Consistency-based diagnosis algorithms seek for explanations to unexpected observations in sys-tems....
Motivated by the increasing importance of knowing which operating systems are running in a given net...
The objective of operating system (OS) discovery is to find which OSs are running on computers in a ...
The goal of operating system (OS) discovery is to learn which OS is running on a distant computer. T...
Test selection in diagnosis is a procedure suggesting tests to be executed when trying to answer the...
Although knowing the operating systems running in a network is becoming more and more important (mai...
The subject of this thesis is the formulation of diagnostic techniques for detecting and isolating f...
Abstract—Despite decades of advances in software engineering, operating systems (OSes) are still pla...
An important way in order to reduce the complexity of model-based diagnosis is to focus the attentio...
This paper reports on the findings of an on-going project to investigate techniques to diagnose comp...
International audienceRecently, a two-tank benchmark for detection and isolation of cyber-attacks ha...
Operating Systems (OS's) constitute the operational core for computing devices. In order to facilita...
Abstract: Diagnostic inference involves the detection of anomalous system behavior and the identific...
This paper proposes an approach to software faults diagnosis in complex fault tolerant systems, enco...
[[abstract]]The goal of the fault diagnosis agreement (FDA) problem is to make each fault-free proce...
Consistency-based diagnosis algorithms seek for explanations to unexpected observations in sys-tems....
Motivated by the increasing importance of knowing which operating systems are running in a given net...
The objective of operating system (OS) discovery is to find which OSs are running on computers in a ...
The goal of operating system (OS) discovery is to learn which OS is running on a distant computer. T...
Test selection in diagnosis is a procedure suggesting tests to be executed when trying to answer the...
Although knowing the operating systems running in a network is becoming more and more important (mai...
The subject of this thesis is the formulation of diagnostic techniques for detecting and isolating f...
Abstract—Despite decades of advances in software engineering, operating systems (OSes) are still pla...
An important way in order to reduce the complexity of model-based diagnosis is to focus the attentio...
This paper reports on the findings of an on-going project to investigate techniques to diagnose comp...
International audienceRecently, a two-tank benchmark for detection and isolation of cyber-attacks ha...
Operating Systems (OS's) constitute the operational core for computing devices. In order to facilita...
Abstract: Diagnostic inference involves the detection of anomalous system behavior and the identific...
This paper proposes an approach to software faults diagnosis in complex fault tolerant systems, enco...
[[abstract]]The goal of the fault diagnosis agreement (FDA) problem is to make each fault-free proce...
Consistency-based diagnosis algorithms seek for explanations to unexpected observations in sys-tems....