BibTeX records: Hamid Bagheri

download as .bib file

@article{DBLP:journals/jss/HammadBM19,
  author    = {Mahmoud Hammad and
               Hamid Bagheri and
               Sam Malek},
  title     = {DelDroid: An automated approach for determination and enforcement
               of least-privilege architecture in android},
  journal   = {Journal of Systems and Software},
  volume    = {149},
  pages     = {83--100},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.jss.2018.11.049},
  doi       = {10.1016/j.jss.2018.11.049},
  timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jss/HammadBM19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/MalekBGS19,
  author    = {Sam Malek and
               Hamid Bagheri and
               Joshua Garcia and
               Alireza Sadeghi},
  title     = {Security and Software Engineering},
  booktitle = {Handbook of Software Engineering.},
  pages     = {445--489},
  year      = {2019},
  crossref  = {DBLP:books/sp/CTK2019},
  url       = {https://doi.org/10.1007/978-3-030-00262-6\_12},
  doi       = {10.1007/978-3-030-00262-6\_12},
  timestamp = {Tue, 19 Feb 2019 19:18:54 +0100},
  biburl    = {https://dblp.org/rec/bib/books/sp/19/MalekBGS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BagheriKMJ18,
  author    = {Hamid Bagheri and
               Eunsuk Kang and
               Sam Malek and
               Daniel Jackson},
  title     = {A formal approach for detection of security flaws in the android permission
               system},
  journal   = {Formal Asp. Comput.},
  volume    = {30},
  number    = {5},
  pages     = {525--544},
  year      = {2018},
  url       = {https://doi.org/10.1007/s00165-017-0445-z},
  doi       = {10.1007/s00165-017-0445-z},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/BagheriKMJ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SadeghiJGBM18,
  author    = {Alireza Sadeghi and
               Reyhaneh Jabbarvand and
               Negar Ghorbani and
               Hamid Bagheri and
               Sam Malek},
  title     = {A temporal permission analysis and enforcement framework for Android},
  booktitle = {Proceedings of the 40th International Conference on Software Engineering,
               {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
  pages     = {846--857},
  year      = {2018},
  crossref  = {DBLP:conf/icse/2018},
  url       = {https://doi.org/10.1145/3180155.3180172},
  doi       = {10.1145/3180155.3180172},
  timestamp = {Wed, 21 Nov 2018 12:43:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/SadeghiJGBM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/BagheriWAM18,
  author    = {Hamid Bagheri and
               Jianghao Wang and
               Jarod Aerts and
               Sam Malek},
  title     = {Efficient, Evolutionary Security Analysis of Interacting Android Apps},
  booktitle = {2018 {IEEE} International Conference on Software Maintenance and Evolution,
               {ICSME} 2018, Madrid, Spain, September 23-29, 2018},
  pages     = {357--368},
  year      = {2018},
  crossref  = {DBLP:conf/icsm/2018},
  url       = {https://doi.org/10.1109/ICSME.2018.00044},
  doi       = {10.1109/ICSME.2018.00044},
  timestamp = {Tue, 20 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/BagheriWAM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WangBC18,
  author    = {Jianghao Wang and
               Hamid Bagheri and
               Myra B. Cohen},
  title     = {An evolutionary approach for analyzing Alloy specifications},
  booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
               Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
               2018},
  pages     = {820--825},
  year      = {2018},
  crossref  = {DBLP:conf/kbse/2018},
  url       = {https://doi.org/10.1145/3238147.3240468},
  doi       = {10.1145/3238147.3240468},
  timestamp = {Wed, 21 Nov 2018 12:44:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/WangBC18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MansoorSSBCF18,
  author    = {Niloofar Mansoor and
               Jonathan A. Saddler and
               Bruno Silva and
               Hamid Bagheri and
               Myra B. Cohen and
               Shane Farritor},
  title     = {Modeling and testing a family of surgical robots: an experience report},
  booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
               Conference and Symposium on the Foundations of Software Engineering,
               {ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
               2018},
  pages     = {785--790},
  year      = {2018},
  crossref  = {DBLP:conf/sigsoft/2018},
  url       = {https://doi.org/10.1145/3236024.3275534},
  doi       = {10.1145/3236024.3275534},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/MansoorSSBCF18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Bagheri0S17,
  author    = {Hamid Bagheri and
               Chong Tang and
               Kevin J. Sullivan},
  title     = {Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational
               Mapping},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {43},
  number    = {2},
  pages     = {145--163},
  year      = {2017},
  url       = {https://doi.org/10.1109/TSE.2016.2587646},
  doi       = {10.1109/TSE.2016.2587646},
  timestamp = {Wed, 26 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/Bagheri0S17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SadeghiBGM17,
  author    = {Alireza Sadeghi and
               Hamid Bagheri and
               Joshua Garcia and
               Sam Malek},
  title     = {A Taxonomy and Qualitative Comparison of Program Analysis Techniques
               for Security Assessment of Android Software},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {43},
  number    = {6},
  pages     = {492--530},
  year      = {2017},
  url       = {https://doi.org/10.1109/TSE.2016.2615307},
  doi       = {10.1109/TSE.2016.2615307},
  timestamp = {Wed, 28 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/SadeghiBGM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/HammadBM17,
  author    = {Mahmoud Hammad and
               Hamid Bagheri and
               Sam Malek},
  title     = {Determination and Enforcement of Least-Privilege Architecture in Android},
  booktitle = {2017 {IEEE} International Conference on Software Architecture, {ICSA}
               2017, Gothenburg, Sweden, April 3-7, 2017},
  pages     = {59--68},
  year      = {2017},
  crossref  = {DBLP:conf/icsa/2017},
  url       = {https://doi.org/10.1109/ICSA.2017.18},
  doi       = {10.1109/ICSA.2017.18},
  timestamp = {Thu, 16 Aug 2018 09:44:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsa/HammadBM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/0001BPS17,
  author    = {Chong Tang and
               Hamid Bagheri and
               Sarun Paisarnsrisomsuk and
               Kevin J. Sullivan},
  title     = {Towards designing effective data persistence through tradeoff space
               analysis},
  booktitle = {Proceedings of the 39th International Conference on Software Engineering,
               {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
               Volume},
  pages     = {353--355},
  year      = {2017},
  crossref  = {DBLP:conf/icse/2017c},
  url       = {https://doi.org/10.1109/ICSE-C.2017.106},
  doi       = {10.1109/ICSE-C.2017.106},
  timestamp = {Tue, 12 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/0001BPS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-10377,
  author    = {Hamid Bagheri and
               Md Johirul Islam},
  title     = {Sentiment analysis of twitter data},
  journal   = {CoRR},
  volume    = {abs/1711.10377},
  year      = {2017},
  url       = {http://arxiv.org/abs/1711.10377},
  archivePrefix = {arXiv},
  eprint    = {1711.10377},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1711-10377},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BagheriS16,
  author    = {Hamid Bagheri and
               Kevin J. Sullivan},
  title     = {Model-driven synthesis of formally precise, stylized software architectures},
  journal   = {Formal Asp. Comput.},
  volume    = {28},
  number    = {3},
  pages     = {441--467},
  year      = {2016},
  url       = {https://doi.org/10.1007/s00165-016-0360-8},
  doi       = {10.1007/s00165-016-0360-8},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/BagheriS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BagheriGSMM16,
  author    = {Hamid Bagheri and
               Joshua Garcia and
               Alireza Sadeghi and
               Sam Malek and
               Nenad Medvidovic},
  title     = {Software architectural principles in contemporary mobile software:
               from conception to practice},
  journal   = {Journal of Systems and Software},
  volume    = {119},
  pages     = {31--44},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.jss.2016.05.039},
  doi       = {10.1016/j.jss.2016.05.039},
  timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jss/BagheriGSMM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BagheriSBM16,
  author    = {Hamid Bagheri and
               Alireza Sadeghi and
               Reyhaneh Jabbarvand Behrouz and
               Sam Malek},
  title     = {Practical, Formal Synthesis and Automatic Enforcement of Security
               Policies for Android},
  booktitle = {46th Annual {IEEE/IFIP} International Conference on Dependable Systems
               and Networks, {DSN} 2016, Toulouse, France, June 28 - July 1, 2016},
  pages     = {514--525},
  year      = {2016},
  crossref  = {DBLP:conf/dsn/2016},
  url       = {https://doi.org/10.1109/DSN.2016.53},
  doi       = {10.1109/DSN.2016.53},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsn/BagheriSBM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/SchmerlGSBMCG16,
  author    = {Bradley R. Schmerl and
               Jeff Gennari and
               Alireza Sadeghi and
               Hamid Bagheri and
               Sam Malek and
               Javier C{\'{a}}mara and
               David Garlan},
  title     = {Architecture Modeling and Analysis of Security in Android Systems},
  booktitle = {Software Architecture - 10th European Conference, {ECSA} 2016, Copenhagen,
               Denmark, November 28 - December 2, 2016, Proceedings},
  pages     = {274--290},
  year      = {2016},
  crossref  = {DBLP:conf/ecsa/2016},
  url       = {https://doi.org/10.1007/978-3-319-48992-6\_21},
  doi       = {10.1007/978-3-319-48992-6\_21},
  timestamp = {Wed, 24 May 2017 08:29:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecsa/SchmerlGSBMCG16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MirzaeiGBSM16,
  author    = {Nariman Mirzaei and
               Joshua Garcia and
               Hamid Bagheri and
               Alireza Sadeghi and
               Sam Malek},
  title     = {Reducing combinatorics in {GUI} testing of android applications},
  booktitle = {Proceedings of the 38th International Conference on Software Engineering,
               {ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
  pages     = {559--570},
  year      = {2016},
  crossref  = {DBLP:conf/icse/2016},
  url       = {https://doi.org/10.1145/2884781.2884853},
  doi       = {10.1145/2884781.2884853},
  timestamp = {Tue, 06 Nov 2018 11:06:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/MirzaeiGBSM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BehrouzSBM16,
  author    = {Reyhaneh Jabbarvand Behrouz and
               Alireza Sadeghi and
               Hamid Bagheri and
               Sam Malek},
  title     = {Energy-aware test-suite minimization for Android apps},
  booktitle = {Proceedings of the 25th International Symposium on Software Testing
               and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July
               18-20, 2016},
  pages     = {425--436},
  year      = {2016},
  crossref  = {DBLP:conf/issta/2016},
  url       = {https://doi.org/10.1145/2931037.2931067},
  doi       = {10.1145/2931037.2931067},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/BehrouzSBM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BagheriM16,
  author    = {Hamid Bagheri and
               Sam Malek},
  title     = {Titanium: efficient analysis of evolving alloy specifications},
  booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
               November 13-18, 2016},
  pages     = {27--38},
  year      = {2016},
  crossref  = {DBLP:conf/sigsoft/2016},
  url       = {https://doi.org/10.1145/2950290.2950337},
  doi       = {10.1145/2950290.2950337},
  timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/BagheriM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BagheriSGM15,
  author    = {Hamid Bagheri and
               Alireza Sadeghi and
               Joshua Garcia and
               Sam Malek},
  title     = {{COVERT:} Compositional Analysis of Android Inter-App Permission Leakage},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {41},
  number    = {9},
  pages     = {866--886},
  year      = {2015},
  url       = {https://doi.org/10.1109/TSE.2015.2419611},
  doi       = {10.1109/TSE.2015.2419611},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/BagheriSGM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BagheriKMJ15,
  author    = {Hamid Bagheri and
               Eunsuk Kang and
               Sam Malek and
               Daniel Jackson},
  title     = {Detection of Design Flaws in the Android Permission Protocol Through
               Bounded Verification},
  booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
               June 24-26, 2015, Proceedings},
  pages     = {73--89},
  year      = {2015},
  crossref  = {DBLP:conf/fm/2015},
  url       = {https://doi.org/10.1007/978-3-319-19249-9\_6},
  doi       = {10.1007/978-3-319-19249-9\_6},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/BagheriKMJ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SadeghiBM15,
  author    = {Alireza Sadeghi and
               Hamid Bagheri and
               Sam Malek},
  title     = {Analysis of Android Inter-App Security Vulnerabilities Using {COVERT}},
  booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
               {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
  pages     = {725--728},
  year      = {2015},
  crossref  = {DBLP:conf/icse/2015-2},
  url       = {https://doi.org/10.1109/ICSE.2015.233},
  doi       = {10.1109/ICSE.2015.233},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/SadeghiBM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MirzaeiBMM15,
  author    = {Nariman Mirzaei and
               Hamid Bagheri and
               Riyadh Mahmood and
               Sam Malek},
  title     = {SIG-Droid: Automated system input generation for Android applications},
  booktitle = {26th {IEEE} International Symposium on Software Reliability Engineering,
               {ISSRE} 2015, Gaithersbury, MD, USA, November 2-5, 2015},
  pages     = {461--471},
  year      = {2015},
  crossref  = {DBLP:conf/issre/2015},
  url       = {https://doi.org/10.1109/ISSRE.2015.7381839},
  doi       = {10.1109/ISSRE.2015.7381839},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issre/MirzaeiBMM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/KouroshfarMBXMC15,
  author    = {Ehsan Kouroshfar and
               Mehdi Mirakhorli and
               Hamid Bagheri and
               Lu Xiao and
               Sam Malek and
               Yuanfang Cai},
  title     = {A Study on the Role of Software Architecture in the Evolution and
               Quality of Software},
  booktitle = {12th {IEEE/ACM} Working Conference on Mining Software Repositories,
               {MSR} 2015, Florence, Italy, May 16-17, 2015},
  pages     = {246--257},
  year      = {2015},
  crossref  = {DBLP:conf/msr/2015},
  url       = {https://doi.org/10.1109/MSR.2015.30},
  doi       = {10.1109/MSR.2015.30},
  timestamp = {Tue, 11 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/msr/KouroshfarMBXMC15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BagheriTS14,
  author    = {Hamid Bagheri and
               Chong Tang and
               Kevin J. Sullivan},
  title     = {TradeMaker: automated dynamic analysis of synthesized tradespaces},
  booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
               Hyderabad, India - May 31 - June 07, 2014},
  pages     = {106--116},
  year      = {2014},
  crossref  = {DBLP:conf/icse/2014},
  url       = {https://doi.org/10.1145/2568225.2568291},
  doi       = {10.1145/2568225.2568291},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/BagheriTS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MalekBS14,
  author    = {Sam Malek and
               Hamid Bagheri and
               Alireza Sadeghi},
  title     = {Automated detection and mitigation of inter-application security vulnerabilities
               in Android (invited talk)},
  booktitle = {Proceedings of the 2nd International Workshop on Software Development
               Lifecycle for Mobile, DeMobile 2014, Hong Kong, China, November 17,
               2014},
  pages     = {17--18},
  year      = {2014},
  crossref  = {DBLP:conf/sigsoft/2014demobile},
  url       = {https://doi.org/10.1145/2661694.2661699},
  doi       = {10.1145/2661694.2661699},
  timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/MalekBS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bagheri14,
  author    = {Hamid Bagheri},
  title     = {Synthesis from Formal Partial Abstractions},
  journal   = {CoRR},
  volume    = {abs/1411.0481},
  year      = {2014},
  url       = {http://arxiv.org/abs/1411.0481},
  archivePrefix = {arXiv},
  eprint    = {1411.0481},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Bagheri14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BagheriS04,
  author    = {Hamid Bagheri and
               Kevin J. Sullivan},
  title     = {Bottom-up model-driven development},
  booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
               San Francisco, CA, USA, May 18-26, 2013},
  pages     = {1221--1224},
  year      = {2013},
  crossref  = {DBLP:conf/icse/2013},
  url       = {https://doi.org/10.1109/ICSE.2013.6606683},
  doi       = {10.1109/ICSE.2013.6606683},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/BagheriS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/BagheriS12,
  author    = {Hamid Bagheri and
               Kevin J. Sullivan},
  title     = {Pol: specification-driven synthesis of architectural code frameworks
               for platform-based applications},
  booktitle = {Generative Programming and Component Engineering, GPCE'12, Dresden,
               Germany, September 26-28, 2012},
  pages     = {93--102},
  year      = {2012},
  crossref  = {DBLP:conf/gpce/2012},
  url       = {https://doi.org/10.1145/2371401.2371416},
  doi       = {10.1145/2371401.2371416},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gpce/BagheriS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BagheriSS12,
  author    = {Hamid Bagheri and
               Kevin J. Sullivan and
               Sang H. Son},
  title     = {Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational
               Mapping},
  booktitle = {Proceedings of the 24th International Conference on Software Engineering
               {\&} Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood
               City, San Francisco Bay, {USA} July 1-3, 2012},
  pages     = {688--693},
  year      = {2012},
  crossref  = {DBLP:conf/seke/2012},
  timestamp = {Tue, 09 Oct 2018 17:39:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/seke/BagheriSS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Bagheri11,
  author    = {Hamid Bagheri},
  title     = {A formal approach to software synthesis for architectural platforms},
  booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
               {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  pages     = {1143--1145},
  year      = {2011},
  crossref  = {DBLP:conf/icse/2011},
  url       = {https://doi.org/10.1145/1985793.1986023},
  doi       = {10.1145/1985793.1986023},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/Bagheri11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BagheriS11,
  author    = {Hamid Bagheri and
               Kevin J. Sullivan},
  title     = {A Formal Approach for Incorporating Architectural Tactics into the
               Software Architecture},
  booktitle = {Proceedings of the 23rd International Conference on Software Engineering
               {\&} Knowledge Engineering (SEKE'2011), Eden Roc Renaissance,
               Miami Beach, USA, July 7-9, 2011},
  pages     = {770--775},
  year      = {2011},
  crossref  = {DBLP:conf/seke/2011},
  timestamp = {Tue, 09 Oct 2018 17:39:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/seke/BagheriS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BagheriS10,
  author    = {Hamid Bagheri and
               Kevin J. Sullivan},
  title     = {Architecture as an Independent Variable for Aspect-Oriented Application
               Descriptions},
  booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
               {ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
  pages     = {395},
  year      = {2010},
  crossref  = {DBLP:conf/asm/2010},
  url       = {https://doi.org/10.1007/978-3-642-11811-1\_32},
  doi       = {10.1007/978-3-642-11811-1\_32},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/BagheriS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BagheriSS10,
  author    = {Hamid Bagheri and
               Yuanyuan Song and
               Kevin J. Sullivan},
  title     = {Architectural style as an independent variable},
  booktitle = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
               Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages     = {159--162},
  year      = {2010},
  crossref  = {DBLP:conf/kbse/2010},
  url       = {https://doi.org/10.1145/1858996.1859026},
  doi       = {10.1145/1858996.1859026},
  timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/BagheriSS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BagheriS10,
  author    = {Hamid Bagheri and
               Kevin J. Sullivan},
  title     = {Monarch: Model-Based Development of Software Architectures},
  booktitle = {Model Driven Engineering Languages and Systems - 13th International
               Conference, {MODELS} 2010, Oslo, Norway, October 3-8, 2010, Proceedings,
               Part {II}},
  pages     = {376--390},
  year      = {2010},
  crossref  = {DBLP:conf/models/2010-2},
  url       = {https://doi.org/10.1007/978-3-642-16129-2\_27},
  doi       = {10.1007/978-3-642-16129-2\_27},
  timestamp = {Thu, 15 Jun 2017 21:44:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/BagheriS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/BagheriMSM08,
  author    = {Hamid Bagheri and
               Vajih Montaghami and
               Gholamreza Safi and
               Seyed{-}Hassan Mirian{-}Hosseinabadi},
  title     = {An evaluation method for aspectual modeling of distributed software
               architectures},
  booktitle = {The 6th {ACS/IEEE} International Conference on Computer Systems and
               Applications, {AICCSA} 2008, Doha, Qatar, March 31 - April 4, 2008},
  pages     = {903--908},
  year      = {2008},
  crossref  = {DBLP:conf/aiccsa/2008},
  url       = {https://doi.org/10.1109/AICCSA.2008.4493639},
  doi       = {10.1109/AICCSA.2008.4493639},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiccsa/BagheriMSM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Bagheri07,
  author    = {Hamid Bagheri},
  title     = {Injecting security as aspectable {NFR} into Software Architecture},
  booktitle = {14th Asia-Pacific Software Engineering Conference {(APSEC} 2007),
               5-7 December 2007, Nagoya, Japan},
  pages     = {310--317},
  year      = {2007},
  crossref  = {DBLP:conf/apsec/2007},
  url       = {https://doi.org/10.1109/APSEC.2007.65},
  doi       = {10.1109/APSEC.2007.65},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/Bagheri07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cit/BagheriME07,
  author    = {Hamid Bagheri and
               Seyed{-}Hassan Mirian{-}Hosseinabadi and
               Hesam Chiniforooshan Esfahani},
  title     = {An Aspect Enhanced Method of {NFR} Modeling in Software Architecture},
  booktitle = {10th International Conference on Information Technology, {ICIT} 2007,
               Roukela, India, 17-20 December 2007},
  pages     = {240--242},
  year      = {2007},
  crossref  = {DBLP:conf/cit/2007},
  url       = {https://doi.org/10.1109/ICIT.2007.19},
  doi       = {10.1109/ICIT.2007.19},
  timestamp = {Wed, 10 Jan 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cit/BagheriME07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/TrezzaHIBD03,
  author    = {John Trezza and
               Harald Hamster and
               Joseph Iamartino and
               Hamid Bagheri and
               Casimer DeCusatis},
  title     = {Parallel optical interconnects for enterprise class server clusters:
               needs and technology solutions},
  journal   = {{IEEE} Communications Magazine},
  volume    = {41},
  number    = {2},
  year      = {2003},
  url       = {https://doi.org/10.1109/MCOM.2003.1179496},
  doi       = {10.1109/MCOM.2003.1179496},
  timestamp = {Wed, 06 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cm/TrezzaHIBD03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/CTK2019,
  editor    = {Sungdeok Cha and
               Richard N. Taylor and
               Kyo Chul Kang},
  title     = {Handbook of Software Engineering},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-00262-6},
  doi       = {10.1007/978-3-030-00262-6},
  isbn      = {978-3-030-00261-9},
  timestamp = {Tue, 19 Feb 2019 19:18:54 +0100},
  biburl    = {https://dblp.org/rec/bib/books/sp/CTK2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2018,
  editor    = {Michel Chaudron and
               Ivica Crnkovic and
               Marsha Chechik and
               Mark Harman},
  title     = {Proceedings of the 40th International Conference on Software Engineering,
               {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3180155},
  doi       = {10.1145/3180155},
  isbn      = {978-1-4503-5638-1},
  timestamp = {Wed, 21 Nov 2018 12:43:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsm/2018,
  title     = {2018 {IEEE} International Conference on Software Maintenance and Evolution,
               {ICSME} 2018, Madrid, Spain, September 23-29, 2018},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8528818},
  isbn      = {978-1-5386-7870-1},
  timestamp = {Thu, 15 Nov 2018 13:45:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2018,
  editor    = {Marianne Huchard and
               Christian K{\"{a}}stner and
               Gordon Fraser},
  title     = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
               Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
               2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3238147},
  doi       = {10.1145/3238147},
  timestamp = {Wed, 21 Nov 2018 12:44:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2018,
  editor    = {Gary T. Leavens and
               Alessandro Garcia and
               Corina S. Pasareanu},
  title     = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
               Conference and Symposium on the Foundations of Software Engineering,
               {ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
               2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3236024},
  isbn      = {978-1-4503-5573-5},
  timestamp = {Sun, 28 Oct 2018 14:40:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsa/2017,
  title     = {2017 {IEEE} International Conference on Software Architecture, {ICSA}
               2017, Gothenburg, Sweden, April 3-7, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7929837},
  isbn      = {978-1-5090-5729-0},
  timestamp = {Thu, 16 Aug 2018 09:44:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsa/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2017c,
  editor    = {Sebasti{\'{a}}n Uchitel and
               Alessandro Orso and
               Martin P. Robillard},
  title     = {Proceedings of the 39th International Conference on Software Engineering,
               {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
               Volume},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7961434},
  isbn      = {978-1-5386-1589-8},
  timestamp = {Fri, 07 Jul 2017 14:06:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2017c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsn/2016,
  title     = {46th Annual {IEEE/IFIP} International Conference on Dependable Systems
               and Networks, {DSN} 2016, Toulouse, France, June 28 - July 1, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7579391},
  isbn      = {978-1-4673-8891-7},
  timestamp = {Thu, 06 Oct 2016 11:29:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsn/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecsa/2016,
  editor    = {Bedir Tekinerdogan and
               Uwe Zdun and
               Muhammad Ali Babar},
  title     = {Software Architecture - 10th European Conference, {ECSA} 2016, Copenhagen,
               Denmark, November 28 - December 2, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9839},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-48992-6},
  doi       = {10.1007/978-3-319-48992-6},
  isbn      = {978-3-319-48991-9},
  timestamp = {Wed, 24 May 2017 08:29:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecsa/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2016,
  editor    = {Laura K. Dillon and
               Willem Visser and
               Laurie Williams},
  title     = {Proceedings of the 38th International Conference on Software Engineering,
               {ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2884781},
  doi       = {10.1145/2884781},
  isbn      = {978-1-4503-3900-1},
  timestamp = {Tue, 06 Nov 2018 11:06:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2016,
  editor    = {Andreas Zeller and
               Abhik Roychoudhury},
  title     = {Proceedings of the 25th International Symposium on Software Testing
               and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July
               18-20, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2931037},
  doi       = {10.1145/2931037},
  isbn      = {978-1-4503-4390-9},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2016,
  editor    = {Thomas Zimmermann and
               Jane Cleland{-}Huang and
               Zhendong Su},
  title     = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
               November 13-18, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2950290},
  doi       = {10.1145/2950290},
  isbn      = {978-1-4503-4218-6},
  timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2015,
  editor    = {Nikolaj Bj{\o}rner and
               Frank S. de Boer},
  title     = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
               June 24-26, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9109},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19249-9},
  doi       = {10.1007/978-3-319-19249-9},
  isbn      = {978-3-319-19248-2},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2015-2,
  editor    = {Antonia Bertolino and
               Gerardo Canfora and
               Sebastian G. Elbaum},
  title     = {37th {IEEE/ACM} International Conference on Software Engineering,
               {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7174815},
  timestamp = {Tue, 03 May 2016 15:49:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2015-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issre/2015,
  title     = {26th {IEEE} International Symposium on Software Reliability Engineering,
               {ISSRE} 2015, Gaithersbury, MD, USA, November 2-5, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7374093},
  isbn      = {978-1-5090-0406-5},
  timestamp = {Fri, 06 May 2016 09:06:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issre/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/msr/2015,
  editor    = {Massimiliano Di Penta and
               Martin Pinzger and
               Romain Robbes},
  title     = {12th {IEEE/ACM} Working Conference on Mining Software Repositories,
               {MSR} 2015, Florence, Italy, May 16-17, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7180033},
  isbn      = {978-0-7695-5594-2},
  timestamp = {Thu, 23 Nov 2017 13:05:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/msr/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2014,
  editor    = {Pankaj Jalote and
               Lionel C. Briand and
               Andr{\'{e}} van der Hoek},
  title     = {36th International Conference on Software Engineering, {ICSE} '14,
               Hyderabad, India - May 31 - June 07, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2568225},
  isbn      = {978-1-4503-2756-5},
  timestamp = {Sun, 18 May 2014 16:02:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2014demobile,
  editor    = {Aharon Abadi and
               Rafael Prikladnicki and
               Yael Dubinsky},
  title     = {Proceedings of the 2nd International Workshop on Software Development
               Lifecycle for Mobile, DeMobile 2014, Hong Kong, China, November 17,
               2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2661694},
  doi       = {10.1145/2661694},
  isbn      = {978-1-4503-3225-5},
  timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2014demobile},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2013,
  editor    = {David Notkin and
               Betty H. C. Cheng and
               Klaus Pohl},
  title     = {35th International Conference on Software Engineering, {ICSE} '13,
               San Francisco, CA, USA, May 18-26, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6596173},
  isbn      = {978-1-4673-3076-3},
  timestamp = {Tue, 03 May 2016 16:08:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gpce/2012,
  editor    = {Klaus Ostermann and
               Walter Binder},
  title     = {Generative Programming and Component Engineering, GPCE'12, Dresden,
               Germany, September 26-28, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2371401},
  isbn      = {978-1-4503-1129-8},
  timestamp = {Fri, 19 Oct 2012 18:47:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gpce/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/seke/2012,
  title     = {Proceedings of the 24th International Conference on Software Engineering
               {\&} Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood
               City, San Francisco Bay, {USA} July 1-3, 2012},
  publisher = {Knowledge Systems Institute Graduate School},
  year      = {2012},
  url       = {http://ksiresearchorg.ipage.com/seke/Proceedings/seke/SEKE2012\_Proceedings.pdf},
  isbn      = {1-891706-31-4},
  timestamp = {Tue, 09 Oct 2018 17:39:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/seke/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2011,
  editor    = {Richard N. Taylor and
               Harald C. Gall and
               Nenad Medvidovic},
  title     = {Proceedings of the 33rd International Conference on Software Engineering,
               {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0445-0},
  timestamp = {Wed, 01 Apr 2015 20:06:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/seke/2011,
  title     = {Proceedings of the 23rd International Conference on Software Engineering
               {\&} Knowledge Engineering (SEKE'2011), Eden Roc Renaissance,
               Miami Beach, USA, July 7-9, 2011},
  publisher = {Knowledge Systems Institute Graduate School},
  year      = {2011},
  url       = {http://ksiresearchorg.ipage.com/seke/Proceedings/seke/SEKE2011\_Proceedings.pdf},
  isbn      = {1-891706-29-2},
  timestamp = {Tue, 09 Oct 2018 17:39:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/seke/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2010,
  editor    = {Marc Frappier and
               Uwe Gl{\"{a}}sser and
               Sarfraz Khurshid and
               R{\'{e}}gine Laleau and
               Steve Reeves},
  title     = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
               {ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5977},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11811-1},
  doi       = {10.1007/978-3-642-11811-1},
  isbn      = {978-3-642-11810-4},
  timestamp = {Sun, 21 May 2017 00:18:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2010,
  editor    = {Charles Pecheur and
               Jamie Andrews and
               Elisabetta Di Nitto},
  title     = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
               Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1858996},
  doi       = {10.1145/1858996},
  isbn      = {978-1-4503-0116-9},
  timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2010-2,
  editor    = {Dorina C. Petriu and
               Nicolas Rouquette and
               {\O}ystein Haugen},
  title     = {Model Driven Engineering Languages and Systems - 13th International
               Conference, {MODELS} 2010, Oslo, Norway, October 3-8, 2010, Proceedings,
               Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6395},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16129-2},
  doi       = {10.1007/978-3-642-16129-2},
  isbn      = {978-3-642-16128-5},
  timestamp = {Thu, 15 Jun 2017 21:44:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/2010-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiccsa/2008,
  title     = {The 6th {ACS/IEEE} International Conference on Computer Systems and
               Applications, {AICCSA} 2008, Doha, Qatar, March 31 - April 4, 2008},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4488216},
  isbn      = {978-1-4244-1967-8},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aiccsa/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apsec/2007,
  title     = {14th Asia-Pacific Software Engineering Conference {(APSEC} 2007),
               5-7 December 2007, Nagoya, Japan},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4425817},
  isbn      = {0-7695-3057-5},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cit/2007,
  title     = {10th International Conference on Information Technology, {ICIT} 2007,
               Roukela, India, 17-20 December 2007},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4418246},
  isbn      = {0-7695-3068-0},
  timestamp = {Tue, 18 Nov 2014 16:59:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cit/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier