Leue, Stefan
0000-0002-4259-624X Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Leue
Vorname
Stefan
Name
45 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 10 von 45
- 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öffentlichungBeitrag zu einem KonferenzbandSpecification Languages for Stutter-Invariant Regular Properties(2009) Dax, Christian; Klaedtke, Felix; Leue, StefanErschienen in: LIU, Zhiming, ed., Anders P. RAVN, ed.. Automated Technology for Verification and Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009, pp. 244-254. ISBN 978-3-642-04760-2. Available under: doi: 10.1007/978-3-642-04761-9_19
- VeröffentlichungBeitrag zu einem KonferenzbandAutomated Predicate Abstraction for Real-Time Models(2009) Badban, Bahareh; Leue, Stefan; Smaus, Jan-Georg
- VeröffentlichungBeitrag zu einem KonferenzbandAutomated Invariant Generation for the Verification of Real-Time Systems(2009) Badban, Bahareh; Leue, Stefan; Smaus, Jan-GeorgErschienen in: 2nd International Workshop on Invariant Generation (WING), 2009, University of York, UK. 2009
- VeröffentlichungWorking Paper/Technical ReportHeuristic Search for Unbounded Executions(2009) Kuntz, Matthias; Leue, Stefan; Scheben, Christoph; Wei, Wei; Yang, Sen
- VeröffentlichungZeitschriftenartikelPartial-order reduction for general state exploring algorithms(2009) Bo nački, Dragan; Leue, Stefan; Lluch-Lafuente, AlbertoErschienen in: International Journal on Software Tools for Technology Transfer (STTT). 2009, 11(1), pp. 39-51. ISSN 1433-2779. eISSN 1433-2787. Available under: doi: 10.1007/s10009-008-0093-y
- 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 ReportAn AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT(2008) Leue, Stefan; Ştefănescu, Alin; Wei, WeiSchriftenreihe: Technical Report, Chair for Software Engineering, University of Konstanz; soft-08-02
