2022

Manns, Paul ; Ulbrich, Stefan (2022)
A Simplified Newton Method to Generate Snapshots for POD Models of Semilinear Optimal Control Problems.
In: SIAM Journal on Numerical Analysis, 60 (5)
doi: 10.1137/21M1439821
Artikel, Bibliographie

2021

Kirches, Christian ; Manns, Paul ; Ulbrich, Stefan (2021)
Compactness and convergence rates in the combinatorial integral approximation decomposition.
In: Mathematical Programming: Series A, Series B, 188 (2)
doi: 10.1007/s10107-020-01598-8
Artikel, Bibliographie

2015

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

2013

Patzina, Lars ; Patzina, Sven ; Piper, Thorsten ; Manns, Paul (2013)
Model-based Generation of Run-time Monitors for AUTOSAR.
Modelling Foundations and Applications - 9th European Conference (ECMFA 2013).
Konferenzveröffentlichung, Bibliographie

Patzina, Lars ; Patzina, Sven ; Piper, Thorsten ; Manns, Paul
Hrsg.: Gorp, Pieter Van ; Ritter, Tom ; Rose, Louis (2013)
Model-Based Generation of Run-Time Monitors for AUTOSAR.
Montpellier
doi: 10.1007/978-3-642-39013-5_6
Konferenzveröffentlichung, Bibliographie

2012

Piper, Thorsten ; Winter, Stefan ; Manns, Paul ; Suri, Neeraj (2012)
Instrumenting AUTOSAR for Dependability Assessment: A Guidance Framework.
Boston, MA, USA
doi: 10.1109/DSN.2012.6263913
Konferenzveröffentlichung, Bibliographie