Persons

Dr. Sebastian Gerwinn

 

Position at OFFIS

Wissenschaftlicher Mitarbeiter

 

Research and Developement Division

Verkehr / Safety Analysis & Verification

 

Room

UG1

Phone

+49 441 9722 - 454

Address

Escherweg 2, 26121 Oldenburg

E-Mail

sebastian.gerwinn [ A T ] offis.de

 

Publications

Title

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads

booktitle

Quantitative Evaluation of Systems

Alle Autoren

Esmaeil Zadeh Soudjani, Sadegh and Gerwinn, Sebastian and Ellen, Christian and Fränzle, Martin and Abate, Alessandro

Year

2014

Title

Model-Based Risk Assessment of Offshore Operations

booktitle

Proceedings 33rd International Conference on Ocean, Offshore and Arctic Engineering

Alle Autoren

Läsche, Christoph and Droste, Rainer and Pinkowski, Jan and Gerwinn, Sebastian and Hahn, Axel

Year

2014

Title

Natter: A Python Natural Image Statistics Toolbox

Alle Autoren

Fabian H. Sinz and Jörn-Philipp Lies and Sebastian Gerwinn and Matthias Bethge

Year

2014

Title

Simulation-based Completeness Analysis and Adaption of Fault Trees

Alle Autoren

Volker Gollücke Jan Pinkowski Christoph Läsche Sebastian Gerwinn Axel Hahn

Year

2014

Title

Simulative Evaluation of Contract-based Change Management

booktitle

Proceedings of the 12th International Conference on Industrial Informatics (INDIN 2014)

Alle Autoren

Markus Oertel Sebastian Gerwinn Achim Rettberg

Year

2014

Title

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

Alle Autoren

Ellen, Christian and Gerwinn, Sebastian and Fränzle, Martin

Year

2014

Title

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

Alle Autoren

Haefner, Ralf M. and Gerwinn, Sebastian and Macke, Jakob H. and Bethge, Matthias

Year

2013

Title

Modeling Options for Demand Side Participation of Thermostatically Controlled Loads

booktitle

Bulk Power System Dynamics and Control - IX Optimization, Security and Control of the Emerging Power Grid (IREP), 2013 IREP Symposium

Alle Autoren

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

Year

2013

Title

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

booktitle

Mobile Data Management (MDM), 2013 IEEE 14th International Conference on

Title of Conference

IEEE 14th International Conference on Mobile Data Management (MDM), 2013

Alle Autoren

Kuka, Christian and Bolles, André and Funk, Alexander and Eilers, Sönke and Schweigert, Sören and Gerwinn, Sebastian and Nicklas, Daniela

Year

2013

Title

An Autonomous Vehicle Design for Safe Operation in Heterogeneous Environments

booktitle

Workshop Proceedings: Trustworthy Cyber-Physical Systems

Alle Autoren

Eilers, Sönke and Gerwinn, Sebastian and Fränzle, Martin and Kuka, Christian and Schweiger, Sören and Toben, Tobe

Year

2012

Title

Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems

booktitle

Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK

Title of Conference

Formal Modeling and Analysis of Timed Systems (FORMATS)

Alle Autoren

Ellen, Christian and Gerwinn, Sebastian and Fränzle, Martin

Year

2012

Title

Demo: Context-Model Generation for Safe Autonomous Transport Vehicles

booktitle

Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems

Title of Conference

International Conference on Distributed Event-Based Systems

Alle Autoren

Kuka, Christian and Gerwinn, Sebastian and Schweigert, Sören and Eilers, Sönke and Nicklas, Daniela

Year

2012

Title

Modeling TCL via DTMC

Title of Conference

Joint Workshop on Compositional Modelling and Analysis of Quantitative Systems

Alle Autoren

Ellen, Christian and Fränzle, Martin and Gerwinn, Sebastian and Müllner, Nils

Year

2012

Title

In All Likelihood, Deep Belief Is Not Enough

Alle Autoren

Theis, Lucas and Gerwinn, Sebastian and Sinz, Fabian and Bethge, Matthias

Year

2011

Title

Reassessing optimal neural population codes with neurometric functions

Alle Autoren

Berens, Philipp and Ecker, Alexander and Gerwinn, Sebastian and Tolias, Andreas and Bethge, Matthias

Year

2011

Title

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

Alle Autoren

Gerwinn, Sebastian and Macke, Jakob H and Bethge, Matthias

Year

2011

Title

Support Vector Machines for an efficient Representation of Voltage Band Constraints

Title of Conference

Innovative Smart Grid Technologies

Alle Autoren

Blank, Marita and Gerwinn, Sebastian and Krause, Olav and Lehnhoff, Sebastian

Year

2011