Nicolas Stouls
Nicolas Stouls
Verified email at insa-lyon.fr
TitleCited byYear
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
502005
Security policy enforcement through refinement process
N Stouls, ML Potet
International Conference of B Users, 216-231, 2007
212007
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
162013
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
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 International Workshop on Context-Oriented …, 2015
92015
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
Spécification et substitution de services osgi
HM Tchinda, N Stouls, J Ponge
INRIA, 2011
72011
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
62013
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
Aoraï Plugin Tutorial
N Stouls, V Prevosto
Rapport technique, Frama-C, 57, 2013
52013
Vérification de propriétés LTL sur des programmes C par génération d’annotations
J Groslambert, N Stouls
AFADL’09, 2009
52009
Traduction de B vers des langages de programmation
F Badeau, D Bert, S Boulmé, C Métayer, ML Potet, N Stouls, L Voisin
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL …, 2003
52003
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
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
Spontaneous proximity clouds: Making mobile devices to collaborate for resource and data sharing
R Golchay, F Le Mouël, J Ponge, N Stouls
International Conference on Collaborative Computing: Networking …, 2016
32016
Développement formel d'un moniteur détectant les violations de politiques de sécurité de réseaux
N Stouls, V Darmaillacq
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL …, 2006
32006
Eclipse Golo
J Ponge, Y Loiseau, F Le Mouël, N Stouls, P Charrière, D Petisme, ...
The Journal of Open Source Software 1 (8), 2016
22016
Opportunities for a Truffle-based Golo Interpreter
J Ponge, FL Mouël, N Stouls, Y Loiseau
arXiv preprint arXiv:1505.06003, 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–20