Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs122.bht:"

 download as .bib file

@proceedings{DBLP:journals/corr/BouhoulaIK13,
  editor       = {Adel Bouhoula and
                  Tetsuo Ida and
                  Fairouz Kamareddine},
  title        = {Proceedings Fourth International Symposium on Symbolic Computation
                  in Software Science, {SCSS} 2012, Gammarth, Tunisia, 15-17 December
                  2012},
  series       = {{EPTCS}},
  volume       = {122},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.122},
  doi          = {10.4204/EPTCS.122},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BouhoulaIK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/AbassiF13,
  author       = {Ryma Abassi and
                  Sihem Guemara El Fatmi},
  editor       = {Adel Bouhoula and
                  Tetsuo Ida and
                  Fairouz Kamareddine},
  title        = {Delegation Management Modeling in a Security Policy based Environment},
  booktitle    = {Proceedings Fourth International Symposium on Symbolic Computation
                  in Software Science, {SCSS} 2012, Gammarth, Tunisia, 15-17 December
                  2012},
  series       = {{EPTCS}},
  volume       = {122},
  pages        = {85--95},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.122.8},
  doi          = {10.4204/EPTCS.122.8},
  timestamp    = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AbassiF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/AbbasiHT13,
  author       = {Naeem Abbasi and
                  Osman Hasan and
                  Sofi{\`{e}}ne Tahar},
  editor       = {Adel Bouhoula and
                  Tetsuo Ida and
                  Fairouz Kamareddine},
  title        = {Formal Analysis of Soft Errors using Theorem Proving},
  booktitle    = {Proceedings Fourth International Symposium on Symbolic Computation
                  in Software Science, {SCSS} 2012, Gammarth, Tunisia, 15-17 December
                  2012},
  series       = {{EPTCS}},
  volume       = {122},
  pages        = {75--84},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.122.7},
  doi          = {10.4204/EPTCS.122.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AbbasiHT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Al-AkhrasTNLP13,
  author       = {Salim Ismail Al{-}Akhras and
                  Sofi{\`{e}}ne Tahar and
                  Gabriela Nicolescu and
                  Michel Langevin and
                  Pierre G. Paulin},
  editor       = {Adel Bouhoula and
                  Tetsuo Ida and
                  Fairouz Kamareddine},
  title        = {On the Verification of a WiMax Design Using Symbolic Simulation},
  booktitle    = {Proceedings Fourth International Symposium on Symbolic Computation
                  in Software Science, {SCSS} 2012, Gammarth, Tunisia, 15-17 December
                  2012},
  series       = {{EPTCS}},
  volume       = {122},
  pages        = {23--37},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.122.3},
  doi          = {10.4204/EPTCS.122.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Al-AkhrasTNLP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/ChaabaniMS13,
  author       = {Mohamed Chaabani and
                  Mohamed Mezghiche and
                  Martin Strecker},
  editor       = {Adel Bouhoula and
                  Tetsuo Ida and
                  Fairouz Kamareddine},
  title        = {Formal verification of a proof procedure for the description logic
                  {ALC}},
  booktitle    = {Proceedings Fourth International Symposium on Symbolic Computation
                  in Software Science, {SCSS} 2012, Gammarth, Tunisia, 15-17 December
                  2012},
  series       = {{EPTCS}},
  volume       = {122},
  pages        = {51--61},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.122.5},
  doi          = {10.4204/EPTCS.122.5},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/ChaabaniMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/ElleuchHTA13,
  author       = {Maissa Elleuch and
                  Osman Hasan and
                  Sofi{\`{e}}ne Tahar and
                  Mohamed Abid},
  editor       = {Adel Bouhoula and
                  Tetsuo Ida and
                  Fairouz Kamareddine},
  title        = {Formal Probabilistic Analysis of a Wireless Sensor Network for Forest
                  Fire Detection},
  booktitle    = {Proceedings Fourth International Symposium on Symbolic Computation
                  in Software Science, {SCSS} 2012, Gammarth, Tunisia, 15-17 December
                  2012},
  series       = {{EPTCS}},
  volume       = {122},
  pages        = {1--9},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.122.1},
  doi          = {10.4204/EPTCS.122.1},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ElleuchHTA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/GhabriMR13,
  author       = {Hatem Ghabri and
                  Ghazi Maatoug and
                  Micha{\"{e}}l Rusinowitch},
  editor       = {Adel Bouhoula and
                  Tetsuo Ida and
                  Fairouz Kamareddine},
  title        = {Compiling symbolic attacks to protocol implementation tests},
  booktitle    = {Proceedings Fourth International Symposium on Symbolic Computation
                  in Software Science, {SCSS} 2012, Gammarth, Tunisia, 15-17 December
                  2012},
  series       = {{EPTCS}},
  volume       = {122},
  pages        = {39--49},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.122.4},
  doi          = {10.4204/EPTCS.122.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GhabriMR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/HenaienS13,
  author       = {Amira Henaien and
                  Sorin Stratulat},
  editor       = {Adel Bouhoula and
                  Tetsuo Ida and
                  Fairouz Kamareddine},
  title        = {Performing Implicit Induction Reasoning with Certifying Proof Environments},
  booktitle    = {Proceedings Fourth International Symposium on Symbolic Computation
                  in Software Science, {SCSS} 2012, Gammarth, Tunisia, 15-17 December
                  2012},
  series       = {{EPTCS}},
  volume       = {122},
  pages        = {97--108},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.122.9},
  doi          = {10.4204/EPTCS.122.9},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HenaienS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/LounasML13,
  author       = {Razika Lounas and
                  Mohamed Mezghiche and
                  Jean{-}Louis Lanet},
  editor       = {Adel Bouhoula and
                  Tetsuo Ida and
                  Fairouz Kamareddine},
  title        = {Towards a General Framework for Formal Reasoning about Java Bytecode
                  Transformation},
  booktitle    = {Proceedings Fourth International Symposium on Symbolic Computation
                  in Software Science, {SCSS} 2012, Gammarth, Tunisia, 15-17 December
                  2012},
  series       = {{EPTCS}},
  volume       = {122},
  pages        = {63--73},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.122.6},
  doi          = {10.4204/EPTCS.122.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LounasML13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/ShilBRN13,
  author       = {Assia Ben Shil and
                  Kaouthar Blibech and
                  Riadh Robbana and
                  Wafa Neji},
  editor       = {Adel Bouhoula and
                  Tetsuo Ida and
                  Fairouz Kamareddine},
  title        = {A New {PVSS} Scheme with a Simple Encryption Function},
  booktitle    = {Proceedings Fourth International Symposium on Symbolic Computation
                  in Software Science, {SCSS} 2012, Gammarth, Tunisia, 15-17 December
                  2012},
  series       = {{EPTCS}},
  volume       = {122},
  pages        = {11--22},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.122.2},
  doi          = {10.4204/EPTCS.122.2},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ShilBRN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.