Bayesian Inference for Sparse Generalized Linear Models. - Matthias W. Seeger; Sebastian Gerwinn; Matthias Bethge (ECML, 2007)

Unsupervised learning of a steerable basis for invariant image representations. - Matthias Bethge; Sebastian Gerwinn; Jakob H. Macke (Human Vision and Electronic Imaging, 2007)

Bayesian Inference for Spiking Neuron Models with a Sparsity Prior. - Sebastian Gerwinn; Jakob H. Macke; Matthias W. Seeger; Matthias Bethge (NIPS, 2007)

Neurometric function analysis of population codes. - Philipp Berens; Sebastian Gerwinn; Alexander S. Ecker; Matthias Bethge (NIPS, 2009)

A joint maximum-entropy model for binary neural population patterns and continuous signals. - Sebastian Gerwinn; Philipp Berens; Matthias Bethge (NIPS, 2009)

Bayesian estimation of orientation preference maps. - Jakob H. Macke; Sebastian Gerwinn; Leonard E. White; Matthias Kaschube; Matthias Bethge (NIPS, 2009)

Bayesian population decoding of spiking neurons. - Sebastian Gerwinn; Jakob H. Macke; Matthias Bethge (Frontiers Comput. Neurosci., 2009)

Characterization of the p-generalized normal distribution. - Fabian H. Sinz; Sebastian Gerwinn; Matthias Bethge (J. Multivar. Anal., 2009)

Bayesian inference for generalized linear models for spiking neurons. - Sebastian Gerwinn; Jakob H. Macke; Matthias Bethge (Frontiers Comput. Neurosci., 2010)

Bayesian methods for neural data analysis. - Sebastian Gerwinn (2010)

In All Likelihood, Deep Belief Is Not Enough. - Lucas Theis; Sebastian Gerwinn; Fabian H. Sinz; Matthias Bethge (J. Mach. Learn. Res., 2011)

Gaussian process methods for estimating cortical maps. - Jakob H. Macke; Sebastian Gerwinn; Leonard E. White; Matthias Kaschube; Matthias Bethge (NeuroImage, 2011)

Context-model generation for safe autonomous transport vehicles. - Christian Kuka; Sebastian Gerwinn; Sören Schweigert; Sönke Eilers; Daniela Nicklas 001 (DEBS, 2012)

Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems. - Christian Ellen; Sebastian Gerwinn; Martin Fränzle (FORMATS, 2012)

SaLsA Streams: Dynamic Context Models for Autonomous Transport Vehicles Based on Multi-sensor Fusion. - Christian Kuka; Andre Bolles; Alexander Funk; Sönke Eilers; Sören Schweigert; Sebastian Gerwinn; Daniela Nicklas 001 (MDM (1), 2013)

Simulative evaluation of contract-based change management. - Markus Oertel; Sebastian Gerwinn; Achim Rettberg (INDIN, 2014)

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. - Sadegh Esmaeil Zadeh Soudjani; Sebastian Gerwinn; Christian Ellen; Martin Fränzle; Alessandro Abate (QEST, 2014)

Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems. - Martin Fränzle; Sebastian Gerwinn; Paul Kröger; Alessandro Abate; Joost-Pieter Katoen (FORMATS, 2015)

Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains. - Christian Ellen; Sebastian Gerwinn; Martin Fränzle (Int. J. Softw. Tools Technol. Transf., 2015)

Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems. - Martin Fränzle; Yang Gao 011; Sebastian Gerwinn (Provably Correct Systems, 2017)

Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles. - Werner Damm; Martin Fränzle; Sebastian Gerwinn; Paul Kröger (AAAI Spring Symposia, 2018)

Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events. - Stefan Puch; Martin Fränzle; Sebastian Gerwinn (ISoLA (2), 2018)

Learning Gaussian Processes by Minimizing PAC-Bayesian Generalization Bounds. - David Reeb; Andreas Doerr; Sebastian Gerwinn; Barbara Rakitsch (NeurIPS, 2018)

Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions. - Eckard Böde; Matthias Büker; Ulrich Eberle; Martin Fränzle; Sebastian Gerwinn; Birte Kramer (SAFECOMP, 2018)

An Approach for Safety Assessment of Highly Automated Systems Applied to a Maritime Traffic Alert and Collision Avoidance System. - Sebastian Vander Maelen; Matthias Büker; Birte Kramer; Eckard Böde; Sebastian Gerwinn; Georg Hake; Axel Hahn (ICSRS, 2019)

Bayesian Prior Networks with PAC Training. - Manuel Haußmann; Sebastian Gerwinn; Melih Kandemir (CoRR, 2019)

Learning Partially Known Stochastic Dynamics with Empirical PAC Bayes. - Manuel Haußmann; Sebastian Gerwinn; Andreas Look; Barbara Rakitsch; Melih Kandemir (AISTATS, 2021)

Inferring the Structure of Ordinary Differential Equations. - Juliane Weilbach; Sebastian Gerwinn; Christian Weilbach; Melih Kandemir (CoRR, 2021)

Estimation of Counterfactual Interventions under Uncertainties. - Juliane Weilbach; Sebastian Gerwinn; Melih Kandemir; Martin Fränzle (ACML, 2023)

Validation of composite systems by discrepancy propagation. - David Reeb; Kanil Patel; Karim Said Barsim; Martin Schiegg; Sebastian Gerwinn (UAI, 2023)

Counterfactual-Based Root Cause Analysis for Dynamical Systems. - Juliane Weilbach; Sebastian Gerwinn; Karim Said Barsim; Martin Fränzle (ECML/PKDD (6), 2024)