Search dblp for Publications

export results for "toc:db/conf/sycss/scss2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sycss/AndrianariveloP17,
  author       = {Nirina Andrianarivelo and
                  Vivien Pelletier and
                  Pierre R{\'{e}}ty},
  editor       = {Mohamed Mosbah and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Transforming Prefix-constrained or Controlled Rewrite Systems},
  booktitle    = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
                  in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
  series       = {EPiC Series in Computing},
  volume       = {45},
  pages        = {49--62},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/m335},
  doi          = {10.29007/M335},
  timestamp    = {Tue, 11 Oct 2022 14:59:07 +0200},
  biburl       = {https://dblp.org/rec/conf/sycss/AndrianariveloP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sycss/Bhateja17,
  author       = {Puneet Bhateja},
  editor       = {Mohamed Mosbah and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Asynchronous testing of real-time systems},
  booktitle    = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
                  in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
  series       = {EPiC Series in Computing},
  volume       = {45},
  pages        = {42--48},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/hcrn},
  doi          = {10.29007/HCRN},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sycss/Bhateja17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sycss/BoussabbehTKM17,
  author       = {Maha Boussabbeh and
                  Mohamed Tounsi and
                  Ahmed Hadj Kacem and
                  Mohamed Mosbah},
  editor       = {Mohamed Mosbah and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Formal Development of Distributed Enumeration Algorithms By Refinement-Based
                  Techniques},
  booktitle    = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
                  in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
  series       = {EPiC Series in Computing},
  volume       = {45},
  pages        = {96--106},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/8n75},
  doi          = {10.29007/8N75},
  timestamp    = {Tue, 11 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sycss/BoussabbehTKM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sycss/BrenasES17,
  author       = {Jon Ha{\"{e}}l Brenas and
                  Rachid Echahed and
                  Martin Strecker},
  editor       = {Mohamed Mosbah and
                  Micha{\"{e}}l Rusinowitch},
  title        = {{C2PDLS:} {A} Combination of Combinatory and Converse {PDL} with Substitutions},
  booktitle    = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
                  in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
  series       = {EPiC Series in Computing},
  volume       = {45},
  pages        = {29--41},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/gwcz},
  doi          = {10.29007/GWCZ},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sycss/BrenasES17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sycss/CernaS17,
  author       = {David M. Cerna and
                  Wolfgang Schreiner},
  editor       = {Mohamed Mosbah and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Measuring the Gap: Algorithmic Approximation Bounds for the Space
                  Complexity of Stream Specifications},
  booktitle    = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
                  in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
  series       = {EPiC Series in Computing},
  volume       = {45},
  pages        = {1--15},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/t3jg},
  doi          = {10.29007/T3JG},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sycss/CernaS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sycss/EvinaAJB17,
  author       = {Pierrette Annie Evina and
                  Faten Labbene Ayachi and
                  Faouzi Ja{\"{\i}}di and
                  Adel Bouhoula},
  editor       = {Mohamed Mosbah and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Towards a Reliable Formal Framework for Enhancing Risk Assessment
                  in Access Control Systems},
  booktitle    = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
                  in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
  series       = {EPiC Series in Computing},
  volume       = {45},
  pages        = {77--82},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/42j8},
  doi          = {10.29007/42J8},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sycss/EvinaAJB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sycss/HaeriS17,
  author       = {Seyed H. Haeri and
                  Sibylle Schupp},
  editor       = {Mohamed Mosbah and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Integration of a Decentralised Pattern Matching: Venue for a New Paradigm
                  Intermarriage},
  booktitle    = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
                  in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
  series       = {EPiC Series in Computing},
  volume       = {45},
  pages        = {16--28},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/k919},
  doi          = {10.29007/K919},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sycss/HaeriS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sycss/IdaW17,
  author       = {Tetsuo Ida and
                  Stephen M. Watt},
  editor       = {Mohamed Mosbah and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Origami folds in higher-dimension},
  booktitle    = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
                  in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
  series       = {EPiC Series in Computing},
  volume       = {45},
  pages        = {83--95},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/n76q},
  doi          = {10.29007/N76Q},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sycss/IdaW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sycss/JaidiAB17,
  author       = {Faouzi Ja{\"{\i}}di and
                  Faten Labbene Ayachi and
                  Adel Bouhoula},
  editor       = {Mohamed Mosbah and
                  Micha{\"{e}}l Rusinowitch},
  title        = {A Comprehensive Formal Solution for Access Control Policies Management:
                  Defect Detection, Analysis and Risk Assessment},
  booktitle    = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
                  in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
  series       = {EPiC Series in Computing},
  volume       = {45},
  pages        = {120--132},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/q916},
  doi          = {10.29007/Q916},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sycss/JaidiAB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sycss/OuniKAZ17,
  author       = {Hiba Ouni and
                  Kais Klai and
                  Chiheb Ameur Abid and
                  Belhassen Zouari},
  editor       = {Mohamed Mosbah and
                  Micha{\"{e}}l Rusinowitch},
  title        = {A Parallel Construction of the Symbolic Observation Graph: the Basis
                  for Efficient Model Checking of Concurrent Systems},
  booktitle    = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
                  in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
  series       = {EPiC Series in Computing},
  volume       = {45},
  pages        = {107--119},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/7b44},
  doi          = {10.29007/7B44},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sycss/OuniKAZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sycss/SaadaouiYB17,
  author       = {Amina Sa{\^{a}}daoui and
                  Nihel Ben Youssef and
                  Adel Bouhoula},
  editor       = {Mohamed Mosbah and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Automatic detection and correction of firewall misconfigurations-
                  {A} formal approach},
  booktitle    = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
                  in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
  series       = {EPiC Series in Computing},
  volume       = {45},
  pages        = {68--76},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/jl3k},
  doi          = {10.29007/JL3K},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sycss/SaadaouiYB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sycss/ZouariHK17,
  author       = {Jaweher Zouari and
                  Mohamed Hamdi and
                  Tai{-}Hoon Kim},
  editor       = {Mohamed Mosbah and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Private Profile Matching for Mobile Social Networks Based on Fuzzy
                  Extractors},
  booktitle    = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
                  in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
  series       = {EPiC Series in Computing},
  volume       = {45},
  pages        = {63--67},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/st23},
  doi          = {10.29007/ST23},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sycss/ZouariHK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sycss/2017,
  editor       = {Mohamed Mosbah and
                  Micha{\"{e}}l Rusinowitch},
  title        = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
                  in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
  series       = {EPiC Series in Computing},
  volume       = {45},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://easychair.org/publications/volume/SCSS\_2017},
  timestamp    = {Tue, 11 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sycss/2017.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.