Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2015
- RACE RTE: A Runtime Environment for Robust Fault-Tolerant Vehicle Functions In 3rd Workshop on Critical Automotive applications - Robustness & Safety (CARS), Paris, France, September 2015. Details URL BIB
- Optimizing Schedules for Adaptable Manufacturing Systems In IEEE Conference on Emerging Technologies and Factory Automation, September 2015. IEEE. Details DOI BIB
- The SFIT tool: Supporting assembly planners to deal with new product variants In Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), September 2015. IEEE. Details DOI BIB
- Efficient Impact Analysis of Changes in the Requirements of Manufacturing Automation Systems IFAC Proceedings Volumes, 48(3):1482–1489, August 2015. Details DOI BIB
- Formalizing Performance Degradation Strategies as an Enabler for Selfhealing Smart Energy Systems In Tagungsband Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme XI Model-Based Development of Embedded Systems, April 2015. Dagstuhl-Workshop MBEES: Eleventh Workshop on Modellbasierte Entwicklung Eingebetteter Systeme, Details URL BIB
- Safety Case Driven Model-Based Systems Construction In Proceedings of the 2nd International IFIP Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC 2015), April 2015. Details URL BIB
- Deployment Calculation and Analysis for a Fault-Tolerant System Platform In 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), Seiten 100-109, März 2015. Details URL BIB
- An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures In IEEE 18th International Conference on Intelligent Transportation Systems (ITSC), 2015. Details DOI BIB
- Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems In 18th IEEE Symposium on Real-Time Distributed Computing (ISORC), 2015. IEEE. Details DOI BIB
- 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
- Automating Design-Space Exploration: Optimal Deployment of Automotive SW-Components in an ISO26262 Context In Design Automation Conference (DAC), 2015 52st ACM/EDAC/IEEE, 2015. Details DOI BIB
- Textual model-based software/system architecture documentation using MPS In Software Engineering & Management, Band 239, Seiten 232-237, 2015. Details URL BIB
2014
- 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
- Deployment Calculation and Analysis for a Fail-Operational Automotive Platform In 1st Workshop on Engineering Dependable Systems of Systems (EDSoS), Mai 2014. Details URL BIB
- Design Space Exploration and its Visualization in AutoFOCUS3 In Software Engineering (Workshops), Seiten 57–66, Februar 2014. Details URL BIB
- A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems In Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM), 2014. Details DOI BIB
- A Pattern-based Approach towards Modular Safety Analysis and Argumentation In Embedded Real Time Software and Systems Conference (ERTS 2014), Toulouse, France, 2014. Details 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
- Design Space Exploration in AutoFOCUS3 - An Overview In Vladimír Mařík , JoseL. Martinez Lastra und Petr Skobelev , Editor, IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems, 2014. Springer, Details BIB