inproceedings_kramer.bib

@incollection{alferez2011a,
  abstract = {The last decade has seen the development of diverse aspect-oriented modeling (AOM) approaches. This paper presents eight different AOM approaches that produce models at different level of abstraction. The approaches are different with respect to the phases of the development lifecycle they target, and the support they provide for model composition and verification. The approaches are illustrated by models of the same concern from a case study to enable comparing of their expressive means. Understanding common elements and differences of approaches clarifies the role of aspect-orientation in the software development process.},
  affiliation = {Universidade Nova de Lisboa, Portugal},
  author = {Mauricio Alf{\'e}rez and Nuno Am{\'a}lio and Selim Ciraci and Franck Fleurey and J{\"o}rg Kienzle and Jacques Klein and Max Kramer and Sebastien Mosser and Gunter Mussbacher and Ella Roubtsova and Gefei Zhang},
  booktitle = {Modelling Foundations and Applications},
  editor = {Robert France and Jochen Kuester and Behzad Bordbar and Richard Paige},
  isbn = {978-3-642-21469-1},
  keyword = {Computer Science},
  pages = {361--376},
  publisher = {Springer Berlin / Heidelberg},
  series = {Lecture Notes in Computer Science},
  tags = {conference},
  title = {Aspect-Oriented Model Development at Different Levels of Abstraction},
  url = {http://dx.doi.org/10.1007/978-3-642-21470-7_25},
  volume = {6698},
  year = {2011}
}
@incollection{happe2014a,
  author = {Lucia Happe and Erik Burger and Max Kramer and Andreas Rentschler and Ralf Reussner},
  booktitle = {Future Business Software -- Current Trends in Business Software Development},
  doi = {10.1007/978-3-319-04144-5},
  editor = {Gino Brunetti and Thomas Feld and Joachim Schnitter and Lutz Heuser and Christian Webel},
  isbn = {978-3-319-04143-8},
  issn = {2196-8705},
  location = {New York, Heidelberg},
  pages = {117-131},
  publisher = {Springer International Publishing},
  series = {Progress in IS},
  tags = {invited},
  title = {{Completion and Extension Techniques for Enterprise Software Performance Engineering}},
  year = {2014}
}
@inproceedings{hinkel2016a,
  author = {Hinkel, Georg and Kramer, Max and Burger, Erik and Strittmatter, Misha and Happe, Lucia},
  title = {{An Empirical Study on the Perception of Metamodel Quality}},
  booktitle = {Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development},
  abstract = {{Despite the crucial importance of metamodeling for Model- Driven Engineering (MDE), there is still little discussion about the quality of metamodel design and its consequences in model-driven development processes. Presumably, the quality of metamodel design strongly affects the models and transformations that conform to these metamodels. However, so far surprisingly few work has been done to validate the characterization of metamodel quality. A proper characterization is essential to automate quality improvements for metamodels such as metamodel refactorings. In this paper, we present an empirical study to sharpen the understanding of the perception of metamodel quality. In the study, 24 participants created metamodels of two different domains and evaluated the metamodels in a peer review process according to an evaluation sheet. The results show that the perceived quality was mainly driven by the metamodels completeness, correctness and modularity while other quality attributes could be neglected.}},
  location = {Rome, Italy},
  day = {19--21},
  month = {February},
  year = {2016},
  tags = {refereed,conference},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/hinkel2016a.pdf},
  pages = {145-152},
  isbn = {978-989-758-168-7},
  url = {http://www.scitepress.org/DigitalLibrary/PublicationsDetail.aspx?ID=9KRBAJDhYyc%3d}
}
@inproceedings{kramer2012b,
  abstract = {Extending metamodels to account for new concerns has a major influence on existing instances, transformations and tools. To minimize the impact on existing artefacts, various techniques for extending a metamodel are available, for example, decorators and annotations. The Palladio Component Model (PCM) is a metamodel for predicting quality of component-based software architectures. It is continuously extended in order to be applicable in originally unexpected domains and settings. Nevertheless, a common extension approach for the PCM and for the tools built on top of it is still missing. In this paper, we propose a lightweight extension approach for the PCM based on profiles and stereotypes to close this gap. Our approach is going to reduce the development effort for new PCM extensions by handling both the definition and use of extensions in a generic way. Due to a strict separation of the PCM, its extension domains, and the connections in between, the approach also increases the interoperability of PCM extensions.},
  address = {Karlsruhe},
  author = {Max E. Kramer and Zoya Durdik and Michael Hauck and J{\"o}rg Henss and Martin K{\"u}ster and Philipp Merkle and Andreas Rentschler},
  booktitle = {Palladio Days 2012 Proceedings (appeared as technical report)},
  editor = {Steffen Becker and Jens Happe and Anne Koziolek and Ralf Reussner},
  pages = {7--15},
  pdf = {http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/2350659},
  publisher = {KIT, Faculty of Informatics},
  series = {Karlsruhe Reports in Informatics ; 2012,21},
  tags = {workshop},
  title = {{Extending the Palladio Component Model using Profiles and Stereotypes}},
  url = {http://nbn-resolving.org/urn:nbn:de:swb:90-308043},
  year = {2012}
}
@incollection{kramer2011a,
  abstract = {When aspect-oriented modeling techniques are used in the context of Model-Driven Engineering, a possible way of obtaining an executable from an aspect-oriented model is to map it to code written in an aspect-oriented programming language. This paper outlines the most important challenges that arise when defining such a mapping: mapping structure and behavior of a single aspect, mapping instantiation of structure and behavior in target models, mapping conflict resolution between aspects, and mapping aspect dependencies and variability. To explain these mapping issues, our paper presents details on how to map Reusable Aspect Models (RAM) to AspectJ source code. The ideas are illustrated by presenting example models and corresponding mapped code from the AspectOptima case study.},
  affiliation = {Karlsruhe Institute of Technology, Karlsruhe, Germany},
  author = {Max E. Kramer and J{\"o}rg Kienzle},
  booktitle = {Models in Software Engineering},
  editor = {Juergen Dingel and Arnor Solberg},
  isbn = {978-3-642-21209-3},
  keyword = {Computer Science},
  pages = {125--139},
  publisher = {Springer Berlin / Heidelberg},
  series = {Lecture Notes in Computer Science},
  tags = {workshop},
  title = {Mapping Aspect-Oriented Models to Aspect-Oriented Code},
  url = {http://dx.doi.org/10.1007/978-3-642-21210-9_12},
  volume = {6627},
  year = {2011}
}
@inproceedings{kramer2012a,
  abstract = {In the construction industry an increasing number of buildings is designed using semantically rich three-dimensional models. In parallel, additional information called building specifications is specified in a text file using natural language. As not all details are present in the model these specifications have to be interpreted whenever costs are estimated or other analysis is performed. In this paper, we argue that building specifications are cross-cutting concerns. We also argue that domain experts shall be given the possibility to formulate buildings specifications using a domain-specific aspect language so that the corresponding details can automatically be integrated into the model. Moreover these domain-exports shall define the semantics of this language iteratively in order to have a flexible support for domain-specific abstractions absent in the building metamodel. This model enriching specification could improve various tasks that take details into account that were so far only covered by the specification text. It would also allow for earlier or even concurrent development of the building specification along with the model.},
  acmid = {2162047},
  address = {New York, NY, USA},
  author = {Max E. Kramer and Jacques Klein and Jim R.H. Steel},
  booktitle = {Proceedings of the seventh workshop on Domain-Specific Aspect Languages},
  doi = {10.1145/2162037.2162047},
  isbn = {978-1-4503-1128-1},
  keywords = {aom, dsal, dsml, mde, model weaving},
  location = {Potsdam, Germany},
  numpages = {4},
  pages = {29--32},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kramer2012a.pdf},
  publisher = {ACM},
  series = {DSAL '12},
  tags = {workshop},
  title = {Building specifications as a domain-specific aspect language},
  url = {http://doi.acm.org/10.1145/2162037.2162047},
  year = {2012}
}
@incollection{kramer2013a,
  author = {Kramer, Max E. and Klein, Jacques and Steel, Jim R. H. and Morin, Brice and Kienzle, J\"{o}rg and Barais, Olivier and J\'{e}z\'{e}quel, Jean-Marc},
  booktitle = {Theory and Practice of Model Transformations},
  doi = {10.1007/978-3-642-38883-5_12},
  editor = {Duddy, Keith and Kappel, Gerti},
  isbn = {978-3-642-38882-8},
  pages = {108-124},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kramer2013a.pdf},
  publisher = {Springer Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  tags = {conference},
  title = {Achieving Practical Genericity in Model Weaving through Extensibility},
  url = {http://dx.doi.org/10.1007/978-3-642-38883-5_12},
  volume = {7909},
  year = {2013}
}
@inproceedings{kramer2013b,
  acmid = {2489864},
  address = {New York, NY, USA},
  articleno = {5},
  author = {Kramer, Max E. and Burger, Erik and Langhammer, Michael},
  booktitle = {Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling},
  doi = {10.1145/2489861.2489864},
  isbn = {978-1-4503-2070-2},
  keywords = {component-based software architectures, model-driven engineering, synchronization, view-based modeling},
  location = {Montpellier, France},
  numpages = {6},
  pages = {5:1--5:6},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kramer2013b.pdf},
  publisher = {ACM},
  series = {VAO '13},
  tags = {workshop},
  title = {View-centric engineering with synchronized heterogeneous models},
  url = {http://doi.acm.org/10.1145/2489861.2489864},
  year = {2013}
}
@inproceedings{kramer2014a,
  author = {Max E. Kramer},
  booktitle = {Software Engineering 2014 -- Fachtagung des GI-Fachbereichs Softwaretechnik},
  editor = {Wilhelm Hasselbring and Nils Christian Ehmke},
  isbn = {978-388579-621-3},
  issn = {1617-5468},
  location = {Kiel, Germany},
  note = {Doctoral Symposium},
  pages = {233-236},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kramer2014a.pdf},
  publisher = {Gesellschaft f\"{u}r Informatik e.V.\ (GI)},
  series = {GI Lecture Notes in Informatics},
  tags = {doctoral-symposium},
  title = {Synchronizing Heterogeneous Models in a View-Centric Engineering Approach},
  url = {http://subs.emis.de/LNI/Proceedings/Proceedings227/P-227.pdf},
  volume = {227},
  year = {2014}
}
@inproceedings{kramer2014b,
  acmid = {2631676},
  address = {New York, NY, USA},
  articleno = {7},
  author = {Kramer, Max E. and Langhammer, Michael},
  booktitle = {Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling},
  doi = {10.1145/2631675.2631676},
  isbn = {978-1-4503-2900-2},
  keywords = {Model-Driven Software Engineering, Software Architectures},
  location = {York, United Kingdom},
  numpages = {4},
  pages = {7:7--7:10},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kramer2014b.pdf},
  publisher = {ACM},
  series = {VAO '14},
  tags = {workshop},
  title = {Proposal for a Multi-View Modelling Case Study: Component-Based Software Engineering with UML, Plug-ins, and Java},
  url = {http://doi.acm.org/10.1145/2631675.2631676},
  year = {2014}
}
@inproceedings{kramer2015a,
  acmid = {2737177},
  address = {New York, NY, USA},
  author = {Kramer, Max E. and Langhammer, Michael and Messinger, Dominik and Seifermann, Stephan and Burger, Erik},
  booktitle = {Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering},
  doi = {10.1145/2737166.2737177},
  isbn = {978-1-4503-3471-6},
  keywords = {co-evolution, formal specification, model-driven engineering},
  location = {Montr\'{e}al, QC, Canada},
  numpages = {6},
  pages = {21--26},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kramer2015a.pdf},
  publisher = {ACM},
  series = {CBSE '15},
  tags = {conference},
  title = {Change-Driven Consistency for Component Code, Architectural Models, and Contracts},
  url = {http://doi.acm.org/10.1145/2737166.2737177},
  year = {2015}
}
@inproceedings{kramer2015c,
  acmid = {2737194},
  address = {New York, NY, USA},
  author = {Kramer, Max E.},
  booktitle = {Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures},
  doi = {10.1145/2737182.2737194},
  isbn = {978-1-4503-3470-9},
  keywords = {co-evolution, model synchronization, model-driven software engineering, transformations, view-based modeling},
  location = {Montr\'{e}al, QC, Canada},
  note = {20th International Doctoral Symposium on Components and Architecture (WCOP '15)},
  numpages = {6},
  pages = {129--134},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kramer2015c.pdf},
  publisher = {ACM},
  series = {QoSA '15},
  tags = {doctoral-symposium},
  title = {A Generative Approach to Change-Driven Consistency in Multi-View Modeling},
  url = {http://doi.acm.org/10.1145/2737182.2737194},
  year = {2015}
}
@inproceedings{kramer2016a,
  author = {Max E. Kramer and Kirill Rakhman},
  title = {Automated Inversion of Attribute Mappings in Bidirectional Model Transformations},
  booktitle = {Proceedings of the 5th International Workshop on Bidirectional Transformations (Bx 2016)},
  editor = {Anthony Anjorin and Jeremy Gibbons},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  pages = {61--76},
  location = {Eindhoven, The Netherlands},
  pdf = {http://ceur-ws.org/Vol-1571/paper_4.pdf},
  volume = {1571},
  year = {2016},
  url = {http://nbn-resolving.org/urn:nbn:de:0074-1571-4},
  issn = {1613-0073},
  tags = {workshop}
}
@inproceedings{fiss2016a,
  author = {Sebastian Fiss and Max E. Kramer and Michael Langhammer},
  title = {Automatically Binding Variables of Invariants to Violating Elements in an OCL-Aligned XBase-Language},
  booktitle = {Proceedings of Modellierung 2016},
  pdf = {http://subs.emis.de/LNI/Proceedings/Proceedings254/189.pdf},
  year = {2016},
  series = {Lecture Notes in Informatics (LNI)},
  isbn = {978-3-88579-648-0},
  issn = {1617-5468},
  editor = {Andreas Oberweis and Ralf Reussner},
  volume = {P-254},
  publisher = {Gesellschaft f\"{u}r Informatik e.V.\ (GI)},
  address = {Bonn, Germany},
  pages = {189--204},
  abstract = {Constraints that have to hold for all models of a modeling language are often specified as invariants using the Object Constraint Language (OCL). If violations of such invariants shall be documented or resolved in a software system, the exact model elements that violate these conditions have to be computed. OCL validation engines provide, however, only a single context element at which a check for a violated invariant originated. Therefore, the computation of elements that caused an invariant violation is often specified in addition to the invariant declaration with redundant information. These redundancies can make it hard to develop and maintain systems that document or resolve invariant violations. In this paper, we present an automated approach and tool for declaring and binding parameters of invariants to violating elements based on boolean invariant expressions that are similar to OCL invariants. The tool computes a transformed invariant that returns violating elements for each iterator variable of the invariant expression that matches an explicitly declared invariant parameter. The approach can be used for OCL invariants and all models of languages conforming to the Meta-Object Facility (MOF) standard. We have evaluated our invariant language and transformation tool by transforming 88 invariants of the Unified Modeling Language (UML).},
  tags = {conference}
}
@inproceedings{langhammer2013a,
  acmid = {2489866},
  address = {New York, NY, USA},
  articleno = {6},
  author = {Langhammer, Michael and Lehrig, Sebastian and Kramer, Max E.},
  booktitle = {Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling},
  doi = {10.1145/2489861.2489866},
  isbn = {978-1-4503-2070-2},
  keywords = {component-based software engineering, model driven software development, model-to-text transformation, view-based engineering},
  location = {Montpellier, France},
  numpages = {5},
  pages = {6:1--6:5},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/langhammer2013a.pdf},
  publisher = {ACM},
  series = {VAO '13},
  tags = {workshop},
  title = {Reuse and configuration for code generating architectural refinement transformations},
  url = {http://doi.acm.org/10.1145/2489861.2489866},
  year = {2013}
}
@incollection{langhammer2014a,
  author = {Langhammer, Michael and Kramer, Max E.},
  booktitle = {Fachgruppenbericht des 2. Workshops ``Modellbasierte und Modellgetriebene Softwaremodernisierung''},
  issn = {0720-8928},
  pdf = {http://pi.informatik.uni-siegen.de/stt/34_2/01_Fachgruppenberichte/MMSM2014/MMSM2014_Paper8.pdf},
  publisher = {Gesellschaft f{\"u}r Informatik e.V.\ (GI)},
  series = {Software{\-}technik-Trends},
  tags = {workshop},
  title = {Determining the Intent of Code Changes to Sustain Attached Model Information During Code Evolution},
  url = {http://pi.informatik.uni-siegen.de/stt/34_2},
  volume = {34 (2)},
  year = {2014}
}
@inproceedings{nguyen2013a,
  abstract = {To face continuously growing security threats and requirements, sound methodologies for constructing secure systems are required. In this context, Model-Driven Security (MDS) has emerged since more than a decade ago as a specialized Model-Driven Engineering approach for supporting the development of secure systems. MDS aims at improving the productivity of the development process and quality of the resulting secure systems, with models as the main artifact. This paper presents how we systematically examined existing published work in MDS and its results. The systematic review process, which is based on a formally designed review protocol, allowed us to identify, classify, and evaluate different MDS approaches. To be more specific, from thousands of relevant papers found, a final set of the most relevant MDS publications has been identified, strictly selected, and reviewed. We present a taxonomy for MDS, which is used to synthesize data in order to classify and evaluate the selected MDS approaches. The results draw a wide picture of existing MDS research showing the current status of the key aspects in MDS as well as the identified most relevant MDS approaches. We discuss the main limitations of the existing MDS approaches and suggest some potential research directions based on these insights.},
  author = {Phu H. Nguyen and Jacques Klein and Max E. Kramer and Yves Le Traon},
  booktitle = {Proceedings of the 2013 20th Asia-Pacific Software Engineering Conference},
  doi = {10.1109/APSEC.2013.64},
  issn = {1530-1362},
  keywords = {security of data;MDS;MDS publications;formally designed review protocol;model-driven engineering approach;model-driven security;secure systems;security threats;Business;Data mining;Data models;Protocols;Security;Taxonomy;Unified modeling language;model;model transformations;model-driven;model-driven security;security;survey;systematic review},
  pages = {432-441},
  publisher = {IEEE Computer Society},
  tags = {conference},
  title = {A Systematic Review of Model-Driven Security},
  volume = {1},
  year = {2013}
}
@inproceedings{klare2016a,
  author = {Heiko Klare and Michael Langhammer and Max E. Kramer},
  booktitle = {4th Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO)},
  series = {VAO '16},
  title = {{Projecting UML Class Diagrams from Java Code Models}},
  year = {2016},
  month = {March},
  location = {Karlsruhe, Germany},
  url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000053686},
  pages = {11--18},
  institution = {Karlsruhe Institute of Technology},
  issn = {2190-4782},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/klare2016a.pdf}
}
@inproceedings{kramer2016c,
  author = {Max E. Kramer and Georg Hinkel and Heiko Klare and Michael Langhammer and Erik Burger},
  title = {A Controlled Experiment Template for Evaluating the Understandability of Model Transformation Languages},
  booktitle = {Proceedings of the Second International Workshop on Human Factors in Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016)},
  venue = {Saint Malo, France},
  month = {October},
  year = {2016},
  volume = {1805},
  pages = {11--18},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  pdf = {http://ceur-ws.org/Vol-1805/Kramer2016HuFaMo.pdf},
  url = {http://nbn-resolving.org/urn:nbn:de:0074-1805-5},
  issn = {1613-0073},
  tags = {workshop}
}
@inproceedings{seifermann2016d,
  author = {Stephan Seifermann and Kateryna Yurchenko and Max E. Kramer},
  booktitle = {Symposium on Software Performance (SSP)},
  title = {Challenges to Trading-Off Performance and Privacy of Component-Based Systems},
  year = {2016},
  tags = {refereed,workshop},
  publisher = {Gesellschaft f{\"u}r Informatik e.V.\ (GI)},
  series = {Software{\-}technik-Trends},
  volume = {36(4)},
  issn = {0720-8928},
  pdf = {http://pi.informatik.uni-siegen.de/gi/stt/36_4/01_Fachgruppenberichte/SSP2016/ssp-stt/04-Challenges_to_Trading-Off_Performance_and_Privacy_of_Component-Based_Systems.pdf}
}
@inproceedings{klare2017models,
  author = {Heiko Klare and Erik Burger and Max E. Kramer and Michael Langhammer and Timur Saglam and Ralf Reussner},
  title = {Ecoreification: Making Arbitrary Java Code Accessible to Metamodel-Based Tools},
  booktitle = {ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017)},
  year = {2017},
  month = {September},
  day = {17--22},
  location = {Austin, Texas},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1109/MODELS.2017.30},
  url = {https://doi.org/10.1109/MODELS.2017.30},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/klare2017models.pdf}
}
@inproceedings{yurchenko2017architecture,
  title = {{Architecture-Driven Reduction of Specification Overhead for Verifying Confidentiality in Component-Based Software Systems}},
  author = {Yurchenko, Kateryna and Behr, Moritz and Klare, Heiko and Kramer, Max and Reussner, Ralf},
  booktitle = {MoDeVVa@ MoDELS},
  year = {2017},
  note = {{accepted, to appear}}
}