Adja Ndeye Sylla

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 8

Top Venues

NetSoft

CNSM

ICCAC

RSSRail

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Alexandra Halchin, Adja Ndeye Sylla, Sarah Benyagoub, Abderrahmane Feliachi, Yoann Fonteneau, Sven Leger
Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems. RSSRail (2023)
Philippe Merle, Adja Ndeye Sylla, Meryem Ouzzif, Frédéric Klamm, Karine Guillouard
A Lightweight Toolchain to Validate, Visualize, Analyze, and Deploy ETSI NFV TopologiesBehaviors. NetSoft (2019)
Adja Ndeye Sylla, Karine Guillouard, Frédéric Klamm, Meryem Ouzzif, Philippe Merle, Souha Ben Rayana, Jean-Bernard Stefani
. CNSM (2019)
Adja Ndeye Sylla, Maxime Louvel, Éric Rutten, Gwenaël Delaval
Modular and Hierarchical Discrete Control for Applications and Middleware Deployment in IoT and Smart Buildings. CCTA (2018)
Maxime Louvel, François Pacull, Éric Rutten, Adja Ndeye Sylla
Development Tools for Rule-Based Coordination Programming in LINC. COORDINATION (2017)
Adja Ndeye Sylla, Maxime Louvel, Éric Rutten, Gwenaël Delaval
Design Framework for Reliable Multiple Autonomic Loops in Smart Environments. ICCAC (2017)
Adja Ndeye Sylla, Maxime Louvel, Éric Rutten
Design framework for reliable and environment aware management of smart environment devices. J. Internet Serv. Appl. 8 (1) (2017)
Adja Ndeye Sylla, Maxime Louvel, Éric Rutten
Combining Transactional and Behavioural Reliability in Adaptive Middleware. ARM@Middleware (2016)
Adja Ndeye Sylla, Maxime Louvel, François Pacull
Coordination Rules Generation from Coloured Petri Net Models. PNSE @ Petri Nets (2015)

Adja Ndeye Sylla.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Adja Ndeye Sylla