Nicolas Stouls

Orcid: 0000-0002-7406-9583

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

2022
R-MDP: A Game Theory Approach for Fault-Tolerant Data and Service Management in Crude Oil Pipelines Monitoring Systems.
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?
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.
Proceedings of the Advanced Information Networking and Applications, 2021

2020
Resilient IoT-based Monitoring System for Crude Oil Pipelines.
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.
Proceedings of the 2018 International Conference on Intelligent Information Technology, 2018

2016
Eclipse Golo.
J. Open Source Softw., 2016

Automated application offloading through ant-inspired decision-making.
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.
Proceedings of the Collaborate Computing: Networking, Applications and Worksharing, 2016

2015
Opportunities for a Truffle-based Golo Interpreter.
CoRR, 2015

Towards a Decoupled Context-Oriented Programming Language for the Internet of Things.
Proceedings of the 7th International Workshop on Context-Oriented Programming, 2015

2014
When a Formal Model Rhymes with a Graphical Notation.
Proceedings of the Software Engineering and Formal Methods, 2014

2013
B model slicing and predicate abstraction to generate tests.
Softw. Qual. J., 2013

Golo, a dynamic, light and efficient language for post-invokedynamic JVM.
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
CoRR, 2010

Syntactic Abstraction of B Models to Generate Tests.
Proceedings of the Tests and Proofs - 4th International Conference, 2010

B Model Abstraction Combining Syntactic and Semantic Methods.
Proceedings of the Abstract State Machines, 2010

2009
Graph Based Reduction of Program Verification Conditions
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).
PhD thesis, 2007

Security Policy Enforcement Through Refinement Process.
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.
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.
Tech. Sci. Informatiques, 2004


  Loading...