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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://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, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/F3},
doi = {10.29007/q916}}