Nicolas Stouls

ORCID

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 11

Top Venues

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

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

Nicolas Stouls.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nicolas Stouls