Instrumenting AUTOSAR for dependability assessment: A guidance framework. - Thorsten Piper; Stefan Winter 001; Paul Manns; Neeraj Suri (DSN, 2012)

Model-Based Generation of Run-Time Monitors for AUTOSAR. - Lars Patzina; Sven Patzina; Thorsten Piper; Paul Manns (ECMFA, 2013)

Towards Highly Reliable Autonomy for Urban Search and Rescue Robots. - Stefan Kohlbrecher; Florian Kunz; Dorothea Koert; Christian Rose; Paul Manns; Kevin Daun; Johannes Schubert; Alexander Stumpf; Oskar von Stryk (RoboCup, 2014)

Evolving Smoothing Kernels for Global Optimization. - Paul Manns; Kay Hamacher (EvoApplications (2), 2016)

Motion Optimization and Parameter Identification for a Human and Lower Back Exoskeleton Model. - Paul Manns; Manish N. Sreenivasa; Matthew Millard; Katja D. Mombaur (IEEE Robotics Autom. Lett., 2017)

Optimizing wearable assistive devices with neuromuscular models and optimal control. - Manish N. Sreenivasa; Matthew Millard; Paul Manns; Katja D. Mombaur (CoRR, 2018)

A switching cost aware rounding method for relaxations of mixed-integer optimal control problems. - Felix Bestehorn; Christoph Hansknecht; Christian Kirches; Paul Manns (CDC, 2019)

Efficient Derivative Evaluation for Rigid-Body Dynamics Based on Recursive Algorithms Subject to Kinematic and Loop Constraints. - Manuel Kudruss; Paul Manns; Christian Kirches (IEEE Control. Syst. Lett., 2019)

Approximation Properties and Tight Bounds for Constrained Mixed-Integer Optimal Control. - Christian Kirches; Felix Lenders; Paul Manns (SIAM J. Control. Optim., 2020)

MultiDimensional Sum-Up Rounding for Elliptic Control Systems. - Paul Manns; Christian Kirches (SIAM J. Numer. Anal., 2020)

Convergence of sum-up rounding schemes for cloaking problems governed by the Helmholtz equation. - Sven Leyffer; Paul Manns; Malte Winckler (Comput. Optim. Appl., 2021)

Approximation properties of sum-up rounding in the presence of vanishing constraints. - Paul Manns; Christian Kirches; Felix Lenders (Math. Comput., 2021)

Mixed-integer optimal control problems with switching costs: a shortest path approach. - Felix Bestehorn; Christoph Hansknecht; Christian Kirches; Paul Manns (Math. Program., 2021)

Compactness and convergence rates in the combinatorial integral approximation decomposition. - Christian Kirches; Paul Manns; Stefan Ulbrich (Math. Program., 2021)

Relaxed Multibang Regularization for the Combinatorial Integral Approximation. - Paul Manns (SIAM J. Control. Optim., 2021)

Switching Cost Aware Rounding for Relaxations of Mixed-Integer Optimal Control Problems: The 2-D Case. - Felix Bestehorn; Christoph Hansknecht; Christian Kirches; Paul Manns (IEEE Control. Syst. Lett., 2022)

Sequential Linearization Method for Bound-Constrained Mathematical Programs with Complementarity Constraints. - Christian Kirches; Jeffrey Larson 001; Sven Leyffer; Paul Manns (SIAM J. Optim., 2022)

A Simplified Newton Method to Generate Snapshots for POD Models of Semilinear Optimal Control Problems. - Paul Manns; Stefan Ulbrich (SIAM J. Numer. Anal., 2022)

Efficient Solution of Discrete Subproblems Arising in Integer Optimal Control with Total Variation Regularization. - Marvin Severitt; Paul Manns (INFORMS J. Comput., 2023)

On Integer Optimal Control with Total Variation Regularization on Multidimensional Domains. - Paul Manns; Annika Schiemann (SIAM J. Control. Optim., 2023)

Discretization of Total Variation in Optimization with Integrality Constraint. - Annika Schiemann; Paul Manns (CoRR, 2024)

Erratum: Multidimensional Sum-Up Rounding for Elliptic Control Systems. - Paul Manns; Christian Kirches (SIAM J. Numer. Anal., 2024)

Convergence of successive linear programming algorithms for noisy functions. - Christoph Hansknecht; Christian Kirches; Paul Manns (Comput. Optim. Appl., 2024)

Discretization of Total Variation in Optimization with Integrality Constraints. - Annika Schiemann; Paul Manns (SIAM J. Numer. Anal., 2025)