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)

GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties. - Didier Bert; Marie-Laure Potet; Nicolas Stouls (ZB, 2005)

Security Policy Enforcement Through Refinement Process. - Nicolas Stouls; Marie-Laure Potet (B, 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 (2007)

Graph Based Reduction of Program Verification Conditions - Jean-François Couchot; Alain Giorgetti; Nicolas Stouls (CoRR, 2009)

B Model Abstraction Combining Syntactic and Semantic Methods. - Jacques Julliand; Nicolas Stouls; Pierre-Christophe Bué; Pierre-Alain Masson (ASM, 2010)

Syntactic Abstraction of B Models to Generate Tests. - Jacques Julliand; Nicolas Stouls; Pierre-Christophe Bué; Pierre-Alain Masson (TAP@TOOLS, 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)

Golo, a dynamic, light and efficient language for post-invokedynamic JVM. - Julien Ponge; Frédéric Le Mouël; Nicolas Stouls (PPPJ, 2013)

B model slicing and predicate abstraction to generate tests. - Jacques Julliand; Nicolas Stouls; Pierre-Christophe Bué; Pierre-Alain Masson (Softw. Qual. J., 2013)

When a Formal Model Rhymes with a Graphical Notation. - Akram Idani; Nicolas Stouls (SEFM Workshops, 2014)

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 001; Yannick Loiseau (COP@ECOOP, 2015)

Opportunities for a Truffle-based Golo Interpreter. - Julien Ponge; Frédéric Le Mouël; Nicolas Stouls; Yannick Loiseau (CoRR, 2015)

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 (CollaborateCom, 2016)

Automated application offloading through ant-inspired decision-making. - Roya Golchay; Frédéric Le Mouël; Julien Ponge; Nicolas Stouls (NOTERE, 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)

An OSGi Monitoring System to Support Dynamicity and to Enhance Fault Tolerance of OSGi Systems. - Yufang Dan; Nicolas Stouls; Stéphane Frénot (ICIIT, 2018)

Resilient IoT-based Monitoring System for Crude Oil Pipelines. - Safuriyawu Ahmed; Frédéric Le Mouël; Nicolas Stouls (IoTSMS, 2020)

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 (AINA (1), 2021)

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)

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 (MobiQuitous, 2022)

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)