Sebastian Gerwinn

38 papers A* 1A 2B 1C 2Journal 15Unranked 15

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