Suche in der Hochschulbibliografie

Suche nach: Person = 'Gerwinn, Sebastian'

Treffer 1-10 von 16

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA5139754544000350149GBVUOB_ALMA51397545440003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51397545440003501
Artikel
Counterfactual-based root cause analysis for dynamical systems
von Juliane Weilbach ; Sebastian Gerwinn ; Karim Said Barsim ; Martin Fränzle
2024
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Gerwinn, SebastianFränzle, Martin ([1998-])
Enthalten in: Machine Learning and Knowledge Discovery in Databases. Research Track 1st ed. 2024. Cham : Springer Nature Switzerland, 2024 (2024), Seite 303–319 1 Online-Ressource(LVII, 458 p. 122 illus., 116 illus. in color.)
Sprache: Englisch
>> Volltext
2
49GBVUOB_ALMA5139801727000350149GBVUOB_ALMA51398017270003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51398017270003501
Artikel
Estimation of counterfactual interventions under uncertainties
von Juliane Weilbach ; Sebastian Gerwinn ; Melih Kandemir ; Martin Fränzle
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])
Enthalten in: Proceedings of the 15th Asian Conference on Machine Learning 2023 (2023), Seite 1463-1478
Sprache: Englisch
>> Volltext
3
49GBVUOB_ALMA5126985738000350149GBVUOB_ALMA51269857380003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51269857380003501
Artikel
An approach for safety assessment of highly automated systems applied to a maritime traffic alert and collision avoidance system
von Sebastian Vander Maelen ; Matthias Büker ; Birte Kramer ; Eckard Böde ; Sebastian Gerwinn ; Georg Hake
2020
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Kramer, BirteBöde, Eckard ([2001-])Gerwinn, SebastianHake, Georg ([2015-])Hahn, Axel ([2002-])
Enthalten in: International Conference on System Reliability and Safety (4. : 2019 : Rom) 2019 4th International Conference on System Reliability and Safety Piscataway, NJ : IEEE, 2019 (2020), Seite 494-503 1 Online-Ressource (xiii, 589 Seiten)
Sprache: Englisch
>> Volltext
4
49GBVUOB_ALMA5125181691000350149GBVUOB_ALMA51251816910003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51251816910003501
Artikel
Quantitative risk assessment of safety-critical systems via guided simulation for rare events
von Stefan Puch ; Martin Fränzle ; Sebastian Gerwinn
2018
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Gerwinn, SebastianPuch, Stefan ([2007-])
Enthalten in: Leveraging Applications of Formal Methods, Verification and Validation. Verification Cham : Springer International Publishing, 2018 (2018), Seite 305-321 Online-Ressource (XIII, 496 p. 340 illus., 85 illus. in color, online resource)
Sprache: Englisch
>> Volltext
5
49GBVUOB_ALMA5125336820000350149GBVUOB_ALMA51253368200003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51253368200003501
Artikel
Perspectives on the validation and verification of machine learning systems in the context of highly automated vehicles
von Werner Damm ; Martin Fränzle ; Sebastian Gerwinn ; Paul Kröger
2018
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Gerwinn, SebastianKröger, PaulDamm, Werner
Enthalten in: AAAI Spring Symposium Series (2018 : Stanford, Calif.) The 2018 AAAI Spring Symposium Series technical report Palo Alto, California, USA, 2018 (2018), Seite 512-515 1 Online-Ressource
Sprache: Englisch
>> Volltext
6
49GBVUOB_ALMA5125361723000350149GBVUOB_ALMA51253617230003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51253617230003501
Artikel
Efficient splitting of test and simulation cases for the verification of highly automated driving functions
von Eckard Böde ; Matthias Büker ; Ulrich Eberle ; Martin Fränzle ; Sebastian Gerwinn ; Birte Kramer
2018
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Gerwinn, SebastianKramer, BirteBöde, Eckard ([2001-])
Enthalten in: Computer Safety, Reliability, and Security Cham : Springer International Publishing, 2018 (2018), Seite 139-153 Online-Ressource (XXI, 312 p. 92 illus, online resource)
Sprache: Englisch
>> Volltext
7
49GBVUOB_ALMA7123043407000350149GBVUOB_ALMA71230434070003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71230434070003501
Artikel
Constraint-Solving techniques for the analysis of stochastic hybrid systems
von Martin Fränzle ; Yang Gao ; Sebastian Gerwinn
2017
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Gao, YangGerwinn, SebastianFränzle, Martin ([1998-])
Enthalten in: Provably correct systems Cham : Springer, 2017 (2017), Seite 9-38 xviii, 328 Seiten
Sprache: Englisch
8
dedupmrg752691812JBWlbs1022457438//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=JBWlbs1022457438
E-Book
FAT-Schriftenreihe: Design paradigms for multi-layer time coherency in ADAS and automated driving (MULTIC)
von Eckard Böde ; Matthias Büker ; Werner Damm ; Günter Ehmen ; Martin Fränzle ; Sebastian Gerwinn ; Thomas Goodfellow ; Kim Grüttner ; Bernhard Josko ; Björn Koopmann ; Thomas Peikenkamp ; Frank Poppen ; Philipp Reinkemeier ; Michael Siegel ; Ingo Stierand
2017
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Damm, WernerEhmen, GünterFränzle, Martin ([1998-])Gerwinn, SebastianGrüttner, KimJosko, BernhardPeikenkamp, ThomasPoppen, FrankReinkemeier, Philipp ([2007-])Stierand, Ingo ([1998-])Böde, Eckard ([2001-])
Verlag: VDA Verband der Automobilindustrie
Verlagsort: Berlin : FAT Forschungsvereinigung Automobiltechnik
Umfang: 1 Online-Ressource (194 Seiten, 22,30 MB) Illustrationen, Diagramme.
Schlagwörter: Forschungsbericht; Fahrerassistenzsystem; Programmierparadigma
Übergeordnetes Werk: FAT-Schriftenreihe
Verknüpfte Titel: FAT-Schriftenreihe 302
Sprache: Englisch
>> Volltext
9
49GBVUOB_ALMA5121987127000350149GBVUOB_ALMA51219871270003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219871270003501
Artikel
Multi-objective parameter synthesis in probabilistic hybrid systems
von Martin Fränzle ; Sebastian Gerwinn ; Paul Kröger ; Alessandro Abate ; Joost-Pieter Katoen
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Gerwinn, SebastianKröger, PaulFränzle, Martin ([1998-])
Enthalten in: Formal Modeling and Analysis of Timed Systems 1st ed. 2015 Cham [u.a.] : Springer, 2015 (2015), Seite 93-107 Online-Ressource (X, 321 p. 90 illus, online resource)
Sprache: Englisch
>> Volltext
10
49GBVUOB_ALMA5121841112000350149GBVUOB_ALMA51218411120003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51218411120003501
Artikel
Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains
von Christian Ellen ; Sebastian Gerwinn ; Martin Fränzle
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Gerwinn, SebastianFränzle, Martin ([1998-])Ellen, Christian
Umfang: 20.
Weitere Angaben:
Published online: 03 August 2014
Enthalten in: International journal on software tools for technology transfer Berlin : Springer, 1997 2014 (Aug.), insges. 20 S. Online-Ressource
Sprache: Englisch
>> Volltext