BibTeX records: Charlotte Seidner

download as .bib file

@article{DBLP:journals/fuin/LimeRS21,
  author       = {Didier Lime and
                  Olivier H. Roux and
                  Charlotte Seidner},
  title        = {Cost Problems for Parametric Time Petri Nets},
  journal      = {Fundam. Informaticae},
  volume       = {183},
  number       = {1-2},
  pages        = {97--123},
  year         = {2021},
  url          = {https://doi.org/10.3233/FI-2021-2083},
  doi          = {10.3233/FI-2021-2083},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/LimeRS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2109-03658,
  author       = {Didier Lime and
                  Olivier H. Roux and
                  Charlotte Seidner},
  title        = {Cost Problems for Parametric Time Petri Nets},
  journal      = {CoRR},
  volume       = {abs/2109.03658},
  year         = {2021},
  url          = {https://arxiv.org/abs/2109.03658},
  eprinttype    = {arXiv},
  eprint       = {2109.03658},
  timestamp    = {Mon, 20 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-03658.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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    = {Tue, 21 Jul 2020 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. Ind. 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    = {Thu, 21 May 2020 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

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.