Follow
Nicolas Stouls
Nicolas Stouls
Verified email at insa-lyon.fr
Title
Cited by
Cited by
Year
GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties
D Bert, ML Potet, N Stouls
International Conference of B and Z Users, 299-318, 2005
542005
Security policy enforcement through refinement process
N Stouls, ML Potet
International Conference of B Users, 216-231, 2007
272007
Resilient IoT-based Monitoring System for Crude Oil Pipelines
S Ahmed, F Le Mouël, N Stouls
Proceedings of the 7th International Conference on Internet of Things …, 2020
212020
Golo, a dynamic, light and efficient language for post-invokedynamic JVM
J Ponge, F Le Mouël, N Stouls
Proceedings of the 2013 International Conference on Principles and Practices …, 2013
182013
Towards a decoupled context-oriented programming language for the internet of things
B Maingret, F Le Mouël, J Ponge, N Stouls, J Cao, Y Loiseau
Proceedings of the 7th ACM International Workshop on Context-Oriented …, 2015
132015
Systèmes de transitions symboliques et hiérarchiques pour la conception et la validation de modèles B raffinés
N Stouls
Institut National Polytechnique de Grenoble-INPG, 2007
102007
HyDiLLEch: A WSN-based distributed leak detection and localisation in crude oil pipelines
S Ahmed, F Le Mouël, N Stouls, G Lipeme Kouyi
Advanced Information Networking and Applications: Proceedings of the 35th …, 2021
82021
When a formal model rhymes with a graphical notation
A Idani, N Stouls
International Conference on Software Engineering and Formal Methods, 54-68, 2014
82014
Spontaneous proximity clouds: Making mobile devices to collaborate for resource and data sharing
R Golchay, F Le Mouël, J Ponge, N Stouls
Collaborate Computing: Networking, Applications and Worksharing: 12th …, 2017
72017
B model slicing and predicate abstraction to generate tests
J Julliand, N Stouls, PC Bué, PA Masson
Software Quality Journal 21 (1), 127-158, 2013
72013
Spécification et substitution de services osgi
HM Tchinda, N Stouls, J Ponge
INRIA, 2011
72011
Vérification de propriétés LTL sur des programmes C par génération d’annotations
J Groslambert, N Stouls
AFADL’09, 2009
62009
Explicitation du contrôle de développement B événementiel
ML Potet, N Stouls
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL …, 2004
62004
Vérification de propriétés LTL sur des programmes C par génération d'annotations
N Stouls, J Groslambert
52011
Adaptabilité et validation de la traduction de B vers C-Points de vue du projet BOM
F Badeau, D Bert, S Boulmé, C Métayer, ML Potet, N Stouls, L Voisin
Revue des Sciences et Technologies de l'Information-Série TSI: Technique et …, 2004
52004
Automated application offloading through ant-inspired decision-making
R Golchay, F Le Mouëlt, J Ponge, N Stouls
2016 13th International Conference on New Technologies for Distributed …, 2016
42016
Aoraï Plugin Tutorial
N Stouls, V Prevosto
Rapport technique, Frama-C, 57, 2013
4*2013
A Monitoring Approach for Dynamic Service-Oriented Architecture Systems
Y Dan, N Stouls, S Frénot, C Colombo
The Fourth International Conferences on Advanced Service Computing, 2012
42012
GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties.
D Bert, ML Potet, N Stouls
arXiv preprint arXiv:1004.1472, 2010
42010
Graph Based Reduction of Program Verification Conditions
JF Couchot, A Giorgetti, N Stouls
arXiv preprint arXiv:0907.1357, 2009
42009
The system can't perform the operation now. Try again later.
Articles 1–20