Wissenschaftliche Publikationen
2015
- AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems In ACES-MB&WUCOR@MoDELS 2015, . CEUR-WS.org, 1508 edition, 2015. Details URL BIB
2014
- A framework for reliability-aware embedded system design on multiprocessor platforms Microprocessors and Microsystems, 38(6):539–551, March 2014. Details DOI BIB
2013
- RACE: A Centralized Platform Computer Based Architecture for Automotive Applications In Vehicular Electronics Conference (VEC) and the International Electric Vehicle Conference (IEVC) (VEC/IEVC 2013), October 2013. IEEE. Details DOI BIB
- Reconfigurable Industrial Process Monitoring using the CHROMOSOME Middleware In The Fifth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2013), April 2013. ACM. Details BIB
- A Model-Driven Approach for Runtime Reliability Analysis In Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013. Details URL DOI BIB
2012
- 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
- Deriving fault-detection mechanisms from safety requirements Springer Computer Science - Research and Development, ():, 2012. Details URL DOI BIB
2011
- Middleware-Architekturen zur Integration von Systemen in Systems-of-Systems In Tagungsband Embedded Software Engineering Kongress, pages 38–42, Sindelfingen, Germany, December 2011. Details URL BIB
- Synthesis of Diagnostic Techniques Based on an IEC 61508-aware Metamodel In Proceedings of the 6th Symposium on Industrial Embedded Systems (SIES 2011), Work-in-Progress Session, June 2011. Details DOI BIB
- Multifunk: Self-Organizing Sensor Networks for Industrial Process Monitoring In Jian-Jia Chen , editor, Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'11), Work-in-Progress Session, pages 57–60, April 2011. Details URL BIB
- User-friendly Model Checking Integration in Model-based Development In Proceedings of the 24th International Conference on Computer Applications in Industry and Engineering, 2011. Details BIB
2010
- Vom Modell zum Code fuer IEC 61508, ISO 26262 und Co. In Proceedings of the 3rd Embedded Software Engineering Congress, December 2010. Details URL BIB
- Model-Based Specification of Timing Requirements In Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010), pages 239–248, Scottsdale, Arizona, USA, October 2010. Association for Computer Machinery. Details URL DOI BIB
- MultiNet: An Intelligent Sensor Cable In Fifth IEEE International Workshop on Practical Issues in Building Sensor Network Applications (SenseApp 2010), October 2010. IEEE. Details URL BIB
- Propagation, Transformation and Refinement of Safety Requirements In Proceedings of the 3rd Workshop on Non-functional System Properties in Domain Specific Modeling Languages, October 2010. Details URL BIB
- FTOS: Model-Driven Development of Fault-Tolerant Automation Systems Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation, ():, September 2010. Details URL DOI BIB
- Hardware-aware model-driven software development In ACACES 2010 Poster Abstracts, pages 89-92, Terrassa, Spain, July 2010. High-Performance Embedded Architecture and Compiliation Network of Excellence. Details BIB
- Towards and Adaptive Execution of Applications in Heterogeneous Embedded Networks In Software Engineering for Sensor Network Applications (SESENA 2010), May 2010. ACM/IEEE. Details URL BIB
- Formal Modeling of Safety Requirements in the Model-Driven Development of Safety Critical Embedded Systems In Proceedings of the Eighth European Dependable Computing Conference (EDCC 2010), April 2010. Details URL BIB
- Service Migration Scenarios for Embedded Networks In The Fifth International Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2010), April 2010. IEEE. Details URL BIB