Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2015
- AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems In ACES-MB&WUCOR@MoDELS 2015, . CEUR-WS.org, 1508 Ausgabe, 2015. Details URL BIB
2014
- A framework for reliability-aware embedded system design on multiprocessor platforms Microprocessors and Microsystems, 38(6):539–551, März 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), Oktober 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), Seiten 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, Seiten 38–42, Sindelfingen, Germany, Dezember 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, Juni 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, Seiten 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, Dezember 2010. Details URL BIB
- Model-Based Specification of Timing Requirements In Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010), Seiten 239–248, Scottsdale, Arizona, USA, Oktober 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), Oktober 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, Oktober 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, Seiten 89-92, Terrassa, Spain, Juli 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), Mai 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