iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.org/pid/165/6056.rss

dblp: Adja Ndeye Sylla https://dblp.org/pid/165/6056.html dblp person page RSS feed Thu, 25 Apr 2024 05:58:11 +0200 en-US daily 1 released under the CC0 1.0 license dblp@dagstuhl.de (dblp team) dblp@dagstuhl.de (dblp team) Computers/Computer_Science/Publications/Bibliographies http://www.rssboard.org/rss-specification https://dblp.org/img/logo.144x51.pngdblp: Adja Ndeye Syllahttps://dblp.org/pid/165/6056.html14451 Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems.https://doi.org/10.1007/978-3-031-43366-5_10Alexandra 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: 165-177]]>https://dblp.org/rec/conf/rssrail/HalchinSBFFL23Sun, 01 Jan 2023 00:00:00 +0100 Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat*.https://doi.org/10.23919/CNSM46954.2019.9012739Adja Ndeye Sylla, Karine Guillouard, Frédéric Klamm, Meryem Ouzzif, Philippe Merle, Souha Ben Rayana, Jean-Bernard Stefani:
Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat^*. CNSM 2019: 1-5]]>https://dblp.org/rec/conf/cnsm/SyllaGKOMRS19Tue, 01 Jan 2019 00:00:00 +0100 A Lightweight Toolchain to Validate, Visualize, Analyze, and Deploy ETSI NFV TopologiesBehaviors.https://doi.org/10.1109/NETSOFT.2019.8806632Philippe 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: 260-262]]>https://dblp.org/rec/conf/netsoft/MerleSOKG19Tue, 01 Jan 2019 00:00:00 +0100 Modular and Hierarchical Discrete Control for Applications and Middleware Deployment in IoT and Smart Buildings.https://doi.org/10.1109/CCTA.2018.8511406Adja 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: 1472-1479]]>https://dblp.org/rec/conf/ccta/SyllaLRD18Mon, 01 Jan 2018 00:00:00 +0100 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).https://tel.archives-ouvertes.fr/tel-01671747Adja Ndeye Sylla:
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). Grenoble Alpes University, France, 2017]]>https://dblp.org/rec/phd/hal/Sylla17Sun, 01 Jan 2017 00:00:00 +0100 Design framework for reliable and environment aware management of smart environment devices.https://doi.org/10.1186/s13174-017-0067-yAdja Ndeye Sylla, Maxime Louvel, Éric Rutten:
Design framework for reliable and environment aware management of smart environment devices. J. Internet Serv. Appl. 8(1): 16:1-16:21 (2017)]]>https://dblp.org/rec/journals/jisa/SyllaLR17Sun, 01 Jan 2017 00:00:00 +0100 Development Tools for Rule-Based Coordination Programming in LINC.https://doi.org/10.1007/978-3-319-59746-1_5Maxime Louvel, François Pacull, Éric Rutten, Adja Ndeye Sylla:
Development Tools for Rule-Based Coordination Programming in LINC. COORDINATION 2017: 78-96]]>https://dblp.org/rec/conf/coordination/LouvelPRS17Sun, 01 Jan 2017 00:00:00 +0100 Design Framework for Reliable Multiple Autonomic Loops in Smart Environments.https://doi.org/10.1109/ICCAC.2017.20Adja Ndeye Sylla, Maxime Louvel, Éric Rutten, Gwenaël Delaval:
Design Framework for Reliable Multiple Autonomic Loops in Smart Environments. ICCAC 2017: 131-142]]>https://dblp.org/rec/conf/iccac/SyllaLRD17Sun, 01 Jan 2017 00:00:00 +0100 Combining Transactional and Behavioural Reliability in Adaptive Middleware.https://doi.org/10.1145/3008167.3008172Adja Ndeye Sylla, Maxime Louvel, Éric Rutten:
Combining Transactional and Behavioural Reliability in Adaptive Middleware. ARM@Middleware 2016: 5:1-5:6]]>https://dblp.org/rec/conf/middleware/SyllaLR16Fri, 01 Jan 2016 00:00:00 +0100 Coordination Rules Generation from Coloured Petri Net Models.https://ceur-ws.org/Vol-1372/paper24.pdfAdja Ndeye Sylla, Maxime Louvel, François Pacull:
Coordination Rules Generation from Coloured Petri Net Models. PNSE @ Petri Nets 2015: 325-326]]>https://dblp.org/rec/conf/apn/SyllaLP15Thu, 01 Jan 2015 00:00:00 +0100