Michael Hanselmann

According to our database, Michael Hanselmann authored at least 10 papers between 2006 and 2024.

Collaborative distances:

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

2024

Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development.

Lukas König, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Küperkoch, Dennis Fassbender, Michael Hanselmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".

Lukas König, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Küperkoch, Dennis Fassbender, Michael Hanselmann

Dataset, October, 2023

Supplementary Material for TACAS Submission "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".

Lukas König, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Küperkoch, Dennis Fassbender, Michael Hanselmann

Dataset, October, 2023

Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development".

Lukas König, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Küperkoch, Dennis Fassbender, Michael Hanselmann

Dataset, October, 2023

2019

Conditional Flow Variational Autoencoders for Structured Sequence Prediction.

Apratim Bhattacharyya, Michael Hanselmann, Mario Fritz, Bernt Schiele, Christoph-Nikolas Straehle

CoRR, 2019

2017

CNN-based sensor fusion techniques for multimodal human activity recognition.

Sebastian Münzner, Philip Schmidt, Attila Reiss, Michael Hanselmann, Rainer Stiefelhagen, Robert Dürichen

Proceedings of the 2017 ACM International Symposium on Wearable Computers, 2017

2015

Fast greedy insertion and deletion in sparse Gaussian process regression.

Jens Schreiter, Duy Nguyen-Tuong, Heiner Markert, Michael Hanselmann, Marc Toussaint

Proceedings of the 23rd European Symposium on Artificial Neural Networks, 2015

2011

SIMA: Simultaneous Multiple Alignment of LC/MS Peak Lists.

Björn Voss, Michael Hanselmann, Bernhard Y. Renard, Martin S. Lindner, Ullrich Köthe, Marc Kirchner, Fred A. Hamprecht

Bioinform., 2011

2009

Multivariate Watershed Segmentation of Compositional Data.

Michael Hanselmann, Ullrich Köthe, Bernhard Y. Renard, Marc Kirchner, Ron M. A. Heeren, Fred A. Hamprecht

Proceedings of the Discrete Geometry for Computer Imagery, 2009

2006

A Tableaux-based Mobile DL Reasoner - An Experience Report.

Felix Müller, Michael Hanselmann, Thorsten Liebig, Olaf Noppens

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006