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: 4.

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.
In: Lecture Notes in Artificial Intelligence (LNAI), 8992, In: RoboCup 2014: Robot World Cup XVIII, p. 118,
Springer, [Conference or Workshop Item]

Patzina, Lars ; Patzina, Sven ; Piper, Thorsten ; Manns, Paul (2013):
Model-based Generation of Run-time Monitors for AUTOSAR.
In: Lecture Notes in Computer Science (LNCS), 7949, pp. 70-85, Heidelberg, Springer Verlag, Modelling Foundations and Applications - 9th European Conference (ECMFA 2013), [Conference or Workshop Item]

Patzina, Lars ; Patzina, Sven ; Piper, Thorsten ; Manns, Paul
Gorp, Pieter Van ; Ritter, Tom ; Rose, Louis (eds.) (2013):
Model-Based Generation of Run-Time Monitors for AUTOSAR.
In: Lecture Notes in Computer Science, 7949, In: Modelling Foundations and Applications, pp. 70--85,
Springer, Montpellier, ISBN 978-3-642-39012-8,
DOI: 10.1007/978-3-642-39013-5_6,
[Conference or Workshop Item]

Piper, Thorsten ; Winter, Stefan ; Manns, Paul ; Suri, Neeraj (2012):
Instrumenting AUTOSAR for Dependability Assessment: A Guidance Framework.
In: DSN '12, In: Proceedings of the 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 1-12,
IEEE Computer Society, Boston, MA, USA, ISBN 978-1-4673-1624-8,
DOI: 10.1109/DSN.2012.6263913,
[Conference or Workshop Item]

This list was generated on Tue Oct 19 02:49:24 2021 CEST.