Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Husain Aljazzar
@article{DBLP:journals/ai/AljazzarL11, author = {Husain Aljazzar and Stefan Leue}, title = {K\({}^{\mbox{{\unicode{8270}}}}\): {A} heuristic search algorithm for finding the k shortest paths}, journal = {Artif. Intell.}, volume = {175}, number = {18}, pages = {2129--2154}, year = {2011}, url = {https://doi.org/10.1016/j.artint.2011.07.003}, doi = {10.1016/J.ARTINT.2011.07.003}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/AljazzarL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/AljazzarLLS11, author = {Husain Aljazzar and Florian Leitner{-}Fischer and Stefan Leue and Dimitar Simeonov}, editor = {Alex Groce and Madanlal Musuvathi}, title = {DiPro - {A} Tool for Probabilistic Counterexample Generation}, booktitle = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6823}, pages = {183--187}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22306-8\_13}, doi = {10.1007/978-3-642-22306-8\_13}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/spin/AljazzarLLS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/AljazzarL10, author = {Husain Aljazzar and Stefan Leue}, title = {Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking}, journal = {{IEEE} Trans. Software Eng.}, volume = {36}, number = {1}, pages = {37--60}, year = {2010}, url = {https://doi.org/10.1109/TSE.2009.57}, doi = {10.1109/TSE.2009.57}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/AljazzarL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/AljazzarKLL10, author = {Husain Aljazzar and Matthias Kuntz and Florian Leitner{-}Fischer and Stefan Leue}, editor = {Carlo Ghezzi and Lars Grunske and Raffaela Mirandola}, title = {Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation}, booktitle = {Proceedings of the 2010 {ICSE} Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, {QUOVADIS} '10, May 3, 2010, Cape Town, South Africa}, pages = {25--32}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1808877.1808883}, doi = {10.1145/1808877.1808883}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/AljazzarKLL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/de/Aljazzar2009, author = {Husain Aljazzar}, title = {Directed diagnostics of system dependability models}, school = {University of Konstanz}, year = {2009}, url = {http://kops.ub.uni-konstanz.de/volltexte/2009/9188/}, urn = {urn:nbn:de:bsz:352-opus-91885}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/de/Aljazzar2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qest/AljazzarL09, author = {Husain Aljazzar and Stefan Leue}, title = {Generation of Counterexamples for Model Checking of Markov Decision Processes}, booktitle = {{QEST} 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009}, pages = {197--206}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/QEST.2009.10}, doi = {10.1109/QEST.2009.10}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qest/AljazzarL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qest/AljazzarFGKLL09, author = {Husain Aljazzar and Manuel Fischer and Lars Grunske and Matthias Kuntz and Florian Leitner{-}Fischer and Stefan Leue}, title = {Safety Analysis of an Airbag System Using Probabilistic {FMEA} and Probabilistic Counterexamples}, booktitle = {{QEST} 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009}, pages = {299--308}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/QEST.2009.8}, doi = {10.1109/QEST.2009.8}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qest/AljazzarFGKLL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mochart/EdelkampSBWFA08, author = {Stefan Edelkamp and Viktor Schuppan and Dragan Bosnacki and Anton Wijs and Ansgar Fehnker and Husain Aljazzar}, editor = {Doron A. Peled and Michael J. Wooldridge}, title = {Survey on Directed Model Checking}, booktitle = {Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {5348}, pages = {65--89}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-00431-5\_5}, doi = {10.1007/978-3-642-00431-5\_5}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mochart/EdelkampSBWFA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qest/AljazzarL08, author = {Husain Aljazzar and Stefan Leue}, title = {Debugging of Dependability Models Using Interactive Visualization of Counterexamples}, booktitle = {Fifth International Conference on the Quantitative Evaluaiton of Systems {(QEST} 2008), 14-17 September 2008, Saint-Malo, France}, pages = {189--198}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/QEST.2008.40}, doi = {10.1109/QEST.2008.40}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qest/AljazzarL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/formats/AljazzarL06, author = {Husain Aljazzar and Stefan Leue}, editor = {Eugene Asarin and Patricia Bouyer}, title = {Extended Directed Search for Probabilistic Timed Reachability}, booktitle = {Formal Modeling and Analysis of Timed Systems, 4th International Conference, {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4202}, pages = {33--51}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11867340\_4}, doi = {10.1007/11867340\_4}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/formats/AljazzarL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/formats/AljazzarHL05, author = {Husain Aljazzar and Holger Hermanns and Stefan Leue}, editor = {Paul Pettersson and Wang Yi}, title = {Counterexamples for Timed Probabilistic Reachability}, booktitle = {Formal Modeling and Analysis of Timed Systems, Third International Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3829}, pages = {177--195}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11603009\_15}, doi = {10.1007/11603009\_15}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/formats/AljazzarHL05.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.