NPS - Faculty Profiles - Heading

Faculty Profile Directory


FacultyCV
Back

Valdis A Berzins

Professor
Computer Science

Phone: (831) 656-2610
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
Teaching Interests
Computer Science
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.
  • 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.