SCSS 2017: Volume Information

SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017

12 articles132 pagesPublished: March 26, 2017

Papers

David Cerna and Wolfgang Schreiner
1-15
Seyed Hossein Haeri and Sibylle Schupp
16-28
Jon Hael Brenas, Rachid Echahed and Martin Strecker
29-41
Puneet Bhateja
42-48
Nirina Andrianarivelo, Vivien Pelletier and Pierre Réty
49-62
Jaweher Zouari, Mohamed Hamdi and Tai-Hoon Kim
63-67
Amina Saâdaoui, Nihel Ben Youssef and Adel Bouhoula
68-76
Pierrette Annie Evina, Faten Labbene Ayachi, Faouzi Jaidi and Adel Bouhoula
77-82
Tetsuo Ida and Stephen Watt
83-95
Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem and Mohamed Mosbah
96-106
Hiba Ouni, Kais Klai, Chiheb Ameur Abid and Belhassen Zouari
107-119
Faouzi Jaidi, Faten Labbene Ayachi and Adel Bouhoula
120-132

Keyphrases

access control2, Access Control Policy, approximation, Asynchronous testing, completeness, component-based software engineering, computational origami, Controlled rewrite system, correct-by-construction, distributed algorithm, dynamic logic, enumeration problem, Euclidean geometry, Event-B, expression problem, FDD, Feature-Oriented Programming, Firewall, formal analysis, Formal Verification and Validation, Fuzzy Extractor, geometric modeling, Higher dimensional geometry, Hoare logic, Information Systems Security, Local computations, mathematical origami, Misconfiguration, Mobile Social Networks, multi-threading, parallel model checking, predicate logic, Prefix-constrained rewrite system, Privacy, program verification, proximity, Risk, risk assessment2, risk management, runtime verification, social profile, soundness, space complexity, Stream Monitoring, symbolic reachability, Synchronous testing, term rewriting, termination, test generation.