Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Nicolas Stouls
@article{DBLP:journals/sensors/AhmedMSK23, author = {Safuriyawu Ahmed and Fr{\'{e}}d{\'{e}}ric Le Mou{\"{e}}l and Nicolas Stouls and Gislain Lipeme Kouyi}, title = {Development and Analysis of a Distributed Leak Detection and Localisation System for Crude Oil Pipelines}, journal = {Sensors}, volume = {23}, number = {9}, pages = {4298}, year = {2023}, url = {https://doi.org/10.3390/s23094298}, doi = {10.3390/S23094298}, timestamp = {Fri, 07 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sensors/AhmedMSK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lcn/MoriotLSV22, author = {Camille Moriot and Fran{\c{c}}ois Lesueur and Nicolas Stouls and Fabrice Valois}, editor = {Sharief Oteafy and Eyuphan Bulut and Florian Tschorsch}, title = {How to build socio-organizational information from remote {IP} addresses to enrich security analysis?}, booktitle = {47th {IEEE} Conference on Local Computer Networks, {LCN} 2022, Edmonton, AB, Canada, September 26-29, 2022}, pages = {287--290}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/LCN53696.2022.9843570}, doi = {10.1109/LCN53696.2022.9843570}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lcn/MoriotLSV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mobiquitous/AhmedMSD22, author = {Safuriyawu Ahmed and Fr{\'{e}}d{\'{e}}ric Le Mou{\"{e}}l and Nicolas Stouls and Jilles Steeve Dibangoye}, editor = {Longfei Shangguan and Bodhi Priyantha}, title = {{R-MDP:} {A} Game Theory Approach for Fault-Tolerant Data and Service Management in Crude Oil Pipelines Monitoring Systems}, booktitle = {Mobile and Ubiquitous Systems: Computing, Networking and Services - 19th {EAI} International Conference, MobiQuitous 2022, Pittsburgh, PA, USA, November 14-17, 2022, Proceedings}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, volume = {492}, pages = {44--64}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-34776-4\_3}, doi = {10.1007/978-3-031-34776-4\_3}, timestamp = {Wed, 30 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mobiquitous/AhmedMSD22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/AhmedMSK21, author = {Safuriyawu Ahmed and Fr{\'{e}}d{\'{e}}ric Le Mou{\"{e}}l and Nicolas Stouls and Gislain Lipeme Kouyi}, editor = {Leonard Barolli and Isaac Woungang and Tomoya Enokido}, title = {HyDiLLEch: {A} WSN-Based Distributed Leak Detection and Localisation in Crude Oil Pipelines}, booktitle = {Advanced Information Networking and Applications - Proceedings of the 35th International Conference on Advanced Information Networking and Applications (AINA-2021), Toronto, ON, Canada, 12-14 May, 2021, Volume 1}, series = {Lecture Notes in Networks and Systems}, volume = {225}, pages = {626--637}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-75100-5\_54}, doi = {10.1007/978-3-030-75100-5\_54}, timestamp = {Thu, 12 Aug 2021 13:39:33 +0200}, biburl = {https://dblp.org/rec/conf/aina/AhmedMSK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iotsms/AhmedMS20, author = {Safuriyawu Ahmed and Fr{\'{e}}d{\'{e}}ric Le Mou{\"{e}}l and Nicolas Stouls}, editor = {Larbi Boubchir and Elhadj Benkhelifa and Yaser Jararweh and Imad Saleh}, title = {Resilient IoT-based Monitoring System for Crude Oil Pipelines}, booktitle = {7th International Conference on Internet of Things: Systems, Management and Security, {IOTSMS} 2020, Virtual Event, France, December 14-16, 2020}, pages = {1--7}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/IOTSMS52051.2020.9340197}, doi = {10.1109/IOTSMS52051.2020.9340197}, timestamp = {Fri, 12 Feb 2021 12:29:49 +0100}, biburl = {https://dblp.org/rec/conf/iotsms/AhmedMS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iciit/DanSF18, author = {Yufang Dan and Nicolas Stouls and St{\'{e}}phane Fr{\'{e}}not}, title = {An OSGi Monitoring System to Support Dynamicity and to Enhance Fault Tolerance of OSGi Systems}, booktitle = {Proceedings of the 2018 International Conference on Intelligent Information Technology, {ICIIT} 2018, Hanoi, Vietnam, February 26-28, 2018}, pages = {50--53}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3193063.3193072}, doi = {10.1145/3193063.3193072}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iciit/DanSF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jossw/PongeLMSCPDV16, author = {Julien Ponge and Yannick Loiseau and Fr{\'{e}}d{\'{e}}ric Le Mou{\"{e}}l and Nicolas Stouls and Philippe Charri{\`{e}}re and Daniel Petisme and Sylvain Desgrais and Franck Verrot}, title = {Eclipse Golo}, journal = {J. Open Source Softw.}, volume = {1}, number = {8}, pages = {93}, year = {2016}, url = {https://doi.org/10.21105/joss.00093}, doi = {10.21105/JOSS.00093}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jossw/PongeLMSCPDV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/colcom/GolchayMPS16, author = {Roya Golchay and Fr{\'{e}}d{\'{e}}ric Le Mou{\"{e}}l and Julien Ponge and Nicolas Stouls}, editor = {Shangguang Wang and Ao Zhou}, title = {Spontaneous Proximity Clouds: Making Mobile Devices to Collaborate for Resource and Data Sharing}, booktitle = {Collaborate Computing: Networking, Applications and Worksharing - 12th International Conference, CollaborateCom 2016, Beijing, China, November 10-11, 2016, Proceedings}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, volume = {201}, pages = {480--489}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-59288-6\_45}, doi = {10.1007/978-3-319-59288-6\_45}, timestamp = {Fri, 29 Apr 2022 09:10:45 +0200}, biburl = {https://dblp.org/rec/conf/colcom/GolchayMPS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/notere/GolchayMPS16, author = {Roya Golchay and Fr{\'{e}}d{\'{e}}ric Le Mou{\"{e}}l and Julien Ponge and Nicolas Stouls}, title = {Automated application offloading through ant-inspired decision-making}, booktitle = {13th International Conference on New Technologies for Distributed Systems, {NOTERE} 2016, Paris, France, July 18, 2016}, pages = {1--6}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/NOTERE.2016.7745831}, doi = {10.1109/NOTERE.2016.7745831}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/notere/GolchayMPS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GolchayMPS16, author = {Roya Golchay and Fr{\'{e}}d{\'{e}}ric Le Mou{\"{e}}l and Julien Ponge and Nicolas Stouls}, title = {Automated Application Offloading through Ant-inspired Decision-Making}, journal = {CoRR}, volume = {abs/1611.02275}, year = {2016}, url = {http://arxiv.org/abs/1611.02275}, eprinttype = {arXiv}, eprint = {1611.02275}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GolchayMPS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GolchayMPS16a, author = {Roya Golchay and Fr{\'{e}}d{\'{e}}ric Le Mou{\"{e}}l and Julien Ponge and Nicolas Stouls}, title = {Spontaneous Proximity Clouds: Making Mobile Devices to Collaborate for Resource and Data Sharing}, journal = {CoRR}, volume = {abs/1612.02468}, year = {2016}, url = {http://arxiv.org/abs/1612.02468}, eprinttype = {arXiv}, eprint = {1612.02468}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GolchayMPS16a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/MaingretMPSCL15, author = {Baptiste Maingret and Fr{\'{e}}d{\'{e}}ric Le Mou{\"{e}}l and Julien Ponge and Nicolas Stouls and Jian Cao and Yannick Loiseau}, title = {Towards a Decoupled Context-Oriented Programming Language for the Internet of Things}, booktitle = {Proceedings of the 7th International Workshop on Context-Oriented Programming, {COP} 2015, Prague, Czech Republic, July 4-10, 2015}, pages = {7:1--7:6}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2786545.2786552}, doi = {10.1145/2786545.2786552}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/MaingretMPSCL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/PongeMSL15, author = {Julien Ponge and Fr{\'{e}}d{\'{e}}ric Le Mou{\"{e}}l and Nicolas Stouls and Yannick Loiseau}, title = {Opportunities for a Truffle-based Golo Interpreter}, journal = {CoRR}, volume = {abs/1505.06003}, year = {2015}, url = {http://arxiv.org/abs/1505.06003}, eprinttype = {arXiv}, eprint = {1505.06003}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/PongeMSL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MaingretMPSCL15, author = {Baptiste Maingret and Fr{\'{e}}d{\'{e}}ric Le Mou{\"{e}}l and Julien Ponge and Nicolas Stouls and Jian Cao and Yannick Loiseau}, title = {Towards a Decoupled Context-Oriented Programming Language for the Internet of Things}, journal = {CoRR}, volume = {abs/1507.08398}, year = {2015}, url = {http://arxiv.org/abs/1507.08398}, eprinttype = {arXiv}, eprint = {1507.08398}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MaingretMPSCL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/IdaniS14, author = {Akram Idani and Nicolas Stouls}, editor = {Carlos Canal and Akram Idani}, title = {When a Formal Model Rhymes with a Graphical Notation}, booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8938}, pages = {54--68}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-15201-1\_4}, doi = {10.1007/978-3-319-15201-1\_4}, timestamp = {Sun, 25 Oct 2020 22:54:47 +0100}, biburl = {https://dblp.org/rec/conf/sefm/IdaniS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sqj/JulliandSBM13, author = {Jacques Julliand and Nicolas Stouls and Pierre{-}Christophe Bu{\'{e}} and Pierre{-}Alain Masson}, title = {B model slicing and predicate abstraction to generate tests}, journal = {Softw. Qual. J.}, volume = {21}, number = {1}, pages = {127--158}, year = {2013}, url = {https://doi.org/10.1007/s11219-011-9161-8}, doi = {10.1007/S11219-011-9161-8}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sqj/JulliandSBM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pppj/PongeMS13, author = {Julien Ponge and Fr{\'{e}}d{\'{e}}ric Le Mou{\"{e}}l and Nicolas Stouls}, editor = {Martin Pl{\"{u}}micke and Walter Binder}, title = {Golo, a dynamic, light and efficient language for post-invokedynamic {JVM}}, booktitle = {Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Stuttgart, Germany, September 11-13, 2013}, pages = {153--158}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2500828.2500844}, doi = {10.1145/2500828.2500844}, timestamp = {Tue, 21 Mar 2023 21:02:19 +0100}, biburl = {https://dblp.org/rec/conf/pppj/PongeMS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/JulliandSBM10, author = {Jacques Julliand and Nicolas Stouls and Pierre{-}Christophe Bu{\'{e}} and Pierre{-}Alain Masson}, editor = {Marc Frappier and Uwe Gl{\"{a}}sser and Sarfraz Khurshid and R{\'{e}}gine Laleau and Steve Reeves}, title = {B Model Abstraction Combining Syntactic and Semantic Methods}, booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference, {ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5977}, pages = {408}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-11811-1\_41}, doi = {10.1007/978-3-642-11811-1\_41}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/JulliandSBM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tap/JulliandSBM10, author = {Jacques Julliand and Nicolas Stouls and Pierre{-}Christophe Bu{\'{e}} and Pierre{-}Alain Masson}, editor = {Gordon Fraser and Angelo Gargantini}, title = {Syntactic Abstraction of {B} Models to Generate Tests}, booktitle = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga, Spain, July 1-2, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6143}, pages = {151--166}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13977-2\_13}, doi = {10.1007/978-3-642-13977-2\_13}, timestamp = {Mon, 23 Nov 2020 12:33:05 +0100}, biburl = {https://dblp.org/rec/conf/tap/JulliandSBM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1004-1262, author = {Jacques Julliand and Nicolas Stouls and Pierre{-}Christophe Bu{\'{e}} and Pierre{-}Alain Masson}, title = {Syntactic Abstraction of {B} Models to Generate Tests}, journal = {CoRR}, volume = {abs/1004.1262}, year = {2010}, url = {http://arxiv.org/abs/1004.1262}, eprinttype = {arXiv}, eprint = {1004.1262}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1004-1262.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1004-1460, author = {Nicolas Stouls and Marie{-}Laure Potet}, title = {Security Policy Enforcement Through Refinement Process}, journal = {CoRR}, volume = {abs/1004.1460}, year = {2010}, url = {http://arxiv.org/abs/1004.1460}, eprinttype = {arXiv}, eprint = {1004.1460}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1004-1460.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1004-1472, author = {Didier Bert and Marie{-}Laure Potet and Nicolas Stouls}, title = {GeneSyst: a Tool to Reason about Behavioral Aspects of {B} Event Specifications. Application to Security Properties}, journal = {CoRR}, volume = {abs/1004.1472}, year = {2010}, url = {http://arxiv.org/abs/1004.1472}, eprinttype = {arXiv}, eprint = {1004.1472}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1004-1472.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1004-2178, author = {Xavier Morselli and Marie{-}Laure Potet and Nicolas Stouls}, title = {G{\'{e}}n{\'{e}}Syst : G{\'{e}}n{\'{e}}ration d'un syst{\`{e}}me de transitions {\'{e}}tiquet{\'{e}}es {\`{a}} partir d'une sp{\'{e}}cification {B} {\'{e}}v{\'{e}}nementiel}, journal = {CoRR}, volume = {abs/1004.2178}, year = {2010}, url = {http://arxiv.org/abs/1004.2178}, eprinttype = {arXiv}, eprint = {1004.2178}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1004-2178.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0907-1357, author = {Jean{-}Fran{\c{c}}ois Couchot and Alain Giorgetti and Nicolas Stouls}, title = {Graph Based Reduction of Program Verification Conditions}, journal = {CoRR}, volume = {abs/0907.1357}, year = {2009}, url = {http://arxiv.org/abs/0907.1357}, eprinttype = {arXiv}, eprint = {0907.1357}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0907-1357.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/hal/Stouls07, author = {Nicolas Stouls}, title = {Syst{\`{e}}mes de transitions symboliques et hi{\'{e}}rarchiques pour la conception et la validation de mod{\`{e}}les {B} raffin{\'{e}}s. (Symbolic and labelled transitions systems for the design and the validation of refined {B} models)}, school = {Grenoble Institute of Technology, France}, year = {2007}, url = {https://tel.archives-ouvertes.fr/tel-00216026}, timestamp = {Tue, 21 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/hal/Stouls07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/b/StoulsP07, author = {Nicolas Stouls and Marie{-}Laure Potet}, editor = {Jacques Julliand and Olga Kouchnarenko}, title = {Security Policy Enforcement Through Refinement Process}, booktitle = {B 2007: Formal Specification and Development in B, 7th International Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4355}, pages = {216--231}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/11955757\_18}, doi = {10.1007/11955757\_18}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/b/StoulsP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/zum/BertPS05, author = {Didier Bert and Marie{-}Laure Potet and Nicolas Stouls}, editor = {Helen Treharne and Steve King and Martin C. Henson and Steve A. Schneider}, title = {GeneSyst: {A} Tool to Reason About Behavioral Aspects of {B} Event Specifications. Application to Security Properties}, booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3455}, pages = {299--318}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11415787\_18}, doi = {10.1007/11415787\_18}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/zum/BertPS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsi/BadeauBBMPSV04, author = {Fr{\'{e}}d{\'{e}}ric Badeau and Didier Bert and Sylvain Boulm{\'{e}} and Christophe M{\'{e}}tayer and Marie{-}Laure Potet and Nicolas Stouls and Laurent Voisin}, title = {Adaptabilit{\'{e}} et validation de la traduction de {B} vers C. Points de vue et r{\'{e}}sultats du projet {BOM}}, journal = {Tech. Sci. Informatiques}, volume = {23}, number = {7}, pages = {879--903}, year = {2004}, url = {https://doi.org/10.3166/tsi.23.879-903}, doi = {10.3166/TSI.23.879-903}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsi/BadeauBBMPSV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.