Sebastian Gerwinn

According to our database, Sebastian Gerwinn authored at least 30 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Estimation of Counterfactual Interventions under Uncertainties.

Juliane Weilbach, Sebastian Gerwinn, Melih Kandemir, Martin Fränzle

CoRR, 2023

Validation of composite systems by discrepancy propagation.

David Reeb, Kanil Patel, Karim Said Barsim, Martin Schiegg, Sebastian Gerwinn

Proceedings of the Uncertainty in Artificial Intelligence, 2023

2021

Inferring the Structure of Ordinary Differential Equations.

Juliane Weilbach, Sebastian Gerwinn, Christian Weilbach, Melih Kandemir

CoRR, 2021

Learning Partially Known Stochastic Dynamics with Empirical PAC Bayes.

Manuel Haußmann, Sebastian Gerwinn, Andreas Look, Barbara Rakitsch, Melih Kandemir

Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

2019

Bayesian Prior Networks with PAC Training.

Manuel Haußmann, Sebastian Gerwinn, Melih Kandemir

CoRR, 2019

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

Proceedings of the 4th International Conference on System Reliability and Safety, 2019

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

Proceedings of the Computer Safety, Reliability, and Security, 2018

Learning Gaussian Processes by Minimizing PAC-Bayesian Generalization Bounds.

David Reeb, Andreas Doerr, Sebastian Gerwinn, Barbara Rakitsch

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events.

Stefan Puch, Martin Fränzle, Sebastian Gerwinn

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

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

Proceedings of the 2018 AAAI Spring Symposia, 2018

2017

Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems.

Martin Fränzle, Yang Gao, Sebastian Gerwinn

Proceedings of the Provably Correct Systems, 2017

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

Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems.

Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads.

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

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Simulative evaluation of contract-based change management.

Markus Oertel, Sebastian Gerwinn, Achim Rettberg

Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

2013

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

Proceedings of the 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013, 2013

2012

Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems.

Christian Ellen, Sebastian Gerwinn, Martin Fränzle

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Context-model generation for safe autonomous transport vehicles.

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

Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, 2012

2011

Gaussian process methods for estimating cortical maps.

Jakob H. Macke, Sebastian Gerwinn, Leonard E. White, Matthias Kaschube, Matthias Bethge

NeuroImage, 2011

In All Likelihood, Deep Belief Is Not Enough.

Lucas Theis, Sebastian Gerwinn, Fabian H. Sinz, Matthias Bethge

J. Mach. Learn. Res., 2011

2010

Bayesian methods for neural data analysis.

Sebastian Gerwinn

PhD thesis, 2010

Bayesian inference for generalized linear models for spiking neurons.

Sebastian Gerwinn, Jakob H. Macke, Matthias Bethge

Frontiers Comput. Neurosci., 2010

2009

Characterization of the p-generalized normal distribution.

Fabian H. Sinz, Sebastian Gerwinn, Matthias Bethge

J. Multivar. Anal., 2009

Bayesian population decoding of spiking neurons.

Sebastian Gerwinn, Jakob H. Macke, Matthias Bethge

Frontiers Comput. Neurosci., 2009

Bayesian estimation of orientation preference maps.

Jakob H. Macke, Sebastian Gerwinn, Leonard E. White, Matthias Kaschube, Matthias Bethge

Proceedings of the Advances in Neural Information Processing Systems 22: 23rd Annual Conference on Neural Information Processing Systems 2009. Proceedings of a meeting held 7-10 December 2009, 2009

A joint maximum-entropy model for binary neural population patterns and continuous signals.

Sebastian Gerwinn, Philipp Berens, Matthias Bethge

Proceedings of the Advances in Neural Information Processing Systems 22: 23rd Annual Conference on Neural Information Processing Systems 2009. Proceedings of a meeting held 7-10 December 2009, 2009

Neurometric function analysis of population codes.

Philipp Berens, Sebastian Gerwinn, Alexander S. Ecker, Matthias Bethge

Proceedings of the Advances in Neural Information Processing Systems 22: 23rd Annual Conference on Neural Information Processing Systems 2009. Proceedings of a meeting held 7-10 December 2009, 2009

2007

Bayesian Inference for Spiking Neuron Models with a Sparsity Prior.

Sebastian Gerwinn, Jakob H. Macke, Matthias W. Seeger, Matthias Bethge

Proceedings of the Advances in Neural Information Processing Systems 20, 2007

Unsupervised learning of a steerable basis for invariant image representations.

Matthias Bethge, Sebastian Gerwinn, Jakob H. Macke

Proceedings of the Human Vision and Electronic Imaging XII, San Jose, CA, USA, January 29, 2007

Bayesian Inference for Sparse Generalized Linear Models.

Matthias W. Seeger, Sebastian Gerwinn, Matthias Bethge

Proceedings of the Machine Learning: ECML 2007, 2007