@incollection{mobi19,
  year = {2019},
  title = {Integration of Development Interface Agreement, Supplier Safety Assessment and Safety Management for Driver Assistance Systems},
  booktitle = {Mobilit{\"{a}}t in Zeiten der Ver{\"{a}}nderung},
  author = {Frese, Thomas and C{\^{o}}t{\'{e}}, Isabelle and Hatebur, Denis and Heisel, Maritta},
  publisher = {Springer},
  pages = {241 -- 251},
  url = {www.springer.com}
}

@proceedings{,
  year = {2019},
  title = {Combining Safety and Security in Autonomous Cars Using Blockchain Technologies},
  booktitle = {Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP)},
  author = {Davi, Lucas and Hatebur, Denis and Heisel, Maritta and Wirtz, Roman},
  publisher = {Springer},
  url = {www.springer.com}
}

@incollection{mobi2018,
  year = {2018},
  title = {Functional Safety Processes and Driver Assistance Systems: Evolution or Revolution?},
  booktitle = {Mobilit{\"{a}}t und digitale Transformation - Technische und betriebswirtschaftliche Aspekte},
  author = {Frese, Thomas and Hatebur, Denis and C{\^{o}}t{\'{e}}, Isabelle and Heisel, Maritta},
  publisher = {Springer},
  pages = {199 - 216},
  url = {www.springer.com}
}

@inproceedings{Wirtz18,
  year = {2018},
  title = {Problem-based Elicitation of Security Requirements - The ProCOR Method},
  booktitle = {Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, {ENASE} 2018, Funchal, Madeira, Portugal, March 23-24, 2018.},
  author = {Wirtz, Roman and Heisel, Maritta and Meis, Rene and Omerovic, Aida and St{\o}len, Ketil},
  publisher = {SciTePress},
  pages = {26--38},
  url = {https://doi.org/10.5220/0006669400260038},
  doi = {10.5220/0006669400260038}
}

@article{Beckers2016-4,
  year = {2017},
  title = {A structured and systematic model-based development method for automotive systems, considering the OEM/supplier interface},
  author = {Beckers, Kristian and C{\^{o}}t{\'{e}}, Isabelle and Frese, Thomas and Hatebur, Denis and Heisel, Maritta},
  journal = {Reliability Engineering \& System Safety},
  volume = {158},
  pages = {172 - 184},
  note = {Special Sections : Reliability and Safety Certification of Software-Intensive Systems},
  url = {http://www.sciencedirect.com/science/article/pii/S0951832016304057},
  doi = {10.1016/j.ress.2016.08.018}
}

@incollection{CCIS17,
  year = {2017},
  title = {Facilitating Reuse of Control Software through Context Modelling based on the Six-Variable Model},
  booktitle = {Software Technologies},
  author = {Ulfat-Bunyadi, Nelufar and Meis, Rene and Heisel, Maritta},
  publisher = {Springer},
  volume = {743},
  series = {Communications in Computer and Information Science},
  pages = {332-358},
  url = {http://www.springer.com}
}

@inproceedings{CDMAKE17,
  year = {2017},
  title = {Online Self-disclosure: From Users' Regrets to Instructional Awareness},
  booktitle = {Machine Learning and Knowledge Extraction - First {IFIP} {TC} 5, {WG} 8.4, 8.9, 12.9 International Cross-Domain Conference, {CD-MAKE} 2017, Reggio di Calabria, Italy, August 29 - September 1, 2017, Proceedings},
  author = {Diaz Ferreyra, Nicol{\'{a}}s E. and Meis, Rene and Heisel, Maritta},
  publisher = {Springer},
  volume = {10410},
  series = {LNCS},
  pages = {83--102},
  url = {https://doi.org/10.1007/978-3-319-66808-6_7},
  doi = {10.1007/978-3-319-66808-6_7}
}

@inproceedings{EuroPLoP17,
  year = {2017},
  title = {Aspect Frames – Describing Cross-Cutting Concerns in Aspect-Oriented Requirements Engineering},
  booktitle = {Proceedings of the 22nd European Conference on Pattern Languages of Programs},
  author = {Meis, Rene and Heisel, Maritta},
  publisher = {ACM},
  number = {25},
  series = {EuroPLoP '17},
  pages = {28},
  url = {https://doi.org/10.1145/3147704.3147732},
  doi = {3147704.3147732}
}

@article{Information2017,
  year = {2017},
  title = {Computer-Aided Identification and Validation of Intervenability Requirements},
  author = {Meis, Rene and Heisel, Maritta},
  journal = {Information},
  volume = {8},
  number = {30},
  url = {http://www.mdpi.com/2078-2489/8/1/30},
  doi = {10.3390/info8010030}
}

@inproceedings{KDKEKM17,
  year = {2017},
  title = {Should User-generated Content be a Matter of Privacy Awareness? - {A} Position Paper},
  booktitle = {Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - (Volume 3), Funchal, Madeira, Portugal, November 1-3, 2017.},
  author = {Diaz Ferreyra, Nicol{\'{a}}s E. and Meis, Rene and Heisel, Maritta},
  publisher = {SciTePress},
  pages = {212--216},
  url = {https://doi.org/10.5220/0006517302120216},
  doi = {10.5220/0006517302120216}
}

@article{mobi2017,
  year = {2017},
  title = {Deriving Safety Requirements according to ISO 26262 for complex systems: A method applied in the automotive industrie},
  author = {Frese, Thomas and Heisel, Maritta and Hatebur, Denis and C{\^{o}}t{\'{e}}, Isabelle},
  journal = {Innovative Produkte und Dienstleisungen in der Mobilit{\"{a}}t},
  volume = {Wissenschaftsforum Mobilit{\"{a}}t 8},
  pages = {211-222}
}

@inproceedings{SEC17,
  year = {2017},
  title = {Towards Systematic Privacy and Operability ({PRIOP}) Studies},
  booktitle = {ICT Systems Security and Privacy Protection},
  author = {Meis, Rene and Heisel, Maritta},
  publisher = {Springer},
  volume = {502},
  series = {IFIP AICT},
  pages = {427--441},
  url = {http://dx.doi.org/10.1007/978-3-319-58469-0_29},
  doi = {10.1007/978-3-319-58469-0_29}
}

@inproceedings{TrustBus17,
  year = {2017},
  title = {Pattern-based Representation of Privacy Enhancing Technologies as Early Aspects},
  booktitle = {Trust, Privacy, and Security in Digital Business},
  author = {Meis, Rene and Heisel, Maritta},
  publisher = {Springer International Publishing},
  volume = {10442},
  series = {LNCS},
  pages = {49--65},
  url = {https://doi.org/10.1007/978-3-319-64483-7_4},
  doi = {10.1007/978-3-319-64483-7_4}
}

@inproceedings{UHH-ASS2017,
  year = {2017},
  title = {Performing a More Realistic Safety Analysis by Means of the Six-Variable Model},
  booktitle = {Automotive - Safety & Security 2017},
  author = {Ulfat-Bunyadi, Nelufar and Hatebur, Denis and Heisel, Maritta},
  publisher = {GI},
  volume = {P-269},
  series = {Lecture Notes in Informatics},
  pages = {135-148},
  url = {https://dl.gi.de/handle/20.500.12116/152}
}

@article{Alebrahim:2016:VQS:2853073.2853095,
  year = {2016},
  title = {Variability for Qualities in Software Architecture},
  author = {Alebrahim, Azadeh and Fa{\ss}bender, Stephan and Filipczyk, Martin and Goedicke, Michael and Heisel, Maritta and Zdun, U.},
  journal = {SIGSOFT Softw. Eng. Notes},
  publisher = {ACM},
  volume = {41},
  number = {1},
  pages = {32--35},
  url = {https://dl.acm.org/citation.cfm?doid=2853073.2853095},
  doi = {10.1145/2853073.2853095}
}

@inproceedings{CCIS16,
  year = {2016},
  title = {Supporting Privacy Impact Assessments using Problem-based Privacy Analysis},
  booktitle = {Software Technologies - 10th International Joint Conference, {ICSOFT} 2015, Revised Selected Papers},
  author = {Meis, Rene and Heisel, Maritta},
  publisher = {Springer},
  volume = {586},
  series = {Communications in Computer and Information Science},
  pages = {79--98},
  url = {http://dx.doi.org/10.1007/978-3-319-30142-6_5},
  doi = {10.1007/978-3-319-30142-6_5}
}

@inproceedings{ICSOFT16a,
  year = {2016},
  title = {The Six-Variable Model - Context Modelling Enabling Systematic Reuse of Control Software},
  booktitle = {Proceedings of the 11th International Joint Conference on Software Technologies {(ICSOFT} 2016)},
  author = {Ulfat-Bunyadi, Nelufar and Meis, Rene and Heisel, Maritta},
  publisher = {SciTePress},
  pages = {15--26},
  url = {http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0005944100150026},
  doi = {10.5220/0005944100150026}
}

@inproceedings{ICSOFT16b,
  year = {2016},
  title = {Introducing Product Line Engineering in a Bottom-up Approach},
  booktitle = {Proceedings of the 11th International Joint Conference on Software Technologies {(ICSOFT} 2016)},
  author = {Ulfat-Bunyadi, Nelufar and Meis, Rene and Mohammadi, Nazila Gol and Heisel, Maritta},
  publisher = {SciTePress},
  pages = {146--153},
  url = {http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0006006001460153},
  doi = {10.5220/0006006001460153}
}

@article{Information16,
  year = {2016},
  title = {Computer-Aided Identification and Validation of Privacy Requirements},
  author = {Meis, Rene and Heisel, Maritta},
  journal = {Information},
  publisher = {MDPI},
  volume = {7},
  number = {28},
  url = {http://www.mdpi.com/2078-2489/7/2/28},
  doi = {10.3390/info7020028}
}

@inproceedings{TrustBus16,
  year = {2016},
  title = {Understanding the Privacy Goal Intervenability},
  booktitle = {Trust, Privacy, and Security in Digital Business},
  author = {Meis, Rene and Heisel, Maritta},
  publisher = {Springer},
  volume = {9830},
  series = {LNCS},
  pages = {79--94},
  url = {https://link.springer.com/chapter/10.1007/978-3-319-44341-6_6},
  doi = {10.1007/978-3-319-44341-6_6}
}

@inproceedings{Alebrahim:2015:WVQ:2797433.2797455,
  year = {2015},
  title = {1st Workshop on VAriability for QUalIties in SofTware Architecture (VAQUITA): Workshop Introduction},
  booktitle = {Proceedings of the 2015 European Conference on Software Architecture Workshops},
  author = {Alebrahim, Azadeh and Fa{\ss}bender, Stephan and Filipczyk, Martin and Goedicke, Michael and Heisel, Maritta and Zdun, U.},
  publisher = {ACM},
  series = {ECSAW '15},
  pages = {22:1--22:2},
  url = {https://dl.acm.org/citation.cfm?doid=2797433.2797455},
  doi = {10.1145/2797433.2797455}
}

@inproceedings{AlebrahimFassbenderFGH2015ACM-europlopb,
  year = {2015},
  title = {Relating Performance and Security Tactics to Architectural Patterns},
  booktitle = {Proceedings of the 20th European Conference on Pattern Languages of Program},
  author = {Alebrahim, Azadeh and Fa{\ss}bender, Stephan and Filipczyk, Martin and Goedicke, Michael and Heisel, Maritta},
  publisher = {ACM},
  series = {EuroPLoP '15},
  note = {To be Published},
  url = {https://dl.acm.org/}
}

@inproceedings{CCIS15a,
  year = {2015},
  title = {A Problem-, Quality-, and Aspect-Oriented Requirements Engineering Method},
  booktitle = {Software Technologies - 9th International Joint Conference, {ICSOFT} 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers},
  author = {Fa{\ss}bender, Stephan and Heisel, Maritta and Meis, Rene},
  publisher = {Springer},
  volume = {555},
  series = {Communications in Computer and Information Science},
  pages = {291--310},
  url = {http://dx.doi.org/10.1007/978-3-319-25579-8_17},
  doi = {10.1007/978-3-319-25579-8_17}
}

@incollection{CCIS15b,
  year = {2015},
  title = {Problem-Based Security Requirements Elicitation and Refinement with PresSuRE},
  booktitle = {Software Technologies - 9th International Joint Conference, {ICSOFT} 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers},
  author = {Fa{\ss}bender, Stephan and Heisel, Maritta and Meis, Rene},
  publisher = {Springer},
  volume = {555},
  series = {Communications in Computer and Information Science},
  pages = {311--330},
  url = {http://dx.doi.org/10.1007/978-3-319-25579-8_18},
  doi = {10.1007/978-3-319-25579-8_18}
}

@inproceedings{EMLS2015,
  year = {2015},
  title = {Challenges in Rendering and Maintaining Trustworthiness for Long-Living Software Systems},
  booktitle = {Proceedings of the 2nd Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems (EMLS), GI Software Engineering Tagung SE},
  author = {Alebrahim, Azadeh and Mohammadi, Nazila Gol and Heisel, Maritta},
  publisher = {CEUR-WS.org},
  volume = {1337},
  series = {{CEUR} Workshop Proceedings},
  pages = {103--105},
  url = {http://ceur-ws.org/Vol-1337/paper14.pdf}
}

@inproceedings{Europlop2015-1,
  year = {2015},
  title = {Applying Performance Patterns for Requirements Analysis},
  booktitle = {Proceedings of the 20th European Conference on Pattern Languages of Programs (EuroPLoP)},
  author = {Alebrahim, Azadeh and Heisel, Maritta},
  publisher = {ACM},
  url = {https://dl.acm.org/citation.cfm?id=2855357}
}

@inproceedings{Europlop2015-2,
  year = {2015},
  title = {Towards Systematic Selection of Architectural Patterns with Respect to Quality Requirements},
  booktitle = {Proceedings of the 20th European Conference on Pattern Languages of Programs (EuroPLoP)},
  author = {Alebrahim, Azadeh and Fa{\ss}bender, Stephan and Filipczyk, Martin and Goedicke, Michael and Heisel, Maritta},
  publisher = {ACM},
  url = {https://dl.acm.org/citation.cfm?id=2855362}
}

@inproceedings{fs2015,
  year = {2015},
  title = {A Structured Validation and Verification Method for Automotive Systems considering the OEM/Supplier Interface},
  booktitle = {Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP)},
  author = {Beckers, Kristian and C{\^{o}}t{\'{e}}, Isabelle and Frese, Thomas and Hatebur, Denis and Heisel, Maritta},
  publisher = {Springer},
  volume = {9337},
  pages = {90 - 107},
  url = {www.springer.com}
}

@inproceedings{ICSOFT15,
  year = {2015},
  title = {Systematic Identification of Information Flows from Requirements to support Privacy Impact Assessments},
  booktitle = {{ICSOFT-PT} 2015 - Proc. of the 10th Int. Conf. on Software Paradigm Trends},
  author = {Meis, Rene and Heisel, Maritta},
  publisher = {SciTePress},
  pages = {43-52},
  url = {http://dx.doi.org/10.5220/0005518500430052},
  doi = {10.5220/0005518500430052}
}

@inproceedings{TrustBus2015,
  year = {2015},
  title = {A Taxonomy of Requirements for the Privacy Goal Transparency},
  booktitle = {Trust, Privacy, and Security in Digital Business},
  author = {Meis, Rene and Heisel, Maritta and Wirtz, Roman},
  publisher = {Springer},
  series = {LNCS 9264},
  pages = {195-209},
  url = {http://dx.doi.org/10.5220/0005518500430052},
  doi = {10.5220/0005518500430052}
}

@inproceedings{,
  year = {2015},
  title = {Towards a Reliable Mapping between Performance and Security Tactics, and Architectural Patterns},
  booktitle = {Proceedings of the 20th European Conference on Pattern Languages of Programs (EuroPLoP)},
  author = {Alebrahim, Azadeh and Fa{\ss}bender, Stephan and Filipczyk, Martin and Goedicke, Michael and Heisel, Maritta},
  publisher = {ACM},
  url = {https://dl.acm.org/citation.cfm?id=2855361}
}

@inproceedings{Alebrahim-cdares2014,
  year = {2014},
  title = {Towards Developing Secure Software using Problem-oriented Security Patterns},
  booktitle = {Proceedings of the 6th International Cross-Domain Conference on Availability, Reliability, and Security in Information Systems and HCI (CD-ARES)},
  author = {Alebrahim, Azadeh and Heisel, Maritta},
  publisher = {Springer},
  series = {LNCS 8708},
  pages = {45-62},
  url = {https://link.springer.com/}
}

@inproceedings{Alebrahim-europlop2014,
  year = {2014},
  title = {Problem-oriented Security Patterns for Requirements Engineering},
  booktitle = {Proceedings of the 19th European Conference on Pattern Languages of Programs (EuroPLoP)},
  author = {Alebrahim, Azadeh and Heisel, Maritta},
  publisher = {ACM},
  note = {Accepted},
  url = {https://dl.acm.org/citation.cfm?id=2721963}
}

@inproceedings{APF2012,
  year = {2014},
  title = {A Problem-based Approach for Computer Aided Privacy Threat Identification},
  booktitle = {Privacy Technologies and Policy},
  author = {Beckers, Kristian and Fa{\ss}bender, Stephan and Heisel, Maritta and Meis, Rene},
  publisher = {Springer},
  volume = {8319},
  series = {LNCS},
  pages = {1-16},
  url = {http://dx.doi.org/10.1007/978-3-642-54069-1_1},
  doi = {10.1007/978-3-642-54069-1_1}
}

@incollection{ASDENCA2014,
  year = {2014},
  title = {Towards a Computer-aided Problem-oriented Variability Requirements Engineering Method},
  booktitle = {Advanced Information Systems Engineering Workshops},
  author = {Alebrahim, Azadeh and Fa{\ss}bender, Stephan and Filipczyk, Martin and Goedicke, Michael and Heisel, Maritta and Konersmann, Marco},
  publisher = {Springer},
  series = {LNBIP 178},
  pages = {136-147},
  url = {https://link.springer.com/}
}

@article{Beckers2014-IJIS,
  year = {2014},
  title = {A Structured Method for Security Requirements Elicitation concerning the Cloud Computing Domain},
  author = {Beckers, Kristian and C{\^{o}}t{\'{e}}, Isabelle and Goeke, Ludger and G{\"{u}}ler, Selim and Heisel, Maritta},
  journal = {International Journal of Secure Software Engineering (IJSSE) - Special Issue on 7th International Workshop on Secure Software Engineering (SecSE 2013)},
  publisher = {IGI Global},
  volume = {5},
  number = {2},
  pages = {19 -- 41},
  url = {http://www.igi-global.com}
}

@article{Beckers2014-Jowua,
  year = {2014},
  title = {Supporting Common Criteria Security Analysis with Problem Frames},
  author = {Beckers, Kristian and Hatebur, Denis and Heisel, Maritta},
  journal = {Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA)},
  publisher = {Innovative Information Science \& Technology Research Group (ISYOU)},
  volume = {5},
  number = {1},
  pages = {37-63},
  url = {http://isyou.info/}
}

@inproceedings{BeckersFassbender2014-europlop-A,
  year = {2014},
  title = {A Meta-Pattern and Pattern Form For Context-Patterns},
  booktitle = {Proceedings of the 19th European Conference on Pattern Languages of Programs (Europlop)},
  author = {Beckers, Kristian and Fa{\ss}bender, Stephan and Heisel, Maritta},
  publisher = {ACM},
  series = {EuroPloP'14},
  pages = {5:1--5:23},
  url = {http://doi.acm.org/10.1145/2721956.2721979},
  doi = {10.1145/2721956.2721979}
}

@inproceedings{BeckersFassbender2014-europlop-B,
  year = {2014},
  title = {Deriving a Pattern Language Syntax for Context-Patterns},
  booktitle = {Proceedings of the 19th European Conference on Pattern Languages of Programs (Europlop)},
  author = {Beckers, Kristian and Fa{\ss}bender, Stephan and Heisel, Maritta},
  publisher = {ACM},
  series = {EuroPLoP '14},
  pages = {2:1--2:25},
  url = {http://doi.acm.org/10.1145/2721956.2721967},
  doi = {10.1145/2721956.2721967}
}

@inproceedings{BFassbenderHS2014,
  year = {2014},
  title = {A Threat Analysis Methodology for Smart Home Scenarios},
  booktitle = {Smart Grid Security, Proceddings of the Second International Workshop (SmartGridSec)},
  author = {Beckers, Kristian and Fa{\ss}bender, Stephan and Heisel, Maritta and Suppan, Santiago},
  publisher = {Springer},
  volume = {8448},
  series = {Lecture Notes in Computer Science},
  pages = {94-124},
  url = {http://link.springer.com/chapter/10.1007/978-3-319-10329-7_7},
  doi = {10.1007/978-3-319-10329-7_7}
}

@inproceedings{BHKMY2014,
  year = {2014},
  title = {{C}onsidering {A}ttacker {M}otivation in {A}ttack {G}raphs {A}nalysis in a {S}mart {G}rid {S}cenario},
  booktitle = {Proceedings of the Second Open EIT ICT Labs Workshop on Smart Grid Security (SmartGridSec14)},
  author = {Beckers, Kristian and Heisel, Maritta and Krautsevich, Leanid and Martinelli, Fabio and Yautsiukhin, Artsiom},
  publisher = {Springer Berlin Heidelberg},
  series = {LNCS 8448},
  pages = {Pages 30-47},
  url = {http://www.springerlink.com/}
}

@inproceedings{BHSS2014,
  year = {2014},
  title = {ISMS-CORAS: A Structured Method for Establishing an ISO 27001 Compliant Information Security Management System},
  booktitle = {Advances in Engineering Secure Future Internet Services and Systems},
  author = {Beckers, Kristian and Heisel, Maritta and Solhaug, Bj{\o}rnar and St{\o}len, Ketil},
  publisher = {Springer},
  number = {8431},
  series = {LNCS State-of-the-Art Surveys},
  pages = {315-344},
  url = {https://link.springer.com/}
}

@inproceedings{FassbenderH13_SDT,
  year = {2014},
  title = {A Computer Aided Process From Problems to Laws in Requirements Engineering},
  booktitle = {Software Technologies},
  author = {Fa{\ss}bender, Stephan and Heisel, Maritta},
  publisher = {Springer},
  volume = {457},
  series = {Communications in Computer and Information Science},
  pages = {215-234},
  url = {http://link.springer.com/chapter/10.1007%2F978-3-662-44920-2_14},
  doi = {10.1007/978-3-662-44920-2_14}
}

@inproceedings{ICSEA2014,
  year = {2014},
  title = {Intertwining Relationship between Requirements, Architecture, and Domain Knowledge},
  booktitle = {Proceedings of the 9th International Conference on Software Engineering Advances (ICSEA)},
  author = {Alebrahim, Azadeh and Heisel, Maritta},
  volume = {421},
  series = {IFIP Advances in Information and Communication Technology},
  pages = {150--162}
}

@inproceedings{ICSOFT14Aspects,
  year = {2014},
  title = {Aspect-oriented Requirements Engineering with Problem Frames},
  booktitle = {{ICSOFT-PT} 2014 - Proc. of the 9th Int. Conf. on Software Paradigm Trends},
  author = {Fa{\ss}bender, Stephan and Heisel, Maritta and Meis, Rene},
  publisher = {SciTePress},
  pages = {145-156},
  url = {http://dx.doi.org/10.5220/0005001801450156},
  doi = {10.5220/0005001801450156}
}

@inproceedings{ICSOFT14Pressure,
  year = {2014},
  title = {Functional Requirements Under Security {PresSuRE}},
  booktitle = {{ICSOFT-PT} 2014 - Proc. of the 9th Int. Conf. on Software Paradigm Trends},
  author = {Fa{\ss}bender, Stephan and Heisel, Maritta and Meis, Rene},
  publisher = {SciTePress},
  pages = {5-16},
  url = {http://dx.doi.org/10.5220/0005098600050016},
  doi = {10.5220/0005098600050016}
}

@inproceedings{Lopez2014,
  year = {2014},
  title = {A Structured Comparison of Security Standards},
  booktitle = {Advances in Engineering Secure Future Internet Services and Systems},
  author = {Beckers, Kristian and C{\^{o}}t{\'{e}}, Isabelle and Fenz, Stefan and Hatebur, Denis and Heisel, Maritta},
  publisher = {Springer},
  number = {8431},
  series = {LNCS State-of-the-Art Surveys},
  pages = {1-34},
  url = {http://www.springerlink.com/}
}

@inproceedings{MGBH2014,
  year = {2014},
  title = {Enhancing Problem Frames with Trust and Reputation for Analyzing Smart Grid Security Requirements},
  booktitle = {Proceedings of the Second Open EIT ICT Labs Workshop on Smart Grid Security (SmartGridSec14)},
  author = {Moyano, Francisco and Fernandez-Gago, Carmen and Beckers, Kristian and Heisel, Maritta},
  publisher = {Springer},
  series = {LNCS 8448},
  pages = {166 -- 180},
  url = {http://www.springerlink.com/}
}

@inproceedings{REFSQ2014,
  year = {2014},
  title = {Problem-Based Requirements Interaction Analysis},
  booktitle = {Proceedings of the International Working Conference on Requirements Engineering: Foundation for Software Quality ({REFSQ})},
  author = {Alebrahim, Azadeh and Fa{\ss}bender, Stephan and Heisel, Maritta and Meis, Rene},
  publisher = {Springer},
  series = {LNCS 8396},
  pages = {200--215},
  url = {http://dx.doi.org/10.1007/978-3-319-05843-6_15},
  doi = {10.1007/978-3-319-05843-6_15}
}

@inproceedings{safecomp2014,
  year = {2014},
  title = {{Systematic Derivation of Functional Safety Requirements for Automotive Systems}},
  booktitle = {Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP)},
  author = {Beckers, Kristian and C{\^{o}}t{\'{e}}, Isabelle and Frese, Thomas and Hatebur, Denis and Heisel, Maritta},
  publisher = {Springer},
  series = {LNCS 8666},
  pages = {65--80},
  url = {https://link.springer.com/}
}

@inproceedings{SmartGridSec14,
  year = {2014},
  title = {Determining the Probability of Smart Grid Attacks by Combining Attack Tree and Attack Graph Analysis},
  booktitle = {Smart Grid Security - Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers},
  author = {Beckers, Kristian and Heisel, Maritta and Krautsevich, Leanid and Martinelli, Fabio and Meis, Rene and Yautsiukhin, Artisom},
  publisher = {Springer},
  series = {LNCS 8448},
  pages = {30--47},
  url = {http://dx.doi.org/10.1007/978-3-319-10329-7_3},
  doi = {10.1007/978-3-319-10329-7_3}
}

@incollection{SQ2014,
  year = {2014},
  title = {A Structured Approach for Eliciting, Modeling, and Using Quality-Related Domain Knowledge},
  booktitle = {Proceedings of the 14th International Conference on Computational Science and Its Applications (ICCSA)},
  author = {Alebrahim, Azadeh and Heisel, Maritta and Meis, Rene},
  publisher = {Springer},
  series = {LNCS 8583},
  pages = {370--386},
  url = {http://dx.doi.org/10.1007/978-3-319-09156-3_27},
  doi = {10.1007/978-3-319-09156-3_27}
}

@incollection{SQSA2014,
  year = {2014},
  title = {Optimizing functional and quality requirements according to stakeholders' goals},
  booktitle = {System Quality and Software Architecture (SQSA)},
  author = {Alebrahim, Azadeh and Choppy, Christine and Fa{\ss}bender, Stephan and Heisel, Maritta},
  publisher = {Elsevier},
  pages = {75-120}
}

@inproceedings{TrustBus2014,
  year = {2014},
  title = {Privacy-Aware Cloud Deployment Scenario Selection},
  booktitle = {Trust, Privacy, and Security in Digital Business},
  author = {Beckers, Kristian and Fa{\ss}bender, Stephan and Gritzalis, Stefanos and Heisel, Maritta and Kalloniatis, Christos and Meis, Rene},
  publisher = {Springer},
  series = {LNCS 8647},
  pages = {94-105},
  url = {http://dx.doi.org/10.1007/978-3-319-09770-1_9},
  doi = {10.1007/978-3-319-09770-1_9}
}

@inproceedings{Beckers2013-ares1,
  year = {2013},
  title = {A Problem-based Threat Analysis in compliance with Common Criteria},
  booktitle = {Proceedings of the International Conference on Availability, Reliability and Security ({ARES})},
  author = {Beckers, Kristian and Hatebur, Denis and Heisel, Maritta},
  publisher = {IEEE Computer Society},
  pages = {111-120},
  url = {http://www.ieee.org/}
}

@inproceedings{Beckers2013-ares2,
  year = {2013},
  title = {Structured Pattern-Based Security Requirements Elicitation for Clouds},
  booktitle = {Proceedings of the International Conference on Availability, Reliability and Security ({ARES}) - 7th International Workshop on Secure Software Engineering (SecSE 2013)},
  author = {Beckers, Kristian and C{\^{o}}t{\'{e}}, Isabelle and Goeke, Ludger and G{\"{u}}ler, Selim and Heisel, Maritta},
  publisher = {IEEE Computer Society},
  pages = {465-474},
  url = {http://www.ieee.org/}
}

@inproceedings{Beckers2013-ares3,
  year = {2013},
  title = {A Usability Evaluation of the NESSoS Common Body of Knowledge},
  booktitle = {Proceedings of the International Conference on Availability, Reliability and Security ({ARES}) - 2nd International Workshop on Security Ontologies and Taxonomies(SecOnT 2013)},
  author = {Beckers, Kristian and Heisel, Maritta},
  publisher = {IEEE Computer Society},
  pages = {559-568},
  url = {http://www.ieee.org/}
}

@inproceedings{Beckers2013-cdares2,
  year = {2013},
  title = {Combining Goal-oriented and Problem-oriented Requirements Engineering Methods},
  booktitle = {Proceedings of the International Cross Domain Conference and Workshop (CD-ARES 2013)},
  author = {Beckers, Kristian and Fa{\ss}bender, Stephan and Heisel, Maritta and Paci, Federica},
  publisher = {Springer},
  series = {LNCS 8127},
  pages = {178-194},
  url = {http://www.springerlink.com/}
}

@inproceedings{Beckers2013-europlop,
  year = {2013},
  title = {A Meta-Model Approach to the Fundamentals for a Pattern Language for Context Elicitation},
  booktitle = {Proceedings of the 18th European Conference on Pattern Languages of Programs (Europlop)},
  author = {Beckers, Kristian and Fa{\ss}bender, Stephan and Heisel, Maritta},
  publisher = {ACM},
  pages = {-},
  note = {Accepted for Publication},
  url = {http://dl.acm.org/}
}

@inproceedings{Beckers2013-issre,
  year = {2013},
  title = {A Structured and Model-Based Hazard Analysis and Risk Assessment Method for Automotive Systems},
  booktitle = {Proceedings of the 24th IEEE International Symposium on Software Reliability Engineering},
  author = {Beckers, Kristian and Frese, Thomas and Hatebur, Denis and Heisel, Maritta},
  publisher = {IEEE Computer Society},
  pages = {238-247},
  url = {http://www.ieee.org/}
}

@article{Beckers2013rohtua,
  year = {2013},
  title = {A pattern-based method for establishing a cloud-specific information security management system},
  author = {Beckers, Kristian and C{\^{o}}t{\'{e}}, Isabelle and Fa{\ss}bender, Stephan and Heisel, Maritta and Hofbauer, Stefan},
  journal = {Requirements Engineering},
  publisher = {Springer-Verlag},
  pages = {1-53},
  url = {http://www.springerlink.com/}
}

@inproceedings{BeckersFassbender2013ACM-europlop,
  year = {2013},
  title = {A Meta-Model for Context-Patterns},
  booktitle = {Proceedings of the 18th European Conference on Pattern Languages of Program},
  author = {Beckers, Kristian and Fa{\ss}bender, Stephan and Heisel, Maritta},
  publisher = {ACM},
  series = {EuroPLoP '13},
  pages = {5:1--5:15},
  url = {http://doi.acm.org/10.1145/2739011.2739016},
  doi = {10.1145/2739011.2739016}
}

@inproceedings{CDARES2013,
  year = {2013},
  title = {A Framework for Combining Problem Frames and Goal Models to Support Context Analysis during Requirements Engineering},
  booktitle = {Proceedings of the 5th International Cross-Domain Conference on Availability, Reliability, and Security in Information Systems and HCI (CD-ARES)},
  author = {Mohammadi, Nazila Gol and Alebrahim, Azadeh and Weyer, Thorsten and Heisel, Maritta and Pohl, Klaus},
  publisher = {Springer},
  series = {LNCS 8127},
  pages = {272--288},
  url = {https://link.springer.com/}
}

@inproceedings{FassbenderH13_icsoft,
  year = {2013},
  title = {From Problems to Laws in Requirements Engineering Using Model-Transformation (Best Students Paper Award)},
  booktitle = {ICSOFT 2013 - Proceedings of the 8th International Conference on Software Paradigm Trends},
  author = {Fa{\ss}bender, Stephan and Heisel, Maritta},
  publisher = {SciTePress},
  pages = {447-458},
  url = {http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0004490804470458},
  doi = {10.5220/0004490804470458}
}

@inproceedings{SAC2013,
  year = {2013},
  title = {{Common Criteria CompliAnt Software Development (CC-CASD)}},
  booktitle = {Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC)},
  author = {Beckers, Kristian and Fa{\ss}bender, Stephan and Hatebur, Denis and Heisel, Maritta and C{\^{o}}t{\'{e}}, Isabelle},
  publisher = {ACM},
  pages = {1298--1304},
  url = {https://dl.acm.org/citation.cfm?id=2480604}
}

@inproceedings{Beckers2012-ares1,
  year = {2012},
  title = {Ontology-Based Identification of Research Gaps and Immature Research Areas},
  booktitle = {Proceedings of the International Cross Domain Conference and Workshop (CD-ARES 2012)},
  author = {Beckers, Kristian and Eicker, Stefan and Fa{\ss}bender, Stephan and Heisel, Maritta and Schmidt, Holger and Schwittek, Widura},
  publisher = {Springer},
  series = {LNCS 7465},
  pages = {93-107},
  url = {http://www.springerlink.com/}
}

@inproceedings{Beckers2012-ares3,
  year = {2012},
  title = {A Foundation for Requirements Analysis of Privacy Preserving Software},
  booktitle = {Proceedings of the International Cross Domain Conference and Workshop (CD-ARES 2012)},
  author = {Beckers, Kristian and Heisel, Maritta},
  publisher = {Springer},
  series = {LNCS 7465},
  pages = {1-16},
  url = {http://www.springerlink.com/}
}

@inproceedings{Beckers2012-ares4,
  year = {2012},
  title = {Using Security Requirements Engineering Approaches to Support ISO 27001 Information Security Management Systems Development and Documentation},
  booktitle = {Proceedings of the International Conference on Availability, Reliability and Security ({ARES})},
  author = {Beckers, Kristian and Heisel, Maritta and Fa{\ss}bender, Stephan and Schmidt, Holger},
  publisher = {IEEE Computer Society},
  pages = {243-248},
  url = {http://www.ieee.org/}
}

@inproceedings{Beckers2012-ares7,
  year = {2012},
  title = {A Common Body of Knowledge for Engineering Secure Software and Services},
  booktitle = {Proceedings of the International Conference on Availability, Reliability and Security ({ARES}) - 1st International Workshop on Security Ontologies and Taxonomies (SecOnT 2012)},
  author = {Schwittek, Widura and Schmidt, Holger and Beckers, Kristian and Eicker, Stefan and Fa{\ss}bender, Stephan and Heisel, Maritta},
  publisher = {IEEE Computer Society},
  pages = {499-506},
  url = {http://www.ieee.org/}
}

@inproceedings{CAiSEForum2012,
  year = {2012},
  title = {An Aspect-Oriented Approach to Relating Security Requirements and Access Control},
  booktitle = {Proceedings of the CAiSE Forum},
  author = {Alebrahim, Azadeh and Tun, Thein Than and Yu, Yijun and Heisel, Maritta and Nuseibeh, Bashar},
  publisher = {CEUR-WS.org},
  volume = {855},
  series = {CEUR Workshop Proceedings},
  pages = {15--22},
  url = {http://ceur-ws.org/}
}

@incollection{CRHH2012,
  year = {2012},
  title = {Enterprise Applications: From Requirements to Design},
  booktitle = {Aligning Enterprise, System, and Software Architectures},
  author = {Choppy, Christine and Reggio, G. and Hatebur, Denis and Heisel, Maritta},
  publisher = {IGI Global},
  pages = {96--117},
  url = {www.igi-global.com}
}

@inproceedings{essos2012,
  year = {2012},
  title = {Supporting the Development and Documentation of {ISO} 27001 Information Security Management Systems Through Security Requirements Engineering Approaches},
  booktitle = {Proceedings of the International Symposium on Engineering Secure Software and Systems ({ESSoS})},
  author = {Beckers, Kristian and Fa{\ss}bender, Stephan and Heisel, Maritta and K{\"{u}}ster, Jan-Christoph and Schmidt, Holger},
  publisher = {Springer},
  series = {LNCS 7159},
  url = {https://link.springer.com/}
}

@inproceedings{qosa2012,
  year = {2012},
  title = {Supporting Quality-Driven Design Decisions by Modeling Variability},
  booktitle = {Proceedings of the International ACM Sigsoft Conference on the Quality of Software Architectures ({QoSA})},
  author = {Alebrahim, Azadeh and Heisel, Maritta},
  publisher = {ACM},
  pages = {43-48},
  url = {https://dl.acm.org/citation.cfm?id=2304705}
}

@inproceedings{SAC2012,
  year = {2012},
  title = {Designing Architectures from Problem Descriptions by Interactive Model Transformation},
  booktitle = {Proceedings 27th Symposium on Applied Computing},
  author = {Alebrahim, Azadeh and C{\^{o}}t{\'{e}}, Isabelle and Heisel, Maritta and Choppy, Christine and Hatebur, Denis},
  publisher = {ACM},
  pages = {1256--1258},
  url = {http://dl.acm.org/}
}

@inproceedings{sdps2012,
  year = {2012},
  title = {Pattern-based Context Establishment for Service-Oriented Architectures},
  booktitle = {Software Service and Application Engineering},
  author = {Beckers, Kristian and Fa{\ss}bender, Stephan and Heisel, Maritta and Meis, Rene},
  publisher = {Springer},
  series = {LNCS 7365},
  pages = {81-101},
  url = {http://dx.doi.org/10.1007/978-3-642-30835-2_7},
  doi = {10.1007/978-3-642-30835-2_7}
}

@inproceedings{SE2012,
  year = {2012},
  title = {Deriving Quality-based Architecture Alternatives with Patterns},
  booktitle = {Software Engineering},
  author = {Konersmann, Marco and Alebrahim, Azadeh and Heisel, Maritta and Goedicke, Michael and Kersten, Benjamin},
  publisher = {GI},
  series = {LNI 198},
  pages = {71--82},
  url = {www.gi.de}
}

@inproceedings{AHH2011a,
  year = {2011},
  title = {Towards Systematic Integration of Quality Requirements into Software Architecture},
  booktitle = {Proceedings of the 5th European Conference on Software Architecture (ECSA 2011)},
  author = {Alebrahim, Azadeh and Hatebur, Denis and Heisel, Maritta},
  publisher = {Springer},
  series = {LNCS 6903},
  pages = {17--25},
  url = {https://link.springer.com/}
}

@inproceedings{AHH2011b,
  year = {2011},
  title = {A Method to Derive Software Architectures from Quality Requirements},
  booktitle = {Proceedings of the 18th Asia-Pacific Software Engineering Conference ({APSEC})},
  author = {Alebrahim, Azadeh and Hatebur, Denis and Heisel, Maritta},
  publisher = {IEEE Computer Society},
  pages = {322--330},
  url = {https://www.ieee.org/}
}

@inproceedings{ceeset2009,
  year = {2011},
  title = {On the Evolution of Component-based Software},
  booktitle = {Proceedings 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques (CEE-SET)},
  author = {C{\^{o}}t{\'{e}}, Isabelle and Heisel, Maritta and Souqui{\`{e}}res, Jeanine},
  publisher = {Springer},
  series = {LNCS 7054},
  pages = {54-69},
  url = {https://link.springer.com/}
}

@incollection{CHH2011a,
  year = {2011},
  title = {Systematic Architectural Design based on Problem Patterns},
  booktitle = {Relating Software Requirements and Architectures},
  author = {Choppy, Christine and Hatebur, Denis and Heisel, Maritta},
  publisher = {Springer},
  pages = {133--159},
  url = {https://link.springer.com/}
}

@inproceedings{CoteHeisel2011,
  year = {2011},
  title = {A {UML} Profile and Tool Support for Evolutionary Requirements Engineering},
  booktitle = {Proceedings of the European Conference on Software Maintenance and Reengineering},
  author = {C{\^{o}}t{\'{e}}, Isabelle and Heisel, Maritta},
  publisher = {IEEE},
  pages = {161--170},
  url = {https://www.ieee.org/}
}

@inproceedings{HHJ+2011,
  year = {2011},
  title = {Systematic Development of {UMLsec} Design Models Based On Security Requirements},
  booktitle = {Proceedings of the European Joint Conferences on Theory and Practice of Software (ETAPS) - Fundamental Approaches to Software Engineering ({FASE})},
  author = {Hatebur, Denis and Heisel, Maritta and J{\"{u}}rjens, Jan and Schmidt, Holger},
  publisher = {Springer},
  series = {LNCS 6603},
  pages = {232--246},
  url = {https://link.springer.com/}
}

@inproceedings{re2011,
  year = {2011},
  title = {{UML4PF} -- A Tool for Problem-Oriented Requirements Analysis},
  booktitle = {Proceedings of the International Conference on Requirements Engineering ({RE})},
  author = {C{\^{o}}t{\'{e}}, Isabelle and Hatebur, Denis and Heisel, Maritta and Schmidt, Holger},
  publisher = {IEEE Computer Society},
  pages = {349--350},
  url = {https://www.ieee.org}
}

@incollection{SHH2011,
  year = {2011},
  title = {A Pattern- and Component-Based Method to Develop Secure Software},
  booktitle = {Software Engineering for Secure Systems: Academic and Industrial Perspectives},
  author = {Schmidt, Holger and Hatebur, Denis and Heisel, Maritta},
  publisher = {IGI Global},
  pages = {32--74},
  url = {http://www.igi-global.com/}
}

@proceedings{,
  year = {2011},
  title = {Towards Systematic Integration of Performance and Security Requirements into Software Architecture},
  booktitle = {Software Architecture},
  author = {Alebrahim, Azadeh and Hatebur, Denis and Heisel, Maritta},
  publisher = {Springer Berlin Heidelberg},
  url = {https://link.springer.com/chapter/10.1007%2F978-3-642-23798-0_2},
  doi = {10.1007/978-3-642-23798-0_2}
}

@article{FGH+2010,
  year = {2010},
  title = {A Comparison of Security Requirements Engineering Methods},
  author = {Fabian, Benjamin and G{\"{u}}rses, Seda and Heisel, Maritta and Santen, Thomas and Schmidt, Holger},
  journal = {Requirements Engineering -- Special Issue on Security Requirements Engineering},
  volume = {15},
  number = {1},
  pages = {7--40}
}

@inproceedings{HateburHeisel2010a,
  year = {2010},
  title = {Making Pattern- and Model-Based Software Development More Rigorous},
  booktitle = {Proceedings of International Conference on Formal Engineering Methods ({ICFEM})},
  author = {Hatebur, Denis and Heisel, Maritta},
  publisher = {Springer},
  series = {LNCS 6447},
  pages = {253--269},
  url = {https://link.springer.com/}
}

@inproceedings{HateburHeisel2010b,
  year = {2010},
  title = {A {UML} Profile for Requirements Analysis of Dependable Software},
  booktitle = {Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP)},
  author = {Hatebur, Denis and Heisel, Maritta},
  publisher = {Springer},
  series = {LNCS 6351},
  pages = {317--331},
  url = {https://link.springer.com/}
}

@techreport{UML4PF,
  year = {2010},
  title = {UML4PF – A Tool for Problem-Oriented Requirements Analysis},
  author = {Heisel, Maritta and Schmidt, Holger}
}

@misc{,
  year = {2010},
  title = {Automated Checking of Integrity Constraints for a Model- and Pattern-Based Requirements Engineering Method (Technical Report)},
  author = {C{\^{o}}t{\'{e}}, Isabelle and Hatebur, Denis and Heisel, Maritta}
}

@inproceedings{FASE09,
  year = {2009},
  title = {Problem-Oriented Documentation of Design Patterns},
  booktitle = {Proceedings 12thInternational Conference on Fundamental Approaches to Software Engineering (FASE)},
  author = {F{\"{u}}lleborn, Alexander and Meffert, Klaus and Heisel, Maritta},
  publisher = {Springer},
  series = {LNCS 5503},
  pages = {294--308},
  url = {https://link.springer.com/}
}

@inproceedings{HH09a,
  year = {2009},
  title = {Deriving Software Architectures from Problem Descriptions},
  booktitle = {Software Engineering 2009 - Workshopband},
  author = {Hatebur, Denis and Heisel, Maritta},
  publisher = {GI},
  pages = {383--302},
  url = {https://gi.de/}
}

@inproceedings{HH09b,
  year = {2009},
  title = {A Foundation for Requirements Analysis of Dependable Software},
  booktitle = {Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP)},
  author = {Hatebur, Denis and Heisel, Maritta},
  publisher = {Springer},
  series = {LNCS 5775},
  pages = {311--325},
  url = {https://link.springer.com/}
}

@inproceedings{europlop08,
  year = {2008},
  title = {A Systematic Account of Problem Frames},
  booktitle = {Proceedings of the European Conference on Pattern Languages of Programs ({EuroPLoP})},
  author = {C{\^{o}}t{\'{e}}, Isabelle and Hatebur, Denis and Heisel, Maritta and Schmidt, Holger and Wentzlaff, Ina},
  publisher = {Universit{\"{a}}tsverlag Konstanz},
  pages = {749--767},
  url = {http://www.uvk.de/}
}

@techreport{HHS2008,
  year = {2008},
  title = {A Formal Metamodel for Problem Frames},
  booktitle = {Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS)},
  author = {Hatebur, Denis and Heisel, Maritta and Schmidt, Holger},
  series = {LNCS 5301},
  pages = {68--82},
  url = {https://link.springer.com/}
}

@inproceedings{HHS2008b,
  year = {2008},
  title = {Analysis and Component-based Realization of Security Requirements},
  booktitle = {Proceedings of the International Conference on Availability, Reliability and Security (AReS)},
  author = {Hatebur, Denis and Heisel, Maritta and Schmidt, Holger},
  publisher = {IEEE Computer Society},
  series = {IEEE Transactions},
  pages = {195--203},
  url = {https://www.ieee.org}
}

@inproceedings{HHSS08a,
  year = {2008},
  title = {{U}sing {UML} {E}nvironment {M}odels for {T}est {C}ase {G}eneration},
  booktitle = {Software Engineering 2008 - Workshopband},
  author = {Heisel, Maritta and Hatebur, Denis and Santen, Thomas and Seifert, Dirk},
  publisher = {GI},
  pages = {399--406},
  url = {https://gi.de/}
}

@inproceedings{HHSS08b,
  year = {2008},
  title = {Testing Against Requirements using {UML} Environment Models},
  booktitle = {Proc. {Fachgruppentreffen} {Requirements} {Engineering} und {Test}, {Analyse} \& {Verifikation}},
  author = {Heisel, Maritta and Hatebur, Denis and Santen, Thomas and Seifert, Dirk},
  publisher = {GI},
  pages = {28--31},
  url = {https://gi.de/}
}

@article{CHW2007,
  year = {2007},
  title = {{Pattern-based Exploration of Design Alternatives for the Evolution of Software Architectures}},
  author = {C{\^{o}}t{\'{e}}, Isabelle and Heisel, Maritta and Wentzlaff, Ina},
  journal = {International Journal of Cooperative Information Systems (IJCIS)},
  publisher = {World Scientific},
  volume = {Volume: 16},
  number = {Issue: 3/4},
  pages = {341 -- 365},
  url = {http://www.worldscinet.com/ijcis/ijcis.shtml}
}

@inproceedings{CHW2007a,
  year = {2007},
  title = {Pattern-based Evolution of Software Architectures},
  booktitle = {Proceedings of the 1st European Conference on Software Architecture (ECSA 2007)},
  author = {C{\^{o}}t{\'{e}}, Isabelle and Heisel, Maritta and Wentzlaff, Ina},
  publisher = {Springer},
  series = {LNCS 4758},
  pages = {29 -- 43},
  url = {http://www.springerlink.com}
}

@inproceedings{Europlop06,
  year = {2007},
  title = {Methods to Create and Use Cross-Domain Analysis Patterns},
  booktitle = {EuroPLoP '06, Proceedings of the 11th European Conference on Pattern Languages of Programs},
  author = {F{\"{u}}lleborn, Alexander and Heisel, Maritta},
  publisher = {Universit{\"{a}}tsverlag Konstanz},
  pages = {427--442},
  url = {http://www.uvk.de/}
}

@inproceedings{HHS2007,
  year = {2007},
  title = {A Pattern System for Security Requirements Engineering},
  booktitle = {Proceedings of the International Conference on Availability, Reliability and Security (AReS)},
  author = {Hatebur, Denis and Heisel, Maritta and Schmidt, Holger},
  publisher = {IEEE Computer Society},
  series = {IEEE Transactions},
  pages = {356--365},
  url = {https://www.ieee.org}
}

@inproceedings{HHS2007a,
  year = {2007},
  title = {A Security Engineering Process based on Patterns},
  booktitle = {Proceedings of the International Workshop on Secure Systems Methodologies using Patterns (SPatterns)},
  author = {Hatebur, Denis and Heisel, Maritta and Schmidt, Holger},
  publisher = {IEEE Computer Society},
  url = {https://www.ieee.org}
}

@inproceedings{LHH+2007,
  year = {2007},
  title = {Enhancing Dependability of Component-Based Systems},
  booktitle = {Reliable Software Technologies -- Ada Europe 2007},
  author = {Lanoix, Arnaud and Hatebur, Denis and Heisel, Maritta and Souqui{\`{e}}res, Jeanine},
  publisher = {Springer},
  series = {LNCS 4498},
  pages = {41--54},
  url = {https://link.springer.com/}
}

@inproceedings{CHH2006,
  year = {2006},
  title = {Component composition through architectural patterns for problem frames},
  booktitle = {Proc. XIII Asia Pacific Software Engineering Conference},
  author = {Choppy, Christine and Hatebur, Denis and Heisel, Maritta},
  publisher = {IEEE Computer Society},
  pages = {27--34},
  url = {https://www.ieee.org}
}

@article{CHS2006,
  year = {2006},
  title = {Proving Component Interoperability with B Refinement},
  author = {Chouali, Samir and Heisel, Maritta and Souqui{\`{e}}res, Jeanine},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {160},
  pages = {157--172}
}

@inproceedings{HHS2006a,
  year = {2006},
  title = {Security Engineering using Problem Frames},
  booktitle = {Proceedings of the International Conference on Emerging Trends in Information and Communication Security (ETRICS)},
  author = {Hatebur, Denis and Heisel, Maritta and Schmidt, Holger},
  publisher = {Springer},
  volume = {3995/2006},
  pages = {238--253},
  url = {https://link.springer.com/}
}

@inproceedings{HHS2006b,
  year = {2006},
  title = {A Method for Component-Based Software and System Development},
  booktitle = {Proc. 32nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA)},
  author = {Hatebur, Denis and Heisel, Maritta and Souqui{\`{e}}res, Jeanine},
  publisher = {IEEE Computer Society},
  pages = {72--80},
  url = {https://www.ieee.org}
}

@article{HKK+2006,
  year = {2006},
  title = {Entwicklung aus dem Baukasten. Modellierung und Verifikation technischer Systeme},
  author = {Heisel, Maritta and K{\"{o}}nig, Barbara and Kochs, Hans-Dieter and Petersen, J{\"{o}}rg},
  journal = {Forum Forschung},
  pages = {32--41},
  note = {Universit{\"{a}}t Duisburg-Essen}
}

@article{CHH2005a,
  year = {2005},
  title = {Architectural Patterns for Problem Frames},
  author = {Choppy, Christine and Hatebur, Denis and Heisel, Maritta},
  journal = {IEEE Proceedings -- Software, Special Issue on Relating Software Requirements and Architecture},
  url = {https://www.ieee.org}
}

@techreport{ChoppyHateburHeisel05,
  year = {2005},
  title = {Composing architectures based on architectural patterns for problem frames},
  author = {Choppy, Christine and Hatebur, Denis and Heisel, Maritta},
  note = {\tt http://swe.uni-duisburg-essen.de/intern/comparch05.pdf}
}

@inproceedings{ChoualiHeiselSouquieres05,
  year = {2005},
  title = {Proving Component Interoperability with {B} Refinement},
  booktitle = {{International Workshop on Formal Aspects on Component Software}},
  author = {Chouali, Samir and Heisel, Maritta and Souqui{\`{e}}res, Jeanine},
  publisher = {CSREA Press},
  pages = {915-920}
}

@inproceedings{HH2005,
  year = {2005},
  title = {Problem Frames and Architectures for Security Problems},
  booktitle = {Proceedings of the 24th International Conference on Computer Safety, Reliability and Security (SAFECOMP)},
  author = {Hatebur, Denis and Heisel, Maritta},
  publisher = {Springer},
  series = {LNCS 3688},
  pages = {390--404},
  url = {https://link.springer.com/}
}

@inproceedings{HH2005a,
  year = {2005},
  title = {A Model-Based Development Process for Embedded Systems},
  booktitle = {Proc. Workshop on Model-Based Development of Embedded Systems},
  author = {Heisel, Maritta and Hatebur, Denis},
  publisher = {Technical University of Braunschweig},
  number = {TUBS-SSE-2005-01},
  note = {Available at {\tt http://www.sse.cs.tu-bs.de/publications/MBEES-Tagungsband.pdf}}
}

@inproceedings{CH2004,
  year = {2004},
  title = {Une approache {\`{a}} base de ``patrons'' pour la sp{\'{e}}cification et le d{\'{e}}veloppement de syst{\`{e}}mes d'information},
  booktitle = {Proceedings Approches Formelles dans l'Assistance au D{\'{e}}veloppement de Logiciels - AFADL'2004},
  author = {Choppy, Christine and Heisel, Maritta},
  pages = {61--76}
}

@inproceedings{Heisel2004a,
  year = {2004},
  title = {A Systematic Approach for Guiding Software Evolution},
  booktitle = {Proceedings of the IASTED Conference on Software Engineering (SE 2004)},
  author = {Heisel, Maritta and von Schwichow, Carsten},
  publisher = {ACTA Press},
  pages = {462--468},
  url = {http://www.actapress.com/}
}

@inproceedings{HLU+2004,
  year = {2004},
  title = {A Description Structure for Simulation Model Components},
  booktitle = {Proceedings Summer Computer Simulation Conference 04},
  author = {Heisel, Maritta and L{\"{u}}thi, Johannes and Uhrmacher, Adelinde and Valentin, Edwin}
}

@incollection{HS2004a,
  year = {2004},
  title = {Adding Features to Component-Based Systems},
  booktitle = {Objects, Agents and Features},
  author = {Heisel, Maritta and Souqui{\`{e}}res, Jeanine},
  publisher = {Springer},
  series = {LNCS 2975},
  pages = {137--153},
  url = {https://link.springer.com/}
}

@techreport{Rudloff2004,
  year = {2004},
  title = {Signature Matching with {UML}},
  author = {Rudloff, Roberto and Heisel, Maritta},
  note = {Internal working paper}
}

@inproceedings{CH2003,
  year = {2003},
  title = {Use of Patterns in Formal Development: Systematic Transition From Problems to Architectural Designs},
  booktitle = {Recent Trends in Algebraic Development Techniques, 16th WADT, Selected Papers},
  author = {Choppy, Christine and Heisel, Maritta},
  publisher = {Springer},
  series = {LNCS 2755},
  pages = {205--220},
  url = {https://link.springer.com/}
}

@inproceedings{SH2003,
  year = {2003},
  title = {Formalisation des besoins {\`{a}} l`aide de sch{\'{e}}mas {LSCs}},
  booktitle = {Proceedings Approches Formelles dans l'Assistance au D{\'{e}}veloppement de Logiciels - AFADL'2003},
  author = {Souqui{\`{e}}res, Jeanine and Heisel, Maritta},
  pages = {53--63},
  note = {ISBN 2-7261-1236-6}
}

@inproceedings{Heisel2002,
  year = {2002},
  title = {Logische Modellierung von Anwendungswelten aus Benutzersicht},
  booktitle = {Workshop Proceedings "Multimediale Informations- und Kommunikationssysteme, NET.OBJECT Days 2002"},
  author = {Heisel, Maritta and Kr{\"{o}}mker, Heidi},
  publisher = {tranSIT GmbH, Ilmenau},
  pages = {649--656},
  note = {ISBN 3-9808628-1-X}
}

@inproceedings{HSS2002,
  year = {2002},
  title = {Toward a formal model of software components},
  booktitle = {Proc.\ 4th International Conference on Formal Engineering Methods},
  author = {Heisel, Maritta and Santen, Thomas and Souqui{\`{e}}res, Jeanine},
  publisher = {Springer},
  series = {LNCS 2495},
  pages = {57--68},
  url = {https://link.springer.com/}
}

@inproceedings{RHH+2002,
  year = {2002},
  title = {A Problem-Oriented Approach to Common Criteria Certification},
  booktitle = {Proceedings of the 21st International Conference on Computer Safety, Reliability and Security (SAFECOMP)},
  author = {Rottke, Thomas and Hatebur, Denis and Heisel, Maritta and Heiner, Monika},
  publisher = {Springer},
  series = {LNCS 2434},
  pages = {334--346},
  url = {https://link.springer.com/}
}

@inproceedings{SHP2002,
  year = {2002},
  title = {Confidentiality-Preserving Refinement is Compositional -- Sometimes},
  booktitle = {Proc.\ Computer Security -- ESORICS 2002},
  author = {Santen, Thomas and Heisel, Maritta and Pfitzmann, Andreas},
  publisher = {Springer},
  series = {LNCS 2502},
  pages = {194--211},
  url = {https://link.springer.com/}
}

@inproceedings{SPH2002,
  year = {2002},
  title = {Specification and Refinement of Secure {IT} Systems},
  booktitle = {Proc.\ International Workshop on Refinement of Critical Systems},
  author = {Santen, Thomas and Pfitzmann, Andreas and Heisel, Maritta},
  note = {http://www.esil.univ-mrs.fr/\verb|~|spc/rcs02/papers/Santen.ps.gz}
}

@article{Grieskamp2001,
  year = {2001},
  title = {Specifying Safety-Critical Embedded systems with {S}tatecharts and {Z}: An Agenda for Cyclic Software Components},
  author = {Grieskamp, Wolfgang and Heisel, Maritta and D{\"{o}}rr, Heiko},
  journal = {Science of Computer Programming},
  volume = {40},
  pages = {31--57}
}

@inproceedings{HPS2001,
  year = {2001},
  title = {Confidentiality-Preserving Refinement},
  booktitle = {Proc.\ 14th IEEE Computer Security Foundations Workshop},
  author = {Heisel, Maritta and Pfitzmann, Andreas and Santen, Thomas},
  publisher = {IEEE Computer Society},
  pages = {295--305}
}

@inproceedings{Heisel2000,
  year = {2000},
  title = {Toward an Evolutionary Software Technology},
  booktitle = {Modelling Software System Structures in a fastly moving scenario},
  author = {Heisel, Maritta},
  publisher = {Dipartimento di Informatica e Scienze dell'Informazione, Universita' di Genova},
  note = {http://www.disi.unige.it/person/ReggioG/PROCEEDINGS/}
}

@incollection{HS2000,
  year = {2000},
  title = {A heuristic algorithm to detect feature interactions in requirements},
  booktitle = {Language Constructs for Describing Features},
  author = {Heisel, Maritta and Souqui{\`{e}}res, Jeanine},
  publisher = {Springer-Verlag},
  pages = {143--162},
  url = {http://www.springerlink.com/}
}

@inproceedings{Souqui`eres2000,
  year = {2000},
  title = {Une m{\'{e}}thode pour l'{\'{e}}licitation des besoins: application au syst{\`{e}}me de contr{\^{o}}le d'acc{\`{e}}s},
  booktitle = {Proceedings Approches Formelles dans l'Assistance au D{\'{e}}veloppement de Logiciels - AFADL'2000},
  author = {Souqui{\`{e}}res, Jeanine and Heisel, Maritta},
  publisher = {LSR-IMAG, Grenoble},
  pages = {36--50},
  note = {http://www-lsr.imag.fr/afadl/Programme/ProgrammeAFADL2000.html}
}

@techreport{Souqui`eres2000a,
  year = {2000},
  title = {A Method for Systematic Requirements Elicitation: Application to the Light Control System},
  author = {Souqui{\`{e}}res, Jeanine and Heisel, Maritta},
  number = {A00-R-090}
}

@techreport{Souqui`eres2000b,
  year = {2000},
  title = {Structuring the First Steps of Requirements Elicitation},
  author = {Souqui{\`{e}}res, Jeanine and Heisel, Maritta},
  number = {A00-R-123}
}