BibTeX records: Luqi

download as .bib file

@inproceedings{DBLP:conf/monterey/LuqiJ10,
  author       = {Luqi and
                  Grant A. Jacoby},
  editor       = {Radu Calinescu and
                  Ethan K. Jackson},
  title        = {Testing Adaptive Probabilistic Software Components in Cyber Systems},
  booktitle    = {Foundations of Computer Software. Modeling, Development, and Verification
                  of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA,
                  March 31- April 2, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6662},
  pages        = {228--238},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-21292-5\_13},
  doi          = {10.1007/978-3-642-21292-5\_13},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/monterey/LuqiJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/BerzinsLM08,
  author       = {Valdis Berzins and
                  Luqi and
                  Peter M. Musial},
  editor       = {Christine Choppy and
                  Oleg Sokolsky},
  title        = {Formal Reasoning about Software Object Translations},
  booktitle    = {Foundations of Computer Software. Future Trends and Techniques for
                  Development, 15th Monterey Workshop 2008, Budapest, Hungary, September
                  24-26, 2008, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6028},
  pages        = {43--58},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-12566-9\_3},
  doi          = {10.1007/978-3-642-12566-9\_3},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/monterey/BerzinsLM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/Luqi08,
  author       = {Luqi},
  editor       = {Benjamin W. Wah},
  title        = {Rapid Prototyping},
  booktitle    = {Wiley Encyclopedia of Computer Science and Engineering},
  publisher    = {John Wiley {\&} Sons, Inc.},
  year         = {2008},
  url          = {https://doi.org/10.1002/9780470050118.ecse392},
  doi          = {10.1002/9780470050118.ECSE392},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/wiley/Luqi08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/Zhang08,
  author       = {Luqi and
                  Lin Zhang},
  editor       = {Benjamin W. Wah},
  title        = {Software Component Repositories},
  booktitle    = {Wiley Encyclopedia of Computer Science and Engineering},
  publisher    = {John Wiley {\&} Sons, Inc.},
  year         = {2008},
  url          = {https://doi.org/10.1002/9780470050118.ecse378},
  doi          = {10.1002/9780470050118.ECSE378},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/wiley/Zhang08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/JacobyL07,
  author       = {Grant A. Jacoby and
                  Luqi},
  title        = {Intranet model and metrics},
  journal      = {Commun. {ACM}},
  volume       = {50},
  number       = {2},
  pages        = {43--50},
  year         = {2007},
  url          = {https://doi.org/10.1145/1216016.1216019},
  doi          = {10.1145/1216016.1216019},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/JacobyL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic/IvanchenkoL07,
  author       = {Volodymyr Ivanchenko and
                  Luqi},
  editor       = {Hamid R. Arabnia and
                  Victor A. Clincy and
                  Joan Lu and
                  Jan Smid},
  title        = {Advanced Interface for Examining and Upgrading Complex Systems},
  booktitle    = {Proceedings of the 2007 International Conference on Internet Computing,
                  {ICOMP} 2007, Las Vegas, Nevada, USA, June 25-28, 2007},
  pages        = {280--286},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Thu, 03 Jan 2008 15:16:43 +0100},
  biburl       = {https://dblp.org/rec/conf/ic/IvanchenkoL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/LuqiK07,
  author       = {Luqi and
                  Fabrice Kordon},
  editor       = {Barbara Paech and
                  Craig H. Martell},
  title        = {Advances in Requirements Engineering: Bridging the Gap between Stakeholders'
                  Needs and Formal Designs},
  booktitle    = {Innovations for Requirement Analysis. From Stakeholders' Needs to
                  Formal Designs, 14th Monterey Workshop 2007, Monterey, CA, USA, September
                  10-13, 2007. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5320},
  pages        = {15--24},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-89778-1\_5},
  doi          = {10.1007/978-3-540-89778-1\_5},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/monterey/LuqiK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/BerzinsMLA07,
  author       = {Valdis Berzins and
                  Craig H. Martell and
                  Luqi and
                  Paige Adams},
  editor       = {Barbara Paech and
                  Craig H. Martell},
  title        = {Innovations in Natural Language Document Processing for Requirements
                  Engineering},
  booktitle    = {Innovations for Requirement Analysis. From Stakeholders' Needs to
                  Formal Designs, 14th Monterey Workshop 2007, Monterey, CA, USA, September
                  10-13, 2007. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5320},
  pages        = {125--146},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-89778-1\_11},
  doi          = {10.1007/978-3-540-89778-1\_11},
  timestamp    = {Sun, 19 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/monterey/BerzinsMLA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isca/QiaoWLB06,
  author       = {Ying Qiao and
                  Hongan Wang and
                  Luqi and
                  Valdis Berzins},
  title        = {An Admission Control Method for Dynamic Software Reconfiguration in
                  Complex Embedded Systems},
  journal      = {Int. J. Comput. Their Appl.},
  volume       = {13},
  number       = {1},
  pages        = {28--38},
  year         = {2006},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isca/QiaoWLB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/LuqiL06,
  author       = {Luqi and
                  Douglas S. Lange},
  editor       = {Peter P. Chen and
                  Leah Y. Wong},
  title        = {Schema Changes and Historical Information in Conceptual Models in
                  Support of Adaptive Systems},
  booktitle    = {Active Conceptual Modeling of Learning, Next Generation Learning-Base
                  System Development [1st International {ACM-L} Workshop, November 8,
                  2006, during {ER} 2006, Tucson, Arizona, {USA]}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4512},
  pages        = {112--121},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77503-4\_9},
  doi          = {10.1007/978-3-540-77503-4\_9},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/er/LuqiL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/LuqiBM06,
  author       = {Luqi and
                  Valdis Berzins and
                  Peter M. Musial},
  editor       = {Fabrice Kordon and
                  Oleg Sokolsky},
  title        = {Reliability Properties of Models for Flexible Design and Run-Time
                  Analysis},
  booktitle    = {Composition of Embedded Systems. Scientific and Industrial Issues,
                  13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4888},
  pages        = {207--219},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77419-8\_12},
  doi          = {10.1007/978-3-540-77419-8\_12},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/monterey/LuqiBM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/JacobyL05,
  author       = {Grant A. Jacoby and
                  Luqi},
  title        = {Intranet Portal Model and Metrics: {A} Strategic Management Perspective},
  journal      = {{IT} Prof.},
  volume       = {7},
  number       = {1},
  pages        = {37--44},
  year         = {2005},
  url          = {http://doi.ieeecomputersociety.org/10.1109/MITP.2005.14},
  doi          = {10.1109/MITP.2005.14},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/itpro/JacobyL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itcc/QiaoBL05,
  author       = {Ying Qiao and
                  Valdis Berzins and
                  Luqi},
  title        = {{FCD:} {A} Framework for Compositional Development in Open Embedded
                  Systems},
  booktitle    = {International Symposium on Information Technology: Coding and Computing
                  {(ITCC} 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, {USA}},
  pages        = {479--484},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/ITCC.2005.152},
  doi          = {10.1109/ITCC.2005.152},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itcc/QiaoBL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/LuqiBR05,
  author       = {Luqi and
                  Valdis Berzins and
                  William H. Roof},
  editor       = {Fabrice Kordon and
                  Janos Sztipanovits},
  title        = {Nautical Predictive Routing Protocol {(NPRP)} for the Dynamic Ad-Hoc
                  Nautical Network {(DANN)}},
  booktitle    = {Reliable Systems on Unreliable Networked Platforms - 12th Monterey
                  Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4322},
  pages        = {106--120},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-71156-8\_6},
  doi          = {10.1007/978-3-540-71156-8\_6},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/monterey/LuqiBR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/LuqiZS04,
  author       = {Luqi and
                  Lin Zhang and
                  Michael Saboe},
  title        = {The Dynamical Models For Software Technology Transition},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {14},
  number       = {2},
  pages        = {179--205},
  year         = {2004},
  url          = {https://doi.org/10.1142/S0218194004001592},
  doi          = {10.1142/S0218194004001592},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/LuqiZS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/WillsKL04,
  author       = {Linda M. Wills and
                  Fabrice Kordon and
                  Luqi},
  title        = {Rapid system prototyping},
  journal      = {J. Syst. Softw.},
  volume       = {70},
  number       = {3},
  pages        = {225--227},
  year         = {2004},
  url          = {https://doi.org/10.1016/S0164-1212(03)00070-0},
  doi          = {10.1016/S0164-1212(03)00070-0},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/WillsKL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LuqiGBZFCPB04,
  author       = {Luqi and
                  Zhiwei Guan and
                  Valdis Berzins and
                  Lynn Zhang and
                  David L. Floodeen and
                  Vedat Coskun and
                  Joseph Puett and
                  Michael Brown},
  title        = {Requirements-document-based prototyping of {CARA} software},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {5},
  number       = {4},
  pages        = {370--390},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10009-003-0116-7},
  doi          = {10.1007/S10009-003-0116-7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/LuqiGBZFCPB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LuqiZBQ04,
  author       = {Luqi and
                  Lin Zhang and
                  Valdis Berzins and
                  Ying Qiao},
  title        = {Documentation Driven Development for Complex Real-Time Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {30},
  number       = {12},
  pages        = {936--952},
  year         = {2004},
  url          = {https://doi.org/10.1109/TSE.2004.100},
  doi          = {10.1109/TSE.2004.100},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/LuqiZBQ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cata/QiaoLZ04,
  author       = {Ying Qiao and
                  Luqi and
                  Lynn Zhang},
  editor       = {Bidyut Gupta},
  title        = {Design Automation Method for Software Development in Complex Embedded
                  Systems},
  booktitle    = {19th International Conference on Computers and Their Applications,
                  {CATA} 2004, March 18-20, 2004, Red Lion Hotel on Fifth Avenue, Seattle,
                  Washington, {USA}},
  pages        = {317--320},
  publisher    = {{ISCA}},
  year         = {2004},
  timestamp    = {Mon, 09 Aug 2021 16:27:20 +0200},
  biburl       = {https://dblp.org/rec/conf/cata/QiaoLZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csreaESA/QiaoL04,
  author       = {Ying Qiao and
                  Luqi},
  editor       = {Hamid R. Arabnia and
                  Minyi Guo and
                  Laurence Tianruo Yang},
  title        = {Admission Control for Dynamic Software Reconfiguration in Systems
                  of Embedded Systems},
  booktitle    = {Proceedings of the International Conference on Embedded Systems and
                  Applications, {ESA} '04 {\&} Proceedings of the International
                  Conference on VLSI, {VLSI} '04, June 21-24, 2004, Las Vegas, Nevada,
                  {USA}},
  pages        = {136--144},
  publisher    = {{CSREA} Press},
  year         = {2004},
  timestamp    = {Fri, 04 Mar 2005 11:26:21 +0100},
  biburl       = {https://dblp.org/rec/conf/csreaESA/QiaoL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/LiangBL03,
  author       = {Sheldon X. Liang and
                  Valdis Berzins and
                  Luqi},
  title        = {Quantifiable architecting of dependable systems of embedded systems},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {28},
  number       = {6},
  pages        = {7},
  year         = {2003},
  url          = {https://doi.org/10.1145/966221.966240},
  doi          = {10.1145/966221.966240},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/LiangBL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LuqiLZB03,
  author       = {Luqi and
                  Xianzhong Liang and
                  Lynn Zhang and
                  Valdis Berzins},
  title        = {Software Documentation-Driven Manufacturin},
  booktitle    = {27th International Computer Software and Applications Conference {(COMPSAC}
                  2003): Design and Assessment of Trustworthy Software-Based Systems,
                  3-6 November 2003, Dallas, TX, USA, Proceedings},
  pages        = {472},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2003.10002},
  doi          = {10.1109/COMPSAC.2003.10002},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LuqiLZB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GuanL03,
  author       = {Jennifer Z. Guan and
                  Luqi},
  editor       = {Rick Kazman and
                  Len Bass and
                  Jan Bosch},
  title        = {A Software Prototyping Framework and Methods for Supporting Human's
                  Software Development Activities},
  booktitle    = {Proceedings of {ICSE} 2003 Workshop on Bridging the Gaps Between Software
                  Engineering and Human-Computer Interaction, May 3-4, 2003, Portland,
                  Oregon, {USA}},
  pages        = {114--121},
  publisher    = {{IFIP}},
  year         = {2003},
  url          = {http://www.se-hci.org/bridging/icse/p114-121.pdf},
  timestamp    = {Fri, 30 Jul 2004 08:24:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/GuanL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LiangPL03,
  author       = {Sheldon X. Liang and
                  Joseph Puett and
                  Luqi},
  editor       = {Rog{\'{e}}rio de Lemos and
                  Cristina Gacek and
                  Alexander B. Romanovsky},
  title        = {Quantifiable Software Architecture for Dependable Systems of Systems},
  booktitle    = {Architecting Dependable Systems {II} - [the book is a result of the
                  {ICSE} 2003 Workshop on Software Architectures for Dependable Systems]},
  series       = {Lecture Notes in Computer Science},
  volume       = {3069},
  pages        = {241--265},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-25939-8\_11},
  doi          = {10.1007/978-3-540-25939-8\_11},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/LiangPL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/YoungCBL03,
  author       = {Paul Young and
                  Nabendu Chaki and
                  Valdis Berzins and
                  Luqi},
  title        = {Evaluation of Middleware Architectures in Achieving System Interoperability},
  booktitle    = {14th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
                  2003), 9-11 June 2003, San Diego, CA, {USA}},
  pages        = {108--116},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/IWRSP.2003.1207037},
  doi          = {10.1109/IWRSP.2003.1207037},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/YoungCBL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/LuqiSPBGQZCLRBF03,
  author       = {Luqi and
                  Man{-}tak Shing and
                  Joseph Puett and
                  Valdis Berzins and
                  Zhiwei Guan and
                  Ying Qiao and
                  Lynn Zhang and
                  Nabendu Chaki and
                  Xianzhong Liang and
                  Bill Ray and
                  Michael Brown and
                  David L. Floodeen},
  title        = {Comparative Rapid Prototyping, {A} Case Study},
  booktitle    = {14th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
                  2003), 9-11 June 2003, San Diego, CA, {USA}},
  pages        = {210--217},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/IWRSP.2003.1207050},
  doi          = {10.1109/IWRSP.2003.1207050},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/LuqiSPBGQZCLRBF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/LiangPL03,
  author       = {Xianzhong Liang and
                  Joseph Puett and
                  Luqi},
  title        = {Synthesizing Approach for Perspective-Based Architecture Design},
  booktitle    = {14th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
                  2003), 9-11 June 2003, San Diego, CA, {USA}},
  pages        = {218--225},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/IWRSP.2003.1207051},
  doi          = {10.1109/IWRSP.2003.1207051},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/LiangPL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/NadaSBL02,
  author       = {Nader Nada and
                  Man{-}tak Shing and
                  Valdis Berzins and
                  Luqi},
  title        = {Automated prototyping tool-kit {(APT)}},
  journal      = {Inf. Sci.},
  volume       = {140},
  number       = {3-4},
  pages        = {241--253},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0020-0255(01)00174-8},
  doi          = {10.1016/S0020-0255(01)00174-8},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/NadaSBL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LuqiB02,
  author       = {Luqi and
                  Manfred Broy},
  title        = {Software engineering beyond our planning horizon: automation for computer-based
                  systems},
  journal      = {Sci. Comput. Program.},
  volume       = {42},
  number       = {1},
  pages        = {1--10},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0167-6423(01)00023-5},
  doi          = {10.1016/S0167-6423(01)00023-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/LuqiB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KordonL02,
  author       = {Fabrice Kordon and
                  Luqi},
  title        = {An Introduction to Rapid System Prototyping},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {28},
  number       = {9},
  pages        = {817--821},
  year         = {2002},
  url          = {https://doi.org/10.1109/TSE.2002.1033222},
  doi          = {10.1109/TSE.2002.1033222},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/KordonL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rissef/LuqiQZ02,
  author       = {Luqi and
                  Ying Qiao and
                  Lin Zhang},
  editor       = {Martin Wirsing and
                  Alexander Knapp and
                  Simonetta Balsamo},
  title        = {A Computational Model for Complex Systems of Embedded Systems},
  booktitle    = {Radical Innovations of Software and Systems Engineering in the Future,
                  9th International Workshop, {RISSEF} 2002, Venice, Italy, October
                  7-11, 2002, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2941},
  pages        = {261--273},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/978-3-540-24626-8\_18},
  doi          = {10.1007/978-3-540-24626-8\_18},
  timestamp    = {Sun, 02 Jun 2019 21:24:25 +0200},
  biburl       = {https://dblp.org/rec/conf/rissef/LuqiQZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/YoungBGL02,
  author       = {Paul Young and
                  Valdis Berzins and
                  Jun Ge and
                  Luqi},
  editor       = {Gary B. Lamont and
                  Hisham Haddad and
                  George A. Papadopoulos and
                  Brajendra Panda},
  title        = {Using an object oriented model for resolving representational differences
                  between heterogeneous systems},
  booktitle    = {Proceedings of the 2002 {ACM} Symposium on Applied Computing (SAC),
                  March 10-14, 2002, Madrid, Spain},
  pages        = {976--983},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/508791.508982},
  doi          = {10.1145/508791.508982},
  timestamp    = {Tue, 06 Nov 2018 11:06:47 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/YoungBGL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/RayLB02,
  author       = {William J. Ray and
                  Luqi and
                  Valdis Berzins},
  title        = {Optimizing systems by work schedules: (a stochastic approach)},
  booktitle    = {Third International Workshop on Software and Performance, WOSP@ISSTA
                  2002, July 24-26, 2002, Rome, Italy},
  pages        = {75--82},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584369.584380},
  doi          = {10.1145/584369.584380},
  timestamp    = {Sat, 03 Aug 2019 21:51:58 +0200},
  biburl       = {https://dblp.org/rec/conf/wosp/RayLB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/LuqiBGSABK01,
  author       = {Luqi and
                  Valdis Berzins and
                  Jun Ge and
                  Man{-}tak Shing and
                  Mikhail Auguston and
                  Barrett R. Bryant and
                  Boon Kwang Kin},
  title        = {{DCAPS} - Architecture for Distributed Computer Aided Prototyping
                  System},
  booktitle    = {12th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
                  2001), 25-27 June 2001, Monterey, CA, {USA}},
  pages        = {103--109},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/IWRSP.2001.933846},
  doi          = {10.1109/IWRSP.2001.933846},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/LuqiBGSABK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/BerzinsSLSW00,
  author       = {Valdis Berzins and
                  Man{-}tak Shing and
                  Luqi and
                  Michael Saluto and
                  Julian Williams},
  title        = {Architectural Re-engineering of Janus using Object Modeling and Rapid
                  Prototyping},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {5},
  number       = {3-4},
  pages        = {251--263},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008950118001},
  doi          = {10.1023/A:1008950118001},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/BerzinsSLSW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/GuoL00,
  author       = {Jiang Guo and
                  Luqi},
  title        = {Object Modeling to Re-Engineer Legacy Systems},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {10},
  number       = {4},
  pages        = {471--485},
  year         = {2000},
  url          = {https://doi.org/10.1142/S0218194000000225},
  doi          = {10.1142/S0218194000000225},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/GuoL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChengBLB00,
  author       = {Ngom Cheng and
                  Valdis Berzins and
                  Luqi and
                  Swapan Bhattacharya},
  title        = {Interoperability with Distributed Objects through Java Wrapper},
  booktitle    = {24th International Computer Software and Applications Conference {(COMPSAC}
                  2000), 25-28 October 2000, Taipei, Taiwan},
  pages        = {479--485},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/CMPSAC.2000.884770},
  doi          = {10.1109/CMPSAC.2000.884770},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ChengBLB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dnis/ChengBLB00,
  author       = {Ngom Cheng and
                  Valdis Berzins and
                  Luqi and
                  Swapan Bhattacharya},
  editor       = {Subhash Bhalla},
  title        = {{JAVA} Wrappers for Automated Interoperability},
  booktitle    = {Databases in Networked Information Systems, International Workshop
                  {DNIS} 2000, Aizu, Japan, December 4-6, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1966},
  pages        = {45--64},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44431-9\_4},
  doi          = {10.1007/3-540-44431-9\_4},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/dnis/ChengBLB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/GuoL00,
  author       = {Jiang Guo and
                  Luqi},
  title        = {A Survey of Software Reuse Repositories},
  booktitle    = {7th {IEEE} International Symposium on Engineering of Computer-Based
                  Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
  pages        = {92--100},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ECBS.2000.839866},
  doi          = {10.1109/ECBS.2000.839866},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/GuoL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/NogueiraLB00,
  author       = {Juan Carlos Nogueira and
                  Luqi and
                  Swapan Bhattacharya},
  title        = {A Risk Assessment Model for Software Prototyping Projects},
  booktitle    = {Proceedings of the 11th {IEEE} International Workshop on Rapid System
                  Prototyping {(RSP} 2000), Paris, France, June 21-23, 2000},
  pages        = {28--33},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/IWRSP.2000.855182},
  doi          = {10.1109/IWRSP.2000.855182},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/NogueiraLB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/NadaLSRDT00,
  author       = {Nader Nada and
                  Luqi and
                  Man{-}tak Shing and
                  David C. Rine and
                  Ernesto Damiani and
                  S. Tuwaim},
  editor       = {Qizoyan Li and
                  Donald Firesmith and
                  Richard Riehle and
                  Bertrand Meyer},
  title        = {Software Reuse Technology Practices and Assessment Tool-Kit},
  booktitle    = {{TOOLS} 2000: 34th International Conference on Technology of Object-Oriented
                  Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA,
                  {USA}},
  pages        = {307},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/TOOLS.2000.868981},
  doi          = {10.1109/TOOLS.2000.868981},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tools/NadaLSRDT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/LuqiBSRN00,
  author       = {Luqi and
                  Valdis Berzins and
                  Man{-}tak Shing and
                  Richard D. Riehle and
                  J. Nogueira},
  editor       = {Qizoyan Li and
                  Donald Firesmith and
                  Richard Riehle and
                  Bertrand Meyer},
  title        = {Evolutionary Computer Aided Prototyping System {(CAPS)}},
  booktitle    = {{TOOLS} 2000: 34th International Conference on Technology of Object-Oriented
                  Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA,
                  {USA}},
  pages        = {363--372},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/TOOLS.2000.868986},
  doi          = {10.1109/TOOLS.2000.868986},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tools/LuqiBSRN00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/ZhangL99,
  author       = {Du Zhang and
                  Luqi},
  title        = {Approximate declarative semantics for rule base anomalies},
  journal      = {Knowl. Based Syst.},
  volume       = {12},
  number       = {7},
  pages        = {341--353},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0950-7051(99)00032-5},
  doi          = {10.1016/S0950-7051(99)00032-5},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/kbs/ZhangL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/HarnBL99,
  author       = {M. Harn and
                  Valdis Berzins and
                  Luqi},
  title        = {Software Evolution via Reusable Architecture},
  booktitle    = {6th Symposium on Engineering of Computer-Based Systems {(ECBS} '99),
                  7-12 March 1999, Nashville, TN, {USA.} {IEEE} Computer Society, 1999},
  pages        = {11--17},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/ECBS.1999.755856},
  doi          = {10.1109/ECBS.1999.755856},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/HarnBL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/LuqiG99,
  author       = {Luqi and
                  Jiang Guo},
  title        = {Toward Automated Retrieval for a Software Component Repository},
  booktitle    = {6th Symposium on Engineering of Computer-Based Systems {(ECBS} '99),
                  7-12 March 1999, Nashville, TN, {USA.} {IEEE} Computer Society, 1999},
  pages        = {99--105},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/ECBS.1999.755867},
  doi          = {10.1109/ECBS.1999.755867},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/LuqiG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/ShingLBSW99,
  author       = {Man{-}tak Shing and
                  Luqi and
                  Valdis Berzins and
                  Michael Saluto and
                  Julian Williams},
  title        = {Architectural Re-Engineering of Janus Using Object Modeling and Rapid
                  Prototyping},
  booktitle    = {Proceedings of the Tenth {IEEE} International Workshop on Rapid System
                  Prototyping {(RSP} 1999), Clearwater, Florida, USA, June 16-18, 1999},
  pages        = {216--221},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/IWRSP.1999.779056},
  doi          = {10.1109/IWRSP.1999.779056},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/ShingLBSW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/monterey/1998,
  editor       = {Luqi and
                  Manfred Broy},
  title        = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/25/suppl/C},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/monterey/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/LuqiCZ98,
  author       = {Luqi and
                  Carl K. Chang and
                  Hong Zhu},
  title        = {Specifications in software prototyping},
  journal      = {J. Syst. Softw.},
  volume       = {42},
  number       = {2},
  pages        = {125--140},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0164-1212(98)10004-3},
  doi          = {10.1016/S0164-1212(98)10004-3},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/LuqiCZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Luqi99,
  author       = {Luqi},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {Engineering Automation for Computer Based Systems},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {1--9},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00126-4},
  doi          = {10.1016/S1571-0661(04)00126-4},
  timestamp    = {Wed, 23 Nov 2022 16:14:20 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Luqi99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ShingLBSWGS99,
  author       = {Man{-}tak Shing and
                  Luqi and
                  Valdis Berzins and
                  Michael Saluto and
                  Julian Williams and
                  Jiang Guo and
                  B. Shultes},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {The Story of Re-engineering 350,000 Lines of {FORTRAN} Code},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {111--120},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00136-7},
  doi          = {10.1016/S1571-0661(04)00136-7},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ShingLBSWGS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LuqiB99,
  author       = {Luqi and
                  Manfred Broy},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {Preface - Software Engineering to our Planning Horizon},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {145--146},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80554-7},
  doi          = {10.1016/S1571-0661(05)80554-7},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LuqiB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CookeL97,
  author       = {Daniel E. Cooke and
                  Luqi},
  title        = {Logic Programming and Software Maintenance},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {21},
  number       = {2-4},
  pages        = {221--229},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1018917502968},
  doi          = {10.1023/A:1018917502968},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/CookeL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/LuqiG97,
  author       = {Luqi and
                  Joseph A. Goguen},
  title        = {Formal Methods: Promises And Problems},
  journal      = {{IEEE} Softw.},
  volume       = {14},
  number       = {1},
  pages        = {73--85},
  year         = {1997},
  url          = {https://doi.org/10.1109/52.566430},
  doi          = {10.1109/52.566430},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/LuqiG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LeonardBLH97,
  author       = {T. Leonard and
                  Valdis Berzins and
                  Luqi and
                  M. J. Holden},
  title        = {Gathering Requirements from Remote Users},
  booktitle    = {9th International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '97, Newport Beach, CA, USA, November 3-8, 1997},
  pages        = {462},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/TAI.1997.632289},
  doi          = {10.1109/TAI.1997.632289},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/LeonardBLH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtse/Luqi97,
  author       = {Luqi},
  editor       = {Manfred Broy and
                  Bernhard Rumpe},
  title        = {Formal Methods and Prototyping},
  booktitle    = {Requirements Targeting Software and Systems Engineering, International
                  Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1526},
  pages        = {257--272},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/10692867\_12},
  doi          = {10.1007/10692867\_12},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/rtse/Luqi97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsi/LuqiS96,
  author       = {Luqi and
                  Man{-}tak Shing},
  title        = {Real-Time Scheduling for Software Prototyping},
  journal      = {J. Syst. Integr.},
  volume       = {6},
  number       = {1/2},
  pages        = {41--72},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF02262751},
  doi          = {10.1007/BF02262751},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsi/LuqiS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsi/GoguenNMLZB96,
  author       = {Joseph A. Goguen and
                  Doan Nguyen and
                  Jos{\'{e}} Meseguer and
                  Luqi and
                  Du Zhang and
                  Valdis Berzins},
  title        = {Software Component Search},
  journal      = {J. Syst. Integr.},
  volume       = {6},
  number       = {1/2},
  pages        = {93--134},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF02262753},
  doi          = {10.1007/BF02262753},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsi/GoguenNMLZB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Luqi96,
  author       = {Luqi},
  title        = {Specifications in Software Prototyping},
  booktitle    = {The 8th International Conference on Software Engineering and Knowledge
                  Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996},
  pages        = {189--197},
  publisher    = {Knowledge Systems Institute},
  year         = {1996},
  timestamp    = {Thu, 04 Dec 2014 17:19:18 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Luqi96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/LuqiC95,
  author       = {Luqi and
                  Daniel E. Cooke},
  title        = {How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain
                  Software},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {5},
  number       = {1},
  pages        = {89--118},
  year         = {1995},
  url          = {https://doi.org/10.1142/S021819409500006X},
  doi          = {10.1142/S021819409500006X},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/LuqiC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsi/RameshL95,
  author       = {Balasubramaniam Ramesh and
                  Luqi},
  title        = {An Intelligent Assistant for Requirements Validation},
  journal      = {J. Syst. Integr.},
  volume       = {5},
  number       = {2},
  pages        = {157--177},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01976202},
  doi          = {10.1007/BF01976202},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsi/RameshL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BerzineLS95,
  author       = {Valdis Berzins and
                  Luqi and
                  Man{-}tak Shing},
  title        = {Computer Aided Prototyping System},
  booktitle    = {SEKE'95, The 7th International Conference on Software Engineering
                  and Knowledge Engineering, June 22-24, 1995, Rockville, Maryland,
                  USA, Proceedings},
  pages        = {499},
  publisher    = {Knowledge Systems Institute},
  year         = {1995},
  timestamp    = {Fri, 08 Apr 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/BerzineLS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/GoguenL95,
  author       = {Joseph A. Goguen and
                  Luqi},
  editor       = {Peter D. Mosses and
                  Mogens Nielsen and
                  Michael I. Schwartzbach},
  title        = {Formal Methods and Social Context in Software Development},
  booktitle    = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
                  Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {915},
  pages        = {62--81},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59293-8\_187},
  doi          = {10.1007/3-540-59293-8\_187},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/tapsoft/GoguenL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsi/DampierLB94,
  author       = {David A. Dampier and
                  Luqi and
                  Valdis Berzins},
  title        = {Automated merging of software prototypes},
  journal      = {J. Syst. Integr.},
  volume       = {4},
  number       = {1},
  pages        = {33--49},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01975671},
  doi          = {10.1007/BF01975671},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsi/DampierLB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LuqiYZ94,
  author       = {Luqi and
                  Hongji Yang and
                  Xiaodong Zhang},
  title        = {Constructing an automated testing oracle: an effort to produce reliable
                  software},
  booktitle    = {Eighteenth Annual International Computer Software and Applications
                  Conference, {COMPSAC} 1994, Taipei, Taiwan, 9-11 November, 1994, Proceedings},
  pages        = {228--233},
  publisher    = {{IEEE}},
  year         = {1994},
  url          = {https://doi.org/10.1109/CMPSAC.1994.342800},
  doi          = {10.1109/CMPSAC.1994.342800},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/LuqiYZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BadrL94,
  author       = {Salah Badr and
                  Luqi},
  title        = {Automation support for concurrent software engineering},
  booktitle    = {SEKE'94, The 6th International Conference on Software Engineering
                  and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
  pages        = {46--53},
  publisher    = {Knowledge Systems Institute},
  year         = {1994},
  timestamp    = {Mon, 05 Oct 2020 12:53:08 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/BadrL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LuqiG94,
  author       = {Luqi and
                  Joseph A. Goguen},
  title        = {Suggestions for progress in software analysis, synthesis and certification},
  booktitle    = {SEKE'94, The 6th International Conference on Software Engineering
                  and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
  pages        = {501--507},
  publisher    = {Knowledge Systems Institute},
  year         = {1994},
  timestamp    = {Fri, 23 Feb 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/LuqiG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/94/Luqi94,
  author       = {Luqi},
  editor       = {Daniel E. Cooke},
  title        = {The Role of Prototyping Languages in Case},
  booktitle    = {The Impact of Case Technology on Software Processes},
  series       = {Series on Software Engineering and Knowledge Engineering},
  volume       = {3},
  pages        = {49--71},
  publisher    = {World Scientific},
  year         = {1994},
  url          = {https://doi.org/10.1142/9789812798053\_0004},
  doi          = {10.1142/9789812798053\_0004},
  timestamp    = {Mon, 08 Jun 2020 09:29:59 +0200},
  biburl       = {https://dblp.org/rec/books/ws/94/Luqi94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/Luqi93,
  author       = {Luqi},
  title        = {Real-Time Constraints in a Rapid Prototyping Language},
  journal      = {Comput. Lang.},
  volume       = {18},
  number       = {2},
  pages        = {77--103},
  year         = {1993},
  url          = {https://doi.org/10.1016/0096-0551(93)90013-Q},
  doi          = {10.1016/0096-0551(93)90013-Q},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/Luqi93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Kuntzmann-Combelles93,
  author       = {Annie Kuntzmann{-}Combelles and
                  Luqi},
  title        = {Guest Editors' Introduction: Advancing Europe's Fortunes},
  journal      = {{IEEE} Softw.},
  volume       = {10},
  number       = {6},
  pages        = {14--20},
  year         = {1993},
  url          = {http://doi.ieeecomputersociety.org/10.1109/MS.1993.10067},
  doi          = {10.1109/MS.1993.10067},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/Kuntzmann-Combelles93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BerzinsLY93,
  author       = {Valdis Berzins and
                  Luqi and
                  Amiram Yehudai},
  title        = {Using Transformations in Specification-Based Prototyping},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {19},
  number       = {5},
  pages        = {436--452},
  year         = {1993},
  url          = {https://doi.org/10.1109/32.232011},
  doi          = {10.1109/32.232011},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/BerzinsLY93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KramerLB93,
  author       = {Bernd J. Kr{\"{a}}mer and
                  Luqi and
                  Valdis Berzins},
  title        = {Compositional Semantics of a Real-Time Prototyping Language},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {19},
  number       = {5},
  pages        = {543--477},
  year         = {1993},
  url          = {https://doi.org/10.1109/32.232012},
  doi          = {10.1109/32.232012},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/KramerLB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/CookeL93,
  author       = {Daniel E. Cooke and
                  Luqi},
  title        = {Formal support for software maintenance},
  booktitle    = {Seventeenth Annual International Computer Software and Applications
                  Conference, {COMPSAC} 1993, Proceedings, Phoenix, AZ, USA, 1-5 November,
                  1993},
  pages        = {402--407},
  publisher    = {{IEEE}},
  year         = {1993},
  url          = {https://doi.org/10.1109/CMPSAC.1993.404247},
  doi          = {10.1109/CMPSAC.1993.404247},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/CookeL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/RameshL93,
  author       = {Balasubramaniam Ramesh and
                  Luqi},
  title        = {Process knowledge based rapid prototyping for requirements engineering},
  booktitle    = {Proceedings of {IEEE} International Symposium on Requirements Engineering,
                  {RE} 1993, San Diego, California, USA, January 4-6, 1993},
  pages        = {248--255},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISRE.1993.324850},
  doi          = {10.1109/ISRE.1993.324850},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/RameshL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/LuqiSB93,
  author       = {Luqi and
                  M. Shing and
                  J. Brockett},
  title        = {Real-time scheduling for software prototyping},
  booktitle    = {Proceedings of the Fourth International Workshop on Rapid System Prototyping,
                  {RSP} 1993, Research Triangle Park, North Carolina, USA, June 28-30,
                  1993},
  pages        = {150--163},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/IWRSP.1993.263185},
  doi          = {10.1109/IWRSP.1993.263185},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/LuqiSB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BadrL93,
  author       = {Salah Badr and
                  Luqi},
  title        = {A Version and Configuration Model for Software Evolution},
  booktitle    = {SEKE'93, The 5th International Conference on Software Engineering
                  and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical
                  Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, {USA}},
  pages        = {225--227},
  publisher    = {Knowledge Systems Institute},
  year         = {1993},
  timestamp    = {Wed, 21 Feb 2007 11:27:24 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/BadrL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/DampierLB93,
  author       = {David A. Dampier and
                  Luqi and
                  Valdis Berzins},
  title        = {Automated Merging of Software Prototypes},
  booktitle    = {SEKE'93, The 5th International Conference on Software Engineering
                  and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical
                  Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, {USA}},
  pages        = {604--611},
  publisher    = {Knowledge Systems Institute},
  year         = {1993},
  timestamp    = {Wed, 21 Feb 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/DampierLB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Luqi92,
  author       = {Luqi},
  title        = {Computer-Aided Prototyping for a Command-and-Control System Using
                  {CAPS}},
  journal      = {{IEEE} Softw.},
  volume       = {9},
  number       = {1},
  pages        = {56--67},
  year         = {1992},
  url          = {https://doi.org/10.1109/52.108781},
  doi          = {10.1109/52.108781},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/Luqi92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/LuqiR92,
  author       = {Luqi and
                  Winston Royce},
  title        = {Status Report: Computer-Aided Prototyping},
  journal      = {{IEEE} Softw.},
  volume       = {9},
  number       = {6},
  pages        = {77--81},
  year         = {1992},
  url          = {https://doi.org/10.1109/52.168861},
  doi          = {10.1109/52.168861},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/LuqiR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LuqiC92,
  author       = {Luqi and
                  Daniel E. Cooke},
  title        = {The management of uncertainty in software development},
  booktitle    = {Sixteenth Annual International Computer Software and Applications
                  Conference, {COMPSAC} 1992, Proceedings, Chicago, IL, USA, 21-25 September,
                  1992},
  pages        = {381--386},
  publisher    = {{IEEE}},
  year         = {1992},
  url          = {https://doi.org/10.1109/CMPSAC.1992.217575},
  doi          = {10.1109/CMPSAC.1992.217575},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/LuqiC92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/Luqi92,
  author       = {Luqi},
  title        = {Computer aided system prototyping},
  booktitle    = {Proceedings of the Third International Workshop on Rapid System Prototyping,
                  {RSP} 1992, Research Triangle Park, North Carolina, USA, June 23-15,
                  1992},
  pages        = {50--57},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/IWRSP.1992.243917},
  doi          = {10.1109/IWRSP.1992.243917},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/Luqi92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0070560,
  author       = {Valdis Berzins and
                  Luqi},
  title        = {Software engineering with abstractions},
  publisher    = {Addison-Wesley},
  year         = {1991},
  isbn         = {978-0-201-08004-9},
  timestamp    = {Tue, 19 Apr 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0070560.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Luqi91,
  author       = {Luqi},
  title        = {Computer-Aided Software Prototyping},
  journal      = {Computer},
  volume       = {24},
  number       = {9},
  pages        = {111--112},
  year         = {1991},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/Luqi91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/Luqi91,
  author       = {Luqi},
  title        = {The Role of Prototyping Languages in Case},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {1},
  number       = {2},
  pages        = {131--149},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0218194091000135},
  doi          = {10.1142/S0218194091000135},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/Luqi91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/KramerL91,
  author       = {Bernd J. Kr{\"{a}}mer and
                  Luqi},
  title        = {Toward formal models of software engineering processes},
  journal      = {J. Syst. Softw.},
  volume       = {15},
  number       = {1},
  pages        = {63--74},
  year         = {1991},
  url          = {https://doi.org/10.1016/0164-1212(91)90077-J},
  doi          = {10.1016/0164-1212(91)90077-J},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/KramerL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/Luqi90,
  author       = {Luqi},
  title        = {Automated Prototyping and Data Translation},
  journal      = {Data Knowl. Eng.},
  volume       = {5},
  pages        = {167--177},
  year         = {1990},
  url          = {https://doi.org/10.1016/0169-023X(90)90011-2},
  doi          = {10.1016/0169-023X(90)90011-2},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dke/Luqi90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BerzinsL90,
  author       = {Valdis Berzins and
                  Luqi},
  title        = {An Introduction to the Specification Language Spec},
  journal      = {{IEEE} Softw.},
  volume       = {7},
  number       = {2},
  pages        = {74--84},
  year         = {1990},
  url          = {https://doi.org/10.1109/52.50776},
  doi          = {10.1109/52.50776},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/BerzinsL90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Luqi90,
  author       = {Luqi},
  title        = {A Graph Model for Software Evolution},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {16},
  number       = {8},
  pages        = {917--927},
  year         = {1990},
  url          = {https://doi.org/10.1109/32.57627},
  doi          = {10.1109/32.57627},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Luqi90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Luqi89,
  author       = {Luqi},
  title        = {Software Evolution Through Rapid Prototyping},
  journal      = {Computer},
  volume       = {22},
  number       = {5},
  pages        = {13--25},
  year         = {1989},
  url          = {https://doi.org/10.1109/2.27953},
  doi          = {10.1109/2.27953},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/Luqi89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LuqiL89,
  author       = {Luqi and
                  Yuh{-}Jeng Lee},
  title        = {Interactive control of prototyping process},
  booktitle    = {Proceedings of the 13th Annual International Computer Software and
                  Applications Conference, {COMPSAC} 1989, Orlando, FL, USA, 20-22 September,
                  1989},
  pages        = {447--454},
  publisher    = {{IEEE}},
  year         = {1989},
  url          = {https://doi.org/10.1109/CMPSAC.1989.65124},
  doi          = {10.1109/CMPSAC.1989.65124},
  timestamp    = {Fri, 10 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LuqiL89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/Luqi88,
  author       = {Luqi},
  title        = {Knowledge-Based Support for Rapid Software Prototyping},
  journal      = {{IEEE} Expert},
  volume       = {3},
  number       = {4},
  pages        = {9--18},
  year         = {1988},
  url          = {https://doi.org/10.1109/64.10016},
  doi          = {10.1109/64.10016},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/expert/Luqi88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/LuqiK88,
  author       = {Luqi and
                  Mohammad A. Ketabchi},
  title        = {A Computer-Aided Prototyping System},
  journal      = {{IEEE} Softw.},
  volume       = {5},
  number       = {2},
  pages        = {66--72},
  year         = {1988},
  url          = {https://doi.org/10.1109/52.2013},
  doi          = {10.1109/52.2013},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/LuqiK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/LuqiB88,
  author       = {Luqi and
                  Valdis Berzins},
  title        = {Rapidly Prototyping Real-Time Systems},
  journal      = {{IEEE} Softw.},
  volume       = {5},
  number       = {5},
  pages        = {25--36},
  year         = {1988},
  url          = {https://doi.org/10.1109/52.7941},
  doi          = {10.1109/52.7941},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/LuqiB88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LuqiBY88,
  author       = {Luqi and
                  Valdis Berzins and
                  Raymond T. Yeh},
  title        = {A Prototyping Language for Real-Time Software},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {14},
  number       = {10},
  pages        = {1409--1423},
  year         = {1988},
  url          = {https://doi.org/10.1109/32.6186},
  doi          = {10.1109/32.6186},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/LuqiBY88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LuqiB88,
  author       = {Luqi and
                  Valdis Berzins},
  title        = {Execution of a High Level Real-Time Language},
  booktitle    = {Proceedings of the 9th {IEEE} Real-Time Systems Symposium {(RTSS}
                  '88), December 6-8, 1988, Huntsville, Alabama, {USA}},
  pages        = {69--76},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {https://doi.org/10.1109/REAL.1988.51102},
  doi          = {10.1109/REAL.1988.51102},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/LuqiB88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/BerzinsL88,
  author       = {Valdis Berzins and
                  Luqi},
  title        = {Semantics of a Real-Time Language},
  booktitle    = {Proceedings of the 9th {IEEE} Real-Time Systems Symposium {(RTSS}
                  '88), December 6-8, 1988, Huntsville, Alabama, {USA}},
  pages        = {106--110},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {https://doi.org/10.1109/REAL.1988.51106},
  doi          = {10.1109/REAL.1988.51106},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/BerzinsL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fjcc/Luqi87,
  author       = {Luqi},
  editor       = {Stephen A. Szygenda},
  title        = {Normalized specifications for identifying reusable software},
  booktitle    = {Proceedings of the 1987 Fall Joint Computer Conference on Exploring
                  technology: today and tomorrow},
  pages        = {46--49},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {http://dl.acm.org/citation.cfm?id=42049},
  timestamp    = {Fri, 29 Sep 2017 17:14:39 +0200},
  biburl       = {https://dblp.org/rec/conf/fjcc/Luqi87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics