Wissam Mallouli

Proceedings of the Perspectives of System Informatics, 2017

Dynamic security assurance in multi-cloud DevOps.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Conference on Communications and Network Security, 2017

2016

An approach for deploying and monitoring dynamic security policies.

[BibT_eX]

[DOI]

Comput. Secur., 2016

An Implementation of a QoE Evaluation Technique Including Business Model Parameters.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 2: ICSOFT-PT, Lisbon, Portugal, July 24, 2016

SLA-Driven Monitoring of Multi-cloud Application Components Using the MUSA Framework.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE International Conference on Distributed Computing Systems Workshops, 2016

Intrusion Detection and Attack Tolerance for Cloud Environments: The CLARUS Approach.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE International Conference on Distributed Computing Systems Workshops, 2016

A virtualized and monitored NDN infrastructure featuring a NDN/HTTP gateway.

[BibT_eX]

[DOI]

Anderson Nunes Paiva Morais

Proceedings of the 3rd ACM Conference on Information-Centric Networking, 2016

2015

An effective attack detection approach in wireless mesh networks.

[BibT_eX]

[DOI]

Felipe Barbosa Abreu

Int. J. Space Based Situated Comput., 2015

Dynamic Deployment and Monitoring of Security Policies.

[BibT_eX]

[DOI]

Raul A. Fuentes-Samaniego

Proceedings of the Trust, Privacy and Security in Digital Business, 2015

Monitoring-based validation of functional and performance aspects of a greedy ant colony optimization protocol.

[BibT_eX]

[DOI]

Javier Baliosian

Proceedings of the 2015 Latin American Network Operations and Management Symposium, 2015

Self-protecting multi-cloud applications.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Conference on Communications and Network Security, 2015

Monitoring and Securing New Functions Deployed in a Virtualized Networking Environment.

[BibT_eX]

[DOI]

François-Xavier Aguessy

Thibault Cholez

Abdelkader Lahmadi

Patrick Truong

Proceedings of the 10th International Conference on Availability, Reliability and Security, 2015

2014

QoE Prediction for Multimedia Services: Comparing Fuzzy and Logic Network Approaches.

[BibT_eX]

[DOI]

Int. J. Organ. Collect. Intell., 2014

Evaluating Web Service QoE by Learning Logic Networks.

[BibT_eX]

[DOI]

Proceedings of the WEBIST 2014, 2014

How to Evaluate Trust Using MMT.

[BibT_eX]

[DOI]

Khalifa Toumi

César Andrés

Proceedings of the Network and System Security - 8th International Conference, 2014

QoE Estimation for Web Service Selection Using a Fuzzy-Rough Hybrid Expert System.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications, 2014

2013

The Forth International Workshop on Security Testing (SECTEST 2013).

[BibT_eX]

[DOI]

Keqin Li

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

A systematic approach to integrate common timed security rules within a TEFSM-based system specification.

[BibT_eX]

[DOI]

Amel Mammar

Inf. Softw. Technol., 2012

2011

VDC-Based Dynamic Code Analysis: Application to C Programs.

[BibT_eX]

[DOI]

J. Internet Serv. Inf. Secur., 2011

Using Testing Techniques for Vulnerability Detection in C Programs.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2011

2010

Timed Extended Invariants for the Passive Testing of Web Services.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2010

WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2010

Practical Experience Gained from Passive Testing of Web Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

2009

An Automated Passive Testing Approach for the IMS PoC Service.

[BibT_eX]

[DOI]

Felipe Lalanne

Stéphane Maag

Arnaud Gonguet

Proceedings of the ASE 2009, 2009

A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification.

[BibT_eX]

[DOI]

Amel Mammar

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008

Modeling and Testing Secure Web-Based Systems: Application to an Industrial Case Study.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Signal Image Technology and Internet Based Systems, 2008

Testing Security Policies for Web Applications.

[BibT_eX]

[DOI]

Gerardo Morales

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Security Rules Specification and Analysis Based on Passive Testing.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November, 2008

Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines.

[BibT_eX]

[DOI]

Amel Mammar

Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008

Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints.

[BibT_eX]

[DOI]

Mounir Lallali

Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008

Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking.

[BibT_eX]

[DOI]

Proceedings of the Ad-hoc, Mobile and Wireless Networks, 7th International Conference, 2008

2007

A formal approach for testing security rules.

[BibT_eX]

[DOI]

Jean-Marie Orset

Nora Cuppens-Boulahia

Frédéric Cuppens

Proceedings of the 12th ACM Symposium on Access Control Models and Technologies, 2007

Testing Security Rules with Decomposable Activities.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

2006

Application of Two Test Generation Tools to an Industrial Case Study.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 2006

Light Client Management Protocol for Wireless Mesh Networks.

[BibT_eX]

[DOI]