7 citations · 33 across the 8 of their papers we have counts for
8 papers
Characterizing Financial Market Coverage using Artificial Intelligence
Jean Marie Tshimula, D'Jeff K. Nkashama, Patrick Owusu +7
This paper scrutinizes a database of over 4900 YouTube videos to characterize financial market coverage. Financial market coverage generates a large number of videos. Therefore, wa…
Robustness Evaluation of Deep Unsupervised Learning Algorithms for Intrusion Detection Systems
D'Jeff Kanda Nkashama, Arian Soltani, Jean-Charles Verdier +3
Recently, advances in deep learning have been observed in various fields, including computer vision, natural language processing, and cybersecurity. Machine learning (ML) has demon…
A Revealing Large-Scale Evaluation of Unsupervised Anomaly Detection Algorithms
Maxime Alvarez, Jean-Charles Verdier, D'Jeff K. Nkashama +3
Anomaly detection has many applications ranging from bank-fraud detection and cyber-threat detection to equipment maintenance and health monitoring. However, choosing a suitable al…
The Generic SysML/KAOS Domain Metamodel
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau +2
This paper is related to the generalised/generic version of the SysML/KAOS domain metamodel and on translation and back propagation rules between the new domain models and B System…
SysML/KAOS Domain Models and B System Specifications
Steve Jeffrey Tueno Fotso, Marc Frappier, Amel Mammar +1
In this paper, we use a combination of the SysML/KAOS requirements engineering method, an extension of SysML, with concepts of the KAOS goal model, and of the B System formal metho…
Formal Representation of SysML/KAOS Domain Model (Complete Version)
Steve Tueno, Régine Laleau, Amel Mammar +1
Nowadays, the usefulness of a formal language for ensuring the consistency of requirements is well established. The work presented here is part of the definition of a formally-grou…
The SysML/KAOS Domain Modeling Approach
Steve Tueno, Régine Laleau, Amel Mammar +1
A means of building safe critical systems consists of formally modeling the requirements formulated by stakeholders and ensuring their consistency with respect to application domai…
Formal refinement of extended state machines
Thomas Fayolle, Marc Frappier, Régine Laleau +1
In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually) translated into a global abstract formal specification. This tra…