BibTeX records: Amir A. Khwaja

download as .bib file

@article{DBLP:journals/access/BhuttaKNAKHSAC21,
  author       = {Muhammad Nasir Mumtaz Bhutta and
                  Amir A. Khwaja and
                  Adnan Nadeem and
                  Hafiz Farooq Ahmad and
                  Muhammad Khurram Khan and
                  Moataz Hanif and
                  Houbing Song and
                  Mohsen A. Rashwan and
                  Yue Cao},
  title        = {A Survey on Blockchain Technology: Evolution, Architecture and Security},
  journal      = {{IEEE} Access},
  volume       = {9},
  pages        = {61048--61073},
  year         = {2021},
  url          = {https://doi.org/10.1109/ACCESS.2021.3072849},
  doi          = {10.1109/ACCESS.2021.3072849},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/BhuttaKNAKHSAC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sap/KhwajaMA20,
  author       = {Amir A. Khwaja and
                  Muniba Murtaza and
                  Hafiz F. Ahmed},
  title        = {A security feature framework for programming languages to minimize
                  application layer vulnerabilities},
  journal      = {Secur. Priv.},
  volume       = {3},
  number       = {1},
  year         = {2020},
  url          = {https://doi.org/10.1002/spy2.95},
  doi          = {10.1002/SPY2.95},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sap/KhwajaMA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cse/Al-MekhlalK19,
  author       = {Monerah Al{-}Mekhlal and
                  Amir A. Khwaja},
  editor       = {Meikang Qiu},
  title        = {A Synthesis of Big Data Definition and Characteristics},
  booktitle    = {2019 {IEEE} International Conference on Computational Science and
                  Engineering, {CSE} 2019, and {IEEE} International Conference on Embedded
                  and Ubiquitous Computing, {EUC} 2019, New York, NY, USA, August 1-3,
                  2019},
  pages        = {314--322},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/CSE/EUC.2019.00067},
  doi          = {10.1109/CSE/EUC.2019.00067},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cse/Al-MekhlalK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/KhwajaU10,
  author       = {Amir A. Khwaja and
                  Joseph E. Urban},
  title        = {A property based specification formalism classification},
  journal      = {J. Syst. Softw.},
  volume       = {83},
  number       = {11},
  pages        = {2344--2362},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.jss.2010.07.031},
  doi          = {10.1016/J.JSS.2010.07.031},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/KhwajaU10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csreaESA/KhwajaU10,
  author       = {Amir A. Khwaja and
                  Joseph E. Urban},
  editor       = {Hamid R. Arabnia and
                  Ashu M. G. Solo},
  title        = {Experience with an eCos {RTOS} Based Compiler for the RealSpec Real-Time
                  Specification Language},
  booktitle    = {Proceedings of the 2010 International Conference on Embedded Systems
                  {\&} Applications, {ESA} 2010, July 12-15, 2010, Las Vegas Nevada,
                  {USA}},
  pages        = {66--71},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Thu, 09 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csreaESA/KhwajaU10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csreaESA/KhwajaU10a,
  author       = {Amir A. Khwaja and
                  Joseph E. Urban},
  editor       = {Hamid R. Arabnia and
                  Ashu M. G. Solo},
  title        = {Agile and Incremental Development Methods for Real-Time Software Systems},
  booktitle    = {Proceedings of the 2010 International Conference on Embedded Systems
                  {\&} Applications, {ESA} 2010, July 12-15, 2010, Las Vegas Nevada,
                  {USA}},
  pages        = {178--184},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csreaESA/KhwajaU10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/KhwajaU10,
  author       = {Amir A. Khwaja and
                  Joseph E. Urban},
  title        = {Intertwining Implementation with the RealSpec Executable Real-Time
                  Specification Language},
  booktitle    = {Proceedings of the 22nd International Conference on Software Engineering
                  {\&} Knowledge Engineering (SEKE'2010), Redwood City, San Francisco
                  Bay, CA, USA, July 1 - July 3, 2010},
  pages        = {649--652},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2010},
  timestamp    = {Thu, 12 Mar 2020 11:30:50 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/KhwajaU10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KhwajaU09,
  author       = {Amir A. Khwaja and
                  Joseph E. Urban},
  title        = {RealSpec: An Executable Specification Language for Modeling Control
                  Systems},
  booktitle    = {2009 {IEEE} International Symposium on Object/Component/Service-Oriented
                  Real-Time Distributed Computing, {ISORC} 2009, Tokyo, Japan, 17-20
                  March 2009},
  pages        = {219--227},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ISORC.2009.36},
  doi          = {10.1109/ISORC.2009.36},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/KhwajaU09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KhwajaU08,
  author       = {Amir A. Khwaja and
                  Joseph E. Urban},
  title        = {The State of Executable Real-Time Specification Languages and the
                  Need for Advancements},
  booktitle    = {11th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
                  Computing {(ISORC} 2008), 5-7 May 2008, Orlando, Florida, {USA}},
  pages        = {577--583},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ISORC.2008.32},
  doi          = {10.1109/ISORC.2008.32},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/KhwajaU08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/KhwajaU08,
  author       = {Amir A. Khwaja and
                  Joseph E. Urban},
  title        = {RealSpec: An Executable Specification Language for Prototyping Concurrent
                  Systems},
  booktitle    = {The 19th {IEEE/IFIP} International Symposium on Rapid System Prototyping:
                  {RSP} 2009, Shortening the Path from Specification to Prototype, 2-5
                  June 2008, Monterey, California, {USA}},
  pages        = {3--9},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/RSP.2008.9},
  doi          = {10.1109/RSP.2008.9},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/KhwajaU08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/KhwajaU08,
  author       = {Amir A. Khwaja and
                  Joseph E. Urban},
  title        = {RealSpec: an Executable Specification Language for Modeling Resources},
  booktitle    = {Proceedings of the Twentieth International Conference on Software
                  Engineering {\&} Knowledge Engineering (SEKE'2008), San Francisco,
                  CA, USA, July 1-3, 2008},
  pages        = {97--102},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2008},
  timestamp    = {Thu, 12 Mar 2020 11:30:50 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/KhwajaU08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/KhwajaU06,
  author       = {Amir A. Khwaja and
                  Joseph E. Urban},
  title        = {A Framework for the Evaluation of Real-time Specification Techniques},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {16},
  number       = {6},
  pages        = {987},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0218194006003063},
  doi          = {10.1142/S0218194006003063},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/KhwajaU06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/KhwajaU02,
  author       = {Amir A. Khwaja and
                  Joseph E. Urban},
  title        = {A Synthesis of Evaluation Criteria for Software Specifications and
                  Specification Techniques},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {12},
  number       = {5},
  pages        = {581--599},
  year         = {2002},
  url          = {https://doi.org/10.1142/S0218194002001062},
  doi          = {10.1142/S0218194002001062},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/KhwajaU02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Khwaja00,
  author       = {Amir A. Khwaja},
  editor       = {Qizoyan Li and
                  Donald Firesmith and
                  Richard Riehle and
                  Bertrand Meyer},
  title        = {An {MFC} Based Multi-Threaded Test Environment for the Validation
                  of an Embedded Automotive Microcontroller},
  booktitle    = {{TOOLS} 2000: 34th International Conference on Technology of Object-Oriented
                  Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA,
                  {USA}},
  pages        = {15--24},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/TOOLS.2000.868955},
  doi          = {10.1109/TOOLS.2000.868955},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tools/Khwaja00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/KhwajaU97,
  author       = {Amir A. Khwaja and
                  Joseph E. Urban},
  title        = {A Visual Syntax-Directed Editor for the Descartes Specification Language},
  journal      = {Softw. Pract. Exp.},
  volume       = {27},
  number       = {6},
  pages        = {651--676},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1097-024X(199706)27:6\&\#60;651::AID-SPE100\&\#62;3.0.CO;2-A},
  doi          = {10.1002/(SICI)1097-024X(199706)27:6\&\#60;651::AID-SPE100\&\#62;3.0.CO;2-A},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/KhwajaU97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Khwaja97,
  author       = {Amir A. Khwaja},
  title        = {Enhancing extensibility of the design rule checker of an {EDA} tool
                  by object-oriented modeling},
  booktitle    = {21st International Computer Software and Applications Conference {(COMPSAC}
                  '97), 11-15 August 1997, Washington, DC, {USA}},
  pages        = {104--108},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/CMPSAC.1997.624771},
  doi          = {10.1109/CMPSAC.1997.624771},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/Khwaja97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/TungKU93,
  author       = {Yukuh Tung and
                  Amir A. Khwaja and
                  Joseph E. Urban},
  title        = {Multiple views of an executable software specification language},
  journal      = {J. Syst. Softw.},
  volume       = {21},
  number       = {3},
  pages        = {305--319},
  year         = {1993},
  url          = {https://doi.org/10.1016/0164-1212(93)90031-R},
  doi          = {10.1016/0164-1212(93)90031-R},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/TungKU93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KhwajaU93,
  author       = {Amir A. Khwaja and
                  Joseph E. Urban},
  editor       = {Ed Deaton and
                  K. M. George and
                  Hal Berghel and
                  George E. Hedrick},
  title        = {Syntax-Directed Editing Environments: Issues and Features},
  booktitle    = {Proceedings of the 1993 {ACM/SIGAPP} Symposium on Applied Computing:
                  States of the Art and Practice, SAC'93, Indianapolis, IN, USA, February
                  14-16, 1993},
  pages        = {230--237},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/162754.162882},
  doi          = {10.1145/162754.162882},
  timestamp    = {Tue, 06 Nov 2018 11:06:47 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/KhwajaU93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/KhwajaU92,
  author       = {Amir A. Khwaja and
                  Joseph E. Urban},
  title        = {Adaptation and modification of Nassi-Shneiderman charts to represent
                  Descartes specifications visually},
  booktitle    = {Proceedings of the Third International Workshop on Rapid System Prototyping,
                  {RSP} 1992, Research Triangle Park, North Carolina, USA, June 23-15,
                  1992},
  pages        = {188--201},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/IWRSP.1992.243907},
  doi          = {10.1109/IWRSP.1992.243907},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/KhwajaU92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KhwajaMU92,
  author       = {Amir A. Khwaja and
                  Raghu Mannam and
                  Joseph E. Urban},
  editor       = {Hal Berghel and
                  Ed Deaton and
                  George E. Hedrick and
                  David Roach and
                  Roger L. Wainwright},
  title        = {Study of a generic graphics package for the development of various
                  user interfaces},
  booktitle    = {Proceedings of the 1992 {ACM/SIGAPP} Symposium on Applied Computing:
                  Technological Challenges of the 1990's, Kansas City, MO, USA, March
                  1-3, 1992},
  pages        = {438--443},
  publisher    = {{ACM}},
  year         = {1992},
  url          = {https://doi.org/10.1145/143559.143673},
  doi          = {10.1145/143559.143673},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/KhwajaMU92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics