SCSS

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

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

volume 39, 2016

7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016 SCSS 39 (2016)

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)