Sebastian Gerwinn

According to our database1, Sebastian Gerwinn authored at least 24 papers between 2007 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Learning Gaussian Processes by Minimizing PAC-Bayesian Generalization Bounds.
CoRR, 2018

Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions.
Proceedings of the Computer Safety, Reliability, and Security, 2018

Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

2017
Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems.
Proceedings of the Provably Correct Systems, 2017

2015
Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains.
STTT, 2015

Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads.
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Simulative evaluation of contract-based change management.
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.
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.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Context-model generation for safe autonomous transport vehicles.
Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, 2012

2011
Gaussian process methods for estimating cortical maps.
NeuroImage, 2011

In All Likelihood, Deep Belief Is Not Enough.
Journal of Machine Learning Research, 2011

2010
Bayesian methods for neural data analysis.
PhD thesis, 2010

Bayesian inference for generalized linear models for spiking neurons.
Front. Comput. Neurosci., 2010

In All Likelihood, Deep Belief Is Not Enough
CoRR, 2010

2009
Characterization of the p-generalized normal distribution.
J. Multivariate Analysis, 2009

Bayesian population decoding of spiking neurons.
Front. Comput. Neurosci., 2009

Bayesian estimation of orientation preference maps.
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.
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.
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.
Proceedings of the Advances in Neural Information Processing Systems 20, 2007

Unsupervised learning of a steerable basis for invariant image representations.
Proceedings of the Human Vision and Electronic Imaging XII, San Jose, CA, USA, January 29, 2007

Bayesian Inference for Sparse Generalized Linear Models.
Proceedings of the Machine Learning: ECML 2007, 2007


  Loading...