| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yannick Chevalier, Michaël Rusinowitch |
Implementing Security Protocol Monitors.  |
SCSS  |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Fedotov, Anton Khritankov |
Statistical Model Checking of Common Attack Scenarios on Blockchain. |
SCSS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Schreiner, Franz-Xaver Reichl |
First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving. |
SCSS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mbarka Soualhia, Foutse Khomh, Sofiène Tahar |
Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation. |
SCSS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sorin Stratulat |
E-Cyclist: Implementation of an Efficient Validation of FOLID Cyclic Induction Reasoning. |
SCSS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Buchberger |
Symbolic Computation in Software Science: My Personal View. |
SCSS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Temur Kutsia (eds.) |
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021. |
SCSS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibault Gauthier |
Learned Provability Likelihood for Tactical Search. |
SCSS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Amel Nestor Docena, Thomas Wahl, Trevor Pearce, Yunsi Fei |
Sensitive Samples Revisited: Detecting Neural Network Attacks Using Constraint Solvers. |
SCSS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Berlioz |
ArGoT: A Glossary of Terms extracted from the arXiv. |
SCSS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Duval, Rachid Echahed, Frédéric Prost |
Querying RDF Databases with Sub-CONSTRUCTs. |
SCSS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Dohan Kim 0001, Christopher Lynch |
Congruence Closure Modulo Permutation Equations. |
SCSS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tetsuo Ida, Stephen M. Watt |
Origami folds in higher-dimension. |
SCSS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Nirina Andrianarivelo, Vivien Pelletier, Pierre Réty |
Transforming Prefix-constrained or Controlled Rewrite Systems. |
SCSS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Puneet Bhateja |
Asynchronous testing of real-time systems. |
SCSS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Maha Boussabbeh, Mohamed Tounsi 0001, Ahmed Hadj Kacem, Mohamed Mosbah 0001 |
Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques. |
SCSS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Amina Saâdaoui, Nihel Ben Youssef, Adel Bouhoula |
Automatic detection and correction of firewall misconfigurations- A formal approach. |
SCSS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Mosbah 0001, Michaël Rusinowitch (eds.) |
SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia |
SCSS |
2017 |
DBLP BibTeX RDF |
|
| 1 | Jon Haël Brenas, Rachid Echahed, Martin Strecker |
C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions. |
SCSS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaweher Zouari, Mohamed Hamdi, Tai-Hoon Kim |
Private Profile Matching for Mobile Social Networks Based on Fuzzy Extractors. |
SCSS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | David M. Cerna, Wolfgang Schreiner |
Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications. |
SCSS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Seyed H. Haeri, Sibylle Schupp |
Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage. |
SCSS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Youyou Cong, Kenichi Asai |
Implementing a stepper using delimited continuations. |
SCSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tetsuro Yamashita, Xavier Dahan |
Bit-size reduction of triangular sets in two and three variables. |
SCSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | David M. Cerna, Wolfgang Schreiner, Temur Kutsia |
Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. |
SCSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Phil Scott, Jacques D. Fleuriot |
Compass-free Navigation of Mazes. |
SCSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Asai, Yukiyoshi Kameyama |
Automatic Staging via Partial Evaluation Techniques. |
SCSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitsuhiro Kondo, Takuya Matsuo, Yoshihiro Mizoguchi, Hiroyuki Ochiai |
A Mathematica module for Conformal Geometric Algebra and Origami Folding. |
SCSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mircea Marin, Temur Kutsia, Besik Dundua |
A rewrite-based computational model for functional logic programming. |
SCSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Baudouin Le Charlier, Mêton Mêton Atindehou |
A Data Structure to Handle Large Sets of Equal Terms. |
SCSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Mathis, Pascal Schreck |
Determining automatically compass and straightedge unconstructibility in triangles. |
SCSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto 0001, Yoshihito Toyama |
Critical Pair Analysis in Nominal Rewriting. |
SCSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Boutry, Gabriel Braun, Julien Narboux |
From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry. |
SCSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshiaki Matsushima, Yoshihiro Mizoguchi, Alexandre Derouet-Jourdan |
Verification of a brick Wang tiling algorithm. |
SCSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Seyed H. Haeri, Sibylle Schupp |
Expression Compatibility Problem. |
SCSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sosuke Moriguchi, Mizuki Goto, Kazuko Takahashi |
Towards Verified Construction for Planar Class of a Qualitative Spatial Representation. |
SCSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | James H. Davenport, Fadoua Ghourabi (eds.) |
7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016 |
SCSS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Nikolaj S. Bjørner, Anh-Dung Phan |
νZ - Maximal Satisfaction with Z3. |
SCSS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Thomas Martin Gawlitza, Martin D. Schwarz |
Parametric Strategy Iteration. |
SCSS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Franzen, David Aspinall 0001 |
Towards an amortized type system for JavaScript. |
SCSS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Temur Kutsia, Andrei Voronkov (eds.) |
6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014 |
SCSS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Marisa Navarro, Fernando Orejas |
A refutation procedure for proving satisfiability of constraint specifications on XML documents. |
SCSS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezary Kaliszyk, Lionel Mamane, Josef Urban |
Machine Learning of Coq Proof Guidance: First Experiments. |
SCSS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Martiny, Ralf Möller 0001 |
PDT Logic for Stream Reasoning in Multi-agent Systems. |
SCSS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | William M. Farmer |
Meaning Formulas for Syntax-Based Mathematical Algorithms. |
SCSS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Adel Bouhoula, Tetsuo Ida, Fairouz Kamareddine (eds.) |
Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012. |
SCSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Fadoua Ghourabi, Tetsuo Ida, Kazuko Takahashi |
Logical and Algebraic Views of a Knot Fold of a Regular Heptagon. |
SCSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël Ouaknine |
Decision Problems for Linear Recurrence Sequences. |
SCSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Li 0022 |
A Semantic Framework for Program Debugging. |
SCSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuko Takahashi, Shizuo Yoshimaru, Mizuki Goto |
Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application. |
SCSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Comini, Luca Torella |
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting. |
SCSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Buchberger |
Mathematics of 21st Century: A Personal View. |
SCSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Severin Neumann |
A modified parallel F4 algorithm for shared and distributed memory architectures. |
SCSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Róbert Vajda |
Lebesgue Constants and Optimal Node Systems via Symbolic Computations. |
SCSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña |
Parametric Exploration of Rewriting Logic Computations. |
SCSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Kovács, Temur Kutsia (eds.) |
5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria |
SCSS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Alexander A. Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Olexander A. Letychevskyi, Vladimir S. Peschanenko |
Usage of Invariants for Symbolic Verification of Requirements. |
SCSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Matan Ziv-Av, Mikhail H. Klin |
Computer algebra investigation of known primitive triangle-free strongly regular graphs. |
SCSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Comini, Luca Torella |
Automatic Inference of Term Equivalence in Term Rewriting Systems. |
SCSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada |
Automated Verification of Equivalence on Quantum Cryptographic Protocols. |
SCSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura |
Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs. |
SCSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryma Abassi, Sihem Guemara El Fatmi |
Delegation Management Modeling in a Security Policy based Environment. |
SCSS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Salim Ismail Al-Akhras, Sofiène Tahar, Gabriela Nicolescu, Michel Langevin, Pierre G. Paulin |
On the Verification of a WiMax Design Using Symbolic Simulation. |
SCSS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Naeem Abbasi, Osman Hasan, Sofiène Tahar |
Formal Analysis of Soft Errors using Theorem Proving. |
SCSS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Amira Henaien, Sorin Stratulat |
Performing Implicit Induction Reasoning with Certifying Proof Environments. |
SCSS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hatem Ghabri, Ghazi Maatoug, Michaël Rusinowitch |
Compiling symbolic attacks to protocol implementation tests. |
SCSS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker |
Formal verification of a proof procedure for the description logic ALC. |
SCSS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet |
Towards a General Framework for Formal Reasoning about Java Bytecode Transformation. |
SCSS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Assia Ben Shil, Kaouthar Blibech, Riadh Robbana, Wafa Neji |
A New PVSS Scheme with a Simple Encryption Function. |
SCSS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid |
Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection. |
SCSS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarek M. Sobh, Khaled M. Elleithy (eds.) |
Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009 |
SCSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Derezinska, Przemyslaw Oltarzewski |
Model-Driven Engineering Support for Building C# Applications. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yousef Abofathi, Bager Zarei, Saeed Parsa |
Learning Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Amala VijayaSelvi Rajan, Arumugam Siri Bavan, Geetha Abeysinghe |
Semantics for the Asynchronous Communication in LIPS, a Language for Implementing Parallel/distributed Systems. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ghulam Rasool 0002, Ilka Philippow |
Software Artifacts Extraction for Program Comprehension. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Deniss Kumlander |
Contextual Semantic: A Context-aware Approach for Semantic Web Based Data Extraction from Scientific Articles. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongmei Wang |
PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS Communication of Spatial Concepts. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Shervin Ostadzadeh, Mohammad Ali Nekoui |
A Petri-Nets Based Unified Modeling Approach for Zachman Framework Cells. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengping Wu, Lifeng Wang |
Enforcement of Privacy Policies over Multiple Online Social Networks for Collaborative Activities. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | O. N. Shalasiah, S. M. F. Rohani, H. Zulkifli |
Jawi Generator Software Using ARM Board Under Linux. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marisa de Camargo Silveira, Brandon Link, Silvio Johann, Adolfo Alberto Vanti, Rafael Alejandro Espín Andrade |
Analysis of Strategic Maps for a Company in the Software Development Sector. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hieu Nguyen Trung, Duy Nguyen, Tan Dang Cao |
Building Security System Based on Grid Computing To Convert and Store Media Files. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Ren 0002, Armando Barreto, Malek Adjouadi |
Multi-step EMG Classification Algorithm for Human-Computer Interaction. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Nada, Badie Sartawi |
The RDF Generator (RDFG) - First Unit in the Semantic Web Framework (SWF). |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra Maresová, M. Hedvicakova |
The State of Knowledge Management in Czech Companies. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Félix A. Silva Júnior, Neander Furtado Silva |
Computational Shape Grammars and Non-Standardization: a Case Study on the City of Music of Rio de Janeiro. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel G. Schwartz |
Formal Specifications for a Document Management Assistant. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Erki Eessaar, Rünno Sgirka |
A SQL-Database Based Meta-CASE System and its Query Subsystem. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mircea Popa 0001, A. S. Popa, Titus Slavici, D. Darvasi |
Mashup - Based End User Interface for Fleet Monitoring. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | R. M. Bogza, Dorin Zaharie, Silvia Avasilcai, Laura Bacali |
Architecture Models and Data Flows in Local and Group Datawarehouses. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Piórkowski, Anna Pieta, A. Kowal, Tomasz Danek |
The Performance of Geothermal Field Modeling in Distributed Component Environment. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jashua Rajesh Modapothala, Biju Issac 0001, E. Jayamani |
Appraising the Corporate Sustainability Reports - Text Mining and Multi-Discriminatory Analysis. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Izzat Mahmoud Alsmadi, Mahmoud Dieri |
Separation of Concerns in Teaching Software Engineering. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael A. Redmond, Timothy Highley |
Empirical Analysis of Case-Editing Approaches for Numeric Prediction. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Piedrahita Ospina, Alcides Montoya Cañola, Demetrio Arturo Ovalle Carranza |
Performance Evaluation of an Intelligent Agents Based Model within Irregular WSN Topologies. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongguang Li |
Analysis of Moment Invariants on Image Scaling and Rotation. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Augusto de Moraes Lourenço, Rafael Veras Guimarães, Nikolas Jorge S. Carneiro, Aruanda Simões Goncalves Meiguins, Bianchi Serique Meiguins |
Using Multiple Datasets in Information Visualization Tool. |
SCSS |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license