Wissenschaftliche Publikationen
2014
- Detecting Performance Change in Enterprise Application Versions Using Resource Profiles In Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, pages 165 - 172, ICST, Brussels, Belgium, Belgium, 2014. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering). Details URL DOI BIB
2013
- 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
- Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications In MariaSimonetta Balsamo , William J. Knottenbelt and Andrea Marin , editor, Computer Performance Engineering, 10th European Workshop on Performance Engineering, volume 8168 of Lecture Notes in Computer Science, pages 74-88. Springer Berlin Heidelberg, 2013. 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), pages 27–30, September 2012. Details DOI BIB
2011
- 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