Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcci/JbeliSA18,
  author       = {Naima Jbeli and
                  Zohra Sba{\"{\i}} and
                  Rahma Ben Ayed},
  title        = {TCTL\({}^{\mbox{{\(\Delta\)}}}\)\({}_{\mbox{h}}\) Model Checking of
                  Time Petri Nets},
  journal      = {Trans. Comput. Collect. Intell.},
  volume       = {30},
  pages        = {242--262},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99810-7\_12},
  doi          = {10.1007/978-3-319-99810-7\_12},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcci/JbeliSA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/codit/ChtourouS16,
  author       = {Ameni Chtourou and
                  Zohra Sba{\"{\i}}},
  title        = {Towards TCTLh\({}^{\mbox{{\(\Delta\)}}}\) model checking of time Petri
                  nets},
  booktitle    = {International Conference on Control, Decision and Information Technologies,
                  CoDIT 2016, Saint Julian's, Malta, April 6-8, 2016},
  pages        = {563--568},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/CoDIT.2016.7593624},
  doi          = {10.1109/CODIT.2016.7593624},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/codit/ChtourouS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcse/EsmailiEM15,
  author       = {Mohammad Esmail Esmaili and
                  Reza Entezari{-}Maleki and
                  Ali Movaghar},
  title        = {Improved Region-Based {TCTL} Model Checking of Time Petri Nets},
  journal      = {J. Comput. Sci. Eng.},
  volume       = {9},
  number       = {1},
  pages        = {9--19},
  year         = {2015},
  url          = {https://doi.org/10.5626/JCSE.2015.9.1.9},
  doi          = {10.5626/JCSE.2015.9.1.9},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcse/EsmailiEM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/logcom/BouchenebGR09,
  author       = {Hanifa Boucheneb and
                  Guillaume Gardey and
                  Olivier H. Roux},
  title        = {{TCTL} Model Checking of Time Petri Nets},
  journal      = {J. Log. Comput.},
  volume       = {19},
  number       = {6},
  pages        = {1509--1540},
  year         = {2009},
  url          = {https://doi.org/10.1093/logcom/exp036},
  doi          = {10.1093/LOGCOM/EXP036},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/BouchenebGR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}