Deriving Coordinated Testers for Interoperability. - Richard Castanet; Ousmane Koné (Protocol Test Systems, 1993)

On the Fly Test Generation for Real Time Protocols. - Richard Castanet; Ousmane Koné; Patrice Laurençot (ICCCN, 1998)

Design of Interoperability Checking Sequences Against WAP. - Ousmane Koné; Jean-Pierre Thomesse (PWC, 2000)

Experiment with the Validation of WAP Systems. - Ousmane Koné (LCN, 2000)

Test generation for interworking systems. - Ousmane Koné; Richard Castanet (Comput. Commun., 2000)

A Local Approach to the Testing of Real-time Systems. - Ousmane Koné (Comput. J., 2001)

Modelling location operations in UMTS networks. - Marcien MacKaya; Ousmane Koné; Richard Castanet (MSWiM, 2002)

Compliance of Wireless Application Protocols. - Ousmane Koné (TestCom, 2002)

Conformance testing to real-time communications systems. - Ousmane Koné (Comput. Commun., 2002)

An Inoteroperability Testing Approach to Wireless Applications Protocols. - Ousmane Koné (J. Univers. Comput. Sci., 2003)

A middleware layer for experimenting service interoperation. - Ousmane Koné (ICNS, 2006)

Symbolic and on the Fly Testing with Real-Time Observers. - Rachid Bouaziz; Ousmane Koné (TestCom, 2006)

A Security Control Architecture for SOAP-Based Services. - Boulares Ouchenne; Ousmane Koné (SECURWARE, 2010)

Network Securing against Threatening Requests. - Yulong Fu; Ousmane Koné (DPM/SETOP, 2011)

A Robustness Testing Method for Network Security. - Yulong Fu; Ousmane Koné (ICGS3/e-Democracy, 2011)

Formal analysis of usage control policies. - Boulares Ouchenne; Ousmane Koné (SIN, 2011)

Using transition systems to model and verify the implementation of security protocol. - Yulong Fu; Ousmane Koné (SIN, 2013)

A finite transition model for security protocol verification. - Yulong Fu; Ousmane Koné (SIN, 2013)

Validation of security protocol implementations from security objectives. - Yulong Fu; Ousmane Koné (Comput. Secur., 2013)

Security and Robustness by Protocol Testing. - Yulong Fu; Ousmane Koné (IEEE Syst. J., 2014)

Model based security verification of protocol implementation. - Yulong Fu; Ousmane Koné (J. Inf. Secur. Appl., 2015)

An Automata Based Intrusion Detection Method for Internet of Things. - Yulong Fu; Zheng Yan 002; Jin Cao 001; Ousmane Koné; Xuefei Cao (Mob. Inf. Syst., 2017)