Leue, Stefan
0000-0002-4259-624X Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Leue
Vorname
Stefan
Name
13 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 10 von 13
- VeröffentlichungKonferenzbandProceedings 2nd International Workshop on Causal Reasoning for embedded and safety-critical Systems Technologies(Waterloo, NSW, Australia : Open Publishing Association, 2017) Groce, Alex; Leue, Stefan (Hrsg.)Schriftenreihe: Electronic proceedings in theoretical computer science : EPTCS; 259
- VeröffentlichungZeitschriftenartikelProbabilistic fault tree synthesis using causality computation(2013) Leitner-Fischer, Florian; Leue, StefanErschienen in: International Journal of Critical Computer-Based Systems. 2013, 4(2), pp. 119-143. ISSN 1757-8779. eISSN 1757-8787. Available under: doi: 10.1504/IJCCBS.2013.056492
- VeröffentlichungBeitrag zu einem KonferenzbandQuantitative analysis of UML Models(2011) Leitner-Fischer, Florian; Leue, StefanErschienen in: GIESE, H., ed. and others. Tagungsband des Dagstuhl-Workshop MBEES : Modellbasierte Entwicklung eingebetteter Systeme VII ; Model-Based Development of Embedded Systems 16.02.2011 - 18.02.2011. München: fortiss GmbH, 2011, pp. 91-100
- 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öffentlichungBeitrag zu einem KonferenzbandAn AsmL semantics for dynamic structures and run time schedulability in UML-RT(2008) Leue, Stefan; Ştefănescu, Alin; Wei, WeiErschienen in: PAIGE, Richard F., ed., Bertrand MEYER, ed.. Objects, Components, Models and Patterns. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008, pp. 238-257. ISBN 978-3-540-69823-4. Available under: doi: 10.1007/978-3-540-69824-1_14
- VeröffentlichungKonferenzbandFormal methods for industrial critical systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, revised selected papers(Berlin [u.a.] : Springer, 2008) Leue, Stefan; Merino, Pedro (Hrsg.)Schriftenreihe: Lecture Notes in Computer Science;4916
- VeröffentlichungBeitrag zu einem KonferenzbandExtended directed search for probabilistic timed reachability(2006) Aljazzar, Husain; Leue, StefanErschienen in: ASARIN, Eugene, ed., Patricia BOUYER, ed.. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006, pp. 33-51. ISBN 978-3-540-45026-9. Available under: doi: 10.1007/11867340_4
- VeröffentlichungKonferenzbandScenarios : models, transformations and tools ; International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003 ; revised selected papers(Berlin [u.a.] : Springer, 2005) Leue, Stefan; Systä, Tarja Johanna (Hrsg.)Schriftenreihe: Lecture Notes in Computer Science;3466
- VeröffentlichungKonferenzbandModel checking software : 9th international SPIN workshop Grenoble, France, April 11–13, 2002; proceedings(Berlin : Springer, 2002) Bošnacki, Dragan; Leue, Stefan (Hrsg.)Schriftenreihe: Lecture Notes in Computer Science; 2318
- VeröffentlichungBeitrag zu einem KonferenzbandDirected explicit model checking with HSF-SPIN(2001) Edelkamp, Stefan; Lafuente, Alberto Lluch; Leue, StefanErschienen in: DWYER, Matthew, ed.. Model Checking Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001, pp. 57-79. ISBN 978-3-540-42124-5. Available under: doi: 10.1007/3-540-45139-0_5
