Wissenschaftliche Publikationen
2014
- Balancing Exploration and Exploitation in Sampling-Based Motion Planning IEEE Transactions on Robotics, 30(6):1305–1317, December 2014. Details DOI BIB
- Distributed MILS architectural approach for secure smart grids In Smart Grid Security, pages 16–29, August 2014. Springer International Publishing. Details DOI BIB
- Understanding and closing the gap between requirements on system and subsystem level In Model-Driven Requirements Engineering Workshop (MoDRE), 2014 IEEE 4th International, pages 77-86, August 2014. Details DOI BIB
- Cloudburst - Simulating Workload for IaaS Clouds In Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, pages 841–848, June 2014. IEEE. Details URL DOI BIB
- A pattern-based approach towards the guided reuse of safety mechanisms in the automotive domain In Proceedings of the International Symposium on Model-Based Safety and Assessment (IMBSA 2014), volume 8822 of LNCS, pages 137–151, 2014. Springer. Details DOI BIB
- Practitioners' and Researchers' Expectations on Design Space Exploration for Multicore Systems in the Automotive and Avionics Domains: A Survey In Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, pages 1:1–1:10, New York, NY, USA, 2014. ACM. Details DOI BIB
- Synthesis of Pareto Efficient Technical Architectures for Multi-core Systems In Computer Software and Applications Conference Workshops (COMPSACW), 2014 IEEE 38th International, 2014. Details DOI BIB
- Using Performance Models to Support Load Testing in a Large SOA Environment In Proceedings of the Third International Workshop on Large Scale Testing, pages 5-6, New York, NY, USA, 2014. ACM. Details DOI BIB
2013
- Deployment and Scheduling Synthesis for Mixed-Critical Shared Memory Applications In Proceedings of the Engineering Computer-Based Systems Conference (ECBS '13), pages 100–109, Phoenix, AZ, USA, April 2013. IEEE. Details DOI BIB
- Towards Modular Certification using Integrated Model-Based Safety Cases In Proceedings of the International Workshop on Verification and Assurance (VeriSure 2013) (co-located with CAV), 2013. Springer. Details URL BIB
2012
- Binding requirements and component architecture by using model-based test-driven development In 2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks), pages 27–30, September 2012. Details DOI BIB
- Demo Abstract: An Inverted Pendulum demonstrator for Timed Model-based Design of Embedded Systems In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS), pages 224, April 2012. Details DOI BIB
- Visual Odometry based on Random Finite Set Statistics in Urban Environment In Intelligent Vehicles Symposium (IV), 2012 IEEE, 2012. Details URL DOI BIB
2010
2009
- A Software Architecture for Model-Based Programming of Robot Systems In Advances in Robotics Research – Theory, Implementation, Application, pages 135–146, June 2009. Springer. Details DOI BIB
2008
- Rapid Prototyping of an Adaptive Light-source for Mobile Manipulators with EasyKit and EasyLab In Proceedings of the 8th International Conference on Solid State Lighting: Applications, SPIE Optics and Photonics, Illumination Engineering, August 2008. Details DOI BIB
- EasyLab: Model-Based Development of Software for Mechatronic Systems In IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, pages 540–545, Beijing, China, 2008. Details DOI BIB
- Accelerating Integral Histograms Using an Adaptive Approach In Abderrahim Elmoataz , Olivier Lezoray , Fathallah Nouboud and Driss Mammass , editor, Image and Signal Processing, volume 5099 of LNCS, pages 209–217. Springer, Berlin Heidelberg, 2008. Details DOI BIB