SCSS 2017: Author Index

AuthorPapers
A
Abid, Chiheb AmeurA Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems
Andrianarivelo, NirinaTransforming Prefix-constrained or Controlled Rewrite Systems
B
Ben Youssef, NihelAutomatic detection and correction of firewall misconfigurations- A formal approach
Bhateja, PuneetAsynchronous testing of real-time systems
Bouhoula, AdelAutomatic detection and correction of firewall misconfigurations- A formal approach
Towards a Reliable Formal Framework for Enhancing Risk Assessment in Access Control Systems
A Comprehensive Formal Solution for Access Control Policies Management: Defect Detection, Analysis and Risk Assessment
Boussabbeh, Maha Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques
Brenas, Jon HaelC2PDLS: A Combination of Combinatory and Converse PDL with Substitutions
C
Cerna, DavidMeasuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications
E
Echahed, RachidC2PDLS: A Combination of Combinatory and Converse PDL with Substitutions
Evina, Pierrette AnnieTowards a Reliable Formal Framework for Enhancing Risk Assessment in Access Control Systems
H
Hadj Kacem, Ahmed Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques
Haeri, Seyed HosseinIntegration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage
Hamdi, MohamedPrivate Profile Matching for Mobile Social Networks Based on Fuzzy Extractors
I
Ida, TetsuoOrigami folds in higher-dimension
J
Jaidi, FaouziTowards a Reliable Formal Framework for Enhancing Risk Assessment in Access Control Systems
A Comprehensive Formal Solution for Access Control Policies Management: Defect Detection, Analysis and Risk Assessment
K
Kim, Tai-HoonPrivate Profile Matching for Mobile Social Networks Based on Fuzzy Extractors
Klai, KaisA Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems
L
Labbene Ayachi, FatenTowards a Reliable Formal Framework for Enhancing Risk Assessment in Access Control Systems
A Comprehensive Formal Solution for Access Control Policies Management: Defect Detection, Analysis and Risk Assessment
M
Mosbah, Mohamed Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques
O
Ouni, HibaA Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems
P
Pelletier, VivienTransforming Prefix-constrained or Controlled Rewrite Systems
R
Réty, PierreTransforming Prefix-constrained or Controlled Rewrite Systems
S
Saâdaoui, AminaAutomatic detection and correction of firewall misconfigurations- A formal approach
Schreiner, WolfgangMeasuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications
Schupp, SibylleIntegration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage
Strecker, MartinC2PDLS: A Combination of Combinatory and Converse PDL with Substitutions
T
Tounsi, Mohamed Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques
W
Watt, StephenOrigami folds in higher-dimension
Z
Zouari, BelhassenA Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems
Zouari, JaweherPrivate Profile Matching for Mobile Social Networks Based on Fuzzy Extractors