Leue, Stefan
0000-0002-4259-624X Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Leue
Vorname
Stefan
Name
19 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 10 von 19
- VeröffentlichungZeitschriftenartikelAutomated repair for timed systems(2021) Kölbl, Martin; Leue, Stefan; Wies, ThomasErschienen in: Formal Methods in System Design. Springer. 2021, 59, pp. 136-169. ISSN 0925-9856. eISSN 1572-8102. Available under: doi: 10.1007/s10703-022-00397-5
- VeröffentlichungZeitschriftenartikelVerlässliche Software im 21. Jahrhundert(2018) Wagner, Stefan; Tichy, Matthias; Felderer, Michael; Leue, StefanErschienen in: Informatik-Spektrum. 2018, 41(5), pp. 311-316. ISSN 0170-6012. eISSN 1432-122X. Available under: doi: 10.1007/s00287-018-1118-x
- VeröffentlichungZeitschriftenartikelInterpreting Message Flow Graphs(2015) Ladkin, Peter B.; Leue, StefanErschienen in: Formal Aspects of Computing. 2015, 7(5), pp. 473-509. ISSN 0934-5043. eISSN 1433-299X. Available under: doi: 10.1007/BF01211629
- 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öffentlichungZeitschriftenartikelInteger linear programming-based property checking for asynchronous reactive systems(2013) Leue, Stefan; Wei, WeiErschienen in: IEEE Transactions on Software Engineering. 2013, 39(2), pp. 216-236. ISSN 0098-5589. Available under: doi: 10.1109/TSE.2011.1
- VeröffentlichungZeitschriftenartikelA neuronal network model for simulating the effects of repetitive transcranial magnetic stimulation on local field potential power spectra(2012) Bey, Alina; Leue, Stefan; Wienbruch, ChristianErschienen in: PLoS ONE. 2012, 7(11), e49097. eISSN 1932-6203. Available under: doi: 10.1371/journal.pone.0049097
- 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öffentlichungZeitschriftenartikelQuantUM : Quantitative Safety Analysis of UML Models(2011) Leitner-Fischer, Florian; Leue, StefanErschienen in: Electronic Proceedings in Theoretical Computer Science. 2011, 57, pp. 16-30. ISSN 2075-2180. Available under: doi: 10.4204/EPTCS.57.2
- 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ö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
