Abstract is missing.
- Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream SpecificationsDavid Cerna, Wolfgang Schreiner. 1-15 [doi]
- Integration of a Decentralised Pattern Matching: Venue for a New Paradigm IntermarriageSeyed H. Haeri, Sibylle Schupp. 16-28 [doi]
- C2PDLS: A Combination of Combinatory and Converse PDL with SubstitutionsJon Haël Brenas, Rachid Echahed, Martin Strecker. 29-41 [doi]
- Asynchronous testing of real-time systemsPuneet Bhateja. 42-48 [doi]
- Transforming Prefix-constrained or Controlled Rewrite SystemsNirina Andrianarivelo, Vivien Pelletier, Pierre Réty. 49-62 [doi]
- Private Profile Matching for Mobile Social Networks Based on Fuzzy ExtractorsJaweher Zouari, Mohamed Hamdi, Tai-Hoon Kim. 63-67 [doi]
- Automatic detection and correction of firewall misconfigurations- A formal approachAmina Saâdaoui, Nihel Ben Youssef, Adel Bouhoula. 68-76 [doi]
- Towards a Reliable Formal Framework for Enhancing Risk Assessment in Access Control SystemsPierrette Annie Evina, Faten Labbene-Ayachi, Faouzi Jaïdi, Adel Bouhoula. 77-82 [doi]
- Origami folds in higher-dimensionTetsuo Ida, Stephen M. Watt. 83-95 [doi]
- Formal Development of Distributed Enumeration Algorithms By Refinement-Based TechniquesMaha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah. 96-106 [doi]
- A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent SystemsHiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari. 107-119 [doi]
- A Comprehensive Formal Solution for Access Control Policies Management: Defect Detection, Analysis and Risk AssessmentFaouzi Jaïdi, Faten Labbene-Ayachi, Adel Bouhoula. 120-132 [doi]