Leue, Stefan
0000-0002-4259-624X Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Leue
Vorname
Stefan
Name
15 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 10 von 15
- VeröffentlichungZeitschriftenartikelK⁎ : A heuristic search algorithm for finding the k shortest paths(2011) Aljazzar, Husain; Leue, StefanErschienen in: Artificial Intelligence. 2011, 175(18), pp. 2129-2154. ISSN 0004-3702. Available under: doi: 10.1016/j.artint.2011.07.003
- VeröffentlichungBeitrag zu einem KonferenzbandDiPro : A Tool for Probabilistic Counterexample Generation(2011) Aljazzar, Husain; Leitner-Fischer, Florian; Leue, Stefan; Simeonov, DimitarErschienen in: GROCE, Alex, ed., Madanlal MUSUVATHI, ed.. Model Checking Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011, pp. 183-187. ISBN 978-3-642-22305-1. Available under: doi: 10.1007/978-3-642-22306-8_13
- VeröffentlichungZeitschriftenartikelDirected explicit state-space search in the generation of counterexamples for stochastic model checking(2010) Aljazzar, Husain; Leue, StefanErschienen in: IEEE Transactions on Software Engineering. 2010, 36(1), pp. 37-60. ISSN 0098-5589. Available under: doi: 10.1109/TSE.2009.57
- VeröffentlichungBeitrag zu einem KonferenzbandDirected and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation(2010) Aljazzar, Husain; Kuntz, Matthias; Leitner-Fischer, Florian; Leue, StefanErschienen in: Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems - QUOVADIS '10. New York, New York, USA: ACM Press, 2010, pp. 25-32. ISBN 978-1-60558-972-5. Available under: doi: 10.1145/1808877.1808883
- VeröffentlichungBeitrag zu einem KonferenzbandK* : heuristics-guided, on-the-fly k shortest paths search(2010) Aljazzar, Husain; Leue, Stefan
- VeröffentlichungBeitrag zu einem KonferenzbandGeneration of Counterexamples for Model Checking of Markov Decision Processes(2009) Aljazzar, Husain; Leue, StefanErschienen in: 2009 Sixth International Conference on the Quantitative Evaluation of Systems. IEEE, 2009, pp. 197-206. ISBN 978-0-7695-3808-2. Available under: doi: 10.1109/QEST.2009.10
- VeröffentlichungBeitrag zu einem KonferenzbandSafety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples(2009) Aljazzar, Husain; Fischer, Manuel; Grunske, Lars; Kuntz, Matthias; Leitner-Fischer, Florian; Leue, StefanErschienen in: 2009 Sixth International Conference on the Quantitative Evaluation of Systems. IEEE, 2009, pp. 299-308. ISBN 978-0-7695-3808-2. Available under: doi: 10.1109/QEST.2009.8
- VeröffentlichungWorking Paper/Technical ReportSafety analysis of an airbag system using probabilistic FMEA and probabilistic counter examples(2009) Aljazzar, Husain; Fischer, Manuel; Grunske, Lars; Kuntz, Matthias; Leitner, Florian; Leue, StefanSchriftenreihe: Technical Report soft;09-01
- VeröffentlichungBeitrag zu einem KonferenzbandDebugging of dependability models using interactive visualization of counterexamples(2008) Aljazzar, Husain; Leue, StefanErschienen in: 2008 Fifth International Conference on Quantitative Evaluation of Systems. IEEE, 2008, pp. 189-198. ISBN 978-0-7695-3360-5. Available under: doi: 10.1109/QEST.2008.40
- VeröffentlichungWorking Paper/Technical ReportDebugging of Dependability Models Using Interactive Visualization of Counterexamples(2008) Aljazzar, Husain; Leue, StefanSchriftenreihe: Technical Report, Chair for Software Engineering, University of Konstanz; soft-08-04
