Leue, Stefan
0000-0002-4259-624X Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Leue
Vorname
Stefan
Name
26 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 10 von 26
- VeröffentlichungWorking Paper/Technical ReportOn the Relationship of Event Order Logic and Linear Temporal Logic(2014) Beer, Adrian; Leitner-Fischer, Florian; Leue, StefanSchriftenreihe: Technical Report, Chair for Software Engineering, University of Konstanz; soft-14-01
- VeröffentlichungWorking Paper/Technical ReportSymbolic Causality Checking Using SAT-Solving(2014) Beer, Adrian; Kühne, Uwe; Leitner-Fischer, Florian; Leue, Stefan; Prem, RüdigerSchriftenreihe: Technical Report, Chair for Software Engineering, University of Konstanz; soft-14-02
- VeröffentlichungWorking Paper/Technical ReportOn the Synergy of Probabilistic Causality Computation and Causality Checking(2013) Leitner-Fischer, Florian; Leue, StefanSchriftenreihe: Technical Report, Chair for Software Engineering, University of Konstanz ; soft-13-01
- VeröffentlichungWorking Paper/Technical ReportQuantitative Safety Analysis of Non-Deterministic System Architectures(2013) Beer, Adrian; Kühne, Uwe; Leitner-Fischer, Florian; Leue, Stefan; Prem, RüdigerSchriftenreihe: Technical Report, Chair for Software Engineering, University of Konstanz ; soft-13-02
- VeröffentlichungWorking Paper/Technical ReportProbabilistic Fault Tree Synthesis using Causality Computation(2013) Leitner-Fischer, Florian; Leue, StefanSchriftenreihe: Technical Report, Chair for Software Engineering, University of Konstanz ; soft-13-03
- VeröffentlichungWorking Paper/Technical ReportAnalysis of an Airport Surveillance Radar using the QuantUM approach(2012) Beer, Adrian; Kühne, Uwe; Leitner-Fischer, Florian; Leue, Stefan; Prem, RüdigerSchriftenreihe: Technical Report, Chair for Software Engineering, University of Konstanz ; soft-12-01
- VeröffentlichungWorking Paper/Technical ReportCausality checking for complex system models(2012) Leitner-Fischer, Florian; Leue, StefanSchriftenreihe: Technical Report, Chair for Software Engineering, University of Konstanz ; soft-12-02
- VeröffentlichungWorking Paper/Technical ReportThe QuantUM approach in the context of the ISO Standard 26262 for automotive systems(2011) Leitner-Fischer, Florian; Leue, StefanSchriftenreihe: Technical Report, Chair for Software Engineering, University of Konstanz; soft-14-02
- VeröffentlichungWorking Paper/Technical ReportFrom probabilistic counterexamples via causality to fault trees(2011) Kuntz, Matthias; Leitner-Fischer, Florian; Leue, StefanSchriftenreihe: Technical Report, Chair for Software Engineering, University of Konstanz ; soft-11-02
- VeröffentlichungWorking Paper/Technical ReportModeling and analyzing spike timing dependent plasticity with linear hybrid automata(2011) Bey, Alina; Leue, StefanSchriftenreihe: Technical Report, Chair for Software Engineering, University of Konstanz ; soft-11-03