Faculty
NPS - Faculty Profiles - Heading
Faculty Profile Directory
FacultyCV
Back
Luqi Luqi
Professor
Computer Science
Phone: (831) 656-2735
Email: luqi@nps.edu
Website: faculty.nps.edu/luqi
NPS Experience
- 1986 - current: Professor
Other Experience
- 1986 - 1990 Adjunct, Computer Science, University of Minnesota
- 1984 - 1985 Researcher, International Software Systems, Inc.
- 1981 - 1984 Project Assistant, CS & Computer Center, U of Minnesota
Research Interests
Data science: methods for data modeling, data mining, numerical data processing, statistical inferences with confidence levels, making decisions based on big data, and automatic text / documentation processing to make data easy to find and use.
Methods to prevent, detect, and mitigate insider threats, considering both social context and foundations. Insiders account for the largest cyber risk exposure.
Methods and principles for enhancing data and system interoperability. Accurate and timely integration of disparate information sources improves decision making.
Enhancing effectiveness and security of networked physical devices. Information from network searches will be used to control and coordinate hosts of devices, as evidenced by recent release of the API for Microsoft's search engine.
Runtime monitoring to improve dependability & security of software systems via real-time corrective action. Since software fault detection is not algorithmically computable, failures and intrusions cannot always be prevented.
Implications of quantum capabilities for dependable communications & computing.
Agile methods for embedded systems, safety assessment and cyber connections. Applications include UAVs, C4ISR, robotics, telemedicine and transportation.
Computer Science, Cyber & Cyber-physical Systems, Distributed Systems Engineering, Weapons Safety, System and Software Engineering Courses.
Methods to prevent, detect, and mitigate insider threats, considering both social context and foundations. Insiders account for the largest cyber risk exposure.
Methods and principles for enhancing data and system interoperability. Accurate and timely integration of disparate information sources improves decision making.
Enhancing effectiveness and security of networked physical devices. Information from network searches will be used to control and coordinate hosts of devices, as evidenced by recent release of the API for Microsoft's search engine.
Runtime monitoring to improve dependability & security of software systems via real-time corrective action. Since software fault detection is not algorithmically computable, failures and intrusions cannot always be prevented.
Implications of quantum capabilities for dependable communications & computing.
Agile methods for embedded systems, safety assessment and cyber connections. Applications include UAVs, C4ISR, robotics, telemedicine and transportation.
Computer Science, Cyber & Cyber-physical Systems, Distributed Systems Engineering, Weapons Safety, System and Software Engineering Courses.
Awards
- 2003 - Best Paper Award
- 2000 - Research Award
- 1999 - Best Paper Award
- 1997 - Computer Society Technical Achievement Award, IEEE
- 1996 - Certificate of Appreciation, IEEE
- 1996 - Integrated Software Engineering Program of the Month Award
- 1995 - Research Award
- 1992 - Research Award
- 1991 - Menneken Faculty Award for Excellence in Scientific Research, Naval Postgraduate School
- 1990 - Presidential Young Investigator Award, NSF
- 1990 - Research Award
- 1988 - Software Senior Referee Award, IEEE
- 1987 - Engineering Initiation Award, NSF
- 1985 - Regents Scholarship/Graduate School Fellowship, Univ. of Minnesota
- 1983 - Regents Scholarship/Graduate School Fellowship, Univ. of Minnesota
- 1982 - Regents Scholarship/Graduate School Fellowship, Univ. of Minnesota
- 1981 - CAAM Scholarship of Minnesota
- 1980 - United Nations Fellowship, United Nations
Boards, Memberships, & Certifications
Professional Memberships
- 2000 - 2004 Associate Editor, IEEE Transactions on Software Engineering Editorial Board
- 1999 IEEE Fellow
- 1999 - 2018 Associate Editor, Science of Computer Programming Editorial Board
- 1992 - 1996 Associate Editor, IEEE Software Editorial Board
- 1990 Postdoctoral Advisor, National Research Council, National Academy of Sciences
- 1990 - 2005 Associate Editor, Journal of Systems Integration Editorial Board
- 1989 - 1993 Associate Editor, IEEE Expert Editorial Board
Scholarly Work
Publications
- Book Chapters
- Luqi, L, (2009). Rapid Prototyping. John Wiley & Sons.
- Luqi, L., Zhang, L., & Berzins, V. A, (2009). Software Component Repositories. John Wiley & Sons.
- Berzins, V. A., Martell, C., Luqi, L., & Adams, P, (2008). Innovations in Natural Language Document Processing for Requirements Engineering. Springer.
- Luqi, L., & Kordon, F, (2008). Advances in Requirements Engineering: Bridging the Gap between Stakeholders’ Needs and Formal Designs. Springer.
- Luqi, L., & Zhang, L, (2006). Documentation Driven Evolution of Complex Systems.
- (2003). ‘Meeting in the Rain’ - Monterey Workshop 2002 in Venice.
- Luqi, L., Cheng, N., Berzins, V. A., & Bhattacharya, S, (2001). Java Wrappers for Automated Interoperability. Springer.
- Luqi, L., & Shing, M, (2001). Rapid Prototyping. John Wiley & Sons.
- Berzins, V. A., & Luqi, L, (1996). Logic, Software Engineering, and Prototyping. World Scientific Press.
- Luqi, L, (1996). A Graph Model for Software Evolution. IEEE Computer Society.
- Luqi, L, (1995). A Graph Model for Software Evolution. IEEE Computer Society.
- Berzins, V. A., Dampier, D., & Luqi, L, (1995). Automated Merging of Software Prototypes. IEEE Computer Society.
- Luqi, L, (1994). The Role of Prototyping Languages in Computer Aided Software Engineering. World Scientific Publishing.
- Luqi, L., & Cooke, D, (1994). Computer-Aided Prototyping for a Command-and-Control System Using CAPS. World Scientific Publishing.
- Luqi, L., & Yeh, R, (1994). Rapid Prototyping in Software Development. John Wiley & Sons.
- Ketabchi, M., & Luqi, L, (1993). A Computer Aided Prototyping System.
- Luqi, L, (1992). Knowledge-Based Support for Rapid Prototyping. McGraw-Hill.
- Berzins, V. A., & Luqi, L, (1989). Languages for Specification, Design and Prototyping. Van Nostrand Reinhold Company.
- Ketabchi, M., & Luqi, L, (1988). A Computer Aided Prototyping System.
- Luqi, L, (1980). Table of FORTRAN Statements, Chapters 1-3, Appendix A, “Numerical Algorithms and their FORTRAN Implementations”, Appendix G. Post Press of China.
- Books
- Berzins, V. A., & Luqi, L, (1991). Software Engineering with Abstractions. Addison-Wesley Publishing Company.
- Luqi, L, (1978). FORTRAN Numerical Methods Library. Physics Institute, Science Academy of China.
- Conference Proceedings
- Luqi, L., Wood, B. P., Roof, W., & Hastings, S, (2021). MUSV Integration Models.
- Luqi, L., Boger, D. C., Paduan, J. D., Dell, R. F., Dinolt, G. W., Fouts, D. J., Buettner, R. R., Piombo, J. R., Miller, S. A., Newman, J. H., Kelly, R., Dampier, D., Drummond, J., Berzins, V. A., Hernandez, A. S., Monaco, J., Davis, D. T., Bjørner, N., Lange, D., Smith, B., Durbin, R., Weaver, N., Noble, B., Hayne, S., Akil, A., Runde, S. M., Gallup, S. P., Roof, W., Fitzpatrick, C. R., Balogh, I. L., Emmersen, T., Tortora, P., Comey, J., Bingham, B. S., O'Halloran, B. M., & Wood, B. P, (2019). Proceedings of the 20th Monterey Workshop.
- Lan, W. D., & Luqi, L, (2018). Effect of Orbit Prediction Models on Satellite Vulnerability Planning.
- Luqi, L., & Huffmire, T. D, (2018). Security Analysis of USV Control.
- Luqi, L, (2016). Utilization and Risk of Undersea Communications.
- Fahey, S., & Luqi, L, (2016). Unmanned Vehicles for Anti-Submarine Warfare.
- Luqi, L., & Roscoe, B, (2012). Message from the Monterey Workshop General Chairs.
- Luqi, L., & Jacoby, G, (2011). Testing Adaptive Probabilistic Software Components in Cyber Systems.
- Luqi, L., & Kordon, F, (2011). Modeling, Development and Verification of Adaptive Systems.
- Luqi, L., & Kordon, F, (2010). Modeling, Development and Verification of Adaptive Systems.
- Berzins, V. A., Luqi, L., & Musial, P, (2010). Formal Reasoning about Software Object Translations.
- Rivera, J., Luqi, L., & Berzins, V. A, (2009). Effective Programmatic Software Safety Strategy for US Navy Gun System Acquisition Programs.
- Berzins, V. A., Luqi, L., & Musial, P. M, (2008). Formal Reasoning about Software Object Translations.
- Berzins, V. A., Martell, C., Luqi, L., & Adams, P, (2008). Innovations in Natural Language Document Processing for Requirements Engineering.
- Lange, D. S., Carlin, M., Ivanchenko, V., Luqi, L., & Berzins, V. A, (2007). Human & Software Factors for Successful Systems.
- Ivanchenko , V., & Luqi, L, (2007). Advanced Interface for Examining and Upgrading Complex Systems.
- Luqi, L., Berzins, V. A., & Roof, W. H, (2007). Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN)
- Luqi, L., & Lange, D, (2007). Schema Changes and Historical Information in Conceptual Models in Support of Adaptive Systems.
- Luqi, L., Berzins, V. A., & Musia, (2007). Reliability Properties of Models for Flexible Design and Run-time Analysis.
- Luqi, L., & Kordon, F, (2007). Innovations for Requirements Analysis: From Stakeholders to Formal Designs.
- Berzins, V. A., Martell, C., Luqi, L., & Ivanchenko, V, (2007). Innovations on Natural Language Document Processing for Requirements Engineering.
- Luqi, L., & Lange, D, (2006). Schema Changes and Historical Information in Conceptual Models in Support of Adaptive Systems.
- Luqi, L., Ivanchenko, V., Rodriguez, M., & Berzins, V. A, (2006). Reliability and Flexibility Properties of Models for Design and Run-time Analysis.
- Luqi, L, (2006). Schema Changes and Historical Information in Conceptual Models of Learning.
- Berzins, V. A., & Luqi, L, (2006). Achieving Dependable Flexibility via Quantifiable System Architectures.
- Luqi, L, (2006). Transforming Documents to Evolve High-Confidence Systems.
- Luqi, L., & Zhang, L, (2006). Documentation Driven Evolution of Complex Systems.
- Luqi, L., Berzins, V. A., & Roof, B, (2005). Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN)
- Qiao, Y., Berzins, V. A., & Luqi, L, (2005). FCD: A Framework for Compositional Development in Open Embedded Systems.
- Luqi, L., & Qiao, Y, (2004). Admission Control for Dynamic Software Reconfiguration in Systems of Embedded Systems.
- Jacoby , G., & Luqi, L, (2004). An Intranet Portal Metric and ROI Model.
- Luqi, L., Qiao, Y., & Zhang, L, (2004). Design Automation Method for Software Development in Complex Embedded Systems.
- Liang, X., Puett, J., & Luqi, L, (2004). Quantifiable Software Architecture for Dependable Systems of Systems.
- Luqi, L., Qiao, Y., & Zhang, L, (2004). A Computational Model for Complex Systems of Embedded Systems.
- Luqi, L., Liang, X., Zhang, L., & Berzins, V. A, (2003). Software Documentation-Driven Manufacturing.
- Luqi, L., Zhang, L., & Berzins, V. A, (2003). Quantitative Metrics for Risk Assessment in Software Projects.
- Qiao, Y., Luqi, L., Zhang, L., & Berzins, V. A, (2003). A Framework for Complex Systems of Embedded Systems Development.
- Luqi, L., & Zhang, L, (2003). Documentation Driven Agile Development for Systems of Embedded Systems.
- Berzins, V. A., Qiao, Y., & Luqi, L, (2003). Information Consistency Checking for Documentation Driven Development for Complex Embedded Systems.
- Luqi, L., Liang, X., Brown, M., & Williamson, C, (2003). Formal Approach for Software Safety Analysis and Risk Assessment Via an Instantiated Activity Model.
- Liang, X., Puett, J., Berzins, V. A., & Luqi, L, (2003). Synthesizing Architectural Approach via a Compatible Composition Model.
- Luqi, L., & Guan, Z, (2003). A Software Engineering Tool for Requirement Document based Prototyping.
- Liang, X., Puett , J., & Luqi, L, (2003). Synthesizing Approach for Perspective-based Architecture Design.
- Luqi, L., & Guan, Z, (2003). A Computer Tool for Modeling C4I Applications.
- Liang, X., Puett, J., & Luqi, L, (2003). Perspective-based Architectural Approach for Dependable Systems.
- Guan , Z., & Luqi, L, (2003). A Software Prototyping Framework and Methods for Supporting Human’s Software Development Activities.
- Luqi, L., Shing, M. T., Puett, J. F., Berzins, V. A., Guan, Z., Qiao, Y., Zhang, L., Chaki, N., Liang, X., Ray, W. J., Brown, M., & Floodeen, D, (2003). Comparative Rapid Prototyping, A Case Study.
- Guan, Z., Luqi, L., Dai, G., & Li, Y, (2002). Computer Aided Prototyping for Dependable Interactive System Development.
- Luqi, L., Qiao, Y., & Zhang, L, (2002). Computational Model for High-confidence Embedded System Development.
- Drummond, J., Luqi, L., Kemple, W., Auguston, M., & Chaki, N, (2002). Quality of Service Behavioral Model from Event Trace Analysis.
- Ray, W., Luqi, L., & Berzins, V. A, (2002). Optimizing Systems by Work Schedules (a Stochastic Approach)
- Harn, M., Hsu, S., Berzins, V. A., & Luqi, L, (2002). Battlefield Object Control via Internet Architecture.
- Young, P., Berzins, V. A., Ge, J., & Luqi, L, (2002). Using an Object Oriented Model for Resolving Representational Differences between Heterogeneous Systems.
- Berzins, V. A., Auguston, M., & Luqi, L, (2001). Generating Test Cases for System Generators.
- Luqi, L., Berzins, V. A., Ge, J., Shing, M., Auguston, M., Bryant, B., & Kin, B, (2001). DCAPS – Architecture for Distributed Computer Aided Prototyping System.
- Shing, M., Luqi, L., & Berzins, V. A, (2001). The Use of Computer-Aided Prototyping for Reengineering Legacy Software.
- Murrah, M., Johnson, C., & Luqi, L, (2001). Enhancements & Extensions of Formal Models for Risk Assessment in Software Projects.
- Young, P., Berzins, V. A., Ge, J., & Luqi, L, (2001). Use of Object-Oriented Model for Interoperability Wrapper-Based Translator for Resolving Representational Differences between Heterogeneous Systems.
- Cheng, N., Berzins, V. A., Luqi, L., & Bhattacharya, S, (2000). Java Wrappers for Automated Interoperability.
- Ge, J., Berzins, V. A., & Luqi, L, (2000). Computer Aided Prototyping in a Distributed Environment.
- Berzins, V. A., Shing, M., Luqi, L., Saluto, M., & Williams, J, (2000). Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping.
- Cheng, N., Berzins, V. A., Luqi, L., & Bhattacharya, S, (2000). Interoperability with Distributed Objects through Java Wrapper.
- Berzins, V. A., Luqi, L., & Ray, W, (2000). Adaptive Distributed Object Architectures.
- Luqi, L., Berzins, V. A., Shing, M., Nogueira, J., & Riehle, R, (2000). Evolutionary Computer Aided Prototyping System (CAPS)
- Nada, N., Luqi, L., Rine, D., & Damiani, E, (2000). A Knowledge-Based Adaptive Distance Learning System for Software Reuse Technology.
- Nogueira, J., Luqi, L., Berzins, V. A., & Nada, N, (2000). A Formal Risk Assessment Model for Software Evolution.
- Luqi, L., Berzins, V. A., Shing, M., Nada , N., & Eagle, C, (2000). Software Evolution Approach for the Development of Command and Control Systems.
- Nogueira, J., Jones, C., & Luqi, L, (2000). Surfing the Edge of Chaos: Applications to Software Engineering.
- Nogueira, J., Luqi, L., & Bhattacharya, S, (2000). A Risk Assessment Model for Software Prototyping Projects.
- Nada, N., Luqi, L., Rine, D., & Jaber, K, (2000). Product Line Stakeholder Viewpoint and Validation Models.
- Nada, N., Luqi, L., Rine, D., & Damiani, E, (2000). A Knowledge-Based System for Software Reuse Technology Practices.
- Shing, M., Nada, N., Luqi, L., & Berzins, V. A, (2000). Automated Prototyping Toolkit (APT)
- Nogueira, J., Luqi, L., Berzins, V. A., & Nada, N, (2000). A Formal Risk Assessment Model for Software Evolution.
- Luqi, L, (2000). Preface.
- Luqi, L., & Nogueria, J, (2000). A Risk Assessment Model for Evolutionary Software Projects.
- Berzins, V. A., Shing, M., Luqi, L., Saluto, M., & Williams, J, (2000). Object-Oriented Modular Architecture for Ground Combat Simulation.
- Cheng, N., Berzins, V. A., Luqi, L., & Bhattacharya, S, (2000). Automated Generation of Wrappers for Interoperability.
- Luqi, L., Berzins, V. A., Shing, M., Nada, N., & Eagle, C, (2000). Computer Aided Prototyping System (CAPS) for Heterogeneous Systems Development and Integration.
- Nogueira, J., Luqi, L., & Berzins, V. A, (2000). Risk Assessment in Software Requirement Engineering.
- Guo, J., & Luqi, L, (2000). A Survey of Software Reuse Repositories.
- Nada, N., Luqi, L., Rine, D., & Jaber, K, (2000). Using Abstract Adapters for Distributed and Reusable Components.
- Damiani, E., Luqi, L., Nada, N., Rine, D., Shing, M., & Tuwaim, S, (2000). Software Reuse Technology Practices and Assessment Tool-kit.
- DaBose, M., & Luqi, L, (1999). Digital Network Integration and Control across Heterogeneous Communications Boundaries.
- Harn, M., Berzins, V. A., Luqi, L., & Mori, A, (1999). Software Evolution Process via a Relational Hypergraph Model.
- Harn, M., Berzins, V. A., & Luqi, L, (1999). A Formal Model for Software Evolution.
- Harn, M., Berzins, V. A., & Luqi, L, (1999). Computer-Aided Software Evolution Based on a Formal Model.
- Guo, J., & Luqi, L, (1999). Object Modeling to Re-engineer Legacy Systems.
- Harn, M., Berzins, V. A., Luqi, L., & Kemple, W, (1999). Evolution of C4I Systems.
- Shing, M., Luqi, L., Berzins, V. A., Saluto, M., & Williams, J, (1999). Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping.
- Harn, M., Berzins, V. A., & Luqi, L, (1999). A Dependency Computing Model for Software Evolution.
- Harn, M., Berzins, V. A., & Luqi, L, (1999). Computer-Aided Software Evolution Based on Inferred Dependency.
- Harn, M., Berzins, V. A., & Luqi, L, (1999). Software Evolution via Reusable Architecture.
- Luqi, L., & Guo, J, (1999). Toward Automated Retrieval for a Software Component Repository.
- Luqi, L., & Broy, M, (1998). Software Engineering to our Planning Horizon.
- Luqi, L, (1998). Engineering Automation for Computer Based Systems.
- Shing, M., Luqi, L., Berzins, V. A., Saluto, M., Williams, J., Guo, J., & Shultes, B, (1998). The Story of RE-engineering 350,000 Lines of FORTRAN Code.
- Shing, M., Berzins, V. A., Luqi, L., Holden, M., & Eagle, C, (1998). Master of Science in Software Engineering via Distance Learning.
- (1998). Software Automation for Control Systems.
- DaBose, M., & Luqi, L, (1998). Autonomous Agents Design for Digital Network Maximization in Joint C4I System.
- Zhang, D., & Luqi, L, (1998). The Pacific Rim Process Engineering Research.
- Luqi, L, (1998). Software Process Improvement – Lessons Learned.
- Luqi, L, (1998). Requirements Targeting Software and Systems Engineering.
- Leonard, T., Berzins, V. A., Luqi, L., & Holden, M, (1997). Gathering Requirements from Remote Users.
- Luqi, L., & Berzins, V. A, (1997). Engineering Automation for Computer Based Systems.
- Luqi, L, (1997). Formal Models and Prototyping.
- Berzins, V. A., Ibrahim, O., & Luqi, L, (1997). A Requirements Evolution Model for Computer Aided Prototyping.
- Berzins, V. A., Luqi, L., & Shing, M, (1996). Scheduling Real-Time Software Prototypes.
- Rusin, D., Luqi, L., & Scanlon, M, (1996). SIDS Wireless Acoustic Monitor (SWAM)
- Luqi, L, (1996). Specifications in Software Prototyping.
- Luqi, L., Berzins, V. A., Nguyen, D., & Zhang, D, (1996). Multi-Level Filtering for Software Component Retrieval.
- Shing, M., Berzins, V. A., & Luqi, L, (1996). Computer Aided Prototyping System (CAPS)
- Luqi, L., & Berzins, V. A, (1995). Software Architecture in Computer-Aided Prototyping.
- Luqi, L, (1995). Monterey Workshop ’95: Specification Based Software Architectures – Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development.
- Luqi, L., & Berzins, V. A, (1995). Logic, Software Engineering and Prototyping.
- Berzins, V. A., & Luqi, L, (1995). Software Evolution in Prototyping.
- Zhang, D., & Luqi, L, (1995). Formal Analysis of Inconsistency and Redundancy in Knowledge Bases.
- Shing, M., & Luqi, L, (1995). Functional Specification and Prototyping for a Generic C3I Workstation.
- Shing, M., Berzins, V. A., & Luqi, L, (1995). Computer Aided Prototyping System (CAPS)
- Goguen, J., & Luqi, L, (1995). Formal Methods and Social Context in Software Development.
- Dampier, D., Byrnes, R., Kindl, M., & Luqi, L, (1995). Rapid Prototyping of Army Embedded Software Systems.
- Dampier, D., Berzins, V. A., Luqi, L., Shing, M., Dolk, D., & Rasmussen, C, (1995). A Slicing Method for Semantics-Based Change-Merging of Software Prototypes.
- Luqi, L., Goguen, J., Berzins, V. A., & Dampier, D, (1995). Engineering Support for Software Evolution.
- Luqi, L., Yang, H., & Zhang, X, (1994). Constructing an Automated Testing Oracle: An Effort to Produce Reliable Software.
- Luqi, L., Goguen, J., & Berzins, V. A, (1994). Formal Support for Software Evolution.
- Luqi, L, (1994). Monterey Workshop 94: Software Evolution-Increasing the Practical Impact of Formal Methods in Computer Aided Software Development.
- Luqi, L., Berzins, V. A., & Shing, M, (1994). Software Evolution.
- Luqi, L, (1994). Achieving Integration Via Prototyping.
- Luqi, L., & Goguen, J, (1994). Suggestions for Progress in Software Analysis, Synthesis and Certification.
- Badr, S., & Luqi, L, (1994). Automation Support for Concurrent Software Engineering.
- Luqi, L., & Shing, M, (1994). Teaching Hard Real-Time Software Development via Prototyping.
- Cooke, D., & Luqi, L, (1993). Formal Support for Software Maintenance.
- Luqi, L, (1993). Computer-Aided Prototyping - Status and Experiments.
- Luqi, L., & Goguen, J, (1993). Some Suggestions for Using Formal Methods in Software Development.
- Luqi, L., Shing, M., & Brockett, J, (1993). Real-Time Scheduling in System Prototyping.
- Badr, S., & Luqi, L, (1993). A Version and Configuration Model for Software Evolution.
- Dampier, D., Luqi, L., & Berzins, V. A, (1993). Automated Merging of Software Prototypes.
- Luqi, L, (1993). Software Reuse without Reading Code.
- Ramesh, B., & Luqi, L, (1993). Process Knowledge Based Rapid Prototyping for Requirements Engineering.
- Luqi, L, (1993). How to Use Prototyping for Requirements Engineering.
- Luqi, L., Shing, M., Barnes, P., & Hughes, G, (1993). Prototyping Hard Real-Time Ada Systems in a Classroom Environment.
- Loucopoulos, P., Potts, C., Mellor, S., McDermid, J., Luqi, L., & Zucconi, L, (1993). I Never Knew my Requirements were Object-Oriented Until I Talked to my Analyst.
- Dampier, D., & Luqi, L, (1992). Automated Software Maintenance Using Comprehension and Specification.
- Lee, Y., & Luqi, L, (1992). Controlling an Autonomous Underwater Vehicle Using an Expert System.
- Luqi, L., & Cooke, D, (1992). The Management of Uncertainty in Software Development.
- Luqi, L., & Lee, Y, (1992). Towards Automated Retrieval of Reusable Software Components.
- Luqi, L., Hughes, G., Schweiger, J., & Jones, C, (1992). Ada Software Prototyping of C3I Systems.
- Berzins, V. A., Cooke, D., Luqi, L., & Tanik, M, (1992). Workshop on Software Automation.
- Luqi, L, (1992). Computer Aided System Prototyping.
- Luqi, L, (1992). Computer-Aided Prototyping of Real-Time Systems.
- Steigerwald, R., Luqi, L., & Berzins, V. A, (1992). A Tool for Reusable Software Component Retrieval via Normalized Specifications.
- Luqi, L., & Steigerwald, R, (1992). Rapid Software Prototyping.
- Berzins, V. A., Luqi, L., & Lee, Y, (1992). Applications and Meaning of Inheritance in Software Specifications.
- Luqi, L., & McDowell, J, (1991). Software Reuse in Specification-Based Prototyping.
- Luqi, L., Steigerwald, R., Hughes, G., & Berzins, V. A, (1991). CAPS as a Requirements Engineering Tool.
- Lee, Y., Luqi, L., & McGhee, R, (1991). Automating the Construction of Real-Time Software for an Autonomous Underwater Vehicle through Prototyping.
- Luqi, L., Hughes, G., & Schweiger, J, (1991). Ada Software Prototypes of C3I Systems.
- Luqi, L., Berzins, V. A., Kodres, U., & Lee, Y, (1991). Prototyping a Low Cost Tactical Display System.
- Steigerwald, R., Luqi, L., & McDowell, J, (1991). A CASE Tool for Reusable Software Component Storage and Retrieval in Rapid Prototyping.
- Luqi, L., Steigerwald, R., Hughes, G., Naveda, F., & Berzins, V. A, (1991). CAPS as a Requirements Engineering Tool.
- Bihari, T., McGhee, R., Luqi, L., & Lee, Y, (1990). Applying a Computer Aided Prototyping System to the Software of an Autonomous Underwater Vehicle.
- Luqi, L., Barnes, P., & Zyda, M, (1990). Graphical Support for Reducing Information Overload in Rapid Prototyping.
- Kraemer, B., & Luqi, L, (1990). Petri Net-Based Models of Software Engineering Processes.
- Luqi, L, (1990). Rapid Software Prototyping.
- Kraemer, B., & Luqi, L, (1990). Specification-Based Software Construction.
- Berzins, V. A., Lee, Y., & Luqi, L, (1989). Generating Displays for Specifications Using Attribute Grammars.
- Luqi, L., & Lee, Y, (1989). Interactive Control of Prototyping Process.
- Lundy, G., & Luqi, L, (1989). Specification of a Token Ring Protocol Using Systems of Communicating Machines.
- Luqi, L, (1989). Handling Timing Constraints in Rapid Prototyping.
- Luqi, L., & Berzins, V. A, (1988). Execution of a High Level Real-Time Language.
- Berzins, V. A., & Luqi, L, (1988). Semantics of a Real-Time Language.
- Janson, D., & Luqi, L, (1988). A Static Scheduler for the Computer Aided Prototyping System.
- Luqi, L, (1988). Specification Languages in Computer Aided Software Engineering.
- Luqi, L, (1987). Normalized Specifications for Identifying Reusable Software.
- Luqi, L., & Ketabchi, M, (1987). A Computer Aided Prototyping System.
- Luqi, L, (1987). Execution of Real-Time Prototypes.
- Journal Articles
- Jacoby, G. A., & Luqi, L, (2007). Intranet Model and Metrics. Communications of the ACM, 2(50), 43-50.
- Qiao, Y., Wang, H., Luqi, L., & Berzins, V. A, (2006). An Admission Control Method for Dynamic Software Reconfiguration in Complex Embedded Systems. International Journal of Computers and Their Applications, 1(13), 28-38.
- Jacoby, G. A., & Luqi, L, (2005). Critical Business Requirements Model and Metrics for Intranet ROI. Journal of Electronic Commerce Research, 1(6), 1-30.
- Jacoby, G., & Luqi, L, (2005). Intranet Portal Model and Metrics: A Strategic Management Perspective. IT Professional, 1(7), 37-44.
- Luqi, L., Zhang, L., Berzins, V. A., & Qiao, Y, (2004). Documentation Driven Development for Complex Real-Time Systems. IEEE Transactions on Software Engineering, 12(30), 936-952.
- Luqi, L., Guan, Z., Berzins, V. A., Zhang, L., Floodeen, D., Puett, J. F., & Brown, M, (2004). Requirements Document Based Prototyping of CARA Software. International Journal on Software Tools for Technology Transfer, 4(5), 370-390.
- Luqi, L., Zhang, L., & Saboe, M, (2004). The Dynamical Models for Software Technology Transition. International Journal of Software Engineering & Knowledge Engineering, 2(14), 179-206.
- Wills, L., Kordon, F., & Luqi, L, (2004). Editorial: Rapid System Prototyping. Journal of Systems and Software, 3(70), 225-227.
- Luqi, L., Guan, J., Berzins, V. A., & Zhang, L, (2003). Meeting in the Rain. The Software Practitioner, 3(13), 9-10.
- Liang, X., Zhang, L., & Luqi, L, (2003). Automatic Prototype Generating via Optimized Object Model. ADA Letters, 2(23), 22-31.
- Kordon, F., & Luqi, L, (2002). An Introduction to Rapid System Prototyping. IEEE Transactions on Software Engineering.
- Nada, N., Shing, M. T., Berzins, V. A., & Luqi, L, (2002). Automated Prototyping Tool-kit (APT) Information Sciences, 3-4(140), 241-253.
- Luqi, L., & Broy, M, (2002). Software Engineering Beyond our Planning Horizon: Automation for Computer-Based Systems. Science of Computer Programming, 1(42), 1-10.
- Berzins, V. A., Shing, M. T., Luqi, L., Saluto, M., & Williams, J, (2000). Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping. Design Automation for Embedded Systems, 3(5), 251-263.
- Guo, J., & Luqi, L, (2000). Object Modeling to Re-engineer Legacy Systems. International Journal of Software Engineering and Knowledge Engineering, 4(10), 471-485.
- Luqi, L., & Zhang, D, (1999). Approximate Declarative Semantics for Rule Base Anomalies. Knowledge-Based Systems, 7(12), 341-353.
- Luqi, L., & Broy, M, (1999). Software Engineering to Our Planning Horizon. Electronic Notes in Theoretical Computer Science, (25), 145-146.
- Luqi, L, (1999). Engineering Automation for Computer Based Systems. Electronic Notes in Theoretical Computer Science, (25), 1-9.
- Shing, M., Luqi, L., Berzins, V. A., Saluto, M., Williams, J., Guo, J., & Shultes, B, (1999). The Story of Re-engineering 350,000 Lines of FORTRAN Code. Electronic Notes in Theoretical Computer Science, (25), 111-120.
- Berzins, V. A., Shing, M., & Luqi, L, (1999). Architectural Re-engineering of Janus Using Object Modeling and Rapid Prototyping. Journal of Design Automation for Embedded Systems, SPECIAL ISSUE ON RSP’99.
- Luqi, L., Chang, C. K., & Zhu, H, (1998). Specifications in Software Prototyping. Journal of Systems and Software, 2(42), 125-140.
- Cooke, D., & Luqi, L, (1997). Logic Programming and Software Maintenance. Annals of Mathematics and Artificial Intelligence, 2(21), 221-229.
- Luqi, L., & Goguen, J. A, (1997). Formal Methods: Promises and Problems. IEEE Software, 1(14), 73-85.
- Goguen, J., Nguyen, D., Meseguer, J., Luqi, L., Zhang, D., & Berzins, V. A, (1996). Software Component Search. Journal of Systems Integration, 1-2(6), 93-134.
- Berzins, V. A., & Luqi, L, (1996). Software Evolution in Prototyping. Chinese Journal of Advanced Software Research, 3(3), 260-276.
- Luqi, L, (1996). Guest Editor's Introduction. Journal of Systems Integration, 1-2(6), 15-17.
- Luqi, L., & Shing, M, (1996). Real-Time Scheduling for Software Prototyping. Journal of Systems Integration, 1-2(6), 41-72.
- Ramesh, B., & Luqi, L, (1995). An Intelligent Assistant for Requirements Validation. Journal of Systems Integration, 2(5), 157-177.
- Berzins, V. A., Luqi, L., & Shing, M, (1995). An Automated Prototyping Tool for System Development and Acquisition. NetFocus, 211, 2-3.
- Luqi, L., & Cooke, D, (1995). How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software. International Journal of Software Engineering and Knowledge Engineering, 1(5), 89-118.
- Dampier, D. A., Luqi, L., & Berzins, V. A, (1994). Automated Merging of Software Prototypes. Journal of Systems Integration, 1(4), 33-49.
- Kuntzmann-Combelles, A., & Luqi, L, (1993). Guest Editors' Introduction: Advancing Europe's Fortunes. IEEE Software, 6(10), 14-20.
- Krämer, B. J., Luqi, L., & Berzins, V. A, (1993). Compositional Semantics of a Real-Time Prototyping Language. IEEE Transaction on Software Engineering, 5(19), 453-477.
- Berzins, V. A., Luqi, L., & Yehudai, A, (1993). Using Transformations in Specification-Based Prototyping. IEEE Transactions on Software Engineering, 5(19), 436-452.
- Luqi, L, (1993). Real-Time Constraints in a Rapid Prototyping Language. Computer Languages, 2(18), 77-103.
- Luqi, L., & Royce, W, (1992). Status Report: Computer-Aided Prototyping. IEEE Software, 6(9), 77-81.
- Luqi, L, (1992). Women in AI. IEEE Expert, 7-22.
- Luqi, L, (1992). Computer-Aided Prototyping for a Command-and-Control System Using CAPS. IEEE Software, 1(9), 56-67.
- Luqi, L, (1992). CAPS – A Tool for Real-Time System Development and Acquisition. Naval Research Reviews, (XLIV), 12-16.
- Luqi, L., & Shing, M, (1992). CAPS - A Tool for Real-Time System Development and Acquisition. Quarterly Review, NO. 1(XLIV), 12-16.
- Steigerwald, R., Luqi, L., & McDowell, j, (1991). CASE Tool for Reusable Software Component Storage and Retrieval in Rapid Prototyping. Information and Software Technology, 9(38), 698-706.
- Luqi, L, (1991). Computer-Aided Software Prototyping. IEEE Computer, 9(24), 111-112.
- Luqi, L, (1991). The Role of Prototyping Languages in CASE. International Journal of Software Engineering and Knowledge Engineering, 2(1), 131-149.
- Krämer, B., & Luqi, L, (1991). Toward Formal Models of Software Engineering Processes. Journal of Systems and Software, 1(15), 63-74.
- Luqi, L, (1990). A Graph Model for Software Evolution. IEEE Transactions on Software Engineering, 8(16), 917-927.
- Luqi, L, (1990). Automated Prototyping and Data Translation. Data and Knowledge Engineering, (5), 167-177.
- Luqi, L., Barnes, P., & Zyda, M, (1990). Graphical Tool for Computer-Aided Prototyping. Information and Software Technology, 3(36), 199-206.
- Berzins, V. A., & Luqi, L, (1990). An Introduction to the Specification Language Spec. IEEE Software, 1(7), 74-84.
- Luqi, L, (1989). Software Evolution Through Rapid Prototyping. Computer, 5(22), 13-25.
- Luqi, L, (1989). Expert Focus: Rapid Prototyping Languages and Expert Systems. IEEE Intelligent Systems, 2(4), 2-5.
- Luqi, L., Berzins, V. A., & Yeh, R. T, (1988). A Prototyping Language for Real-Time Software. IEEE Transactions on Software Engineering, 10(14), 1409-1423.
- Luqi, L., & Berzins, V. A, (1988). Rapidly Prototyping Real-Time Systems. IEEE Software, 5(5), 25-36.
- Luqi, L., & Ketabchi, M, (1988). A Computer-Aided Prototyping System. IEEE Software, 2(5), 66-72.
- Luqi, L, (1988). Knowledge-Based Support for Rapid Software Prototyping. IEEE Intelligent Systems, 4(3), 9-15, 18.
- Monographs
- Luqi, L, (1986). Rapid Prototyping for Large Software System Design.
- Websites
- Luqi, L, (2023). Monterey Workshop.
- Research Reports
- Luqi, L, (2016). FY16 Annual Project Report on Command and Control for the New Navy Orientation and Response Model.
- Luqi, L, (2016). FY16 Annual Project Report on High Latitude Positioning, Navigation, and Timing.
- Luqi, L, (2016). FY16 Annual Project Report on Satellite Vulnerability Planning Models.
- Luqi, L, (2016). FY16 Annual Project Report on USV ASW Employment.
- Luqi, L, (2010). Documentation Driven Software Development.
- Luqi, L, (2003). Engineering Automation for Reliable Software.
- Luqi, L, (2002). Engineering Automation for Reliable Software.
- Luqi, L, (2002). Weapon Systems Software Safety.
- Luqi, L., & Berzins, V. A, (1997). Formal Models Used for Automation in Software Development.
- Luqi, L, (1991). A Computer Aided Prototyping System for Embedded Software.
- Luqi, L, (1991). Models for Prototypes of Dynamic Systems.
- Luqi, L, (1991). Modeling of Real-Time Systems at NRL.
- Luqi, L, (1991). ALS/N for Translating CDS Prototypes.
- Luqi, L, (1991). A Computer Aided Prototyping System for Embedded Software.
- Luqi, L, (1991). A Computer Aided Prototyping System for Embedded Software.
- Latour, L., & Luqi, L, (1991). Theoretical Foundations.
- Luqi, L., & Warshawsky, E, (1991). Rapid Prototyping.
- Luqi, L, (1991). Rapid Prototyping of Hard Real-Time Systems.
- Luqi, L, (1990). Automatic Generation of CAPS User Interface.
- Luqi, L, (1990). Software Prototypes of C3I Systems.
- Luqi, L, (1990). Automated Rapid Prototyping Environment.
- Luqi, L, (1989). Automated Rapid Prototyping Environment.
- Technical Reports
- Luqi, L, (2023). Design of a Salvo Calculator.
- Luqi, L, (2023). Recent Scientific Advances for Applications.
- Luqi, L, (2023). Models of Distributed Salvos.
- Luqi, L., Miller, S. A., Romero, R., Blais, C. L., & Reeder, C, (2021). Modeling SIGINT.
- Luqi, L., Wood, B. P., Roof, W., & Hastings, S, (2021). Models For Integration Of MUSV Into A Carrier/Expeditionary Strike Group.
- Luqi, L, (2020). The Monterey Workshop Series (1992-2020)
- Luqi, L., Boger, D. C., Paduan, J. D., Dell, R. F., Dinolt, G. W., Fouts, D. J., Buettner, R. R., Piombo, J. R., Miller, S. A., Newman, J. H., Kelly, R., Dampier, D., Drummond, J., Berzins, V. A., Hernandez, A. S., Monaco, J., Davis, D. T., Bjørner, N., Lange, D., Smith, B., Durbin, R., Weaver , N., Noble, B., Hayne, S., Akil, A., Runde, S. M., Gallup, S. P., Roof, W., Fitzpatrick, C. R., Balogh, I. L., Emmersen, T., Tortora, P., Comey, J., Bingham, B. S., O'Halloran, B. M., & Wood, B. P, (2019). Proceedings of the 20th Monterey Workshop.
- Luqi, L., & Lan, W. D, (2019). Satellite Vulnerability Planning Models Final Report.
- Luqi, L, (2017). Control Systems for Unmanned Surface Vehicles in Anti-Submarine Warfare.
- Luqi, L., & Huffmire, T. D, (2017). Security of ASW USV Control.
- Luqi, L., Miller, S. A., & Wegner, A, (2017). Testing Arctic Positioning and Navigation.
- Luqi, L., Castle, T., & Miller, S. A, (2017). Ship High Latitude Positioning and Navigation Test Report.
- Luqi, L., & Miller, S. A, (2016). Hight Latitude Positioning, Navigation and Timing.
- Luqi, L, (2016). Satellite Vulnerability Planning Models.
- Luqi, L, (2016). Integrity of Industrial Control Systems and C2 for the New Norm.
- Luqi, L, (2016). Undersea Constellation Utilization and Risk Assessment.
- Luqi, L., & Lednicky, E, (2016). ASW USV Employment Part I.
- Luqi, L, (2016). ASW USV Employment Part II.
- Luqi, L, (2013). Countering Emerging Threats Using Runtime Monitoring.
- Luqi, L, (2013). Enterprise Monitoring in a Virtual Environment.
- Luqi, L, (2013). Improving IT Security and Associated Policy via Enterprise Monitoring.
- Luqi, L., & Rivera, J, (2010). Requirements Framework for the Software System Safety Technical Review Panel Technical Review Package.
- Luqi, L., & Dailey, P, (2010). Profile-Based Automated Testing Process for Open Architecture Track-Processing Software.
- Luqi, L., Berzins, V. A., & Dailey, P, (2009). Driving Automated Open-Architecture Testing: An Operational Profile Model Development Strategy.
- Luqi, L., Berzins, V. A., & Dailey, P, (2009). Driving Automated Open-Architecture Testing: An Operational Profile Model-Development Strategy.
- Luqi, L., Berzins, V. A., & Rivera, J, (2009). Requirements Framework for the Software Systems Safety Review Panel (SSSTRP)
- Luqi, L., & Berzins, V. A, (2008). Dependable Software Architecture Based on Quantifiable Compositional Model.
- Luqi, L., & Martell, C, (2008). Innovations for Requirements Engineering.
- Berzins, V. A., Luqi, L., Lange, D., Roof, B., & Lisowski, M, (2004). Open Issues in Composable FORCEnet Research.
- Berzins, V. A., Lange, D., & Luqi, L, (2004). Simulation Based Evaluation for Next Generation Intelligent Systems.
- Luqi, L, (2002). Dynamic Assembly for System Adaptability, Dependability, and Assurance, (DASASA) Project.
- Luqi, L, (2002). NSF Final Report for the 2001 Monterey Workshop.
- Luqi, L., & Qiao, Y, (2002). High-confidence Development and Evolution for System of Embedded Systems.
- Luqi, L., & Liang, X, (2002). Approach for Highly Dependable Software-Intensive Systems.
- Luqi, L., Shing, M. T., Berzins, V. A., Puett, J., Guan, Z., Zhang, L., Chaki, N., Liang, X., RAY, W., Brown, M., Floodeen, D., & Drusinsky, D, (2002). SEA Environment for CARA Software.
- Luqi, L., & Zhang, L, (2002). Structured Method for Risk Assessment in Software Projects.
- Luqi, L, (2002). Weapon Systems Software Safety.
- Luqi, L., & Chaki, N, (2002). An Empirical Model to Measure Dependability of a Software System.
- Luqi, L., & Puett, J, (2002). Dependable Software through a Holistic Framework of Tool Interoperability and Artifact Dependency.
- Luqi, L., & Zhang, L, (2002). Decision Support for Formal Method Selection.
- Luqi, L., & Liang, X, (2002). Dependability-Assured Software Transformation.
- Luqi, L., & Guan, Z, (2002). Human Factors Based Tools for Dependable Interactive Systems Development.
- Luqi, L., & Qiao, Y, (2002). Adaptive Middleware Framework for Distributed Embedded Applications.
- Luqi, L, (2001). System Engineering and Evolution Decision Support.
- Luqi, L, (2001). Engineering Automation for Reliable Software.
- Luqi, L, (2001). Master of Science in Software Engineering Academic Program Manual.
- Luqi, L., & Sheehan, J, (2001). Assessment of DMSO Conceptual Models of the Mission Space.
- Luqi, L, (2000). System Engineering and Evolution Decision Support.
- Luqi, L, (2000). Engineering Automation for Reliable Software.
- Luqi, L, (1999). Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems.
- Allen, J., Berzins, V. A., Cheng, N., Gee, K., Guo, J., Luqi, L., Nguyen, T., Shultes, B., & Stiern, E, (1999). Interoperability Technology Assessment for Joint C4ISR Systems.
- Berzins, V. A., Luqi, L., Shing, M. T., Saluto, M., & Williams, J, (1999). Re-engineering the Janus (A) Combat Simulation System.
- Luqi, L, (1998). Formal Models and Prototyping.
- Luqi, L, (1998). A Non-invasive Acoustic Vital Signs Monitor for Battlefield Medical Care.
- Luqi, L, (1998). Re-engineering the Janus Combat Simulation System.
- Dampier, D. A., Berzins, V. A., Luqi, L., Shing, M. T., Dolk, D. R., & Rasmussen, C. W, (1995). A Slicing Method for Semantics-Based Change-Merging of Software Prototypes.
- Berzins, V. A., Dampier, D., & Luqi, L, (1995). Automated Merging of Software Prototypes.
- Badr, S., & Luqi, L, (1993). Automation Support for Concurrent Software Engineering.
- Luqi, L., Shing, M. T., Berzins, V. A., & Chmura, L, (1992). Managing Real-Time Software Projects: Problems and Issues.
- Luqi, L., Shing, M., Barnes, P., & Hughes, G, (1992). Prototyping Hard Real-Time Systems in a Classroom Environment.
- Luqi, L, (1992). Research Directions in Software Analysis, Synthesis, and Certification.
- Badr, S., & Luqi, L, (1992). A Version and Configuration Model for Software Evolution.
- Dampier, D., & Luqi, L, (1992). A Model for Merging Software Prototypes.
- Lee, Y., Luqi, L., & Berzins, V. A, (1992). Systematic Development of Hard Real-Time Software: A Comparative Study of Three Methods.
- Luqi, L, (1990). Evolutionary Software Engineering at the Naval Postgraduate School.
- Krämer, B., Luqi, L., & Berzins, V. A, (1990). Denotational Semantics of a Real-Time Prototyping Language.
- Hefner, K., Luqi, L., & Mostov, I, (1990). A Graph Model of Software Maintenance.
- Berzins, V. A., Kopas, R., Luqi, L., & Yehudai, A, (1990). Transformations in Specification-Based Software Evolution.
- Luqi, L., Tanik, M., & Yin, W, (1990). Rapid Prototyping for Software Evolution.
- Luqi, L., & Davis, T, (1990). A Software Prototype of the Message Processor in Navy C3I Station.
- Krämer, B., & Luqi, L, (1990). Petri Net-Based Models of Software Engineering Processes.
- Luqi, L, (1990). Models for Evolutionary Software Development.
- Luqi, L., & Berzins, V. A, (1989). Rapid Prototyping Languages in Computer-Aided Software Engineering.
- Luqi, L, (1989). Computer Languages for Rapid Prototyping.
- Luqi, L., & Lee, Y, (1989). Interactive Control of Prototyping Process.
- Luqi, L., & Berzins, V. A, (1989). Issues in Language Support for Rapid Prototyping.
- Luqi, L, (1989). Rapid Prototyping Languages for Expert Systems.
- Luqi, L, (1989). Multi-Level Software Analysis and Testing in Evolutionary Software Development.
- Galik, D., & Luqi, L, (1989). A Conceptual Design of a Software Base Management System for the Computer Aided Prototyping System.
- Luqi, L., & Marlow, L, (1989). A Scheduler for Critical Time Constraints.
- Berzins, V. A., Luqi, L., & Porter, S, (1989). Design of a Syntax Directed Editor for PSDL.
- Luqi, L., Thorstenson, R., & Zyda, M, (1989). A Graphical Editor for the Computer Aided Prototyping System.
- Altizer, C., & Luqi, L, (1989). Implementation of a Language Translator for the Computer Aided Prototyping System.
- Luqi, L., Wood, M., & Yurchak, J, (1989). Run-time Support for Rapid Prototyping.
- Douglas, B., & Luqi, L, (1989). A Design Database for Rapid Prototyping.
- Lundy, B., & Luqi, L, (1989). Specification of a Token Ring Protocol Using Systems of Communicating Machines.
- Luqi, L., & Barnes, P, (1989). Graphical Support for Reducing Information Overload in Rapid Prototyping.
- Luqi, L., Raum, H., & Yurchak, J, (1989). Design and Implementation of an Expert User Interface for the Computer Aided Prototyping System.
- Luqi, L., Krämer, B., & Berzins, V. A, (1989). Software Analysis and Testing through Prototyping.
- Luqi, L., Berzins, V. A., Krämer, B., & White, L, (1989). A Proposed Design for a Rapid Prototyping Language.
- Luqi, L., & Mostov, I, (1989). Maintenance Problems in Military Software Systems.
- Luqi, L, (1988). Specification Languages in Computer Aided Software Engineering.
- Luqi, L, (1988). Knowledge Base Support for Rapid Prototyping.
- Luqi, L, (1988). Automated Rapid Prototyping Environment.
- Berzins, V. A., & Luqi, L, (1988). An Introduction to the Specification Language Spec.
- Berzins, V. A., & Luqi, L, (1988). Semantics of a Real-Time Language.
- Luqi, L, (1988). Automated Prototyping Data and Knowledge Translation.
- Luqi, L., & Berzins, V. A, (1988). Execution of a High Level Real-Time Language.
- Luqi, L, (1988). Handling Timing Constraints in Rapid Prototyping.
- Luqi, L, (1988). Computer Aided Maintenance of Prototype Systems.
- Berzins, V. A., & Luqi, L, (1988). Languages for Specification, Design, and Prototyping.
- Luqi, L, (1988). Software Evolution Via Prototyping.
- Janson, D., & Luqi, L, (1988). A Static Scheduler for the Computer Aided Prototyping System, An Implementation Guide.
- Herndon, R., & Luqi, L, (1988). Generating a Language Translator Based on an Attribute Grammar Tool.
- Galik, D., & Luqi, L, (1988). An Integrated Tool Environment for Embedded Real-Time Software.
- Luqi, L., & Moffitt, C, (1988). Automated Translation from a Prototyping Language into Ada.
- Eaton, S. L., & Luqi, L, (1988). A Dynamic Scheduler for a Computer Aided Prototyping System.
- Luqi, L., & Janson, D, (1988). A Static Scheduler Implementation Guide for a CAPS Tool.
- Luqi, L., & Moffitt, C, (1988). A Language Translator for a Computer Aided Prototyping System.
- Luqi, L., & O'Hern, J, (1988). A Conceptual Level Design for a Static Scheduler for Hard Real-Time Systems.
- Luqi, L., & Berzins, V. A, (1987). Rapid Prototyping of Real-Time Systems.
- Luqi, L, (1987). Research Aspects of Rapid Prototyping.
- Luqi, L, (1987). Normalized Specifications for Identifying Reusable Software.
- Luqi, L, (1987). Execution of Real-Time Prototypes.
- Berzins, V. A., & Luqi, L, (1987). The Semantics of Inheritance in Spec.
- Berzins, V. A., & Luqi, L, (1987). Specifying Large Software Systems in Spec.
- Luqi, L., & Ketabchi, M, (1987). A Computer Aided Prototyping System.
- Luqi, L., & Berzins, V. A, (1986). Execution Aspects of Prototypes in PSDL.
- Luqi, L, (1986). Solution of the Boundary Layer Transition Problem.
- Luqi, L., & Berzins, V. A, (1986). Rapid Construction of PSDL Prototypes.
- Luqi, L., Berzins, V. A., & Yeh, R, (1986). A Prototyping Language for Real-Time Software.
- Luqi, L., Roussopoulos, N., Yeh, R., & et. al, (1985). Research in Software Reusability.