This site has now been superceded by This site will not be updated anymore.

Dr Amel Bennaceur


I have always been passionate about inventing computers that can improve the way we live, work, play, heal, travel, communicate with others, and care for our environment. I was fortunate enough to turn my passion into a career in research.

I am a Research Associate in the Department of Computing at the Open University. Currently, I am investigating the area of adaptive security and privacy. The goal is to exploit the digital devices available in the environment in order to  meet security requirements in the face of change.

 I completed my PhD in July 2013 under the supervision of Valérie Issarny at Inria. My thesis is entitled “Dynamic Synthesis of Connectors in Pervasive Environments” and it takes part in the Connect Project. During my PhD, I defined an approach and provided a tool for achieving interoperability in software systems on the fly in an automated manner.
The goal was to make it possible for a computer to answer, autonomously, questions like:
- How can I chat with my friend on Yahoo! using my enterprise messaging service?
- How can I open my Google Docs files using the Finder application on my Mac?
- How can a company use the same application to order products from different providers?
- How can the command and control centre of one country effectively use the resources offered by another country in emergency situations?

Before starting my PhD, I was a junior engineer at ARLES Team and worked on the iBICOOP middleware. I also received my Magistère degree in 2009 at Ecole Nationale Supérieure d’Informatique (ex INI); the report was entitled “Towards a Peer-to-Peer System based on Distributed Compact Trie Hashing”. It was the continuation of my engineering degree subject “Integration of a Mobile Client to CTH*”, received in 2006 at ESI. My Supervisor was Prof. Djamel-Eddine Zegour

The owner last updated this page on:

My research methodology is centred around three principles:

- Theory is the foundation. I consider that formal methods and mathematical techniques provide us with the necessary tools not only to better understand our world but also to develop new methods to master it.
- Practice is essential. Turning the theoretical results into real software is paramount. I always thought that it is important (and also fun) to get my hands dirty in order to implement my ideas, build systems and prototypes, and experiment new scenarios and cases.
- Be truly interdisciplinary. While my education and research is primarily in computer science, I am always keen in exploring ideas from other disciplines both inside and outside computer science.

Collaborative Adaptive Security

Security is concerned with the protection of assets from intentional harm. Secure systems provide capabilities that enable such protection to satisfy some security requirements. In a world increasingly populated with mobile and ubiquitous computing technology, the scope and boundary of security systems can be uncertain and can change. A single functional component, or even multiple components individually, are often insufficient to satisfy complex security requirements on their own. Collaborative adaptive security, which I am currently investigating, aims to exploit the selection and deployment of multiple, potentially heterogeneous, software-intensive components to collaborate in order to meet security requirements in the face of changes in the environment, changes in assets under protection and their values, and the discovery of new threats and vulnerabilities.

Dynamic Synthesis of Mediators: From Theory to Practice

During my PhD, I defined an approach for the automated synthesis and deployment of mediators in order to enable heterogeneous software components, with compatible functionalities, to interoperate. The synthesised mediators reconcile the differences between the interfaces of the components and coordinate their behaviours from the application down to the middleware layers. I validated the approach through the development of a tool, MICS, and its experimentation with a number of case studies ranging from heterogeneous chat applications to emergency management in systems of systems.  These case studies serve demonstrating the viability and efficiency of the automated synthesis of mediators to enable software components to interoperate in extremely dynamic and heterogeneous contexts such as ubiquitous environments or systems of systems.

Research Interests

- Distributed computing: middleware, interoperability, runtime mediation, ubiquitous computing, SOC, mobile networking, semantics-based technologies
- Software engineering: software composition and reuse, process algebra, behavioural analysis, machine learning, models@runtime

The owner last updated this page on:
Email Address: 
Report an error on this page


Email: [javascript protected email address]