3 citations · 5 across the 2 of their papers we have counts for
5 papers
Network Simulator-centric Compositional Testing
Tom Rousseaux, Christophe Crochet, John Aoga +1
This article introduces a novel methodology, Network Simulator-centric Compositional Testing (NSCT), to enhance the verification of network protocols with a particular focus on tim…
PANTHER: Pluginizable Testing Environment for Network Protocols
Christophe Crochet, John Aoga, Axel Legay
In this paper, we introduce PANTHER, a modular framework for testing network protocols and formally verifying their specification. The framework incorporates a plugin architecture…
Formally Discovering and Reproducing Network Protocols Vulnerabilities
Christophe Crochet, John Aoga, Axel Legay
The rapid evolution of cyber threats has increased the need for robust methods to discover vulnerabilities in increasingly complex and diverse network protocols. This paper introdu…
Impact of weather factors on migration intention using machine learning algorithms
John Aoga, Juhee Bae, Stefanija Veljanoska +2
A growing attention in the empirical literature has been paid to the incidence of climate shocks and change in migration decisions. Previous literature leads to different results a…
An Efficient Algorithm for Mining Frequent Sequence with Constraint Programming
John O. R. Aoga, Tias Guns, Pierre Schaus
The main advantage of Constraint Programming (CP) approaches for sequential pattern mining (SPM) is their modularity, which includes the ability to add new constraints (regular exp…