BibTeX records: Joëlle Cohen

• > Home > Persons > Joëlle Cohen

@article{DBLP:journals/ijisec/BeauquierCL13,
  author       = {Dani{\`{e}}le Beauquier and
                  Jo{\"{e}}lle Cohen and
                  Ruggero Lanotte},
  title        = {Security policies enforcement using finite and pushdown edit automata},
  journal      = {Int. J. Inf. Sec.},
  volume       = {12},
  number       = {4},
  pages        = {319--336},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10207-013-0195-8},
  doi          = {10.1007/S10207-013-0195-8},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijisec/BeauquierCL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asm/CohenS08,
  author       = {Jo{\"{e}}lle Cohen and
                  Anatol Slissenko},
  editor       = {Egon B{\"{o}}rger and
                  Michael J. Butler and
                  Jonathan P. Bowen and
                  Paul Boca},
  title        = {Stability of Real-Time Abstract State Machines under Desynchronization},
  booktitle    = {Abstract State Machines, {B} and Z, First International Conference,
                  {ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5238},
  pages        = {341},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87603-8\_29},
  doi          = {10.1007/978-3-540-87603-8\_29},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/CohenS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BeauquierCL09,
  author       = {Dani{\`{e}}le Beauquier and
                  Jo{\"{e}}lle Cohen and
                  Ruggero Lanotte},
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Angelo Troina and
                  Emilio Tuosto},
  title        = {Security Policies Enforcement Using Finite Edit Automata},
  booktitle    = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
                  ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {3},
  pages        = {19--35},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.037},
  doi          = {10.1016/J.ENTCS.2009.06.037},
  timestamp    = {Fri, 24 Feb 2023 11:41:24 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BeauquierCL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asm/SlissenkoC05,
  author       = {Anatol Slissenko and
                  Jo{\"{e}}lle Cohen},
  title        = {On Implementations of Instantaneous Actions Real-Time {ASM} by {ASM}
                  with Delays},
  booktitle    = {Proceedings of the 12th International Workshop on Abstract State Machines,
                  {ASM} 2005, March 8-11, 2005, Paris, France},
  pages        = {387--396},
  year         = {2005},
  url          = {http://www.univ-paris12.fr/lacl/dima/asm05/slissenko.ps},
  timestamp    = {Thu, 26 Jul 2007 15:03:11 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/SlissenkoC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asm/CohenS00,
  author       = {Jo{\"{e}}lle Cohen and
                  Anatol Slissenko},
  editor       = {Yuri Gurevich and
                  Philipp W. Kutter and
                  Martin Odersky and
                  Lothar Thiele},
  title        = {On Verification of Refinements of Timed Distributed Algorithms},
  booktitle    = {Abstract State Machines, Theory and Applications, International Workshop,
                  {ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1912},
  pages        = {34--49},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44518-8\_4},
  doi          = {10.1007/3-540-44518-8\_4},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/CohenS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/CohenPP93,
  author       = {Jo{\"{e}}lle Cohen and
                  Dominique Perrin and
                  Jean{-}Eric Pin},
  title        = {On the Expressive Power of Temporal Logic},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {46},
  number       = {3},
  pages        = {271--294},
  year         = {1993},
  url          = {https://doi.org/10.1016/0022-0000(93)90005-H},
  doi          = {10.1016/0022-0000(93)90005-H},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/CohenPP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}