2021 export record
dblp key:
journals/corr/abs-2106-12240 share record
persistent URL:
Dominique Duval , Rachid Echahed , Frédéric Prost : Querying RDF Databases with Sub-CONSTRUCTs. SCSS 2021 : 49-64 export record
dblp key:
journals/corr/abs-2109-02801 share record
persistent URL:
Luis Berlioz : ArGoT: A Glossary of Terms extracted from the arXiv. SCSS 2021 : 14-21 export record
dblp key:
journals/corr/abs-2109-02802 share record
persistent URL:
Yannick Chevalier , Michaël Rusinowitch : Implementing Security Protocol Monitors. SCSS 2021 : 22-34 export record
dblp key:
journals/corr/abs-2109-02803 share record
persistent URL:
Ivan Fedotov , Anton Khritankov : Statistical Model Checking of Common Attack Scenarios on Blockchain. SCSS 2021 : 65-77 export record
dblp key:
journals/corr/abs-2109-02805 share record
persistent URL:
Wolfgang Schreiner , Franz-Xaver Reichl : First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving. SCSS 2021 : 99-113 export record
dblp key:
journals/corr/abs-2109-02806 share record
persistent URL:
Bruno Buchberger : Symbolic Computation in Software Science: My Personal View. SCSS 2021 : 1-13 export record
dblp key:
journals/corr/abs-2109-03234 share record
persistent URL:
Thibault Gauthier : Learned Provability Likelihood for Tactical Search. SCSS 2021 : 78-85 export record
dblp key:
journals/corr/abs-2109-03235 share record
persistent URL:
Sorin Stratulat : E-Cyclist: Implementation of an Efficient Validation of FOLID Cyclic Induction Reasoning. SCSS 2021 : 129-135 export record
dblp key:
journals/corr/abs-2109-03720 share record
persistent URL:
Dohan Kim , Christopher Lynch : Congruence Closure Modulo Permutation Equations. SCSS 2021 : 86-98 export record
dblp key:
journals/corr/abs-2109-03966 share record
persistent URL:
Amel Nestor Docena , Thomas Wahl , Trevor Pearce , Yunsi Fei : Sensitive Samples Revisited: Detecting Neural Network Attacks Using Constraint Solvers. SCSS 2021 : 35-48 export record
dblp key:
journals/corr/abs-2109-04196 share record
persistent URL:
Mbarka Soualhia , Foutse Khomh , Sofiène Tahar : Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation. SCSS 2021 : 114-128 export record
dblp key:
journals/corr/abs-2109-02501 share record
persistent URL:
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 export record
dblp key:
conf/sycss/AndrianariveloP17 share record
persistent URL:
Nirina Andrianarivelo , Vivien Pelletier , Pierre Réty : Transforming Prefix-constrained or Controlled Rewrite Systems. SCSS 2017 : 49-62 share record
persistent URL:
Puneet Bhateja : Asynchronous testing of real-time systems. SCSS 2017 : 42-48 export record
dblp key:
conf/sycss/BoussabbehTKM17 share record
persistent URL:
Maha Boussabbeh , Mohamed Tounsi , Ahmed Hadj Kacem , Mohamed Mosbah : Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques. SCSS 2017 : 96-106 share record
persistent URL:
Jon Haël Brenas , Rachid Echahed , Martin Strecker : C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions. SCSS 2017 : 29-41 share record
persistent URL:
David M. Cerna , Wolfgang Schreiner : Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications. SCSS 2017 : 1-15 share record
persistent URL:
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 share record
persistent URL:
Seyed H. Haeri , Sibylle Schupp : Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage. SCSS 2017 : 16-28 share record
persistent URL:
Tetsuo Ida , Stephen M. Watt : Origami folds in higher-dimension. SCSS 2017 : 83-95 share record
persistent URL:
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 share record
persistent URL:
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 share record
persistent URL:
Amina Saâdaoui , Nihel Ben Youssef , Adel Bouhoula : Automatic detection and correction of firewall misconfigurations- A formal approach. SCSS 2017 : 68-76 share record
persistent URL:
Jaweher Zouari , Mohamed Hamdi , Tai-Hoon Kim : Private Profile Matching for Mobile Social Networks Based on Fuzzy Extractors. SCSS 2017 : 63-67 share record
persistent URL:
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 share record
persistent URL:
Kenichi Asai , Yukiyoshi Kameyama : Automatic Staging via Partial Evaluation Techniques. SCSS 2016 : 1-13 share record
persistent URL:
Pierre Boutry , Gabriel Braun , Julien Narboux : From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry. SCSS 2016 : 14-28 share record
persistent URL:
David M. Cerna , Wolfgang Schreiner , Temur Kutsia : Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. SCSS 2016 : 29-41 share record
persistent URL:
Baudouin Le Charlier , Mêton Mêton Atindehou : A Data Structure to Handle Large Sets of Equal Terms. SCSS 2016 : 81-94 share record
persistent URL:
Youyou Cong , Kenichi Asai : Implementing a stepper using delimited continuations. SCSS 2016 : 42-54