Suche in der Hochschulbibliografie

Suche nach: Person = 'Gerwinn, Sebastian'

Treffer 1-10 von 14

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
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
2
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
3
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
4
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
5
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
6
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
7
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
8
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
9
49GBVUOB_ALMA7118899507000350149GBVUOB_ALMA71188995070003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71188995070003501
Artikel
Model-based risk assessment of offshore operations
von Christoph Läsche ; Jan Pinkowski ; Sebastian Gerwinn
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Läsche, Christoph
Umfang: 10.
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://dx.doi.org/10.1115/OMAE2014-24018
Enthalten in: Proceedings of the ASME 33rd International Conference on Ocean, Offshore and Arctic Engineering - 2014 New York, NY : ASME, 2014 2014, Art.-Nr. OMAE2014-24018, insges. 10 S. Getr. Zählung [ca. 550 S.]
Sprache: Englisch
10
49GBVUOB_ALMA7117332247000350149GBVUOB_ALMA71173322470003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71173322470003501
Artikel
Simulation-based completeness analysis and adaption of fault trees
von Volker Gollücke ; Axel Hahn ; Jan Pinkowski
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Gollücke, Volker
Umfang: Ill..
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.google.de/url?sa=t&rct=j&q=&esrc=s&source=web&cd=4&ved=0CC4QFjAD&url=http%3A%2F%2Fwww.thinkmind.org%2Fdownload.php%3Farticleid%3Dsimul_2014_10_10_50048&ei=J9RAVZO-Ouu17ga9rYGwBQ&usg=AFQjCNEYjlIoVu4309wWaEtz7ttT-OOOWA&bvm=bv.91665533,d.bGg&cad=rja
Enthalten in: SIMUL 2014 Red Hook, NY : Curran, 2014 (2014), Seite 228-235 285 S.
Sprache: Englisch