Nicolas Stouls

According to our database, Nicolas Stouls authored at least 22 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Development and Analysis of a Distributed Leak Detection and Localisation System for Crude Oil Pipelines.

Safuriyawu Ahmed, Frédéric Le Mouël, Nicolas Stouls, Gislain Lipeme Kouyi

Sensors, 2023

2022

R-MDP: A Game Theory Approach for Fault-Tolerant Data and Service Management in Crude Oil Pipelines Monitoring Systems.

Safuriyawu Ahmed, Frédéric Le Mouël, Nicolas Stouls, Jilles Steeve Dibangoye

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking and Services, 2022

How to build socio-organizational information from remote IP addresses to enrich security analysis?

Camille Moriot, François Lesueur, Nicolas Stouls, Fabrice Valois

Proceedings of the 47th IEEE Conference on Local Computer Networks, 2022

2021

HyDiLLEch: A WSN-Based Distributed Leak Detection and Localisation in Crude Oil Pipelines.

Safuriyawu Ahmed, Frédéric Le Mouël, Nicolas Stouls, Gislain Lipeme Kouyi

Proceedings of the Advanced Information Networking and Applications, 2021

2020

Resilient IoT-based Monitoring System for Crude Oil Pipelines.

Safuriyawu Ahmed, Frédéric Le Mouël, Nicolas Stouls

Proceedings of the 7th International Conference on Internet of Things: Systems, 2020

2018

An OSGi Monitoring System to Support Dynamicity and to Enhance Fault Tolerance of OSGi Systems.

Yufang Dan, Nicolas Stouls, Stéphane Frénot

Proceedings of the 2018 International Conference on Intelligent Information Technology, 2018

2016

Eclipse Golo.

Julien Ponge, Yannick Loiseau, Frédéric Le Mouël, Nicolas Stouls, Philippe Charrière, Daniel Petisme, Sylvain Desgrais, Franck Verrot

J. Open Source Softw., 2016

Automated application offloading through ant-inspired decision-making.

Roya Golchay, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls

Proceedings of the 13th International Conference on New Technologies for Distributed Systems, 2016

Spontaneous Proximity Clouds: Making Mobile Devices to Collaborate for Resource and Data Sharing.

Roya Golchay, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls

Proceedings of the Collaborate Computing: Networking, Applications and Worksharing, 2016

2015

Opportunities for a Truffle-based Golo Interpreter.

Julien Ponge, Frédéric Le Mouël, Nicolas Stouls, Yannick Loiseau

CoRR, 2015

Towards a Decoupled Context-Oriented Programming Language for the Internet of Things.

Baptiste Maingret, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls, Jian Cao, Yannick Loiseau

Proceedings of the 7th International Workshop on Context-Oriented Programming, 2015

2014

When a Formal Model Rhymes with a Graphical Notation.

Akram Idani, Nicolas Stouls

Proceedings of the Software Engineering and Formal Methods, 2014

2013

B model slicing and predicate abstraction to generate tests.

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson

Softw. Qual. J., 2013

Golo, a dynamic, light and efficient language for post-invokedynamic JVM.

Julien Ponge, Frédéric Le Mouël, Nicolas Stouls

Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, 2013

2010

GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel

Xavier Morselli, Marie-Laure Potet, Nicolas Stouls

CoRR, 2010

Syntactic Abstraction of B Models to Generate Tests.

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson

Proceedings of the Tests and Proofs - 4th International Conference, 2010

B Model Abstraction Combining Syntactic and Semantic Methods.

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson

Proceedings of the Abstract State Machines, 2010

2009

Graph Based Reduction of Program Verification Conditions

Jean-François Couchot, Alain Giorgetti, Nicolas Stouls

CoRR, 2009

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, 2007

Security Policy Enforcement Through Refinement Process.

Nicolas Stouls, Marie-Laure Potet

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2005

GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties.

Didier Bert, Marie-Laure Potet, Nicolas Stouls

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

2004

Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM.

Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin

Tech. Sci. Informatiques, 2004