Fabian Meyer

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 22

Top Venues

CoRR

IEEE Robotics Autom. Lett.

CNSM

The Logic of Software. A Tasting Menu of Formal Methods

Johannes Gutenberg University, Mainz, Germany (PHD)

Education History

Johannes Gutenberg University, Mainz, Germany

PHD

Publications

Heiko Gimperlein, Fabian Meyer, Ceyhun Özdemir
Space-time stochastic Galerkin boundary elements for acoustic scattering problems. CoRR (2024)
Fabian Meyer, Katharina Glock, David Sayah
TOP-UAV: Open-Source Time-Optimal Trajectory Planner for Point-Masses Under Acceleration and Velocity Constraints. IROS (2023)
Jakob Dürrwächter, Thomas Kuhn, Fabian Meyer, Andrea Beck, Claus-Dieter Munz
PoUnce: A framework for automatized uncertainty quantification simulations on high-performance clusters. J. Open Source Softw. 8 (82) (2023)
Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer
Improving Automatic Complexity Analysis of Integer Programs. CoRR (2022)
Fabian Meyer, Katharina Glock
Kinematic Orienteering Problem With Time-Optimal Trajectories for Multirotor UAVs. IEEE Robotics Autom. Lett. 7 (4) (2022)
Nils Lommen, Fabian Meyer, Jürgen Giesl
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops. IJCAR (2022)
Nils Lommen, Fabian Meyer, Jürgen Giesl
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops. CoRR (2022)
Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer
Improving Automatic Complexity Analysis of Integer Programs. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Fabian Meyer, Katharina Glock
Kinematic Orienteering Problem With Time-Optimal Trajectories for Multirotor UAVs. CoRR (2022)
Fabian Meyer, Katharina Glock
Trajectory-based Traveling Salesman Problem for Multirotor UAVs. CoRR (2022)
Fabian Meyer, Katharina Glock
Trajectory-based Traveling Salesman Problem for Multirotor UAVs. DCOSS (2021)
Fabian Meyer, Marcel Hark, Jürgen Giesl
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes. TACAS (1) (2021)
Fabian Meyer, Christian Gehrke, Michael Schäfer
Evaluating User Acceptance using WebXR for an Augmented Reality Information System. VR Workshops (2021)
Jakob Dürrwächter, Thomas Kuhn, Fabian Meyer, Louisa Schlachter, Florian Schneider
A hyperbolicity-preserving discontinuous stochastic Galerkin scheme for uncertain hyperbolic systems of equations. J. Comput. Appl. Math. 370 (2020)
Andrea Beck, Jakob Dürrwächter, Thomas Kuhn, Fabian Meyer, Claus-Dieter Munz, Christian Rohde
hp-Multilevel Monte Carlo Methods for Uncertainty Quantification of Compressible Navier-Stokes Equations. SIAM J. Sci. Comput. 42 (4) (2020)
Esther Bischoff, Fabian Meyer, Jairo Inga, Sören Hohmann
Multi-Robot Task Allocation and Scheduling Considering Cooperative Tasks and Precedence Constraints. CoRR (2020)
Fabian Meyer, Marcel Hark, Jürgen Giesl
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes. CoRR (2020)
Fabian Meyer, Michael Schäfer
Building an Open Source Access Control System for Fablabs based on odoo and openHAB. SENSORNETS (2020)
Esther Bischoff, Fabian Meyer, Jairo Inga, Sören Hohmann
Multi-Robot Task Allocation and Scheduling Considering Cooperative Tasks and Precedence Constraints. SMC (2020)
Jan Giesselmann, Fabian Meyer, Christian Rohde
Error control for statistical solutions. CoRR (2019)
Jan Giesselmann, Fabian Meyer, Christian Rohde
An a posteriori error analysis based on non-intrusive spectral projections for systems of random conservation laws. CoRR (2019)
Heiko Gimperlein, Fabian Meyer, Ceyhun Özdemir, David Stark, Ernst P. Stephan
Boundary elements with mesh refinements for the wave equation. Numerische Mathematik 139 (4) (2018)
Fabian Meyer, Reinhold Kröger
A framework for autonomic, ontology-based IT management. CNSM (2015)
Fabian Meyer
Ontologie-basiertes Monitoring von IT-Systemen. GI-Jahrestagung (2014)
Fabian Meyer, Reinhold Kröger, Ralf Heidger, Morris Milekovic
An approach for knowledge-based IT management of air traffic control systems. CNSM (2013)
Fabian Meyer
Wissensbasiertes automatisiertes IT-Management. Informatiktage (2013)
Fabian Meyer
Analyse von Event Streams im Kontext semantischer Systemmodelle. Informatiktage (2011)
Fabian Meyer
Kombination von Modellen zur Systemanalyse im Selbstmanagement-Kontext. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 37 (2011)
Fang-Chun Kuo, Hannes Tschofenig, Fabian Meyer, Xiaoming Fu
Comparison Studies between Pre-Shared and Public Key Exchange Mechanisms for Transport Layer Security. INFOCOM (2006)

Fabian Meyer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fabian Meyer