Dr. Sebastian Gerwinn Principal Scientist

Dr. Sebastian Gerwinn
Kontaktdaten
Tätigkeiten

Position im OFFIS

Principal Scientist

Forschungsbereiche

Verkehr / Safety & Security oriented Analyses

Forschungsinteresse

Statistical Model Checking, Bayesian Inference, Autonomous Driving, Machine Learning
News

+49 441 9722 - 454

sebastian.gerwinn(at)offis.de

Schuler EG 09

OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg

Publikationen
von Dr. Sebastian Gerwinn

2017

Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems

Martin Fränzle and Yang Gao and Sebastian Gerwinn; Provably Correct Systems; 2017

2016

Computational Analysis of Complex Real-Time Systems - FMTV 2016 Verification Challenge

Ingo Stierand, Philipp Reinkemeier, Sebastian Gerwinn, Thomas Peikenkamp; International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS); 01 / 2016

BIB

2015

A Compositional Safety Specification Using a Contract-Based Design Methodology

Oertel, Markus and Battram, Peter and Kacimi, Omar and Gerwinn, Sebastian and Rettberg, Achim; International Conference on Performance, Safety and Robustness in Complex Systems and Applications; 2015

BIB
Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems

Fränzle, Martin and Gerwinn, Sebastian and Kröger, Paul and Abate, Alessandro and Katoen, Joost-Pieter; Formal Modeling and Analysis of Timed Systems; 2015

2014

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads

Esmaeil Zadeh Soudjani, Sadegh and Gerwinn, Sebastian and Ellen, Christian and Fränzle, Martin and Abate, Alessandro; Quantitative Evaluation of Systems; 2014

Model-Based Risk Assessment of Offshore Operations

Läsche, Christoph and Droste, Rainer and Pinkowski, Jan and Gerwinn, Sebastian and Hahn, Axel; Proceedings 33rd International Conference on Ocean, Offshore and Arctic Engineering; 06 / 2014

BIB
Natter: A Python Natural Image Statistics Toolbox

Fabian H. Sinz and Jörn-Philipp Lies and Sebastian Gerwinn and Matthias Bethge; Journal of Statistical Software; 11 / 2014

Simulation-based Completeness Analysis and Adaption of Fault Trees

Volker GollückeJan PinkowskiChristoph LäscheSebastian GerwinnAxel Hahn; SIMUL 2014, The Sixth International Conference on Advances in System Simulation; 10 / 2014

BIB
Simulative Evaluation of Contract-based Change Management

Markus OertelSebastian GerwinnAchim Rettberg; Proceedings of the 12th International Conference on Industrial Informatics (INDIN 2014); 07 / 2014

BIB
Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains

Ellen, Christian and Gerwinn, Sebastian and Fränzle, Martin; International Journal on Software Tools for Technology Transfer; 2014

2013

Inferring decoding strategies from choice probabilities in the presence of correlated variability

Haefner, Ralf M. and Gerwinn, Sebastian and Macke, Jakob H. and Bethge, Matthias; Nature Neuroscience; 001 / 2013

Modeling Options for Demand Side Participation of Thermostatically Controlled Loads

Kamgarpour, Maryam and Ellen, Christian and Esmaeil Zadeh Soudjani, Sadegh and Gerwinn, Sebastian and Mathieu, Johanna L. and Müllner, Nils and Abate, Alessandro and Callaway, Duncan S. and Fränzle, Martin and Lygeros, John; Bulk Power System Dynamics and Control - IX Optimization, Security and Control of the Emerging Power Grid (IREP), 2013 IREP Symposium; 08 / 2013

SaLsA Streams: Dynamic Context Models for Autonomous Transport Vehicles Based on Multi-sensor Fusion

Kuka, Christian and Bolles, André and Funk, Alexander and Eilers, Sönke and Schweigert, Sören and Gerwinn, Sebastian and Nicklas, Daniela; Mobile Data Management (MDM), 2013 IEEE 14th International Conference on; 2013

BIB

2012

An Autonomous Vehicle Design for Safe Operation in Heterogeneous Environments

Eilers, Sönke and Gerwinn, Sebastian and Fränzle, Martin and Kuka, Christian and Schweiger, Sören and Toben, Tobe; Workshop Proceedings: Trustworthy Cyber-Physical Systems; 008 / 2012

BIB
Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems

Ellen, Christian and Gerwinn, Sebastian and Fränzle, Martin; Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK; 009 / 2012

BIB
Demo: Context-Model Generation for Safe Autonomous Transport Vehicles

Kuka, Christian and Gerwinn, Sebastian and Schweigert, Sören and Eilers, Sönke and Nicklas, Daniela; Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems; 007 / 2012

BIB
Modeling TCL via DTMC

Ellen, Christian and Fränzle, Martin and Gerwinn, Sebastian and Müllner, Nils; 009 / 2012

BIB

2011

In All Likelihood, Deep Belief Is Not Enough

Theis, Lucas and Gerwinn, Sebastian and Sinz, Fabian and Bethge, Matthias; Journal of Machine Learning Research; 11 / 2011

BIB
Reassessing optimal neural population codes with neurometric functions

Berens, Philipp and Ecker, Alexander and Gerwinn, Sebastian and Tolias, Andreas and Bethge, Matthias; Proceedings of the National Academy of Sciences; 003 / 2011

BIB
Reconstructing stimuli from the spike times of leaky integrate and fire neurons

Gerwinn, Sebastian and Macke, Jakob H and Bethge, Matthias; Frontiers in neuroscience; 002 / 2011

Support Vector Machines for an efficient Representation of Voltage Band Constraints

Blank, Marita and Gerwinn, Sebastian and Krause, Olav and Lehnhoff, Sebastian; 11 / 2011

BIB