Coordination Rules Generation from Coloured Petri Net Models. - Adja Ndeye Sylla; Maxime Louvel; François Pacull (PNSE @ Petri Nets, 2015)

Combining Transactional and Behavioural Reliability in Adaptive Middleware. - Adja Ndeye Sylla; Maxime Louvel; Éric Rutten (ARM@Middleware, 2016)

Development Tools for Rule-Based Coordination Programming in LINC. - Maxime Louvel; François Pacull; Éric Rutten; Adja Ndeye Sylla (COORDINATION, 2017)

Design Framework for Reliable Multiple Autonomic Loops in Smart Environments. - Adja Ndeye Sylla; Maxime Louvel; Éric Rutten; Gwenaël Delaval (ICCAC, 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)

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 (2017)

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 (CCTA, 2018)

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 (CNSM, 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 (NetSoft, 2019)

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 (RSSRail, 2023)