Login / Signup
SCSS
2009
2013
2017
2021
2009
2021
Keyphrases
Publications
2021
Dominique Duval
,
Rachid Echahed
,
Frédéric Prost
Querying RDF Databases with Sub-CONSTRUCTs.
SCSS
(2021)
Amel Nestor Docena
,
Thomas Wahl
,
Trevor Pearce
,
Yunsi Fei
Sensitive Samples Revisited: Detecting Neural Network Attacks Using Constraint Solvers.
SCSS
(2021)
Ivan Fedotov
,
Anton Khritankov
Statistical Model Checking of Common Attack Scenarios on Blockchain.
SCSS
(2021)
Yannick Chevalier
,
Michaël Rusinowitch
Implementing Security Protocol Monitors.
SCSS
(2021)
Luis Berlioz
ArGoT: A Glossary of Terms extracted from the arXiv.
SCSS
(2021)
Dohan Kim
,
Christopher Lynch
Congruence Closure Modulo Permutation Equations.
SCSS
(2021)
Bruno Buchberger
Symbolic Computation in Software Science: My Personal View.
SCSS
(2021)
Sorin Stratulat
E-Cyclist: Implementation of an Efficient Validation of FOLID Cyclic Induction Reasoning.
SCSS
(2021)
Wolfgang Schreiner
,
Franz-Xaver Reichl
First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving.
SCSS
(2021)
Mbarka Soualhia
,
Foutse Khomh
,
Sofiène Tahar
Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation.
SCSS
(2021)
Thibault Gauthier
Learned Provability Likelihood for Tactical Search.
SCSS
(2021)
volume 342, 2021
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021.
SCSS
342 (2021)
2017
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)
Nirina Andrianarivelo
,
Vivien Pelletier
,
Pierre Réty
Transforming Prefix-constrained or Controlled Rewrite Systems.
SCSS
(2017)
Jon Haël Brenas
,
Rachid Echahed
,
Martin Strecker
C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions.
SCSS
(2017)
David M. Cerna
,
Wolfgang Schreiner
Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications.
SCSS
(2017)
Puneet Bhateja
Asynchronous testing of real-time systems.
SCSS
(2017)
Jaweher Zouari
,
Mohamed Hamdi
,
Tai-Hoon Kim
Private Profile Matching for Mobile Social Networks Based on Fuzzy Extractors.
SCSS
(2017)
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)
Maha Boussabbeh
,
Mohamed Tounsi
,
Ahmed Hadj Kacem
,
Mohamed Mosbah
Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques.
SCSS
(2017)
Amina Saâdaoui
,
Nihel Ben Youssef
,
Adel Bouhoula
Automatic detection and correction of firewall misconfigurations- A formal approach.
SCSS
(2017)
Tetsuo Ida
,
Stephen M. Watt
Origami folds in higher-dimension.
SCSS
(2017)
Seyed H. Haeri
,
Sibylle Schupp
Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage.
SCSS
(2017)
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)
volume 45, 2017
SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia
SCSS
45 (2017)
2016
Mircea Marin
,
Temur Kutsia
,
Besik Dundua
A rewrite-based computational model for functional logic programming.
SCSS
(2016)
David M. Cerna
,
Wolfgang Schreiner
,
Temur Kutsia
Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors.
SCSS
(2016)
Baudouin Le Charlier
,
Mêton Mêton Atindehou
A Data Structure to Handle Large Sets of Equal Terms.
SCSS
(2016)
Seyed H. Haeri
,
Sibylle Schupp
Expression Compatibility Problem.
SCSS
(2016)
Phil Scott
,
Jacques D. Fleuriot
Compass-free Navigation of Mazes.
SCSS
(2016)
Pascal Mathis
,
Pascal Schreck
Determining automatically compass and straightedge unconstructibility in triangles.
SCSS
(2016)
Toshiaki Matsushima
,
Yoshihiro Mizoguchi
,
Alexandre Derouet-Jourdan
Verification of a brick Wang tiling algorithm.
SCSS
(2016)
Youyou Cong
,
Kenichi Asai
Implementing a stepper using delimited continuations.
SCSS
(2016)
Tetsuro Yamashita
,
Xavier Dahan
Bit-size reduction of triangular sets in two and three variables.
SCSS
(2016)
Pierre Boutry
,
Gabriel Braun
,
Julien Narboux
From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry.
SCSS
(2016)
Takaki Suzuki
,
Kentaro Kikuchi
,
Takahito Aoto
,
Yoshihito Toyama
Critical Pair Analysis in Nominal Rewriting.
SCSS
(2016)
Mitsuhiro Kondo
,
Takuya Matsuo
,
Yoshihiro Mizoguchi
,
Hiroyuki Ochiai
A Mathematica module for Conformal Geometric Algebra and Origami Folding.
SCSS
(2016)
Sosuke Moriguchi
,
Mizuki Goto
,
Kazuko Takahashi
Towards Verified Construction for Planar Class of a Qualitative Spatial Representation.
SCSS
(2016)
Kenichi Asai
,
Yukiyoshi Kameyama
Automatic Staging via Partial Evaluation Techniques.
SCSS
(2016)
volume 39, 2016
7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016
SCSS
39 (2016)
2014
Karsten Martiny
,
Ralf Möller
PDT Logic for Stream Reasoning in Multi-agent Systems.
SCSS
(2014)
William M. Farmer
Meaning Formulas for Syntax-Based Mathematical Algorithms.
SCSS
(2014)
Marisa Navarro
,
Fernando Orejas
A refutation procedure for proving satisfiability of constraint specifications on XML documents.
SCSS
(2014)
Daniel Franzen
,
David Aspinall
Towards an amortized type system for JavaScript.
SCSS
(2014)
Cezary Kaliszyk
,
Lionel Mamane
,
Josef Urban
Machine Learning of Coq Proof Guidance: First Experiments.
SCSS
(2014)
Nikolaj Bjørner
,
Anh-Dung Phan
νZ - Maximal Satisfaction with Z3.
SCSS
(2014)
Helmut Seidl
,
Thomas Martin Gawlitza
,
Martin D. Schwarz
Parametric Strategy Iteration.
SCSS
(2014)
volume 30, 2014
6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014
SCSS
30 (2014)
volume 122, 2013
Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012.
SCSS
122 (2013)
volume 15, 2013
5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria
SCSS
15 (2013)