Export list as BibTeX file

2018

• 2018 Full contract verification for ATL using symbolic execution Bentley James Oakes, Javier Troya, Levi Lúcio and Manuel Wimmer Software & Systems Modeling, 17():815–849, 2018. Details DOI BIB

2017

• 2017 Modular Transformation from AF3 to nuXmv Sudeep Kanav and Vincent Aravantinos In Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations, pages 300–306, Details URL BIB
• 2017 Tool Support for Live Formal Verification Vincent Aravantinos and Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pages 145-155, Details DOI BIB

2015

• February 2015 Automatic Extraction of Session-Based Workload Specifications for Architecture-Level Performance Models. Christian Vögele, André van Hoorn and Helmut Krcmar In Proceedings of the International Workshop on Large-Scale Testing, pages 5-8, ACM. Details BIB
• 2015 Towards a Performance Model Management Repository for Component-based Enterprise Applications Andreas Brunnert, Alexandru Danciu and Helmut Krcmar In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, pages 321–324, New York, NY, USA, ACM. Details URL DOI BIB
• 2015 Using Dynatrace Monitoring Data for Generating Performance Models of Java EE Applications Felix Willnecker, Andreas Brunnert, Wolfgang Gottesheim and Helmut Krcmar In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, pages 103-104, New York, NY, USA, ACM. Details URL DOI BIB

2014

• November 2014 Automatic Extraction of Probabilistic Workload Specifications for Load Testing Session-Based Application Systems André van Hoorn, Christian Vögele, Eike Schulz, Wilhelm Hasselbring and Helmut Krcmar In Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2014), ACM. Details BIB
• August 2014 Distributed MILS architectural approach for secure smart grids Denis Bytschkow, Jean Quilbeuf, Georgeta Igna and Harald Rueß In Smart Grid Security, pages 16–29, Springer International Publishing. Details DOI BIB
• August 2014 Understanding and closing the gap between requirements on system and subsystem level Sabine Teufl, Wolfgang Böhm and Ralf Pinger In Model-Driven Requirements Engineering Workshop (MoDRE), 2014 IEEE 4th International, pages 77-86, Details DOI BIB
• 2014 Detecting Performance Change in Enterprise Application Versions Using Resource Profiles Andreas Brunnert and Helmut Krcmar In Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, pages 165 - 172, ICST, Brussels, Belgium, Belgium, ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering). Details URL DOI BIB