Liste als BibTeX-Datei exportieren

2023

• Juni 2023 Formal Verification for Safe AI-based Flight Planning for UAVs Radouane Bouchekir , Michell Guzman Cancimance , Cook Alasdair , Johannes Haindl und Riqaq Woolnough In 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Juni 2023. IEEE. Details URL DOI BIB

2021

• Februar 2021 RMC Factory: A New Approach for Avionics Software Reuse Laurent Dieudonne , Andreas Bayha und Benedikt Müller In 3rd Workshop on Avionics Systems and Software Engineering (AvioSE21, SE 2021 Satellite Events), Band 2814, Februar 2021. CEUR-WS. Details URL BIB

2017

• 2017 Tool Support for Live Formal Verification Vincent Aravantinos und Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Seiten 145-155, 2017. Details DOI BIB

2015

• November 2015 Modeling Big Data Systems by Extending the Palladio Component Model Johannes Kroß , Andreas Brunnert und Helmut Krcmar Softwaretechnik-Trends, 35(3):, November 2015. Details URL BIB
• Februar 2015 Automatic Extraction of Session-Based Workload Specifications for Architecture-Level Performance Models. Christian Vögele , André van Hoorn und Helmut Krcmar In Proceedings of the International Workshop on Large-Scale Testing, Seiten 5-8, Februar 2015. ACM. Details BIB
• 2015 Towards a Performance Model Management Repository for Component-based Enterprise Applications Andreas Brunnert , Alexandru Danciu und Helmut Krcmar In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Seiten 321–324, New York, NY, USA, 2015. ACM. Details URL DOI BIB

2014

• 2014 Detecting Performance Change in Enterprise Application Versions Using Resource Profiles Andreas Brunnert und Helmut Krcmar In Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, Seiten 165 - 172, ICST, Brussels, Belgium, Belgium, 2014. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering). Details URL DOI BIB
• 2014 Using Architecture-Level Performance Models as Resource Profiles for Enterprise Applications. Andreas Brunnert , Kilian Wischer und Helmut Krcmar In Proceedings of the 10th ACM SIGSOFT International Conference on the Quality of Software Architectures (QoSA), New York, NY, USA, 2014. ACM. Details URL DOI BIB

2013

• 2013 Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications Andreas Brunnert , Christian Vögele und Helmut Krcmar In MariaSimonetta Balsamo , William J. Knottenbelt und Andrea Marin , Editor, Computer Performance Engineering, 10th European Workshop on Performance Engineering, Band 8168 von Lecture Notes in Computer Science, Seiten 74-88. Springer Berlin Heidelberg, 2013. Details DOI BIB

2010

• 2010 EasyKit - Eine allgemeine Methodik für die Entwicklung von Steuerungskomponenten Simon Barner , Michael Geisinger , Jia Huang , Alois Knoll , Holger Bönicke , Christoph Ament , Jochen Mades , Reinhard Pittschellis und Gerd Bauer In Jürgen Gausemeier , Franz Ramming , Wilhelm Schäfer und Ansgar Trächtler , Editor, Entwurf mechatronischer Systeme, Band 272 von HNI-Verlagsschriftenreihe, Seiten 23–36, Paderborn, Germany, 2010. Details BIB