Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Aljazzar, Husain"'
Autor:
Aljazzar, Husain, Leue, Stefan
Publikováno v:
In Artificial Intelligence 2011 175(18):2129-2154
Autor:
Aljazzar, Husain
Model-Checking ist ein formales Verifikationsverfahren, in dem das Hauptziel die Überprüfung der Korrektheit von Systemen bezüglich gegebener Anforderungen ist. Daneben wird Model-Checking häufig als ein Debugging-Werkzeug eingesetzt. Es wird zur
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______715::4256205f950f0429c28d197682117647
Autor:
Aljazzar, Husain, Leue, Stefan
We present a new algorithm, called K*, for finding the k shortest paths between a designated pair of vertices in a given directed weighted graph. Compared to Eppstein s algorithm, which is the most prominent algorithm for solving this problem, K* has
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______715::18406a0651d14c23c22232e8e19a197f
Autor:
Aljazzar, Husain, Leue, Stefan
The debugging of stochastic system models relies on the availability of diagnostic information. Classic probabilistic model checkers, which are based on iterated numerical probability matrix operations, do not provide such diagnostic information. In
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______715::94744de322b45ca1b3e36b7ccc7c9705
Autor:
Aljazzar, Husain, Leue, Stefan
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrains their practical use. In precursory work we proposed a method to sele
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______715::ede5393265f2865eff1fdd0e861506e7
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Proceedings of the 2010 ICSE Workshop: Quantitative Stochastic Models in the Verification & Design of Software Systems; 5/ 3/2010, p25-32, 8p
Autor:
Edelkamp, Stefan, Schuppan, Viktor, Bošnački, Dragan, Wijs, Anton, Fehnker, Ansgar, Aljazzar, Husain
Publikováno v:
Model Checking & Artificial Intelligence (9783642004308); 2009, p65-89, 25p
Publikováno v:
Formal Modeling & Analysis of Timed Systems (9783540450269); 2006, p33-51, 19p