Dr. Sebastian Gerwinn Principal Scientist

Dr. Sebastian Gerwinn

Position im OFFIS

Principal Scientist


Verkehr / Safety & Security oriented Analyses


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

+49 441 9722 - 454


Schuler EG 09

OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg

von Dr. Sebastian Gerwinn


Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems

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


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



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

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


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

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

Simulative Evaluation of Contract-based Change Management

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

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


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



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

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

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

Modeling TCL via DTMC

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



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

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

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