Nicolas Stouls - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2023

Development and Analysis of a Distributed Leak Detection and Localisation System for Crude Oil PipelinesSafuriyawu Ahmed, Frédéric Le Mouël, Nicolas Stouls, Gislain Lipeme Kouyi. sensors, 23(9):4298, 2023. [doi]

2022

R-MDP: A Game Theory Approach for Fault-Tolerant Data and Service Management in Crude Oil Pipelines Monitoring SystemsSafuriyawu Ahmed, Frédéric Le Mouël, Nicolas Stouls, Jilles S. Dibangoye. mobiquitous 2023: 44-64 [doi]

How to build socio-organizational information from remote IP addresses to enrich security analysis?Camille Moriot, François Lesueur, Nicolas Stouls, Fabrice Valois. lcn 2022: 287-290 [doi]

2021

HyDiLLEch: A WSN-Based Distributed Leak Detection and Localisation in Crude Oil PipelinesSafuriyawu Ahmed, Frédéric Le Mouël, Nicolas Stouls, Gislain Lipeme Kouyi. aina 2021: 626-637 [doi]

2020

Resilient IoT-based Monitoring System for Crude Oil PipelinesSafuriyawu Ahmed, Frédéric Le Mouël, Nicolas Stouls. iotsms 2020: 1-7 [doi]

2018

An OSGi Monitoring System to Support Dynamicity and to Enhance Fault Tolerance of OSGi SystemsYufang Dan, Nicolas Stouls, Stéphane Frénot. iciit 2018: 50-53 [doi]

2016

2015

Towards a Decoupled Context-Oriented Programming Language for the Internet of ThingsBaptiste Maingret, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls, Jian Cao, Yannick Loiseau. ECOOP 2015: [doi]

2014

When a Formal Model Rhymes with a Graphical NotationAkram Idani, Nicolas Stouls. SEFM 2015: 54-68 [doi]

2013

B model slicing and predicate abstraction to generate testsJacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson. sqj, 21(1):127-158, 2013. [doi]

Golo, a dynamic, light and efficient language for post-invokedynamic JVMJulien Ponge, Frédéric Le Mouël, Nicolas Stouls. PPPJ 2013: 153-158 [doi]

2010

B Model Abstraction Combining Syntactic and Semantic MethodsJacques Julliand, Nicolas Stouls, Pierre-Christope BuÃ©, Pierre-Alain Masson. asm 2010: 408 [doi]

Syntactic Abstraction of B Models to Generate TestsJacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson. tap 2010: 151-166 [doi]

2007

Systèmes de transitions symboliques et hiérarchiques pour la conception et la validation de modèles B raffinés. (Symbolic and labelled transitions systems for the design and the validation of refined B models)Nicolas Stouls. PhD thesis, Grenoble Institute of Technology, France, 2007. [doi]

Security Policy Enforcement Through Refinement ProcessNicolas Stouls, Marie-Laure Potet. b 2006: 216-231 [doi]

2005

GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security PropertiesDidier Bert, Marie-Laure Potet, Nicolas Stouls. zum 2005: 299-318 [doi]

2004

Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOMFrédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin. tsi, 23(7):879-903, 2004.

Sign in or sign up to see more results.

runs on WebDSL