conference-KramerMax.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},
  groups = {SDQ; KramerMax}
}

@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},
  groups = {SEQ; SDQ; HinkelGeorg; KramerMax; BurgerErik; StrittmatterMisha; HappeLucia}
}

@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},
  groups = {SDQ; KramerMax}
}

@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, Vitruv},
  title = {Change-Driven Consistency for Component Code, Architectural Models, and Contracts},
  url = {http://doi.acm.org/10.1145/2737166.2737177},
  year = {2015},
  groups = {SDQ; SEQ; KramerMax; LanghammerMichael; SeifermannStephan; BurgerErik}
}

@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 = {Vitruv,conference},
  groups = {SDQ; KramerMax; LanghammerMichael}
}

@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},
  groups = {SDQ; KramerMax}
}