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 and Kunz, Florian and Koert, Dorothea and Rose, Christian and Manns, Paul and Daun, Kevin and Schubert, Johannes and Stumpf, Alexander and Stryk, Oskar von (2015):
Towards Highly Reliable Autonomy for Urban Search and Rescue Robots.
In: RoboCup 2014: Robot World Cup XVIII, Springer, In: Lecture Notes in Artificial Intelligence (LNAI), 8992, [Online-Edition: https://www.springer.com/br/book/9783319186146],
[Conference or Workshop Item]

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

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

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

This list was generated on Tue Jul 23 01:50:04 2019 CEST.