SCSS 2017: Volume InformationSCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 201712 articles•132 pages•Published: March 26, 2017 PapersDavid 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 |
Keyphrasesaccess 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. |
|