BibTeX records: Nafees Qamar

download as .bib file

@article{DBLP:journals/sensors/ButtMQYMR23,
  author       = {Muhammad Junaid Butt and
                  Ahmad Kamran Malik and
                  Nafees Qamar and
                  Samad Yar and
                  Arif Jamal Malik and
                  Usman Rauf},
  title        = {A Survey on {COVID-19} Data Analysis Using AI, IoT, and Social Media},
  journal      = {Sensors},
  volume       = {23},
  number       = {12},
  pages        = {5543},
  year         = {2023},
  url          = {https://doi.org/10.3390/s23125543},
  doi          = {10.3390/S23125543},
  timestamp    = {Thu, 13 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sensors/ButtMQYMR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/hij/ShaikhVAQ22,
  author       = {Mohsin Shaikh and
                  Arshad Hm Vayani and
                  Sabina Akram and
                  Nafees Qamar},
  title        = {Open-source electronic health record systems: {A} systematic review
                  of most recent advances},
  journal      = {Health Informatics J.},
  volume       = {28},
  number       = {2},
  pages        = {146045822210998},
  year         = {2022},
  url          = {https://doi.org/10.1177/14604582221099828},
  doi          = {10.1177/14604582221099828},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/hij/ShaikhVAQ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/Qamar22,
  author       = {Nafees Qamar},
  title        = {A Mobile Application for Alzheimer's Caregivers},
  booktitle    = {10th {IEEE} International Conference on Healthcare Informatics, {ICHI}
                  2022, Rochester, MN, USA, June 11-14, 2022},
  pages        = {486--488},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICHI54592.2022.00082},
  doi          = {10.1109/ICHI54592.2022.00082},
  timestamp    = {Fri, 23 Sep 2022 17:15:39 +0200},
  biburl       = {https://dblp.org/rec/conf/ichi/Qamar22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/AsimMRSQ21,
  author       = {Yousra Asim and
                  Ahmad Kamran Malik and
                  Basit Raza and
                  Ahmad Raza Shahid and
                  Nafees Qamar},
  title        = {Predicting Influential Blogger's by a Novel, Hybrid and Optimized
                  Case Based Reasoning Approach With Balanced Random Forest Using Imbalanced
                  Data},
  journal      = {{IEEE} Access},
  volume       = {9},
  pages        = {6836--6854},
  year         = {2021},
  url          = {https://doi.org/10.1109/ACCESS.2020.3048610},
  doi          = {10.1109/ACCESS.2020.3048610},
  timestamp    = {Tue, 26 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/access/AsimMRSQ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/RaufSQS21,
  author       = {Usman Rauf and
                  Mohamed Shehab and
                  Nafees Qamar and
                  Sheema Sameen},
  title        = {Formal approach to thwart against insider attacks: {A} bio-inspired
                  auto-resilient policy regulation framework},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {117},
  pages        = {412--425},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.future.2020.11.009},
  doi          = {10.1016/J.FUTURE.2020.11.009},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fgcs/RaufSQS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/GhazalMRQQB21,
  author       = {Rubina Ghazal and
                  Ahmad Kamran Malik and
                  Basit Raza and
                  Nauman Qadeer and
                  Nafees Qamar and
                  Sajal Bhatia},
  title        = {Agent-Based Semantic Role Mining for Intelligent Access Control in
                  Multi-Domain Collaborative Applications of Smart Cities},
  journal      = {Sensors},
  volume       = {21},
  number       = {13},
  pages        = {4253},
  year         = {2021},
  url          = {https://doi.org/10.3390/s21134253},
  doi          = {10.3390/S21134253},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sensors/GhazalMRQQB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/BartlettMQMM20,
  author       = {Christopher Bartlett and
                  Joseph Miles and
                  Nafees Qamar and
                  Lazaro Martinez and
                  Dominick Manno},
  editor       = {Alba Garc{\'{\i}}a Seco de Herrera and
                  Alejandro Rodr{\'{\i}}guez Gonz{\'{a}}lez and
                  KC Santosh and
                  Zelalem Temesgen and
                  Bridget Kane and
                  Paolo Soda},
  title        = {TremorTrack: {A} Privacy-Aware Solution for Monitoring Parkinsonian
                  and Essential Tremors},
  booktitle    = {33rd {IEEE} International Symposium on Computer-Based Medical Systems,
                  {CBMS} 2020, Rochester, MN, USA, July 28-30, 2020},
  pages        = {392--396},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/CBMS49503.2020.00081},
  doi          = {10.1109/CBMS49503.2020.00081},
  timestamp    = {Mon, 16 Jan 2023 08:52:16 +0100},
  biburl       = {https://dblp.org/rec/conf/cbms/BartlettMQMM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/YangQLGWLL20,
  author       = {Yilong Yang and
                  Nafees Qamar and
                  Peng Liu and
                  Katarina Grolinger and
                  Weiru Wang and
                  Zhi Li and
                  Zhifang Liao},
  title        = {ServeNet: {A} Deep Neural Network for Web Services Classification},
  booktitle    = {2020 {IEEE} International Conference on Web Services, {ICWS} 2020,
                  Beijing, China, October 19-23, 2020},
  pages        = {168--175},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ICWS49710.2020.00029},
  doi          = {10.1109/ICWS49710.2020.00029},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icws/YangQLGWLL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bionetics/RaufSQS19,
  author       = {Usman Rauf and
                  Mohamed Shehab and
                  Nafees Qamar and
                  Sheema Sameen},
  editor       = {Adriana B. Compagnoni and
                  William Casey and
                  Yang Cai and
                  Bud Mishra},
  title        = {Bio-inspired Approach to Thwart Against Insider Threats: An Access
                  Control Policy Regulation Framework},
  booktitle    = {Bio-inspired Information and Communication Technologies - 11th {EAI}
                  International Conference, {BICT} 2019, Pittsburgh, PA, USA, March
                  13-14, 2019, Proceedings},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {289},
  pages        = {39--57},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24202-2\_4},
  doi          = {10.1007/978-3-030-24202-2\_4},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bionetics/RaufSQS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/YangLQLKSL18,
  author       = {Yilong Yang and
                  Xiaoshan Li and
                  Nafees Qamar and
                  Peng Liu and
                  Wei Ke and
                  Bingqing Shen and
                  Zhiming Liu},
  title        = {Medshare: {A} Novel Hybrid Cloud for Medical Resource Sharing Among
                  Autonomous Healthcare Providers},
  journal      = {{IEEE} Access},
  volume       = {6},
  pages        = {46949--46961},
  year         = {2018},
  url          = {https://doi.org/10.1109/ACCESS.2018.2865535},
  doi          = {10.1109/ACCESS.2018.2865535},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/access/YangLQLKSL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/MilesQ18,
  author       = {Joseph Miles and
                  Nafees Qamar},
  title        = {Med Conformity: Enhance Adherence with Prescription Opioids},
  booktitle    = {{IEEE} International Conference on Healthcare Informatics, {ICHI}
                  2018, New York City, NY, USA, June 4-7, 2018},
  pages        = {340--341},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICHI.2018.00048},
  doi          = {10.1109/ICHI.2018.00048},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ichi/MilesQ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-05353,
  author       = {Yilong Yang and
                  Xiaoshan Li and
                  Nafees Qamar and
                  Wei Ke and
                  Zhiming Liu},
  title        = {MedShare: Medical Resource Sharing among Autonomous Healthcare Providers},
  journal      = {CoRR},
  volume       = {abs/1803.05353},
  year         = {2018},
  url          = {http://arxiv.org/abs/1803.05353},
  eprinttype    = {arXiv},
  eprint       = {1803.05353},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-05353.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euspn/QamarYN016,
  author       = {Nafees Qamar and
                  Yilong Yang and
                  Andr{\'{a}}s N{\'{a}}das and
                  Zhiming Liu},
  editor       = {Elhadi M. Shakshuki},
  title        = {Querying Medical Datasets While Preserving Privacy},
  booktitle    = {The 7th International Conference on Emerging Ubiquitous Systems and
                  Pervasive Networks {(EUSPN} 2016)/The 6th International Conference
                  on Current and Future Trends of Information and Communication Technologies
                  in Healthcare (ICTH-2016)/Affiliated Workshops, September 19-22, 2016,
                  London, United Kingdom},
  series       = {Procedia Computer Science},
  volume       = {98},
  pages        = {324--331},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.procs.2016.09.049},
  doi          = {10.1016/J.PROCS.2016.09.049},
  timestamp    = {Thu, 08 Jul 2021 16:04:01 +0200},
  biburl       = {https://dblp.org/rec/conf/euspn/QamarYN016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijismd/LedruIMQLRL15,
  author       = {Yves Ledru and
                  Akram Idani and
                  J{\'{e}}r{\'{e}}my Milhau and
                  Nafees Qamar and
                  R{\'{e}}gine Laleau and
                  Jean{-}Luc Richier and
                  Mohamed{-}Amine Labiadh},
  title        = {Validation of {IS} Security Policies Featuring Authorisation Constraints},
  journal      = {Int. J. Inf. Syst. Model. Des.},
  volume       = {6},
  number       = {1},
  pages        = {24--46},
  year         = {2015},
  url          = {https://doi.org/10.4018/ijismd.2015010102},
  doi          = {10.4018/IJISMD.2015010102},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijismd/LedruIMQLRL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/QamarYN0S15,
  author       = {Nafees Qamar and
                  Yilong Yang and
                  Andr{\'{a}}s N{\'{a}}das and
                  Zhiming Liu and
                  Janos Sztipanovits},
  title        = {Anonymously Analyzing Clinical Datasets},
  journal      = {CoRR},
  volume       = {abs/1501.05916},
  year         = {2015},
  url          = {http://arxiv.org/abs/1501.05916},
  eprinttype    = {arXiv},
  eprint       = {1501.05916},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/QamarYN0S15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/QamarYN0S14,
  author       = {Nafees Qamar and
                  Yilong Yang and
                  Andr{\'{a}}s N{\'{a}}das and
                  Zhiming Liu and
                  Janos Sztipanovits},
  editor       = {Michaela Huhn and
                  Laurie A. Williams},
  title        = {A Tool for Analyzing Clinical Datasets as Blackbox},
  booktitle    = {Software Engineering in Health Care - 4th International Symposium,
                  {FHIES} 2014, and 6th International Workshop, {SEHC} 2014, Washington,
                  DC, USA, July 17-18, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9062},
  pages        = {222--238},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-63194-3\_15},
  doi          = {10.1007/978-3-319-63194-3\_15},
  timestamp    = {Mon, 07 Sep 2020 10:46:59 +0200},
  biburl       = {https://dblp.org/rec/conf/fhies/QamarYN0S14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/idt/AbouzaidMMQ13,
  author       = {Faisal Abouzaid and
                  Manuel Mazzara and
                  John Mullins and
                  Nafees Qamar},
  title        = {Towards a formal analysis of dynamic reconfiguration in {WS-BPEL}},
  journal      = {Intell. Decis. Technol.},
  volume       = {7},
  number       = {3},
  pages        = {213--224},
  year         = {2013},
  url          = {https://doi.org/10.3233/IDT-130164},
  doi          = {10.3233/IDT-130164},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/idt/AbouzaidMMQ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/LiuQQ13,
  author       = {Zhiming Liu and
                  Nafees Qamar and
                  Jie Qian},
  editor       = {Jeremy Gibbons and
                  Wendy MacCaull},
  title        = {A Quantitative Analysis of the Performance and Scalability of De-identification
                  Tools for Medical Data},
  booktitle    = {Foundations of Health Information Engineering and Systems - Third
                  International Symposium, {FHIES} 2013, Macau, China, August 21-23,
                  2013. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8315},
  pages        = {274--289},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-53956-5\_18},
  doi          = {10.1007/978-3-642-53956-5\_18},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fhies/LiuQQ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/LiuQQ13,
  author       = {Zhiming Liu and
                  Nafees Qamar and
                  Jie Qian},
  editor       = {Christoph Ulrich Lehmann and
                  Elske Ammenwerth and
                  Christian N{\o}hr},
  title        = {An Automated Routine Childhood Immunization Approach using openEHR},
  booktitle    = {{MEDINFO} 2013 - Proceedings of the 14th World Congress on Medical
                  and Health Informatics, 20-13 August 2013, Copenhagen, Denmark},
  series       = {Studies in Health Technology and Informatics},
  volume       = {192},
  pages        = {1075},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-289-9-1075},
  doi          = {10.3233/978-1-61499-289-9-1075},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/medinfo/LiuQQ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/ChewFLMQ13,
  author       = {Han Ei Chew and
                  Johannes Faber and
                  Zhiming Liu and
                  Vanessa Madera and
                  Nafees Qamar},
  editor       = {Christoph Ulrich Lehmann and
                  Elske Ammenwerth and
                  Christian N{\o}hr},
  title        = {Actualizing a Mobile Integrated System for Geriatric Care},
  booktitle    = {{MEDINFO} 2013 - Proceedings of the 14th World Congress on Medical
                  and Health Informatics, 20-13 August 2013, Copenhagen, Denmark},
  series       = {Studies in Health Technology and Informatics},
  volume       = {192},
  pages        = {1109},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-289-9-1109},
  doi          = {10.3233/978-1-61499-289-9-1109},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/medinfo/ChewFLMQ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MazzaraBGDMQN13,
  author       = {Manuel Mazzara and
                  Luca Biselli and
                  Pier Paolo Greco and
                  Nicola Dragoni and
                  Antonio Marraffa and
                  Nafees Qamar and
                  Simona de Nicola},
  title        = {Social Networks and Collective Intelligence: {A} Return to the Agora},
  journal      = {CoRR},
  volume       = {abs/1311.2551},
  year         = {2013},
  url          = {http://arxiv.org/abs/1311.2551},
  eprinttype    = {arXiv},
  eprint       = {1311.2551},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MazzaraBGDMQN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/QamarFLL12,
  author       = {Nafees Qamar and
                  Johannes Faber and
                  Yves Ledru and
                  Zhiming Liu},
  editor       = {Jens H. Weber and
                  Isabelle Perseil},
  title        = {Automated Reviewing of Healthcare Security Policies},
  booktitle    = {Foundations of Health Information Engineering and Systems - Second
                  International Symposium, {FHIES} 2012, Paris, France, August 27-28,
                  2012. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7789},
  pages        = {176--193},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-39088-3\_12},
  doi          = {10.1007/978-3-642-39088-3\_12},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fhies/QamarFLL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-3836,
  author       = {Jie Qian and
                  Nafees Qamar},
  title        = {An experimental evaluation of de-identification tools for electronic
                  health records},
  journal      = {CoRR},
  volume       = {abs/1211.3836},
  year         = {2012},
  url          = {http://arxiv.org/abs/1211.3836},
  eprinttype    = {arXiv},
  eprint       = {1211.3836},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-3836.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/QamarLI11,
  author       = {Nafees Qamar and
                  Yves Ledru and
                  Akram Idani},
  title        = {Evaluating {RBAC} Supported Techniques and their Validation and Verification},
  booktitle    = {Sixth International Conference on Availability, Reliability and Security,
                  {ARES} 2011, Vienna, Austria, August 22-26, 2011},
  pages        = {734--739},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ARES.2011.112},
  doi          = {10.1109/ARES.2011.112},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEares/QamarLI11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/LedruIMQLRL11,
  author       = {Yves Ledru and
                  Akram Idani and
                  J{\'{e}}r{\'{e}}my Milhau and
                  Nafees Qamar and
                  R{\'{e}}gine Laleau and
                  Jean{-}Luc Richier and
                  Mohamed{-}Amine Labiadh},
  editor       = {Camille Salinesi and
                  Oscar Pastor},
  title        = {Taking into Account Functional Models in the Validation of {IS} Security
                  Policies},
  booktitle    = {Advanced Information Systems Engineering Workshops - CAiSE 2011 International
                  Workshops, London, UK, June 20-24, 2011. Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {83},
  pages        = {592--606},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22056-2\_62},
  doi          = {10.1007/978-3-642-22056-2\_62},
  timestamp    = {Mon, 18 Jan 2021 08:56:37 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/LedruIMQLRL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/QamarLI11,
  author       = {Nafees Qamar and
                  Yves Ledru and
                  Akram Idani},
  editor       = {Shengchao Qin and
                  Zongyan Qiu},
  title        = {Validation of Security-Design Models Using {Z}},
  booktitle    = {Formal Methods and Software Engineering - 13th International Conference
                  on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
                  2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6991},
  pages        = {259--274},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24559-6\_19},
  doi          = {10.1007/978-3-642-24559-6\_19},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/QamarLI11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/LedruQIRL11,
  author       = {Yves Ledru and
                  Nafees Qamar and
                  Akram Idani and
                  Jean{-}Luc Richier and
                  Mohamed{-}Amine Labiadh},
  editor       = {Ruth Breu and
                  Jason Crampton and
                  Jorge Lobo},
  title        = {Validation of security policies by the animation of {Z} specifications},
  booktitle    = {16th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
                  2011, Innsbruck, Austria, June 15-17, 2011, Proceedings},
  pages        = {155--164},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1998441.1998471},
  doi          = {10.1145/1998441.1998471},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sacmat/LedruQIRL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Qamar09,
  author       = {Nafees Qamar},
  editor       = {Shahida Sulaiman and
                  Noor Maizura Mohamad Noor},
  title        = {Composition Analysis of Multiple Aspects in Aspect-Oriented Programs},
  booktitle    = {16th Asia-Pacific Software Engineering Conference, {APSEC} 2009, 1-3
                  December 2009, Batu Ferringhi, Penang, Malaysia},
  pages        = {223--230},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/APSEC.2009.36},
  doi          = {10.1109/APSEC.2009.36},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/Qamar09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics