SCSS 2017:BibTeX Entries

Volume

@proceedings{SCSS2017,
  title     = {SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017},
  editor    = {Mohamed Mosbah and Michael Rusinowitch},
  series    = {EPiC Series in Computing},
  volume    = {45},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{SCSS2017:Measuring_Gap_Algorithmic_Approximation,
  author    = {David Cerna and Wolfgang Schreiner},
  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},
  editor    = {Mohamed Mosbah and Michael Rusinowitch},
  series    = {EPiC Series in Computing},
  volume    = {45},
  pages     = {1--15},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Cvp},
  doi       = {10.29007/t3jg}}

@inproceedings{SCSS2017:Integration_of_Decentralised_Pattern,
  author    = {Seyed Hossein Haeri and Sibylle Schupp},
  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},
  editor    = {Mohamed Mosbah and Michael Rusinowitch},
  series    = {EPiC Series in Computing},
  volume    = {45},
  pages     = {16--28},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/gRK},
  doi       = {10.29007/k919}}

@inproceedings{SCSS2017:C2PDLS_Combination_of_Combinatory,
  author    = {Jon Hael Brenas and Rachid Echahed and Martin Strecker},
  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},
  editor    = {Mohamed Mosbah and Michael Rusinowitch},
  series    = {EPiC Series in Computing},
  volume    = {45},
  pages     = {29--41},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/dx4z},
  doi       = {10.29007/gwcz}}

@inproceedings{SCSS2017:Asynchronous_testing_of_real_time,
  author    = {Puneet Bhateja},
  title     = {Asynchronous testing of real-time systems},
  booktitle = {SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017},
  editor    = {Mohamed Mosbah and Michael Rusinowitch},
  series    = {EPiC Series in Computing},
  volume    = {45},
  pages     = {42--48},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/QBlZ},
  doi       = {10.29007/hcrn}}

@inproceedings{SCSS2017:Transforming_Prefix_constrained_or_Controlled,
  author    = {Nirina Andrianarivelo and Vivien Pelletier and Pierre R\textbackslash{}'ety},
  title     = {Transforming Prefix-constrained or Controlled Rewrite Systems},
  booktitle = {SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017},
  editor    = {Mohamed Mosbah and Michael Rusinowitch},
  series    = {EPiC Series in Computing},
  volume    = {45},
  pages     = {49--62},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/QKNZ},
  doi       = {10.29007/m335}}

@inproceedings{SCSS2017:Private_Profile_Matching_for,
  author    = {Jaweher Zouari and Mohamed Hamdi and Tai-Hoon Kim},
  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},
  editor    = {Mohamed Mosbah and Michael Rusinowitch},
  series    = {EPiC Series in Computing},
  volume    = {45},
  pages     = {63--67},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/MdJ9},
  doi       = {10.29007/st23}}

@inproceedings{SCSS2017:Automatic_detection_and_correction,
  author    = {Amina Sa\textbackslash{}\textasciicircum{}adaoui and Nihel Ben Youssef and Adel Bouhoula},
  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},
  editor    = {Mohamed Mosbah and Michael Rusinowitch},
  series    = {EPiC Series in Computing},
  volume    = {45},
  pages     = {68--76},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/lTh},
  doi       = {10.29007/jl3k}}

@inproceedings{SCSS2017:Towards_Reliable_Formal_Framework,
  author    = {Pierrette Annie Evina and Faten Labbene Ayachi and Faouzi Jaidi and Adel Bouhoula},
  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},
  editor    = {Mohamed Mosbah and Michael Rusinowitch},
  series    = {EPiC Series in Computing},
  volume    = {45},
  pages     = {77--82},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/w5j},
  doi       = {10.29007/42j8}}

@inproceedings{SCSS2017:Origami_folds_in_higher_dimension,
  author    = {Tetsuo Ida and Stephen Watt},
  title     = {Origami folds in higher-dimension},
  booktitle = {SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017},
  editor    = {Mohamed Mosbah and Michael Rusinowitch},
  series    = {EPiC Series in Computing},
  volume    = {45},
  pages     = {83--95},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/S3},
  doi       = {10.29007/n76q}}

@inproceedings{SCSS2017:Formal_Development_of_Distributed,
  author    = {Maha Boussabbeh and Mohamed Tounsi and Ahmed Hadj Kacem and Mohamed Mosbah},
  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},
  editor    = {Mohamed Mosbah and Michael Rusinowitch},
  series    = {EPiC Series in Computing},
  volume    = {45},
  pages     = {96--106},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/8Pls},
  doi       = {10.29007/8n75}}

@inproceedings{SCSS2017:Parallel_Construction_of_Symbolic,
  author    = {Hiba Ouni and Kais Klai and Chiheb Ameur Abid and Belhassen Zouari},
  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},
  editor    = {Mohamed Mosbah and Michael Rusinowitch},
  series    = {EPiC Series in Computing},
  volume    = {45},
  pages     = {107--119},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/9pR},
  doi       = {10.29007/7b44}}

@inproceedings{SCSS2017:Comprehensive_Formal_Solution_for,
  author    = {Faouzi Jaidi and Faten Labbene Ayachi and Adel Bouhoula},
  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},
  editor    = {Mohamed Mosbah and Michael Rusinowitch},
  series    = {EPiC Series in Computing},
  volume    = {45},
  pages     = {120--132},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/F3},
  doi       = {10.29007/q916}}