BibTeX records: Charlotte Seidner

download as .bib file

@inproceedings{DBLP:conf/apn/LimeRS19,
  author    = {Didier Lime and
               Olivier H. Roux and
               Charlotte Seidner},
  editor    = {Susanna Donatelli and
               Stefan Haar},
  title     = {Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets},
  booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
               Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11522},
  pages     = {406--425},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-21571-2\_22},
  doi       = {10.1007/978-3-030-21571-2\_22},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/apn/LimeRS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BouchenebLRS18,
  author    = {Hanifa Boucheneb and
               Didier Lime and
               Olivier H. Roux and
               Charlotte Seidner},
  title     = {Optimal-Cost Reachability Analysis Based on Time Petri Nets},
  booktitle = {18th International Conference on Application of Concurrency to System
               Design, {ACSD} 2018, Bratislava, Slovakia, June 25-29, 2018},
  pages     = {30--39},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2018.000-1},
  doi       = {10.1109/ACSD.2018.000-1},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/BouchenebLRS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BouchenebLPRS17,
  author    = {Hanifa Boucheneb and
               Didier Lime and
               Baptiste Parquier and
               Olivier H. Roux and
               Charlotte Seidner},
  editor    = {Alessandro Abate and
               Gilles Geeraerts},
  title     = {Optimal Reachability in Cost Time Petri Nets},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 15th International
               Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10419},
  pages     = {58--73},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-65765-3\_4},
  doi       = {10.1007/978-3-319-65765-3\_4},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/BouchenebLPRS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/LelionnaisBDRS12,
  author    = {C{\'{e}}drick Lelionnais and
               Matthias Brun and
               J{\'{e}}r{\^{o}}me Delatour and
               Olivier H. Roux and
               Charlotte Seidner},
  editor    = {Leszek A. Maciaszek and
               Alfredo Cuzzocrea and
               Jos{\'{e}} Cordeiro},
  title     = {Formal Behavioral Modeling of Real-time Operating Systems},
  booktitle = {{ICEIS} 2012 - Proceedings of the 14th International Conference on
               Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June
               - 1 July, 2012},
  pages     = {407--414},
  publisher = {SciTePress},
  year      = {2012},
  timestamp = {Fri, 01 Nov 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iceis/LelionnaisBDRS12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Charlotte09,
  author    = {Charlotte Seidner},
  title     = {V{\'{e}}rication des EFFBDs : Model checking en Ing{\'{e}}nierie
               Syst{\`{e}}me. (EFFBDs Verication: Model checking in Systems Engineering)},
  school    = {University of Nantes, France},
  year      = {2009},
  url       = {https://tel.archives-ouvertes.fr/tel-00440677},
  timestamp = {Thu, 14 Jul 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/hal/Charlotte09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LimeRST09,
  author    = {Didier Lime and
               Olivier H. Roux and
               Charlotte Seidner and
               Louis{-}Marie Traonouez},
  editor    = {Stefan Kowalewski and
               Anna Philippou},
  title     = {Romeo: {A} Parametric Model-Checker for Petri Nets with Stopwatches},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               15th International Conference, {TACAS} 2009, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2009,
               York, UK, March 22-29, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5505},
  pages     = {54--57},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00768-2\_6},
  doi       = {10.1007/978-3-642-00768-2\_6},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/tacas/LimeRST09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/SeidnerR08,
  author    = {Charlotte Seidner and
               Olivier H. Roux},
  title     = {Formal Methods for Systems Engineering Behavior Models},
  journal   = {{IEEE} Trans. Industrial Informatics},
  volume    = {4},
  number    = {4},
  pages     = {280--291},
  year      = {2008},
  url       = {https://doi.org/10.1109/TII.2008.2008998},
  doi       = {10.1109/TII.2008.2008998},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tii/SeidnerR08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics