BibTeX records: Nicolas Stouls

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics