Wissenschaftliche Publikationen
2015
- Textual model-based software/system architecture documentation using MPS In Software Engineering & Management, volume 239, pages 232-237, 2015. Details URL BIB
2014
- Automatic Extraction of Probabilistic Workload Specifications for Load Testing Session-Based Application Systems In Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2014), November 2014. ACM. Details 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
- Deployment Calculation and Analysis for a Fail-Operational Automotive Platform In 1st Workshop on Engineering Dependable Systems of Systems (EDSoS), May 2014. Details URL BIB
- Semantic Integration of Semi-Structured Distributed Data in the Domain of IT Benchmarking - Towards a Domain Specific Ontology In 16th International Conference on Enterprise Information Systems (ICEIS 2014), pages 320-324, April 2014. SciTePress. Details DOI BIB
- A framework for reliability-aware embedded system design on multiprocessor platforms Microprocessors and Microsystems, 38(6):539–551, March 2014. Details DOI BIB
- Design Space Exploration and its Visualization in AutoFOCUS3 In Software Engineering (Workshops), pages 57–66, February 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), volume 8822 of LNCS, pages 137–151, 2014. Springer. Details DOI BIB
- Design Space Exploration in AutoFOCUS3 - An Overview In Vladimír Mařík , JoseL. Martinez Lastra and Petr Skobelev , editor, IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems, 2014. Springer, Details 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
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
- Security policies for distributed systems October 2013. Details URL BIB
- Sicher steuern mit Multicore-Prozessoren Computer & Automation, ():24-29, June 2013. Details URL BIB
- Model-Based Safety Cases in AutoFOCUS3 (Tool Demonstration) In Proceedings of the 1st International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2013), May 2013. Details URL BIB
- 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