Husain Aljazzar

	2008
4		Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar: Survey on Directed Model Checking. MoChArt 2008: 65-89
3		Husain Aljazzar, Stefan Leue: Debugging of Dependability Models Using Interactive Visualization of Counterexamples. QEST 2008: 189-198
	2006
2		Husain Aljazzar, Stefan Leue: Extended Directed Search for Probabilistic Timed Reachability. FORMATS 2006: 33-51
	2005
1		Husain Aljazzar, Holger Hermanns, Stefan Leue: Counterexamples for Timed Probabilistic Reachability. FORMATS 2005: 177-195

Coauthor Index

1	Dragan Bosnacki	[4]
2	Stefan Edelkamp	[4]
3	Ansgar Fehnker	[4]
4	Holger Hermanns	[1]
5	Stefan Leue	[1] [2] [3]
6	Viktor Schuppan	[4]
7	Anton Wijs	[4]