Valdis Berzins

Valdis Berzins, Luqi, Peter M. Musial: Formal Reasoning about Software Object Translations. Monterey Workshop 2008: 43-58

Valdis Berzins, Craig Martell, Luqi, Paige Adams: Innovations in Natural Language Document Processing for Requirements Engineering. Monterey Workshop 2007: 125-146

Ying Qiao, Hongan Wang, Luqi, Valdis Berzins: An Admission Control Method for Dynamic Software Reconfiguration in Complex Embedded Systems. I. J. Comput. Appl. 13(1): 28-38 (2006)

Luqi, Valdis Berzins, Peter M. Musial: Reliability Properties of Models for Flexible Design and Run-Time Analysis. Monterey Workshop 2006: 207-219

Ying Qiao, Valdis Berzins, Luqi: FCD: A Framework for Compositional Development in Open Embedded Systems. ITCC (2) 2005: 479-484

Luqi, Valdis Berzins, William H. Roof: Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN). Monterey Workshop 2005: 106-120

Luqi, Zhiwei Guan, Valdis Berzins, Lynn Zhang, David L. Floodeen, Vedat Coskun, Joseph Puett, Michael Brown: Requirements-document-based prototyping of CARA software. STTT 5(4): 370-390 (2004)

Luqi, Lin Zhang, Valdis Berzins, Ying Qiao: Documentation Driven Development for Complex Real-Time Systems. IEEE Trans. Software Eng. 30(12): 936-952 (2004)

Sheldon X. Liang, Valdis Berzins, Luqi: Quantifiable architecting of dependable systems of embedded systems. ACM SIGSOFT Software Engineering Notes 28(6): 7 (2003)

Luqi, Xianzhong Liang, Lynn Zhang, Valdis Berzins: Software Documentation-Driven Manufacturin. COMPSAC 2003: 472-

Paul Young, Nabendu Chaki, Valdis Berzins, Luqi: Evaluation of Middleware Architectures in Achieving System Interoperability. IEEE International Workshop on Rapid System Prototyping 2003: 108-116

Luqi, Man-tak Shing, Joseph Puett, Valdis Berzins, Zhiwei Guan, Ying Qiao, Lynn Zhang, Nabendu Chaki, Xianzhong Liang, Bill Ray, Michael Brown, David L. Floodeen: Comparative Rapid Prototyping, A Case Study. IEEE International Workshop on Rapid System Prototyping 2003: 210-217

Nader Nada, Man-tak Shing, Valdis Berzins, Luqi: Automated prototyping tool-kit (APT). Inf. Sci. 140(3-4): 241-253 (2002)

Valdis Berzins: Lightweight inference for automation efficiency. Sci. Comput. Program. 42(1): 61-74 (2002)

Paul Young, Valdis Berzins, Jun Ge, Luqi: Using an object oriented model for resolving representational differences between heterogeneous systems. SAC 2002: 976-983

William J. Ray, Luqi, Valdis Berzins: Optimizing systems by work schedules: (a stochastic approach). Workshop on Software and Performance 2002: 75-82

Jun Ge, Boon Kwang Kin, Valdis Berzins: A Software Agent Framework for Distributed Applications. ISCA PDCS 2001: 136-141

Luqi, Valdis Berzins, Jun Ge, Man-tak Shing, Mikhail Auguston, Barrett R. Bryant, Boon Kwang Kin: DCAPS - Architecture for Distributed Computer Aided Prototyping System. IEEE International Workshop on Rapid System Prototyping 2001: 103-109

Valdis Berzins, Man-tak Shing, Luqi, Michael Saluto, Julian Williams: Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping. Design Autom. for Emb. Sys. 5(3-4): 251-263 (2000)

Ngom Cheng, Valdis Berzins, Luqi, Swapan Bhattacharya: Interoperability with Distributed Objects through Java Wrapper. COMPSAC 2000: 479-485

Ngom Cheng, Valdis Berzins, Luqi, Swapan Bhattacharya: JAVA Wrappers for Automated Interoperability. DNIS 2000: 45-64

Luqi, Valdis Berzins, Man-tak Shing, R. Riehle, J. Nogueira: Evolutionary Computer Aided Prototyping System (CAPS). TOOLS (34) 2000: 363-372

Man-tak Shing, Luqi, Valdis Berzins, Michael Saluto, Julian Williams, Jiang Guo, B. Shultes: The Story of Re-engineering 350,000 Lines of FORTRAN Code. Electr. Notes Theor. Comput. Sci. 25: 111-120 (1999)

M. Harn, Valdis Berzins, Luqi: Software Evolution via Reusable Architecture. ECBS 1999: 11-17

Man-tak Shing, Luqi, Valdis Berzins, Michael Saluto, Julian Williams: Architectural Re-Engineering of Janus Using Object Modeling and Rapid Prototyping. IEEE International Workshop on Rapid System Prototyping 1999: 216-221

Valdis Berzins: Recombining changes to software specifications. Journal of Systems and Software 42(2): 165-174 (1998)

Normunds Licis, Jan van Duin, Zita Balklava, Valdis Berzins: Long-range translational coupling in single-stranded RNA bacteriophages: an evolutionary analysis. Nucleic Acids Research 26(13): 3242-3246 (1998)

T. Leonard, Valdis Berzins, Luqi, M. J. Holden: Gathering Requirements from Remote Users. ICTAI 1997: 462-

Valdis Berzins: Merging Changes to Software Specifications. Requirements Targeting Software and Systems Engineering 1997: 121-131

Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins: Software Component Search. Journal of Systems Integration 6(1/2): 93-134 (1996)

Valdis Berzins, David A. Dampier: Software Merge: Combining Changes to Decompositions. Journal of Systems Integration 6(1/2): 135-150 (1996)

Valdis Berzins: Recombining Changes to Software Specifications. SEKE 1996: 136-144

Valdis Berzins: Software merging and slicing. IEEE 1995, isbn 978-0-8186-6792-3, pp. I-IX, 1-233

Valdis Berzins, Luqi, Man-tak Shing: Computer Aided Prototyping System. SEKE 1995: 499

David A. Dampier, Luqi, Valdis Berzins: Automated merging of software prototypes. Journal of Systems Integration 4(1): 33-49 (1994)

Valdis Berzins: Software Merge: Semantics of Combining Changes to Programs. ACM Trans. Program. Lang. Syst. 16(6): 1875-1903 (1994)

Valdis Berzins: Software merge: models and properties. SEKE 1994: 225-232

Valdis Berzins, Luqi, Amiram Yehudai: Using Transformations in Specification-Based Prototyping. IEEE Trans. Software Eng. 19(5): 436-452 (1993)

Bernd J. Krämer, Luqi, Valdis Berzins: Compositional Semantics of a Real-Time Prototyping Language. IEEE Trans. Software Eng. 19(5): 543-477 (1993)

David A. Dampier, Luqi, Valdis Berzins: Automated Merging of Software Prototypes. SEKE 1993: 604-611

Valdis Berzins, Luqi: Software engineering with abstractions. Addison-Wesley 1991, isbn 978-0-201-08004-9, pp. I-XV, 1-624

Valdis Berzins: Black-Box Specification in Spec. Comput. Lang. 16(2): 113-127 (1991)

Valdis Berzins: Software merge: Models and methods for combining changes to programs. Journal of Systems Integration 1(2): 121-141 (1991)

Valdis Berzins: Software Merge: Models and Methods for Combining Changes to Programs. ESEC 1991: 229-250

Valdis Berzins, Luqi: An Introduction to the Specification Language Spec. IEEE Software 7(2): 74-84 (1990)

Mohammad A. Ketabchi, Valdis Berzins, Salvatore T. March: An object-oriented semantic data model for CAD applications. Inf. Sci. 46(1-2): 109-139 (1988)

Luqi, Valdis Berzins: Rapidly Prototyping Real-Time Systems. IEEE Software 5(5): 25-36 (1988)

Mohammad A. Ketabchi, Valdis Berzins: Mathematical Model of Composite Objects and Its Application for Organizing Engineering Databases. IEEE Trans. Software Eng. 14(1): 71-84 (1988)

Robert M. Herndon Jr., Valdis Berzins: The Realizable Benefits of a Language Prototyping Language. IEEE Trans. Software Eng. 14(6): 803-809 (1988)

Luqi, Valdis Berzins, Raymond T. Yeh: A Prototyping Language for Real-Time Software. IEEE Trans. Software Eng. 14(10): 1409-1423 (1988)

Valdis Berzins: The design of software interfaces in Spec. ICCL 1988: 266-270

Luqi, Valdis Berzins: Execution of a High Level Real-Time Language. RTSS 1988: 69-76

Valdis Berzins, Luqi: Semantics of a Real-Time Language. RTSS 1988: 106-110

Valdis Berzins: On Merging Software Extensions. Acta Inf. 23(6): 607-619 (1986)

Valdis Berzins, Michael Gray, David Naumann: Abstraction-Based Software Development. Commun. ACM 29(5): 402-415 (1986)

Mohammad A. Ketabchi, Valdis Berzins, Salvatore T. March: ODM: an object oriented data model for design databases. ACM Conference on Computer Science 1986: 261-269

Mohammad A. Ketabchi, Valdis Berzins: Component Aggregation: A Mechanism for Organizing Efficient Engineering Databases. ICDE 1986: 407-408

William B. Thompson, Kathleen M. Mutch, Valdis Berzins: Dynamic Occlusion Analysis in Optical Flow Fields. IEEE Trans. Pattern Anal. Mach. Intell. 7(4): 374-383 (1985)

Valdis Berzins, Michael Gray: Analysis and Design in MSG.84: Formalizing Functional Specifications. IEEE Trans. Software Eng. 11(8): 657-670 (1985)

William B. Thompson, Kathleen M. Mutch, Valdis Berzins: Edge Detection in Optical Flow Fields. AAAI 1982: 26-29