Sebastian Gerwinn

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 17

Top Venues

CoRR

AISTATS

ICSRS

Int. J. Softw. Tools Technol. Transf.

Eberhard Karls University of Tübingen (PHD)

Education History

Eberhard Karls University of Tübingen

PHD

Publications

Juliane Weilbach, Sebastian Gerwinn, Karim Said Barsim, Martin Fränzle
Counterfactual-based Root Cause Analysis for Dynamical Systems. CoRR (2024)
Juliane Weilbach, Sebastian Gerwinn, Melih Kandemir, Martin Fränzle
Estimation of Counterfactual Interventions under Uncertainties. CoRR (2023)
David Reeb, Kanil Patel, Karim Said Barsim, Martin Schiegg, Sebastian Gerwinn
Validation of composite systems by discrepancy propagation. UAI (2023)
Juliane Weilbach, Sebastian Gerwinn, Melih Kandemir, Martin Fränzle
Estimation of Counterfactual Interventions under Uncertainties. ACML (2023)
David Reeb, Kanil Patel, Karim Barsim, Martin Schiegg, Sebastian Gerwinn
Validation of Composite Systems by Discrepancy Propagation. CoRR (2022)
Juliane Weilbach, Sebastian Gerwinn, Christian Weilbach, Melih Kandemir
Inferring the Structure of Ordinary Differential Equations. CoRR (2021)
Manuel Haußmann, Sebastian Gerwinn, Andreas Look, Barbara Rakitsch, Melih Kandemir
Learning Partially Known Stochastic Dynamics with Empirical PAC Bayes. AISTATS (2021)
Manuel Haußmann, Sebastian Gerwinn, Andreas Look, Barbara Rakitsch, Melih Kandemir
Learning Partially Known Stochastic Dynamics with Empirical PAC Bayes. CoRR (2020)
Sebastian Vander Maelen, Matthias Büker, Birte Kramer, Eckard Böde, Sebastian Gerwinn, Georg Hake, Axel Hahn
An Approach for Safety Assessment of Highly Automated Systems Applied to a Maritime Traffic Alert and Collision Avoidance System. ICSRS (2019)
Manuel Haußmann, Sebastian Gerwinn, Melih Kandemir
Bayesian Prior Networks with PAC Training. CoRR (2019)
Eckard Böde, Matthias Büker, Ulrich Eberle, Martin Fränzle, Sebastian Gerwinn, Birte Kramer
Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions. SAFECOMP (2018)
Werner Damm, Martin Fränzle, Sebastian Gerwinn, Paul Kröger
Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles. AAAI Spring Symposia (2018)
David Reeb, Andreas Doerr, Sebastian Gerwinn, Barbara Rakitsch
Learning Gaussian Processes by Minimizing PAC-Bayesian Generalization Bounds. CoRR (2018)
Stefan Puch, Martin Fränzle, Sebastian Gerwinn
Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events. ISoLA (2) (2018)
David Reeb, Andreas Doerr, Sebastian Gerwinn, Barbara Rakitsch
Learning Gaussian Processes by Minimizing PAC-Bayesian Generalization Bounds. NeurIPS (2018)
Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen
Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems. FORMATS (2015)
Christian Ellen, Sebastian Gerwinn, Martin Fränzle
Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains. Int. J. Softw. Tools Technol. Transf. 17 (4) (2015)
Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle, Alessandro Abate
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. QEST (2014)
Markus Oertel, Sebastian Gerwinn, Achim Rettberg
Simulative evaluation of contract-based change management. INDIN (2014)
Christian Kuka, Andre Bolles, Alexander Funk, Sönke Eilers, Sören Schweigert, Sebastian Gerwinn, Daniela Nicklas
SaLsA Streams: Dynamic Context Models for Autonomous Transport Vehicles Based on Multi-sensor Fusion. MDM (1) (2013)
Christian Ellen, Sebastian Gerwinn, Martin Fränzle
Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems. FORMATS (2012)
Christian Kuka, Sebastian Gerwinn, Sören Schweigert, Sönke Eilers, Daniela Nicklas
Context-model generation for safe autonomous transport vehicles. DEBS (2012)
Jakob H. Macke, Sebastian Gerwinn, Leonard E. White, Matthias Kaschube, Matthias Bethge
Gaussian process methods for estimating cortical maps. NeuroImage 56 (2) (2011)
Lucas Theis, Sebastian Gerwinn, Fabian H. Sinz, Matthias Bethge
In All Likelihood, Deep Belief Is Not Enough. J. Mach. Learn. Res. 12 (2011)
Lucas Theis, Sebastian Gerwinn, Fabian H. Sinz, Matthias Bethge
In All Likelihood, Deep Belief Is Not Enough CoRR (2010)
Sebastian Gerwinn, Jakob H. Macke, Matthias Bethge
Bayesian inference for generalized linear models for spiking neurons. Frontiers Comput. Neurosci. 4 (2010)
Philipp Berens, Sebastian Gerwinn, Alexander S. Ecker, Matthias Bethge
Neurometric function analysis of population codes. NIPS (2009)
Sebastian Gerwinn, Jakob H. Macke, Matthias Bethge
Bayesian population decoding of spiking neurons. Frontiers Comput. Neurosci. 3 (2009)
Sebastian Gerwinn, Philipp Berens, Matthias Bethge
A joint maximum-entropy model for binary neural population patterns and continuous signals. NIPS (2009)
Jakob H. Macke, Sebastian Gerwinn, Leonard E. White, Matthias Kaschube, Matthias Bethge
Bayesian estimation of orientation preference maps. NIPS (2009)
Fabian H. Sinz, Sebastian Gerwinn, Matthias Bethge
Characterization of the p-generalized normal distribution. J. Multivar. Anal. 100 (5) (2009)
Matthias Bethge, Sebastian Gerwinn, Jakob H. Macke
Unsupervised learning of a steerable basis for invariant image representations. Human Vision and Electronic Imaging (2007)
Matthias W. Seeger, Sebastian Gerwinn, Matthias Bethge
Bayesian Inference for Sparse Generalized Linear Models. ECML (2007)
Sebastian Gerwinn, Jakob H. Macke, Matthias W. Seeger, Matthias Bethge
Bayesian Inference for Spiking Neuron Models with a Sparsity Prior. NIPS (2007)

Sebastian Gerwinn.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sebastian Gerwinn