Wednesday, 2017-02-08

FERDINAND Project Publications

  1. J. Happe, D. Westermann, K. Sachs, and L. Kapova. “Statistical Inference of Software Performance Models for Parametric Performance Completions”. In: Research into Practice – Reality and Gaps (Proceedings of QoSA 2010). Ed. by G. Heineman, J. Kofron, and F. Plasil. Vol. 6093. Lecture Notes in Computer Science (LNCS). Springer, 2010, pp. 20–35.
  2. L. Happe. Configurable software performance completions through higher-order model transformations. Karlsruhe, KIT, Dissertation, 2011. KIT, Campus Süd, Bibliothek der Fakultät für Informatik, 2011.
  3. L. Happe, B. Buhnova, and R. Reussner. “Stateful component-based performance models”. English. In: Software & Systems Modeling (SoSym) (2013), pp. 1–25.
  4. L. Happe, E. Burger, M. Kramer, A. Rentschler, and R. Reussner. “Completion and Extension Techniques for Enterprise Software Performance Engineering”. In: Future Business Software – Current Trends in Business Software Development. Ed. by G. Brunetti, T. Feld, J. Schnitter, L. Heuser, and C. Webel. Progress in IS. New York, Heidelberg: Springer, 2014, pp. 117–131.
  5. L. Kapova. “Reusable QoS Specifications for Systematic Component-based Design”. In: Proceedings of the 2nd ACM/SPEC International Conference on Performance Engineering. ICPE ’11. Poster abstract. Karlsruhe, Germany: ACM, 2011, pp. 415– 416.
  6. L. Kapova and S. Becker. “Systematic Refinement of Performance Models for Concurrent Component-based Systems”. In: 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). Electronic Notes in Theoretical Computer Science. Elsevier, 2010, pp. 73–90.
  7. L. Kapova and B. Buhnova. “Performance-driven stepwise refinement of component based architectures”. In: QUASOSS ’10: Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems. Oslo, Norway: ACM, 2010, pp. 1–7.
  8. L. Kapova, T. Goldschmidt, S. Becker, and J. Henss. “Evaluating Maintainability with Code Metrics for Model-to-Model Transformations”. In: Research into Practice - Reality and Gaps (Proceeding of QoSA 2010). Ed. by G. Heineman, J. Kofron, and F. Plasil. Vol. 6093. Lecture Notes in Computer Science (LNCS). Springer-Verlag Berlin Heidelberg, 2010, pp. 151–166.
  9. L. Kapova, T. Goldschmidt, J. Happe, and R. H. Reussner. “Domain-specific templates
    for refinement transformations”. In: MDI ’10: Proceedings of the First International Workshop on Model-Drive Interoperability. Oslo, Norway: ACM, 2010, pp. 69–78.
  10. L. Kapova and R. Reussner. “Application of Advanced Model-Driven Techniques in Performance Engineering”. In: Computer Performance Engineering. Ed. by A. Aldini, M. Bernardo, L. Bononi, and V. Cortellessa. Vol. 6342. Lecture Notes in Computer Science. 10.1007/978-3-642-15784-4 2. Springer Berlin / Heidelberg, 2010, pp. 17–36.
  11. L. Kapova, B. Zimmerova, A. Martens, J. Happe, and R. H. Reussner. “State Dependence in Performance Evaluation of Component-Based Software Systems”. In: Proceedings of the 1st Joint WOSP/SIPEW International Conference on Performance Engineering (WOSP/SIPEW ’10). San Jose, California, USA: ACM, 2010, pp. 37–48.
  12. A. Koziolek, L. Happe, A. Avritzer, and S. Suresh. “A Common Analysis Framework for Smart Distribution Networks Applied to Survivability Analysis of Distribution Automation”. In: Proceedings of the First International Workshop on Software Engineering Challenges for the Smart Grid (SE-SmartGrids 2012). IEEE, 2012, pp. 23– 29.
  13. A. Koziolek, Q. Noorshams, and R. Reussner. “Focussing Multi-objective Software Architecture Optimization Using Quality of Service Bounds”. In: Models in Software Engineering, Workshops and Symposia at MODELS 2010, Oslo, Norway, October 3-8, 2010, Reports and Revised Selected Papers. Ed. by J. Dingel and A. Solberg. Vol. 6627. Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg, 2011, pp. 384–399.
  14. T. Martinec, L. Marek, A. Steinhauser, P. Tuma, Q. Noorshams, A. Rentschler, and R. Reussner. “Constructing Performance Model of JMS Middleware Platform”. In: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering. ICPE ’14. Dublin, Ireland: ACM, 2014.
  15. Q. Noorshams, D. Bruhn, S. Kounev, and R. Reussner. “Predictive Performance Modeling of Virtualized Storage Systems using Optimized Statistical Regression Techniques”. In: Proceedings of the ACM/SPEC International Conference on Performance Engineering. ICPE ’13. Prague, Czech Republic: ACM, 2013, pp. 283–294.
  16. Q. Noorshams, A. Busch, S. Kounev, and R. Reussner. “The Storage Performance Analyzer: Measuring, Monitoring, and Modeling of I/O Performance in Virtualized Environments”. In: Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering. ICPE ’15. Invited demo paper. Austin, Texas, USA, 2015.
  17. Q. Noorshams, A. Busch, A. Rentschler, D. Bruhn, S. Kounev, P. Tuma, and R. Reussner. “Automated Modeling of I/O Performance and Interference Effects in Virtualized Storage Systems”. In: 34th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2014 Workshops). 4th International Workshop on Data Center Performance, DCPerf ’14. Madrid, Spain, 2014.
  18. Q. Noorshams, S. Kounev, and R. Reussner. “Experimental Evaluation of the Performance-Influencing Factors of Virtualized Storage Systems”. In: Computer Performance Engineering. 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers. Ed. by M. Tribastone and S. Gilmore. Vol. 7587. Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2013, pp. 63–79.
  19. Q. Noorshams, A. Martens, and R. Reussner. “Using Quality of Service Bounds for Effective Multi-objective Software Architecture Optimization”. In: Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems, QUASOSS ’10, Oslo, Norway, October 4, 2010. ACM, New York, NY, USA, 2010, 1:1–1:6.
  20. Q. Noorshams, R. Reeb, A. Rentschler, S. Kounev, and R. Reussner. “Enriching Software Architecture Models with Statistical Models for Performance Prediction in Modern Storage Environments”. In: Proceedings of the 17th International ACM Sigsoft Symposium on Component-Based Software Engineering. CBSE ’14. Lille, France, 2014.
  21. Q. Noorshams, A. Rentschler, S. Kounev, and R. Reussner. “A Generic Approach for Architecture-level Performance Modeling and Prediction of Virtualized Storage Systems”. In: Proceedings of the ACM/SPEC International Conference on Performance Engineering. ICPE ’13. Prague, Czech Republic: ACM, 2013, pp. 339–342.
  22. Q. Noorshams, K. Rostami, S. Kounev, and R. Reussner. “Modeling of I/O Performance Interference in Virtualized Environments with Queueing Petri Nets”. In: Proceedings of the IEEE 22nd International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems. MASCOTS ’14. France, Paris, 2014.
  23. Q. Noorshams, K. Rostami, S. Kounev, P. Tuma, and R. Reussner. “I/O Performance Modeling of Virtualized Storage Systems”. In: 2013 IEEE 21st International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems, San Francisco, CA, USA, August 14-16, 2013. IEEE, 2013, pp. 121–130.
  24. A. Rentschler, Q. Noorshams, L. Happe, and R. Reussner. “Interactive Visual Analytics for Efficient Maintenance of Model Transformations”. In: Proceedings of the 6th International Conference on Model Transformation (ICMT ’13), Budapest, Hungary. Ed. by K. Duddy and G. Kappel. Vol. 7909. Lecture Notes in Computer Science (LNCS). Springer, June 2013, pp. 141–157.
  25. A. Rentschler and P. Sterner. “Interactive Dependency Graphs for Model Transformation Analysis”. In: Joint Proceedings of MODELS’13 Invited Talks, Demonstration Session, Poster Session, and ACM Student Research Competition co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS ’13), Miami, USA, September 29 - October 4, 2013. Ed. by Y. Liu and S. Zschaler. Vol. 1115. CEUR Workshop Proceedings. CEUR-WS.org, Jan. 2014, pp. 36–40.
  26. A. Rentschler, D. Werle, Q. Noorshams, L. Happe, and R. Reussner. “Designing Information Hiding Modularity for Model Transformation Languages”. In: Proceedings of the 13th International Conference on Modularity (AOSD ’14), Lugano, Switzerland, April 22 - 26, 2014. New York, NY, USA: ACM, Apr. 2014, pp. 217–228.
  27. A. Rentschler, D. Werle, Q. Noorshams, L. Happe, and R. Reussner. “Remodularizing Legacy Model Transformations with Automatic Clustering Techniques”. In: Proceedings of the 3rd Workshop on the Analysis of Model Transformations (AMT@MODELS 2014), Valencia, Spain, September 29, 2014. Ed. by B. Baudry, J. Dingel, L. Lucio, and H. Vangheluwe. CEUR Workshop Proceedings. CEUR-WS.org, 2014.
  28. M. Strittmatter and L. Happe. “Compositional performance abstractions of software connectors”. In: Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering. ICPE ’12. Boston, Massachusetts, USA: ACM, 2012, pp. 275–278.
  29. R. Vaupel, Q. Noorshams, S. Kounev, and R. Reussner. “Using Queuing Models for Large System Migration Scenarios – An Industrial Case Study with IBM System z”. In: Computer Performance Engineering. 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings. Ed. by M. S. Balsamo, W. J. Knottenbelt, and A. Marin. Vol. 8168. Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2013, pp. 263–275.
  30. A. Wert, J. Happe, and L. Happe. “Supporting swift reaction: automatically uncovering performance problems by systematic experiments”. In: Proceedings of the 2013 International Conference on Software Engineering. ICSE ’13. San Francisco, CA, USA: IEEE Press, 2013, pp. 552–561.
  31. D. Ansaloni, W. Binder, C. Bockisch, E. Bodden, K. Hatun, L. Marek, Z. Qi, A. Sarimbekov, A. Sewe, P. Tuma, and Y. Zheng. “Challenges for Refinement and Composition of Instrumentations: Position Paper”. In: Software Composition. Ed. by T. Gschwind, F. Paoli, V. Gruhn, and M. Book. Vol. 7306. Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2012, pp. 86–96.
  32. D. Ansaloni, S. Kell, Y. Zheng, L. Bulej, W. Binder, and P. Tuma. “Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine”. In: ECOOP 2013 – Object-Oriented Programming. Ed. by G. Castagna. Vol. 7920. Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2013, pp. 352–377.
  33. M. Babka, T. Balyo, and J. Keznikl. “Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas”. In: Software Engineering Research, Management and Applications. Ed. by R. Lee. Vol. 496. Studies in Computational Intelligence. Springer International Publishing, 2014, pp. 231–246.
  34. M. Babka, T. Balyo, and J. Keznikl. “Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas”. In: Software Engineering Research, Management and Applications. Ed. by R. Lee. Vol. 496. Studies in Computational Intelligence. Springer International Publishing, 2014, pp. 231–246.
  35. V. Babka and P. Tuma. “Can Linear Approximation Improve Performance Prediction?” In: Computer Performance Engineering. Ed. by N. Thomas. Vol. 6977. Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2011, pp. 250–264.
  36. L. Bulej, T. Bures, V. Horky, J. Keznikl, and P. Tuma. “Performance Awareness in Component Systems: Vision Paper”. In: Computer Software and Applications Conference Workshops (COMPSACW), 2012 IEEE 36th Annual. 2012, pp. 514–519.
  37. L. Bulej, T. Burea, V. Horky ́, and J. Keznikl. “Adaptive Deployment in Ad-hoc Systems Using Emergent Component Ensembles: Vision Paper”. In: Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering. ICPE’13. Prague, Czech Republic: ACM, 2013, pp. 343–346.
  38. S. Kell, D. Ansaloni, W. Binder, and L. Marek. “The JVM is Not Observable Enough (and What to Do About It)”. In: Proceedings of the Sixth ACM Workshop on Virtual Machines and Intermediate Languages. VMIL ’12. Tucson, Arizona, USA: ACM, 2012, pp. 33–38.
  39. S. Kounev, P. Reinecke, F. Brosig, J. T. Bradley, K. Joshi, V. Babka, A. Stefanek, and S. Gilmore. “Providing Dependability and Resilience in the Cloud: Challenges and Opportunities”. In: Resilience Assessment and Evaluation of Computing Systems. Ed. by K. Wolter, A. Avritzer, M. Vieira, and A. P. A. van Moorsel. Springer, 2012, pp. 65–81.
  40. P. Libic, L. Bulej, V. Horky, and P. Tuma. “On the Limits of Modeling Generational Garbage Collector Performance”. In: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering. ICPE ’14. Dublin, Ireland: ACM, 2014, pp. 15–26.
  41. L. Marek, Y. Zheng, D. Ansaloni, A. Sarimbekov, W. Binder, P. Tuma, and Z. Qi. “Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis”. In: Programming Languages and Systems. Ed. by R. Jhala and A. Igarashi. Vol. 7705. Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2012, pp. 256–263.
  42. L. Marek, S. Kell, Y. Zheng, L. Bulej, W. Binder, P. Tuma, D. Ansaloni, A. Sarimbekov, and A. Sewe. “ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform”. In: Proceedings of the 12th International Conference on Generative Programming: Concepts & Experiences. GPCE ’13. Indianapolis, Indiana, USA: ACM, 2013, pp. 105–114.
  43. L. Marek, A. Villaz ́on, Y. Zheng, D. Ansaloni, W. Binder, and Z. Qi. “DiSL: A Domain-specific Language for Bytecode Instrumentation”. In: Proceedings of the 11th Annual International Conference on Aspect-oriented Software Development. AOSD
    ’12. Potsdam, Germany: ACM, 2012, pp. 239–250.
  44. L. Marek, Y. Zheng, D. Ansaloni, L. Bulej, A. Sarimbekov, W. Binder, and Z. Qi. “Introduction to Dynamic Program Analysis with DiSL”. In: Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering. ICPE ’13. Prague, Czech Republic: ACM, 2013, pp. 429–430.
  45. A. Sarimbekov, A. Sewe, S. Kell, Y. Zheng, W. Binder, L. Bulej, and D. Ansaloni. “A Comprehensive Toolchain for Workload Characterization Across JVM Languages”. In: Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. PASTE ’13. Seattle, Washington: ACM, 2013, pp. 9–16.
  46. A. Sarimbekov, Y. Zheng, D. Ansaloni, L. Bulej, L. Marek, W. Binder, P. Tuma, and Z. Qi. “Productive Development of Dynamic Program Analysis Tools with DiSL”. In: Proceedings of the 2013 22Nd Australian Conference on Software Engineering. ASWEC ’13. Washington, DC, USA: IEEE Computer Society, 2013, pp. 11–19.
  47. Y. Zheng, D. Ansaloni, L. Marek, A. Sewe, W. Binder, A. Villazon, P. Tuma, Z. Qi, and M. Mezini. “Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation”. In: Objects, Models, Components, Patterns. Ed. by C. A. Furia and S. Nanz. Vol. 7304. Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2012, pp. 353–368.