Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2014
- Balancing Exploration and Exploitation in Sampling-Based Motion Planning IEEE Transactions on Robotics, 30(6):1305–1317, Dezember 2014. Details DOI BIB
- Distributed MILS architectural approach for secure smart grids In Smart Grid Security, Seiten 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, Seiten 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, Seiten 841–848, Juni 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), Band 8822 von LNCS, Seiten 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, Seiten 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, Seiten 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), Seiten 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), Seiten 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), Seiten 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, Seiten 135–146, Juni 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, Seiten 540–545, Beijing, China, 2008. Details DOI BIB
- Accelerating Integral Histograms Using an Adaptive Approach In Abderrahim Elmoataz , Olivier Lezoray , Fathallah Nouboud und Driss Mammass , Editor, Image and Signal Processing, Band 5099 von LNCS, Seiten 209–217. Springer, Berlin Heidelberg, 2008. Details DOI BIB