Nicolas Stouls

28 papers B 1C 2Journal 13Unranked 11
YearRankTypeTitle / Venue / Authors
2023 J jnl
Development and Analysis of a Distributed Leak Detection and Localisation System for Crude Oil Pipelines.
Sensors
Safuriyawu Ahmed, Frédéric Le Mouël, Nicolas Stouls, Gislain Lipeme Kouyi
2022 B conf
How to build socio-organizational information from remote IP addresses to enrich security analysis?
LCN
Camille Moriot, François Lesueur, Nicolas Stouls, Fabrice Valois
2022 C conf
R-MDP: A Game Theory Approach for Fault-Tolerant Data and Service Management in Crude Oil Pipelines Monitoring Systems.
MobiQuitous
Safuriyawu Ahmed, Frédéric Le Mouël, Nicolas Stouls, Jilles Steeve Dibangoye
2021 — conf
HyDiLLEch: A WSN-Based Distributed Leak Detection and Localisation in Crude Oil Pipelines.
AINA (1)
Safuriyawu Ahmed, Frédéric Le Mouël, Nicolas Stouls, Gislain Lipeme Kouyi
2020 — conf
Resilient IoT-based Monitoring System for Crude Oil Pipelines.
IoTSMS
Safuriyawu Ahmed, Frédéric Le Mouël, Nicolas Stouls
2018 — conf
An OSGi Monitoring System to Support Dynamicity and to Enhance Fault Tolerance of OSGi Systems.
ICIIT
Yufang Dan, Nicolas Stouls, Stéphane Frénot
2016 J jnl
Automated Application Offloading through Ant-inspired Decision-Making.
CoRR
Roya Golchay, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls
2016 — conf
Automated application offloading through ant-inspired decision-making.
NOTERE
Roya Golchay, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls
2016 J jnl
Eclipse Golo.
J. Open Source Softw.
Julien Ponge, Yannick Loiseau, Frédéric Le Mouël, Nicolas Stouls, Philippe Charrière, Daniel Petisme, Sylvain Desgrais, Franck Verrot
2016 C conf
Spontaneous Proximity Clouds: Making Mobile Devices to Collaborate for Resource and Data Sharing.
CollaborateCom
Roya Golchay, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls
2016 J jnl
Spontaneous Proximity Clouds: Making Mobile Devices to Collaborate for Resource and Data Sharing.
CoRR
Roya Golchay, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls
2015 J jnl
Opportunities for a Truffle-based Golo Interpreter.
CoRR
Julien Ponge, Frédéric Le Mouël, Nicolas Stouls, Yannick Loiseau
2015 — conf
Towards a Decoupled Context-Oriented Programming Language for the Internet of Things.
COP@ECOOP
Baptiste Maingret, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls, Jian Cao, Yannick Loiseau
2015 J jnl
Towards a Decoupled Context-Oriented Programming Language for the Internet of Things.
CoRR
Baptiste Maingret, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls, Jian Cao, Yannick Loiseau
2014 — conf
When a Formal Model Rhymes with a Graphical Notation.
SEFM Workshops
Akram Idani, Nicolas Stouls
2013 J jnl
B model slicing and predicate abstraction to generate tests.
Softw. Qual. J.
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
2013 — conf
Golo, a dynamic, light and efficient language for post-invokedynamic JVM.
PPPJ
Julien Ponge, Frédéric Le Mouël, Nicolas Stouls
2010 — conf
B Model Abstraction Combining Syntactic and Semantic Methods.
ASM
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
2010 J jnl
GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties.
CoRR
Didier Bert, Marie-Laure Potet, Nicolas Stouls
2010 J jnl
GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel
CoRR
Xavier Morselli, Marie-Laure Potet, Nicolas Stouls
2010 J jnl
Security Policy Enforcement Through Refinement Process
CoRR
Nicolas Stouls, Marie-Laure Potet
2010 J jnl
Syntactic Abstraction of B Models to Generate Tests
CoRR
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
2010 — conf
Syntactic Abstraction of B Models to Generate Tests.
TAP@TOOLS
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
2009 J jnl
Graph Based Reduction of Program Verification Conditions
CoRR
Jean-François Couchot, Alain Giorgetti, Nicolas Stouls
2007 — conf
Security Policy Enforcement Through Refinement Process.
B
Nicolas Stouls, Marie-Laure Potet
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
2005 — conf
GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties.
ZB
Didier Bert, Marie-Laure Potet, Nicolas Stouls
2004 J jnl
Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM.
Tech. Sci. Informatiques
Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin