BibTeX records: Noomene Ben Henda

download as .bib file

@inproceedings{DBLP:conf/fase/Henda0LNSS17,
  author       = {Noomene Ben Henda and
                  Bj{\"{o}}rn Johansson and
                  Patrik Lantz and
                  Karl Norrman and
                  Pasi Saarinen and
                  Oskar Segersv{\"{a}}rd},
  editor       = {Marieke Huisman and
                  Julia Rubin},
  title        = {OpenSAW: Open Security Analysis Workbench},
  booktitle    = {Fundamental Approaches to Software Engineering - 20th International
                  Conference, {FASE} 2017, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
                  April 22-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10202},
  pages        = {321--337},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-662-54494-5\_18},
  doi          = {10.1007/978-3-662-54494-5\_18},
  timestamp    = {Fri, 09 Apr 2021 18:43:03 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/Henda0LNSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/raid/HendaN14,
  author       = {Noomene Ben Henda and
                  Karl Norrman},
  editor       = {Angelos Stavrou and
                  Herbert Bos and
                  Georgios Portokalidis},
  title        = {Formal Analysis of Security Procedures in {LTE} - {A} Feasibility
                  Study},
  booktitle    = {Research in Attacks, Intrusions and Defenses - 17th International
                  Symposium, {RAID} 2014, Gothenburg, Sweden, September 17-19, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8688},
  pages        = {341--361},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11379-1\_17},
  doi          = {10.1007/978-3-319-11379-1\_17},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/raid/HendaN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/Henda14,
  author       = {Noomene Ben Henda},
  editor       = {Neha Rungta and
                  Oksana Tkachuk},
  title        = {Generic and efficient attacker models in {SPIN}},
  booktitle    = {2014 International Symposium on Model Checking of Software, {SPIN}
                  2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
  pages        = {77--86},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2632362.2632378},
  doi          = {10.1145/2632362.2632378},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/Henda14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/AbdullaDHR09,
  author       = {Parosh Aziz Abdulla and
                  Giorgio Delzanno and
                  Noomene Ben Henda and
                  Ahmed Rezine},
  title        = {Monotonic Abstraction: on Efficient Verification of Parameterized
                  Systems},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {20},
  number       = {5},
  pages        = {779--801},
  year         = {2009},
  url          = {https://doi.org/10.1142/S0129054109006887},
  doi          = {10.1142/S0129054109006887},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/AbdullaDHR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/basesearch/BenHenda08,
  author       = {Noomene Ben Henda},
  title        = {Infinite-state Stochastic and Parameterized Systems},
  school       = {Uppsala University, Sweden},
  year         = {2008},
  url          = {https://nbn-resolving.org/urn:nbn:se:uu:diva-8915},
  urn          = {urn:nbn:se:uu:diva-8915},
  timestamp    = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/BenHenda08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/AbdullaHDHR08,
  author       = {Parosh Aziz Abdulla and
                  Noomene Ben Henda and
                  Giorgio Delzanno and
                  Fr{\'{e}}d{\'{e}}ric Haziza and
                  Ahmed Rezine},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Keiichi Yasumoto and
                  Khaled El{-}Fakih},
  title        = {Parameterized Tree Systems},
  booktitle    = {Formal Techniques for Networked and Distributed Systems - {FORTE}
                  2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan,
                  June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5048},
  pages        = {69--83},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68855-6\_5},
  doi          = {10.1007/978-3-540-68855-6\_5},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/AbdullaHDHR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/AbdullaHAMS08,
  author       = {Parosh Aziz Abdulla and
                  Noomene Ben Henda and
                  Luca de Alfaro and
                  Richard Mayr and
                  Sven Sandberg},
  editor       = {Roberto M. Amadio},
  title        = {Stochastic Games with Lossy Channels},
  booktitle    = {Foundations of Software Science and Computational Structures, 11th
                  International Conference, {FOSSACS} 2008, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2008,
                  Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4962},
  pages        = {35--49},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78499-9\_4},
  doi          = {10.1007/978-3-540-78499-9\_4},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/AbdullaHAMS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/AbdullaHDR08,
  author       = {Parosh Aziz Abdulla and
                  Noomene Ben Henda and
                  Giorgio Delzanno and
                  Ahmed Rezine},
  editor       = {Francesco Logozzo and
                  Doron A. Peled and
                  Lenore D. Zuck},
  title        = {Handling Parameterized Systems with Non-atomic Global Conditions},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 9th International
                  Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4905},
  pages        = {22--36},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78163-9\_7},
  doi          = {10.1007/978-3-540-78163-9\_7},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/AbdullaHDR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/AbdullaHM07,
  author       = {Parosh Aziz Abdulla and
                  Noomene Ben Henda and
                  Richard Mayr},
  title        = {Decisive Markov Chains},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {3},
  number       = {4},
  year         = {2007},
  url          = {https://doi.org/10.2168/LMCS-3(4:7)2007},
  doi          = {10.2168/LMCS-3(4:7)2007},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/AbdullaHM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/AbdullaDHR07,
  author       = {Parosh Aziz Abdulla and
                  Giorgio Delzanno and
                  Noomene Ben Henda and
                  Ahmed Rezine},
  editor       = {Orna Grumberg and
                  Michael Huth},
  title        = {Regular Model Checking Without Transducers (On Efficient Verification
                  of Parameterized Systems)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  13th International Conference, {TACAS} 2007, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2007
                  Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4424},
  pages        = {721--736},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71209-1\_56},
  doi          = {10.1007/978-3-540-71209-1\_56},
  timestamp    = {Mon, 11 Sep 2023 15:43:49 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/AbdullaDHR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0706-2585,
  author       = {Parosh Aziz Abdulla and
                  Noomene Ben Henda and
                  Richard Mayr},
  title        = {Decisive Markov Chains},
  journal      = {CoRR},
  volume       = {abs/0706.2585},
  year         = {2007},
  url          = {http://arxiv.org/abs/0706.2585},
  eprinttype    = {arXiv},
  eprint       = {0706.2585},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0706-2585.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/AbdullaHMS06,
  author       = {Parosh Aziz Abdulla and
                  Noomene Ben Henda and
                  Richard Mayr and
                  Sven Sandberg},
  editor       = {Susanne Graf and
                  Wenhui Zhang},
  title        = {Eager Markov Chains},
  booktitle    = {Automated Technology for Verification and Analysis, 4th International
                  Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
  series       = {Lecture Notes in Computer Science},
  volume       = {4218},
  pages        = {24--38},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11901914\_5},
  doi          = {10.1007/11901914\_5},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/AbdullaHMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/AbdullaHMS06,
  author       = {Parosh Aziz Abdulla and
                  Noomene Ben Henda and
                  Richard Mayr and
                  Sven Sandberg},
  title        = {Limiting Behavior of Markov Chains with Eager Attractors},
  booktitle    = {Third International Conference on the Quantitative Evaluation of Systems
                  {(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}},
  pages        = {253--264},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/QEST.2006.24},
  doi          = {10.1109/QEST.2006.24},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/AbdullaHMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/AbdullaHM05,
  author       = {Parosh Aziz Abdulla and
                  Noomene Ben Henda and
                  Richard Mayr},
  title        = {Verifying Infinite Markov Chains with a Finite Attractor or the Global
                  Coarseness Property},
  booktitle    = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
                  26-29 June 2005, Chicago, IL, USA, Proceedings},
  pages        = {127--136},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/LICS.2005.54},
  doi          = {10.1109/LICS.2005.54},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/AbdullaHM05.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.