Nicolas Stouls

发表

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

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

Graph Based Reduction of Program Verification Conditions pdf

Jean-François Couchot, Alain Giorgetti, Nicolas Stouls, 2009, FM 2009.

G\'en\'eSyst : G\'en\'eration d'un syst\`eme de transitions \'etiquet\'ees \`a partir d'une sp\'ecification B \'ev\'enementiel

Marie-Laure Potet, Nicolas Stouls, Xavier Morselli, 2010 .

Security Policy Enforcement Through Refinement Process

Marie-Laure Potet, Nicolas Stouls, Marie-Laure Potet, 2007, B.

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

Nicolas Stouls, Yufang Dan, Stephane Frenot, 2018, ICIIT 2018.

An API for Autonomous and Client-side Service Substitution

Julien Ponge, Nicolas Stouls, Yufang Dan, 2012 .

B model slicing and predicate abstraction to generate tests

Jacques Julliand, Pierre-Alain Masson, Nicolas Stouls, 2013, Software Quality Journal.

An OSGi Monitoring System with Dynamicity Resilience enhancing Fault Tolerance

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

OSGiLarva : a monitoring framework supporting OSGi’s dynamicity

Stéphane Frénot, Christian Colombo, Nicolas Stouls, 2013 .

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

Jian Cao, Frédéric Le Mouël, Julien Ponge, 2015, COP@ECOOP.

A Monitoring Approach for Dynamic Service-Oriented Architecture Systems

Stéphane Frénot, Christian Colombo, Nicolas Stouls, 2012 .

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

Sylvain Boulmé, Marie-Laure Potet, Didier Bert, 2004, Tech. Sci. Informatiques.

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 .

B Model Abstraction Combining Syntactic and Semantic Methods

Jacques Julliand, Pierre-Alain Masson, Nicolas Stouls, 2010, ASM.

Automated application offloading through ant-inspired decision-making

Frédéric Le Mouël, Julien Ponge, Nicolas Stouls, 2016, 2016 13th International Conference on New Technologies for Distributed Systems (NOTERE).

Dissemination - Animation of the Scientific Community

Frédéric Le Mouël, Antoine Fraboulet, Nicolas Stouls, 2010 .

When a Formal Model Rhymes with a Graphical Notation

Nicolas Stouls, Akram Idani, 2014, SEFM Workshops.

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

Marie-Laure Potet, Didier Bert, Nicolas Stouls, 2005, ZB.

Computation of Hierarchical Transition Systems to Document Refined Event-B Models

Nicolas Stouls, 2008 .

Opportunities for a Truffle-based Golo Interpreter pdf

Frédéric Le Mouël, Julien Ponge, Yannick Loiseau, 2015, ArXiv.

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

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

Syntactic Abstraction of B Models to Generate Tests pdf

Jacques Julliand, Pierre-Alain Masson, Nicolas Stouls, 2010, TAP@TOOLS.

Eclipse Golo

Frédéric Le Mouël, Julien Ponge, Yannick Loiseau, 2016, J. Open Source Softw..

Vérification de propriétés LTL sur des programmes C par génération d'annotations

Julien Groslambert, Nicolas Stouls, 2011 .

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

Marie-Laure Potet, Nicolas Stouls, Xavier Morselli, 2010, ArXiv.

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

Frédéric Le Mouël, Nicolas Stouls, Gislain Lipeme Kouyi, 2021, AINA.