- Wolfgang Schreiner
, Franz-Xaver Reichl:
First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving. SCSS 2021: 99-113 - Bruno Buchberger:
Symbolic Computation in Software Science: My Personal View. SCSS 2021: 1-13 - Thibault Gauthier:
Learned Provability Likelihood for Tactical Search. SCSS 2021: 78-85 - Sorin Stratulat:
E-Cyclist: Implementation of an Efficient Validation of FOLID Cyclic Induction Reasoning. SCSS 2021: 129-135 - Dohan Kim, Christopher Lynch:
Congruence Closure Modulo Permutation Equations. SCSS 2021: 86-98 - Amel Nestor Docena, Thomas Wahl, Trevor Pearce, Yunsi Fei:
Sensitive Samples Revisited: Detecting Neural Network Attacks Using Constraint Solvers. SCSS 2021: 35-48 - Mbarka Soualhia, Foutse Khomh, Sofiène Tahar:
Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation. SCSS 2021: 114-128 - Temur Kutsia:
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021. EPTCS 342, 2021 [contents] - 2017
- Nirina Andrianarivelo, Vivien Pelletier, Pierre Réty:
Transforming Prefix-constrained or Controlled Rewrite Systems. SCSS 2017: 49-62 - Puneet Bhateja:
Asynchronous testing of real-time systems. SCSS 2017: 42-48 - Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah:
Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques. SCSS 2017: 96-106 - Jon Haël Brenas, Rachid Echahed, Martin Strecker:
C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions. SCSS 2017: 29-41 - David M. Cerna, Wolfgang Schreiner:
Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications. SCSS 2017: 1-15 - Pierrette Annie Evina, Faten Labbene Ayachi, Faouzi Jaïdi, Adel Bouhoula:
Towards a Reliable Formal Framework for Enhancing Risk Assessment in Access Control Systems. SCSS 2017: 77-82 - Seyed H. Haeri, Sibylle Schupp:
Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage. SCSS 2017: 16-28 - Tetsuo Ida, Stephen M. Watt:
Origami folds in higher-dimension. SCSS 2017: 83-95 - Faouzi Jaïdi, Faten Labbene Ayachi, Adel Bouhoula:
A Comprehensive Formal Solution for Access Control Policies Management: Defect Detection, Analysis and Risk Assessment. SCSS 2017: 120-132 - Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari:
A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems. SCSS 2017: 107-119 - Amina Saâdaoui, Nihel Ben Youssef, Adel Bouhoula:
Automatic detection and correction of firewall misconfigurations- A formal approach. SCSS 2017: 68-76 - Jaweher Zouari, Mohamed Hamdi, Tai-Hoon Kim:
Private Profile Matching for Mobile Social Networks Based on Fuzzy Extractors. SCSS 2017: 63-67 - Mohamed Mosbah, Michaël Rusinowitch:
SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia. EPiC Series in Computing 45, EasyChair 2017 [contents] - 2016
- Kenichi Asai, Yukiyoshi Kameyama:
Automatic Staging via Partial Evaluation Techniques. SCSS 2016: 1-13 - Pierre Boutry, Gabriel Braun, Julien Narboux:
From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry. SCSS 2016: 14-28 - David M. Cerna, Wolfgang Schreiner, Temur Kutsia:
Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. SCSS 2016: 29-41 - Baudouin Le Charlier, Mêton Mêton Atindehou:
A Data Structure to Handle Large Sets of Equal Terms. SCSS 2016: 81-94 - Youyou Cong, Kenichi Asai:
Implementing a stepper using delimited continuations. SCSS 2016: 42-54 - Seyed H. Haeri, Sibylle Schupp:
Expression Compatibility Problem. SCSS 2016: 55-67 - Mitsuhiro Kondo, Takuya Matsuo, Yoshihiro Mizoguchi, Hiroyuki Ochiai:
A Mathematica module for Conformal Geometric Algebra and Origami Folding. SCSS 2016: 68-80 - Mircea Marin, Temur Kutsia, Besik Dundua:
A rewrite-based computational model for functional logic programming. SCSS 2016: 95-106 - Pascal Mathis, Pascal Schreck:
Determining automatically compass and straightedge unconstructibility in triangles. SCSS 2016: 130-142
