Husain Aljazzar

Associated Doctoral Student in the PhD program from August 1, 2005 to October 31, 2009.
Currently working as Software Architect at Bosch Security Systems GmbH.

advisors

Prof. Dr. Leue

organisational data

Email	:	husain.aljazzar@arcor.de
Other resources	:	Member page on Chair of Software Engineering

publications

The following list of publications covers only those, which are or were published during participation at the Graduiertenkolleg / PhD program.

Articles in Journals

2009

Aljazzar, H., Leue, S., Directed explicit state-space search in the generation of counterexamples for stochastic model checking, IEEE Computer Society Digital Library, 2009.

Conference Papers

2009 2008 2006 2005

2009		Aljazzar, H., Leue, S., Generation of counterexamples for model checking of Markov decision processes, 2009.
2008		Aljazzar, H., Leue, S., Debugging of dependability models using interactive visualization of counterexamples, International Conference on the Quantitative Evaluation of SysTems (QEST), IEEE Press, 2008, IEEE Press.
2006		Aljazzar, H., Leue, S., Extended directed search for probabilistic timed reachability, 4. International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Lecture Notes in Computer Science (LNCS), Vol. 4202, pp. 33-51, 2006, Springer-Verlag. abstract
2005		Aljazzar, H., Hermanns, H., Leue, S., Counterexamples for timed probabilistic reachability, 3. International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Lecture Notes in Computer Science (LNCS), Vol. 3829, pp. 177-195, 2005, Springer-Verlag. abstract

Technical Reports

2008 2007

2008		Aljazzar, H., Leue, S., K*: A directed on-the-fly algorithm for finding the k shortest paths, University of Konstanz, TR # soft-08-03, Technical Report, March 2008. abstract
2007		Aljazzar, H., Leue, S., Counterexamples for model checking of markov decision processes, University of Konstanz, TR # soft-08-01, Technical Report, December 2007. abstract

	GK Home	Department	GK Internal	FAQ	Contact			Software
	People	Research	Teaching	Events	Publications	Applications	Gallery	PhD Colloquium