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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2017}}
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Cvp},
doi = {10.29007/t3jg},
pages = {1-15},
year = {2017}}
@inproceedings{SCSS2017:Integration_Decentralised_Pattern_Matching,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/gRK},
doi = {10.29007/k919},
pages = {16-28},
year = {2017}}
@inproceedings{SCSS2017:C2PDLS_Combination_Combinatory_Converse,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/dx4z},
doi = {10.29007/gwcz},
pages = {29-41},
year = {2017}}
@inproceedings{SCSS2017:Asynchronous_testing_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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/QBlZ},
doi = {10.29007/hcrn},
pages = {42-48},
year = {2017}}
@inproceedings{SCSS2017:Transforming_Prefix_constrained_Controlled,
author = {Nirina Andrianarivelo and Vivien Pelletier and Pierre Réty},
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/QKNZ},
doi = {10.29007/m335},
pages = {49-62},
year = {2017}}
@inproceedings{SCSS2017:Private_Profile_Matching_Mobile,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/MdJ9},
doi = {10.29007/st23},
pages = {63-67},
year = {2017}}
@inproceedings{SCSS2017:Automatic_detection_correction_firewall,
author = {Amina Saâdaoui 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/lTh},
doi = {10.29007/jl3k},
pages = {68-76},
year = {2017}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/w5j},
doi = {10.29007/42j8},
pages = {77-82},
year = {2017}}
@inproceedings{SCSS2017:Origami_folds_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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/S3},
doi = {10.29007/n76q},
pages = {83-95},
year = {2017}}
@inproceedings{SCSS2017:Formal_Development_Distributed_Enumeration,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/8Pls},
doi = {10.29007/8n75},
pages = {96-106},
year = {2017}}
@inproceedings{SCSS2017:Parallel_Construction_Symbolic_Observation,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/9pR},
doi = {10.29007/7b44},
pages = {107-119},
year = {2017}}
@inproceedings{SCSS2017:Comprehensive_Formal_Solution_Access,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/F3},
doi = {10.29007/q916},
pages = {120-132},
year = {2017}}
