Faculty
NPS - Faculty Profiles - Heading
Faculty Profile Directory
FacultyCV
Back
NPS Experience
- 1992 - current: Professor
Other Experience
- 1986 - 1989 Associate Professor, Department of Computer Science, Univ of Minnesota
- 1980 - 1986 Assistant Professor, Computer Science, Univ of Minnesota
Research Interests
Computer-aided Software Evolution
Reliable Software Architecture
Formal Models that Support Engineering Automation
Program Generators
Interoperability
Requirements and Risk Reduction
Reliable Software Architecture
Formal Models that Support Engineering Automation
Program Generators
Interoperability
Requirements and Risk Reduction
Teaching Interests
Computer Science
Software Engineering
Software Engineering
Awards
- 1994 - Research Recognition Award in Computer Science, Naval Postgraduate School
Boards, Memberships, & Certifications
Professional Memberships
- Institute of Electrical and Electronics Engineers
- Senior Member, Phi Beta Kappa, Sigma Xi
- 1997 - 2017 Associate Editor, International Journal of Software Engineering and Knowledge Engineering
Scholarly Work
Publications
- Book Chapters
- 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., Cheng, N., Berzins, V. A., & Bhattacharya, S, (2001). Java Wrappers for Automated Interoperability. Springer.
- Berzins, V. A., & Luqi, L, (1996). Logic, Software Engineering, and Prototyping. World Scientific Press.
- Berzins, V. A., Dampier, D., & Luqi, L, (1995). Automated Merging of Software Prototypes. IEEE Computer Society.
- Berzins, V. A, (1992). Software Prototyping. Van Nostrand Reinhold.
- Berzins, V. A., & Luqi, L, (1989). Languages for Specification, Design and Prototyping. Van Nostrand Reinhold Company.
- Liskov, B., & Berzins, V. A, (1979). An Appraisal of Program Specifications. Massachusetts Institute of Technology Press.
- Books
- Berzins, V. A, (1995). Software Slicing and Merging. IEEE Computer Society Press.
- Berzins, V. A., & Luqi, L, (1991). Software Engineering with Abstractions. Addison-Wesley Publishing Company.
- Conference Proceedings
- Jatho, E., Barton, A. C., & Berzins, V. A, (2021). Defending Deep Neural Networks with Precise Latent Space Declaration.
- Kroll, J. A., & Berzins, V. A, (2021). Understanding and Assessing Safety in Artificial Intelligence Systems.
- Berzins, V. A, (2020). Architecture-Based Security for UxVs.
- 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.
- Berzins, V. A., & Hernandez, A. S, (2019). Risk-Based Testing for UAV with Munitions.
- Berzins, V. A, (2018). Automated Methods for Cyber Test and Evaluation.
- Berzins, V. A., Van Benthem, P., Johnson, C., & Womble, B, (2015). Use of Automated Testing to Facilitate Affordable Design of Military Systems.
- Berzins, V. A, (2014). Combining Risk Analysis and Slicing for Test Reduction in Open Architecture.
- Berzins, V. A, (2012). Certifying Tools for Test Reduction in Open Architecture.
- Berzins, V. A., Lim, P., & Ben Kahia, M, (2011). Test Reduction in Open Architecture via Dependency Analysis.
- Berzins, V. A., & Dailey, P, (2010). Improved Software Testing for Open Architecture.
- Berzins, V. A, (2010). How to Certify Software Architectures for Reliable Reconfiguration.
- 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., & Dailey, P, (2009). How to Check If It Is Safe Not to Retest a Component.
- Berzins, V. A., Luqi, L., & Musial, P. M, (2008). Formal Reasoning about Software Object Translations.
- Berzins, V. A, (2008). Which Unchanged Components to Retest after a Technology Upgrade.
- 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.
- Berzins, V. A., Lange, D. S., Carlin, M., Ivanchenko, V., & Luqi, L, (2007). PAL Boot Camp: Preparing Cognitive Assistants for Deployment.
- Berzins, V. A., Rodríguez, M., & Wessman, M, (2007). Putting Teeth into Open Architectures: Infrastructure for Reducing the Need for Retesting.
- Luqi, L., Berzins, V. A., & Roof, W. H, (2007). Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN)
- Luqi, L., Berzins, V. A., & Musia, (2007). Reliability Properties of Models for Flexible Design and Run-time Analysis.
- Berzins, V. A., Martell, C., Luqi, L., & Ivanchenko, V, (2007). Innovations on Natural Language Document Processing for Requirements Engineering.
- Luqi, L., Ivanchenko, V., Rodriguez, M., & Berzins, V. A, (2006). Reliability and Flexibility Properties of Models for Design and Run-time Analysis.
- Berzins, V. A., & Luqi, L, (2006). Achieving Dependable Flexibility via Quantifiable System Architectures.
- Ma, C., & Berzins, V. A, (2006). A Framework for Multi-modal interaction of Embedded Real-time 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.
- Berzins, V. A, (2004). Trustworthiness as Risk Abatement.
- 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.
- Berzins, V. A., Qiao, Y., & Luqi, L, (2003). Information Consistency Checking for Documentation Driven Development for Complex Embedded Systems.
- Liang, X., Puett, J., Berzins, V. A., & Luqi, L, (2003). Synthesizing Architectural Approach via a Compatible Composition Model.
- 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.
- Berzins, V. A., & Chaki, N, (2002). MTDOAG: Module Test Driver and Output Analyzer Generator.
- 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.
- Berzins, V. A., Auguston, M., & Bryant, B, (2001). Visual Meta-Programming Language.
- Berzins, V. A., Ge, J., & Kin, B, (2001). A Software Agent Framework for Distributed Applications.
- 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.
- 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.
- Berzins, V. A., & Ray, W, (2001). Optimization of Distributed Object-Oriented Servers.
- 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.
- Ge, J., Berzins, V. A., & Shing, M, (2000). An Agent-Based, Distributed Prototyping System for Software Interoperability Study.
- 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)
- 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.
- 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.
- 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.
- Berzins, V. A, (2000). Static Analysis for Program Generation Templates.
- 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.
- 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.
- 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.
- 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.
- Berzins, V. A, (1997). Merging Changes to Software Specifications.
- 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.
- Luqi, L., Berzins, V. A., Nguyen, D., & Zhang, D, (1996). Multi-Level Filtering for Software Component Retrieval.
- Berzins, V. A, (1996). Recombining Changes to Software Specifications.
- 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.
- Berzins, V. A., & Shing, M, (1995). Summary of '95 Monterey Workshop: Specification-Based Software Architectures.
- Luqi, L., & Berzins, V. A, (1995). Logic, Software Engineering and Prototyping.
- Berzins, V. A., & Luqi, L, (1995). Software Evolution in Prototyping.
- Shing, M., Berzins, V. A., & Luqi, L, (1995). Computer Aided Prototyping System (CAPS)
- 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., Goguen, J., & Berzins, V. A, (1994). Formal Support for Software Evolution.
- Luqi, L., Berzins, V. A., & Shing, M, (1994). Software Evolution.
- Dampier, D., & Berzins, V. A, (1994). Software Change-Merging in Dynamic Evolution.
- Badr, S., & Berzins, V. A, (1994). A Software Evolution Control Model.
- Berzins, V. A, (1994). Software Merge: Models and Properties.
- Berzins, V. A, (1993). Preface.
- Dampier, D., & Berzins, V. A, (1993). A Slicing Method for Semantic Based Merging of Software Prototypes.
- Berzins, V. A, (1993). Summary and Conclusions.
- (1993). Proceedings of the AFOSR/ARO/ONR Workshop on Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development: Software Slicing, Merging, and Integration.
- Dampier, D., Luqi, L., & Berzins, V. A, (1993). Automated Merging of Software Prototypes.
- Altizer, C., & Berzins, V. A, (1992). Role of Translation Mechanisms in Software Comprehension.
- Berzins, V. A., Cooke, D., Luqi, L., & Tanik, M, (1992). Workshop on Software Automation.
- Steigerwald, R., Luqi, L., & Berzins, V. A, (1992). A Tool for Reusable Software Component Retrieval via Normalized Specifications.
- Berzins, V. A., Luqi, L., & Lee, Y, (1992). Applications and Meaning of Inheritance in Software Specifications.
- Luqi, L., Steigerwald, R., Hughes, G., & Berzins, V. A, (1991). CAPS as a Requirements Engineering Tool.
- Steigerwald, R., & Berzins, V. A, (1991). Normal Forms for Algebraic Specifications of Reusable Ada Packages.
- Berzins, V. A, (1991). Software Merge: Models and Methods for Combining Changes to Programs.
- Luqi, L., Berzins, V. A., Kodres, U., & Lee, Y, (1991). Prototyping a Low Cost Tactical Display System.
- Luqi, L., Steigerwald, R., Hughes, G., Naveda, F., & Berzins, V. A, (1991). CAPS as a Requirements Engineering Tool.
- Berzins, V. A., & Kopas, R, (1990). The Specification of a Robust Network.
- Kopas, R., & Berzins, V. A, (1990). The Design and Implementation of a Specification Language Type Checker.
- Berzins, V. A., Lee, Y., & Luqi, L, (1989). Generating Displays for Specifications Using Attribute Grammars.
- 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.
- Berzins, V. A, (1988). Object - Oriented Techniques Based on Specifications.
- Berzins, V. A, (1988). The Design of Software Interfaces in Spec.
- Simmel, S., & Berzins, V. A, (1987). A Software Management System.
- Berzins, V. A, (1987). Cache Management in Software Engineering Databases.
- Ketabchi, M. A., Berzins, V. A., & March, S, (1986). ODM: An Object Oriented Data Model for Design Databases.
- Ketabchi, M. A., & Berzins, V. A, (1986). Component Aggregation: A Mechanism for Organizing Efficient Engineering Databases.
- Ketabchi, M. A., Berzins, V. A., & Maly, K, (1985). Generalization Per Category: Theory and Application.
- Thompson, W. B., Mutch, K. M., & Berzins, V. A, (1984). Analyzing Object Motion Based on Optical Flow.
- Thompson, W. B., Mutch, K. M., & Berzins, V. A, (1982). Edge Detection in Optical Flow Fields.
- Journal Articles
- Berzins, V. A, What AI Entails in the Navy. Chips.
- Berzins, V. A, (2020). Architecture-Based Security for UxVs. Naval Engineers Journal, 2(132), 95-100.
- 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.
- 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., Guan, J., Berzins, V. A., & Zhang, L, (2003). Meeting in the Rain. The Software Practitioner, 3(13), 9-10.
- Nada, N., Shing, M. T., Berzins, V. A., & Luqi, L, (2002). Automated Prototyping Tool-kit (APT) Information Sciences, 3-4(140), 241-253.
- Berzins, V. A, (2002). Lightweight Inference for Automation Efficiency. Science of Computer Programming, 1(42), 61-74.
- 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.
- 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.
- Berzins, V. A, (1998). Recombining Changes to Software Specifications. Journal of Systems and Software, 2(42), 165-174.
- 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., & Dampier, D. A, (1996). Software Merge: Combining Changes to Decompositions. Journal of Systems Integration, 1-2(6), 135-150.
- Berzins, V. A., & Luqi, L, (1996). Software Evolution in Prototyping. Chinese Journal of Advanced Software Research, 3(3), 260-276.
- Berzins, V. A., Luqi, L., & Shing, M, (1995). An Automated Prototyping Tool for System Development and Acquisition. NetFocus, 211, 2-3.
- Berzins, V. A, (1994). Software Merge: Semantics of Combining Changes to Programs. ACM Transactions on Programming Languages and Systems, 6(6), 1875-1903.
- Dampier, D. A., Luqi, L., & Berzins, V. A, (1994). Automated Merging of Software Prototypes. Journal of Systems Integration, 1(4), 33-49.
- 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.
- Berzins, V. A, (1991). Software Merge: Models and Methods for Combining Changes To Programs. Journal of Systems Integration, 2(1), 121-141.
- Berzins, V. A, (1991). Black-Box Specification in Spec. Journal of Computer Languages, 2(16), 113-127.
- Berzins, V. A., & Luqi, L, (1990). An Introduction to the Specification Language Spec. IEEE Software, 1(7), 74-84.
- Ketabchi, M. A., Berzins, V. A., & March, S. T, (1988). An Object-Oriented Semantic Data Model for CAD Applications. Information Sciences: an International Journal, 2(46), 109-139.
- 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.
- Herndon, R. M., & Berzins, V. A, (1988). The Realizable Benefits of a Language Prototyping Language. IEEE Transactions on Software Engineering, 6(14), 803-809.
- Ketabchi, M. A., & Berzins, V. A, (1988). Mathematical Model of Composite Objects and its Application for Organizing Engineering Data Bases. IEEE Transactions on Software Engineering, 1(14), 71-84.
- Ketabchi, M. A., & Berzins, V. A, (1987). Modeling and Managing CAD Databases. Computer, 2(20), 93-102.
- Berzins, V. A, (1986). On Merging Software Extensions. Acta Informatica, 6(23), 607-619.
- Berzins, V. A., Gray, M., & Naumann, D, (1986). Abstraction-Based Software Development. Communications of the ACM, 5(29), 402-415.
- Berzins, V. A., & Gray, M, (1985). Analysis and Design in MSG.84: Formalizing Functional Specifications. IEEE Transactions on Software Engineering, 8(SE-11), 657-670.
- Thompson, W. B., Mutch, K. M., & Berzins, V. A, (1985). Dynamic Occlusion Analysis in Optical Flow Fields. IEEE Transactions on Pattern Analysis and Machine Intelligence, 4(7), 374-383.
- Berzins, V. A, (1984). Accuracy of Laplacian Edge Detectors. Computer Vision, Graphics, and Image Processing, 2(27), 195-210.
- Magazines/Trade Publications
- Berzins, V. A, What AI Entails in the Navy.
- Monographs
- Berzins, V. A, (1979). Abstract Model Specifications for Data Abstractions.
- Berzins, V. A, (1975). Algorithms for Analyzing Statistical Models of Information Systems.
- Research Reports
- Berzins, V. A, (2016). Risk-based Specification, Validation and Verification using Software Slicing.
- Berzins, V. A, (2005). Final Report – Acoustic Simulation API Requirements Model.
- Berzins, V. A, (2001). XML Technology Assessment – Progress Report (7/18/2000 – 12/31/2000)
- Berzins, V. A, (1993). Automatically Combining Changes to Software Systems.
- Berzins, V. A, (1992). Automatically Combining Changes to Software Systems.
- Berzins, V. A, (1992). Automatically Combining Changes to Software Systems.
- Berzins, V. A, (1991). Automatically Combining Changes to Software Systems.
- Technical Reports
- Kroll, J. A., & Berzins, V. A, (2022). Understanding, Assessing, and Mitigating Safety Risks in Artificial Intelligence Systems.
- Barton, A. C., Jatho, E., & Berzins, V. A, (2021). Defending Against Adversarial Examples in Deep Neural Network Classifiers.
- Berzins, V. A, (2020). Cellular Communications for Flight Deck Radios to Reduce Electromagnetic Signature.
- Berzins, V. A, (2019). Automatic AUS Plan Generation.
- 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.
- Berzins, V. A, (2013). Improving Acquisition Process Efficiency Via Risk-Based Testing.
- Berzins, V. A., Pudadera, R., & Z'ghidi, A, (2012). Test and Evaluation of Program Slicing Tools.
- 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.
- 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., 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.
- 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.
- Berzins, V. A, (1998). Merging Changes to Software Specifications.
- 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.
- Dampier, D., & Berzins, V. A, (1995). Software Change-Merging in Dynamic Evolution.
- Berzins, V. A, (1993). Software Merge: Semantics of Combining Changes to Programs.
- Berzins, V. A., & Badr, S, (1993). Robust Scheduling for Large Projects.
- Luqi, L., Shing, M. T., Berzins, V. A., & Chmura, L, (1992). Managing Real-Time Software Projects: Problems and Issues.
- Badr, S., & Berzins, V. A, (1992). A Design Management and Job Assignment System.
- Lee, Y., Luqi, L., & Berzins, V. A, (1992). Systematic Development of Hard Real-Time Software: A Comparative Study of Three Methods.
- Krämer, B., Luqi, L., & Berzins, V. A, (1990). Denotational Semantics of a Real-Time Prototyping Language.
- Berzins, V. A., Kopas, R., Luqi, L., & Yehudai, A, (1990). Transformations in Specification-Based Software Evolution.
- Berzins, V. A, (1990). Formalizing Modifications to Software Objects.
- Berzins, V. A, (1990). Software Merge: Semantics of Combining Changes to Programs.
- Berzins, V. A, (1990). Software Merge: Models and Methods for Combining Changes to Programs.
- Luqi, L., & Berzins, V. A, (1989). Rapid Prototyping Languages in Computer-Aided Software Engineering.
- Luqi, L., & Berzins, V. A, (1989). Issues in Language Support for Rapid Prototyping.
- Berzins, V. A., Luqi, L., & Porter, S, (1989). Design of a Syntax Directed Editor for PSDL.
- 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.
- Berzins, V. A., & Wyrick, L, (1989). Evaluation of Technology Transfer: Conventional DBMSs to Object-Oriented DBMSs.
- Berzins, V. A., & Kopas, R, (1989). A Student Guide to Spec.
- Berzins, V. A., & Kopas, R, (1989). Specification of a Robust Network.
- Berzins, V. A., & Beebe, D, (1989). User's Manual for the SPECDEF Editor.
- Berzins, V. A., & Kopas, R, (1989). The Design and Implementation of a Specification Language Type Checker.
- 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., & Berzins, V. A, (1988). Execution of a High Level Real-Time Language.
- Berzins, V. A., & Luqi, L, (1988). Languages for Specification, Design, and Prototyping.
- Weigand, J., & Berzins, V. A, (1988). Design and Implementation of a Pretty Printer for the Specification Language Spec.
- Berzins, V. A, (1988). Architectural Design via Formal Specifications and Automation.
- Berzins, V. A, (1988). A Formal Framework for Requirements Analysis.
- Berzins, V. A, (1988). Generating Displays for Specifications Using Attribute Grammars.
- Berzins, V. A, (1988). Object-Oriented Rapid Prototyping.
- Berzins, V. A, (1988). The Design of Software Interfaces in Spec.
- Berzins, V. A, (1988). Distributed Algorithms for Generating Unique Identifiers.
- Luqi, L., & Berzins, V. A, (1987). Rapid Prototyping of Real-Time Systems.
- Berzins, V. A., & Luqi, L, (1987). The Semantics of Inheritance in Spec.
- Berzins, V. A., & Luqi, L, (1987). Specifying Large Software Systems in Spec.
- Berzins, V. A, (1987). Cache Management in Software Engineering Databases.
- Smith, K., & Berzins, V. A, (1987). A Bi-directional Translator for Interfacing Citation Databases.
- Simmel, S., & Berzins, V. A, (1987). A Software Management System.
- Berzins, V. A, (1987). Robust Generation of Unique Identifiers in Distributed Systems.
- Luqi, L., & Berzins, V. A, (1986). Execution Aspects of Prototypes in PSDL.
- 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.
- Berzins, V. A., Gray, M., & Naumann, D, (1986). On Software Development Using Abstractions.
- Berzins, V. A, (1986). 1985 Progress Report - UM ECAD Research Program.
- Herndon, R., & Berzins, V. A, (1986). An Interpretive Technique for Evaluating Functional Attribute Grammars.
- Herndon, R., & Berzins, V. A, (1986). A Method for the Construction of Dynamic, Lazy Evaluators for Functional Attribute Grammars.
- Berzins, V. A., & Martin, J, (1986). The Design of a Language-Based Editor for MSG.84.
- Herndon, R., & Berzins, V. A, (1986). The Realizable Benefits of a Language Prototyping Language.
- Berzins, V. A., & Clark, D, (1986). Tutorial on the Specification Language MSG.
- Berzins, V. A., & Petty, J, (1986). The DB Lisp Code Analyzer.
- Youssef, H., & Berzins, V. A, (1986). A Design Checker System for the Expression and Enforcement of Design Constraints in a CAD Database Environment: Outline of a Solution.
- Herndon, R., & Berzins, V. A, (1986). Multiprocessor Evaluation of Attribute Grammars.
- Herndon, R., & Berzins, V. A, (1986). Improving Attribute Grammar Specification Languages.
- Berzins, V. A., & Keefe, T, (1985). DB User Manual.
- Berzins, V. A., & McNair, H, (1985). Built-In Types of MSG.85.
- Berzins, V. A, (1985). On Merging Software Enhancements.
- Berzins, V. A, (1985). Generating Unique Node Identifiers in Distributed Systems.
- Herndon, R., & Berzins, V. A, (1985). AG: A Useful Attribute Grammar Translator Generator.
- Ketabchi, M., Berzins, V. A., & Maly, K, (1985). Generalization per Category: Theory and Application.
- Ketabchi, M., & Berzins, V. A, (1985). The Theory and Practice of Representing and Managing the Refinements, Alternatives, and Versions of Composite Objects.
- Ketabchi, M., & Berzins, V. A, (1985). ODM: An Object Oriented Data Model for Design Databases.
- Berzins, V. A., Gray, M., & Naumann, D, (1985). Abstraction-Based Software Development.
- Martin, J., & Berzins, V. A, (1985). MSGED - A Language Based Editor for MSG User Manual.
- Berzins, V. A., & Gray, M, (1984). Analysis and Design in MSG: Formalizing Functional Specifications.
- Thompson, W., Mutch, K., & Berzins, V. A, (1984). Dynamic Occlusion Analysis in Optical Flow Fields.
- Ketabchi, M., Berzins, V. A., & Maly, K, (1984). Component Aggregation: An Abstraction Mechanism for Design and Engineering Databases.
- Berzins, V. A, (1983). Estimating Errors in Laplacian Edge Detectors.
- Berzins, V. A, (1980). A Well Defined Parameter Passing Mechanism for Ada.
- Berzins, V. A, (1977). An Independence Result for Actor Laws.
- Liskov, B., & Berzins, V. A, (1977). An Appraisal of Program Specifications.
- Berzins, V. A., & Kapur, D, (1977). Denotational and Axiomatic Definitions for Path Expressions.