Valdis Berzins

Publication Activity (10 Years)

Years Active: 1982-2008
Publications (10 Years): 0

Publications

Valdis Berzins, Luqi, Peter M. Musial
Formal Reasoning about Software Object Translations. Monterey Workshop (2008)
Valdis Berzins, Craig H. Martell, Luqi, Paige Adams
Innovations in Natural Language Document Processing for Requirements Engineering. Monterey Workshop (2007)
Luqi, Valdis Berzins, Peter M. Musial
Reliability Properties of Models for Flexible Design and Run-Time Analysis. Monterey Workshop (2006)
Ying Qiao, Hongan Wang, Luqi, Valdis Berzins
An Admission Control Method for Dynamic Software Reconfiguration in Complex Embedded Systems. Int. J. Comput. Their Appl. 13 (1) (2006)
Ying Qiao, Valdis Berzins, Luqi
FCD: A Framework for Compositional Development in Open Embedded Systems. ITCC (2) (2005)
Luqi, Valdis Berzins, William H. Roof
Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN). Monterey Workshop (2005)
Luqi, Lin Zhang, Valdis Berzins, Ying Qiao
Documentation Driven Development for Complex Real-Time Systems. IEEE Trans. Software Eng. 30 (12) (2004)
Luqi, Zhiwei Guan, Valdis Berzins, Lynn Zhang, David L. Floodeen, Vedat Coskun, Joseph Puett, Michael Brown
Requirements-document-based prototyping of CARA software. Int. J. Softw. Tools Technol. Transf. 5 (4) (2004)
Sheldon X. Liang, Valdis Berzins, Luqi
Quantifiable architecting of dependable systems of embedded systems. ACM SIGSOFT Softw. Eng. Notes 28 (6) (2003)
Luqi, Xianzhong Liang, Lynn Zhang, Valdis Berzins
Software Documentation-Driven Manufacturin. COMPSAC (2003)
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)
Paul Young, Nabendu Chaki, Valdis Berzins, Luqi
Evaluation of Middleware Architectures in Achieving System Interoperability. IEEE International Workshop on Rapid System Prototyping (2003)
Valdis Berzins
Lightweight inference for automation efficiency. Sci. Comput. Program. 42 (1) (2002)
Paul Young, Valdis Berzins, Jun Ge, Luqi
Using an object oriented model for resolving representational differences between heterogeneous systems. SAC (2002)
William J. Ray, Luqi, Valdis Berzins
Optimizing systems by work schedules: (a stochastic approach). Workshop on Software and Performance (2002)
Nader Nada, Man-tak Shing, Valdis Berzins, Luqi
Automated prototyping tool-kit (APT). Inf. Sci. 140 (3-4) (2002)
Jun Ge, Boon Kwang Kin, Valdis Berzins
A Software Agent Framework for Distributed Applications. PDCS (2001)
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)
Luqi, Valdis Berzins, Man-tak Shing, Richard D. Riehle, J. Nogueira
Evolutionary Computer Aided Prototyping System (CAPS). TOOLS (34) (2000)
Ngom Cheng, Valdis Berzins, Luqi, Swapan Bhattacharya
JAVA Wrappers for Automated Interoperability. DNIS (2000)
Valdis Berzins, Man-tak Shing, Luqi, Michael Saluto, Julian Williams
Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping. Des. Autom. Embed. Syst. 5 (3-4) (2000)
Ngom Cheng, Valdis Berzins, Luqi, Swapan Bhattacharya
Interoperability with Distributed Objects through Java Wrapper. COMPSAC (2000)
M. Harn, Valdis Berzins, Luqi
Software Evolution via Reusable Architecture. ECBS (1999)
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. Electron. Notes Theor. Comput. Sci. 25 (1999)
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)
Normunds Licis, Jan van Duin, Zita Balklava, Valdis Berzins
Long-range translational coupling in single-stranded RNA bacteriophages: an evolutionary analysis. Nucleic Acids Res. 26 (13) (1998)
Valdis Berzins
Recombining changes to software specifications. J. Syst. Softw. 42 (2) (1998)
T. Leonard, Valdis Berzins, Luqi, M. J. Holden
Gathering Requirements from Remote Users. ICTAI (1997)
Valdis Berzins
Merging Changes to Software Specifications. Requirements Targeting Software and Systems Engineering (1997)
Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins
Software Component Search. J. Syst. Integr. 6 (1/2) (1996)
Valdis Berzins, David A. Dampier
Software Merge: Combining Changes to Decompositions. J. Syst. Integr. 6 (1/2) (1996)
Valdis Berzins
Recombining Changes to Software Specifications. SEKE (1996)
Valdis Berzins, Luqi, Man-tak Shing
Computer Aided Prototyping System. SEKE (1995)
Valdis Berzins
Software Merge: Semantics of Combining Changes to Programs. ACM Trans. Program. Lang. Syst. 16 (6) (1994)
David A. Dampier, Luqi, Valdis Berzins
Automated merging of software prototypes. J. Syst. Integr. 4 (1) (1994)
Valdis Berzins
Software merge: models and properties. SEKE (1994)
Bernd J. Krämer, Luqi, Valdis Berzins
Compositional Semantics of a Real-Time Prototyping Language. IEEE Trans. Software Eng. 19 (5) (1993)
Valdis Berzins, Luqi, Amiram Yehudai
Using Transformations in Specification-Based Prototyping. IEEE Trans. Software Eng. 19 (5) (1993)
David A. Dampier, Luqi, Valdis Berzins
Automated Merging of Software Prototypes. SEKE (1993)
Valdis Berzins
Black-Box Specification in Spec. Comput. Lang. 16 (2) (1991)
Robert Steigerwald, Valdis Berzins
Normal forms for algebraic specifications of reusable Ada packages. TRI-Ada (1991)
Valdis Berzins
Software merge: Models and methods for combining changes to programs. J. Syst. Integr. 1 (2) (1991)
Robert Steigerwald, Gary Hughes, Valdis Berzins
CAPS as a requirements engineering tool. TRI-Ada (1991)
Valdis Berzins
Software Merge: Models and Methods for Combining Changes to Programs. ESEC (1991)
Valdis Berzins, Luqi
An Introduction to the Specification Language Spec. IEEE Softw. 7 (2) (1990)
Valdis Berzins, Yuh-Jeng Lee
Generating displays for specifications using attribute grammars. COMPSAC (1989)
Mohammad A. Ketabchi, Valdis Berzins
Mathematical Model of Composite Objects and Its Application for Organizing Engineering Databases. IEEE Trans. Software Eng. 14 (1) (1988)
Valdis Berzins, Luqi
Semantics of a Real-Time Language. RTSS (1988)
Valdis Berzins
Object-oriented techniques based on specifications. COMPSAC (1988)
Robert M. Herndon Jr., Valdis Berzins
The Realizable Benefits of a Language Prototyping Language. IEEE Trans. Software Eng. 14 (6) (1988)
Luqi, Valdis Berzins
Execution of a High Level Real-Time Language. RTSS (1988)
Valdis Berzins
The design of software interfaces in Spec. ICCL (1988)
Luqi, Valdis Berzins
Rapidly Prototyping Real-Time Systems. IEEE Softw. 5 (5) (1988)
Luqi, Valdis Berzins, Raymond T. Yeh
A Prototyping Language for Real-Time Software. IEEE Trans. Software Eng. 14 (10) (1988)
Mohammad A. Ketabchi, Valdis Berzins, Salvatore T. March
An object-oriented semantic data model for CAD applications. Inf. Sci. 46 (1-2) (1988)
Mohammad A. Ketabchi, Valdis Berzins
Modeling and Managing CAD Databases. Computer 20 (2) (1987)
Valdis Berzins, Michael Gray, J. David Naumann
Abstraction-Based Software Development. Commun. ACM 29 (5) (1986)
Valdis Berzins
On Merging Software Extensions. Acta Informatica 23 (6) (1986)
Mohammad A. Ketabchi, Valdis Berzins
Component Aggregation: A Mechanism for Organizing Efficient Engineering Databases. ICDE (1986)
Mohammad A. Ketabchi, Valdis Berzins, Salvatore T. March
ODM: an object oriented data model for design databases. ACM Conference on Computer Science (1986)
Valdis Berzins, Michael Gray
Analysis and Design in MSG.84: Formalizing Functional Specifications. IEEE Trans. Software Eng. 11 (8) (1985)
Mohammad A. Ketabchi, Valdis Berzins, Kurt Maly
Generalization Per Category: Theory And Application. ICIS (1985)
William B. Thompson, Kathleen M. Mutch, Valdis Berzins
Dynamic Occlusion Analysis in Optical Flow Fields. IEEE Trans. Pattern Anal. Mach. Intell. 7 (4) (1985)
William B. Thompson, Kathleen M. Mutch, Valdis Berzins
Edge Detection in Optical Flow Fields. AAAI (1982)