BibTeX records: Sarah Zennou

download as .bib file

@article{DBLP:journals/dagstuhl-reports/ZennouDDL17,
  author    = {Sarah Zennou and
               Saumya K. Debray and
               Thomas Dullien and
               Arun Lakhotia},
  title     = {Malware Analysis: From Large-Scale Data Triage to Targeted Attack
               Recognition (Dagstuhl Seminar 17281)},
  journal   = {Dagstuhl Reports},
  volume    = {7},
  number    = {7},
  pages     = {44--53},
  year      = {2017},
  url       = {https://doi.org/10.4230/DagRep.7.7.44},
  doi       = {10.4230/DagRep.7.7.44},
  timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/dagstuhl-reports/ZennouDDL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GiacobazziSZ14,
  author    = {Roberto Giacobazzi and
               Axel Simon and
               Sarah Zennou},
  title     = {Challenges in Analysing Executables: Scalability, Self-Modifying Code
               and Synergy (Dagstuhl Seminar 14241)},
  journal   = {Dagstuhl Reports},
  volume    = {4},
  number    = {6},
  pages     = {48--63},
  year      = {2014},
  url       = {https://doi.org/10.4230/DagRep.4.6.48},
  doi       = {10.4230/DagRep.4.6.48},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dagstuhl-reports/GiacobazziSZ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GaubertGTZ07,
  author    = {Stephane Gaubert and
               Eric Goubault and
               Ankur Taly and
               Sarah Zennou},
  title     = {Static Analysis by Policy Iteration on Relational Domains},
  booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
               {ESOP} 2007, Held as Part of the Joint European Conferences on Theory
               and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
               - April 1, 2007, Proceedings},
  pages     = {237--252},
  year      = {2007},
  crossref  = {DBLP:conf/esop/2007},
  url       = {https://doi.org/10.1007/978-3-540-71316-6\_17},
  doi       = {10.1007/978-3-540-71316-6\_17},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/GaubertGTZ07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LugiezNZ05,
  author    = {Denis Lugiez and
               Peter Niebert and
               Sarah Zennou},
  title     = {A partial order semantics approach to the clock explosion problem
               of timed automata},
  journal   = {Theor. Comput. Sci.},
  volume    = {345},
  number    = {1},
  pages     = {27--59},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2005.07.023},
  doi       = {10.1016/j.tcs.2005.07.023},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/LugiezNZ05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LugiezNZ04,
  author    = {Denis Lugiez and
               Peter Niebert and
               Sarah Zennou},
  title     = {A Partial Order Semantics Approach to the Clock Explosion Problem
               of Timed Automata},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               10th International Conference, {TACAS} 2004, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2004,
               Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
  pages     = {296--311},
  year      = {2004},
  crossref  = {DBLP:conf/tacas/2004},
  url       = {https://doi.org/10.1007/978-3-540-24730-2\_24},
  doi       = {10.1007/978-3-540-24730-2\_24},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/LugiezNZ04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ZennouYN03,
  author    = {Sarah Zennou and
               Manuel Yguel and
               Peter Niebert},
  title     = {{ELSE:} {A} New Symbolic State Generator for Timed Automata},
  booktitle = {Formal Modeling and Analysis of Timed Systems: First International
               Workshop, {FORMATS} 2003, Marseille, France, September 6-7, 2003.
               Revised Papers},
  pages     = {273--280},
  year      = {2003},
  crossref  = {DBLP:conf/formats/2003},
  url       = {https://doi.org/10.1007/978-3-540-40903-8\_22},
  doi       = {10.1007/978-3-540-40903-8\_22},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/ZennouYN03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/LugiezNZ02,
  author    = {Denis Lugiez and
               Peter Niebert and
               Sarah Zennou},
  title     = {Dynamic Bounds and Transition Merging for Local First Search},
  booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
               France, April 11-13, 2002, Proceedings},
  pages     = {221--229},
  year      = {2002},
  crossref  = {DBLP:conf/spin/2002},
  url       = {https://doi.org/10.1007/3-540-46017-9\_17},
  doi       = {10.1007/3-540-46017-9\_17},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/LugiezNZ02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BornotMNZ02,
  author    = {S{\'{e}}bastien Bornot and
               R{\'{e}}mi Morin and
               Peter Niebert and
               Sarah Zennou},
  title     = {Black Box Unfolding with Local First Search},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               8th International Conference, {TACAS} 2002, Held as Part of the Joint
               European Conference on Theory and Practice of Software, {ETAPS} 2002,
               Grenoble, France, April 8-12, 2002, Proceedings},
  pages     = {386--400},
  year      = {2002},
  crossref  = {DBLP:conf/tacas/2002},
  url       = {https://doi.org/10.1007/3-540-46002-0\_27},
  doi       = {10.1007/3-540-46002-0\_27},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/BornotMNZ02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NiebertHZL01,
  author    = {Peter Niebert and
               Michaela Huhn and
               Sarah Zennou and
               Denis Lugiez},
  title     = {Local First Search - {A} New Paradigm for Partial Order Reductions},
  booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
               Aalborg, Denmark, August 20-25, 2001, Proceedings},
  pages     = {396--410},
  year      = {2001},
  crossref  = {DBLP:conf/concur/2001},
  url       = {https://doi.org/10.1007/3-540-44685-0\_27},
  doi       = {10.1007/3-540-44685-0\_27},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/NiebertHZL01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2007,
  editor    = {Rocco {De Nicola}},
  title     = {Programming Languages and Systems, 16th European Symposium on Programming,
               {ESOP} 2007, Held as Part of the Joint European Conferences on Theory
               and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
               - April 1, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4421},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-71316-6},
  doi       = {10.1007/978-3-540-71316-6},
  isbn      = {978-3-540-71314-2},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2004,
  editor    = {Kurt Jensen and
               Andreas Podelski},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               10th International Conference, {TACAS} 2004, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2004,
               Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2988},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b96393},
  doi       = {10.1007/b96393},
  isbn      = {3-540-21299-X},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2003,
  editor    = {Kim Guldstrand Larsen and
               Peter Niebert},
  title     = {Formal Modeling and Analysis of Timed Systems: First International
               Workshop, {FORMATS} 2003, Marseille, France, September 6-7, 2003.
               Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2791},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b12025},
  doi       = {10.1007/b12025},
  isbn      = {3-540-21671-5},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2002,
  editor    = {Dragan Bosnacki and
               Stefan Leue},
  title     = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
               France, April 11-13, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2318},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-46017-9},
  doi       = {10.1007/3-540-46017-9},
  isbn      = {3-540-43477-1},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2002,
  editor    = {Joost{-}Pieter Katoen and
               Perdita Stevens},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               8th International Conference, {TACAS} 2002, Held as Part of the Joint
               European Conference on Theory and Practice of Software, {ETAPS} 2002,
               Grenoble, France, April 8-12, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2280},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-46002-0},
  doi       = {10.1007/3-540-46002-0},
  isbn      = {3-540-43419-4},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2001,
  editor    = {Kim Guldstrand Larsen and
               Mogens Nielsen},
  title     = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
               Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2154},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44685-0},
  doi       = {10.1007/3-540-44685-0},
  isbn      = {3-540-42497-0},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics