default search action

combined dblp search
author search
venue search
publication search

ask others

4th SCSS 2012: Gammarth, Tunisia

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/BouhoulaIK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BouhoulaIK13
Adel Bouhoula, Tetsuo Ida, Fairouz Kamareddine:
Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012. EPTCS 122, 2013
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ElleuchHTA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ElleuchHTA13
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection. 1-9
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ShilBRN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ShilBRN13
Assia Ben Shil, Kaouthar Blibech, Riadh Robbana, Wafa Neji:
A New PVSS Scheme with a Simple Encryption Function. 11-22
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Al-AkhrasTNLP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Al-AkhrasTNLP13
Salim Ismail Al-Akhras, Sofiène Tahar, Gabriela Nicolescu, Michel Langevin, Pierre G. Paulin:
On the Verification of a WiMax Design Using Symbolic Simulation. 23-37
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GhabriMR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GhabriMR13
Hatem Ghabri, Ghazi Maatoug, Michaël Rusinowitch:
Compiling symbolic attacks to protocol implementation tests. 39-49
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ChaabaniMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChaabaniMS13
Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker:
Formal verification of a proof procedure for the description logic ALC. 51-61
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LounasML13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LounasML13
Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet:
Towards a General Framework for Formal Reasoning about Java Bytecode Transformation. 63-73
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AbbasiHT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AbbasiHT13
Naeem Abbasi, Osman Hasan, Sofiène Tahar:
Formal Analysis of Soft Errors using Theorem Proving. 75-84
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AbassiF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AbassiF13
Ryma Abassi, Sihem Guemara El Fatmi:
Delegation Management Modeling in a Security Policy based Environment. 85-95
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HenaienS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HenaienS13
Amira Henaien, Sorin Stratulat:
Performing Implicit Induction Reasoning with Certifying Proof Environments. 97-108

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.