TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 6.

Article

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
Article, Bibliographie

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
Article, Bibliographie

Conference or Workshop Item

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.
Conference or Workshop Item, Bibliographie

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).
Conference or Workshop Item, Bibliographie

Patzina, Lars ; Patzina, Sven ; Piper, Thorsten ; Manns, Paul
eds.: 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
Conference or Workshop Item, Bibliographie

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
Conference or Workshop Item, Bibliographie

This list was generated on Tue Jun 25 02:12:22 2024 CEST.