Valdis Berzins

According to our database, Valdis Berzins authored at least 62 papers between 1982 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2008

Formal Reasoning about Software Object Translations.

Valdis Berzins, Luqi, Peter M. Musial

Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

2007

Innovations in Natural Language Document Processing for Requirements Engineering.

Valdis Berzins, Craig H. Martell, Luqi, Paige Adams

Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

2006

An Admission Control Method for Dynamic Software Reconfiguration in Complex Embedded Systems.

Ying Qiao, Hongan Wang, Luqi, Valdis Berzins

Int. J. Comput. Their Appl., 2006

Reliability Properties of Models for Flexible Design and Run-Time Analysis.

Luqi, Valdis Berzins, Peter M. Musial

Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

2005

Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN).

Luqi, Valdis Berzins, William H. Roof

Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

FCD: A Framework for Compositional Development in Open Embedded Systems.

Ying Qiao, Valdis Berzins, Luqi

Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

2004

Documentation Driven Development for Complex Real-Time Systems.

Luqi, Lin Zhang, Valdis Berzins, Ying Qiao

IEEE Trans. Software Eng., 2004

Requirements-document-based prototyping of CARA software.

Luqi, Zhiwei Guan, Valdis Berzins, Lynn Zhang, David L. Floodeen, Vedat Coskun, Joseph Puett, Michael Brown

Int. J. Softw. Tools Technol. Transf., 2004

2003

Quantifiable architecting of dependable systems of embedded systems.

Sheldon X. Liang, Valdis Berzins, Luqi

ACM SIGSOFT Softw. Eng. Notes, 2003

Evaluation of Middleware Architectures in Achieving System Interoperability.

Paul Young, Nabendu Chaki, Valdis Berzins, Luqi

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

Comparative Rapid Prototyping, A Case Study.

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

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

Software Documentation-Driven Manufacturin.

Luqi, Xianzhong Liang, Lynn Zhang, Valdis Berzins

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002

Lightweight inference for automation efficiency.

Valdis Berzins

Sci. Comput. Program., 2002

Automated prototyping tool-kit (APT).

Nader Nada, Man-tak Shing, Valdis Berzins, Luqi

Inf. Sci., 2002

Optimizing systems by work schedules: (a stochastic approach).

William J. Ray, Luqi, Valdis Berzins

Proceedings of the Third International Workshop on Software and Performance, 2002

Using an object oriented model for resolving representational differences between heterogeneous systems.

Paul Young, Valdis Berzins, Jun Ge, Luqi

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

2001

DCAPS - Architecture for Distributed Computer Aided Prototyping System.

Luqi, Valdis Berzins, Jun Ge, Man-tak Shing, Mikhail Auguston, Barrett R. Bryant, Boon Kwang Kin

Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

A Software Agent Framework for Distributed Applications.

Jun Ge, Boon Kwang Kin, Valdis Berzins

Proceedings of the ISCA 14th International Conference on Parallel and Distributed Computing Systems, 2001

2000

Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping.

Valdis Berzins, Man-tak Shing, Luqi, Michael Saluto, Julian Williams

Des. Autom. Embed. Syst., 2000

Evolutionary Computer Aided Prototyping System (CAPS).

Luqi, Valdis Berzins, Man-tak Shing, Richard D. Riehle, J. Nogueira

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

JAVA Wrappers for Automated Interoperability.

Ngom Cheng, Valdis Berzins, Luqi, Swapan Bhattacharya

Proceedings of the Databases in Networked Information Systems, 2000

Interoperability with Distributed Objects through Java Wrapper.

Ngom Cheng, Valdis Berzins, Luqi, Swapan Bhattacharya

Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1999

Software Evolution via Reusable Architecture.

M. Harn, Valdis Berzins, Luqi

Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

1998

Long-range translational coupling in single-stranded RNA bacteriophages: an evolutionary analysis.

Normunds Licis, Jan van Duin, Zita Balklava, Valdis Berzins

Nucleic Acids Res., 1998

Recombining changes to software specifications.

Valdis Berzins

J. Syst. Softw., 1998

The Story of Re-engineering 350,000 Lines of FORTRAN Code.

Man-tak Shing, Luqi, Valdis Berzins, Michael Saluto, Julian Williams, Jiang Guo, B. Shultes

Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998

1997

Merging Changes to Software Specifications.

Valdis Berzins

Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

Gathering Requirements from Remote Users.

T. Leonard, Valdis Berzins, Luqi, M. J. Holden

Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

1996

Software Component Search.

Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins

J. Syst. Integr., 1996

Software Merge: Combining Changes to Decompositions.

Valdis Berzins, David A. Dampier

J. Syst. Integr., 1996

1995

Computer Aided Prototyping System.

Valdis Berzins, Luqi, Man-tak Shing

Proceedings of the SEKE'95, 1995

Software merging and slicing.

Valdis Berzins

IEEE, ISBN: 978-0-8186-6792-3, 1995

1994

Software Merge: Semantics of Combining Changes to Programs.

Valdis Berzins

ACM Trans. Program. Lang. Syst., 1994

Automated merging of software prototypes.

David A. Dampier, Luqi, Valdis Berzins

J. Syst. Integr., 1994

Software merge: models and properties.

Valdis Berzins

Proceedings of the SEKE'94, 1994

1993

Compositional Semantics of a Real-Time Prototyping Language.

Bernd J. Krämer, Luqi, Valdis Berzins

IEEE Trans. Software Eng., 1993

Using Transformations in Specification-Based Prototyping.

Valdis Berzins, Luqi, Amiram Yehudai

IEEE Trans. Software Eng., 1993

1991

Software merge: Models and methods for combining changes to programs.

Valdis Berzins

J. Syst. Integr., 1991

Black-Box Specification in Spec.

Valdis Berzins

Comput. Lang., 1991

CAPS as a requirements engineering tool.

Robert Steigerwald, Gary Hughes, Valdis Berzins

Proceedings of the Conference on TRI-Ada 1991, 1991

Normal forms for algebraic specifications of reusable Ada packages.

Robert Steigerwald, Valdis Berzins

Proceedings of the Conference on TRI-Ada 1991, 1991

Software engineering with abstractions.

Valdis Berzins, Luqi

Addison-Wesley, ISBN: 978-0-201-08004-9, 1991

1990

An Introduction to the Specification Language Spec.

Valdis Berzins, Luqi

IEEE Softw., 1990

1989

Generating displays for specifications using attribute grammars.

Valdis Berzins, Yuh-Jeng Lee

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988

A Prototyping Language for Real-Time Software.

Luqi, Valdis Berzins, Raymond T. Yeh

IEEE Trans. Software Eng., 1988

Mathematical Model of Composite Objects and Its Application for Organizing Engineering Databases.

Mohammad A. Ketabchi, Valdis Berzins

IEEE Trans. Software Eng., 1988

The Realizable Benefits of a Language Prototyping Language.

Robert M. Herndon Jr., Valdis Berzins

IEEE Trans. Software Eng., 1988

Rapidly Prototyping Real-Time Systems.

Luqi, Valdis Berzins

IEEE Softw., 1988

An object-oriented semantic data model for CAD applications.

Mohammad A. Ketabchi, Valdis Berzins, Salvatore T. March

Inf. Sci., 1988

Execution of a High Level Real-Time Language.

Luqi, Valdis Berzins

Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988

Semantics of a Real-Time Language.

Valdis Berzins, Luqi

Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988

The design of software interfaces in Spec.

Valdis Berzins

Proceedings of the 1988 Internation Conference on Computer Languages, 1988

Object-oriented techniques based on specifications.

Valdis Berzins

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

1987

Modeling and Managing CAD Databases.

Mohammad A. Ketabchi, Valdis Berzins

Computer, 1987

1986

Abstraction-Based Software Development.

Valdis Berzins, Michael Gray, J. David Naumann

Commun. ACM, 1986

On Merging Software Extensions.

Valdis Berzins

Acta Informatica, 1986

Component Aggregation: A Mechanism for Organizing Efficient Engineering Databases.

Mohammad A. Ketabchi, Valdis Berzins

Proceedings of the Second International Conference on Data Engineering, 1986

ODM: an object oriented data model for design databases.

Mohammad A. Ketabchi, Valdis Berzins, Salvatore T. March

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1985

Analysis and Design in MSG.84: Formalizing Functional Specifications.

Valdis Berzins, Michael Gray

IEEE Trans. Software Eng., 1985

Dynamic Occlusion Analysis in Optical Flow Fields.

William B. Thompson, Kathleen M. Mutch, Valdis Berzins

IEEE Trans. Pattern Anal. Mach. Intell., 1985

Generalization Per Category: Theory And Application.

Mohammad A. Ketabchi, Valdis Berzins, Kurt Maly

Proceedings of the 6th International Conference on Information Systems, 1985

1982

Edge Detection in Optical Flow Fields.

William B. Thompson, Kathleen M. Mutch, Valdis Berzins

Proceedings of the National Conference on Artificial Intelligence, 1982