Adja Ndeye Sylla

According to our database, Adja Ndeye Sylla authored at least 10 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems.

Alexandra Halchin, Adja Ndeye Sylla, Sarah Benyagoub, Abderrahmane Feliachi, Yoann Fonteneau, Sven Leger

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023

2019

A Lightweight Toolchain to Validate, Visualize, Analyze, and Deploy ETSI NFV TopologiesBehaviors.

Philippe Merle, Adja Ndeye Sylla, Meryem Ouzzif, Frédéric Klamm, Karine Guillouard

Proceedings of the 5th IEEE Conference on Network Softwarization, 2019

Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat^*.

Adja Ndeye Sylla, Karine Guillouard, Frédéric Klamm, Meryem Ouzzif, Philippe Merle, Souha Ben Rayana, Jean-Bernard Stefani

Proceedings of the 15th International Conference on Network and Service Management, 2019

2018

Modular and Hierarchical Discrete Control for Applications and Middleware Deployment in IoT and Smart Buildings.

Adja Ndeye Sylla, Maxime Louvel, Éric Rutten, Gwenaël Delaval

Proceedings of the IEEE Conference on Control Technology and Applications, 2018

2017

Support intergiciel pour la conception et le déploiement adaptatifs fiables, application aux bâtiments intelligents. (Middleware Support for Adaptive, Reliable Conception and Deployment, Application to Building Automation).

Adja Ndeye Sylla

PhD thesis, 2017

Design framework for reliable and environment aware management of smart environment devices.

Adja Ndeye Sylla, Maxime Louvel, Éric Rutten

J. Internet Serv. Appl., 2017

Design Framework for Reliable Multiple Autonomic Loops in Smart Environments.

Adja Ndeye Sylla, Maxime Louvel, Éric Rutten, Gwenaël Delaval

Proceedings of the 2017 International Conference on Cloud and Autonomic Computing, 2017

Development Tools for Rule-Based Coordination Programming in LINC.

Maxime Louvel, François Pacull, Éric Rutten, Adja Ndeye Sylla

Proceedings of the Coordination Models and Languages, 2017

2016

Combining Transactional and Behavioural Reliability in Adaptive Middleware.

Adja Ndeye Sylla, Maxime Louvel, Éric Rutten

Proceedings of the 15th International Workshop on Adaptive and Reflective Middleware, 2016

2015

Coordination Rules Generation from Coloured Petri Net Models.

Adja Ndeye Sylla, Maxime Louvel, François Pacull

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015