Blättern nach Person
Ebene hoch |
Artikel
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
Konferenzveröffentlichung
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
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
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