Valdis Berzins

According to our database1, Valdis Berzins authored at least 60 papers between 1982 and 2008.

Collaborative distances:



In proceedings 
PhD thesis 




Formal Reasoning about Software Object Translations.
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

Innovations in Natural Language Document Processing for Requirements Engineering.
Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

An Admission Control Method for Dynamic Software Reconfiguration in Complex Embedded Systems.
Int. J. Comput. Their Appl., 2006

Reliability Properties of Models for Flexible Design and Run-Time Analysis.
Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN).
Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

FCD: A Framework for Compositional Development in Open Embedded Systems.
Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

Documentation Driven Development for Complex Real-Time Systems.
IEEE Trans. Software Eng., 2004

Requirements-document-based prototyping of CARA software.
Int. J. Softw. Tools Technol. Transf., 2004

Quantifiable architecting of dependable systems of embedded systems.
ACM SIGSOFT Softw. Eng. Notes, 2003

Evaluation of Middleware Architectures in Achieving System Interoperability.
Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

Comparative Rapid Prototyping, A Case Study.
Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

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

Lightweight inference for automation efficiency.
Sci. Comput. Program., 2002

Automated prototyping tool-kit (APT).
Inf. Sci., 2002

Optimizing systems by work schedules: (a stochastic approach).
Proceedings of the Third International Workshop on Software and Performance, 2002

Using an object oriented model for resolving representational differences between heterogeneous systems.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

DCAPS - Architecture for Distributed Computer Aided Prototyping System.
Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

A Software Agent Framework for Distributed Applications.
Proceedings of the ISCA 14th International Conference on Parallel and Distributed Computing Systems, 2001

Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping.
Des. Autom. Embed. Syst., 2000

Evolutionary Computer Aided Prototyping System (CAPS).
Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

JAVA Wrappers for Automated Interoperability.
Proceedings of the Databases in Networked Information Systems, 2000

Interoperability with Distributed Objects through Java Wrapper.
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

The Story of Re-engineering 350,000 Lines of FORTRAN Code.
Electron. Notes Theor. Comput. Sci., 1999

Software Evolution via Reusable Architecture.
Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

Long-range translational coupling in single-stranded RNA bacteriophages: an evolutionary analysis.
Nucleic Acids Res., 1998

Recombining changes to software specifications.
J. Syst. Softw., 1998

Merging Changes to Software Specifications.
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

Gathering Requirements from Remote Users.
Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

Software Component Search.
J. Syst. Integr., 1996

Software Merge: Combining Changes to Decompositions.
J. Syst. Integr., 1996

Computer Aided Prototyping System.
Proceedings of the SEKE'95, 1995

Software merging and slicing.
IEEE, ISBN: 978-0-8186-6792-3, 1995

Software Merge: Semantics of Combining Changes to Programs.
ACM Trans. Program. Lang. Syst., 1994

Automated merging of software prototypes.
J. Syst. Integr., 1994

Software merge: models and properties.
Proceedings of the SEKE'94, 1994

Compositional Semantics of a Real-Time Prototyping Language.
IEEE Trans. Software Eng., 1993

Using Transformations in Specification-Based Prototyping.
IEEE Trans. Software Eng., 1993

Software merge: Models and methods for combining changes to programs.
J. Syst. Integr., 1991

Black-Box Specification in Spec.
Comput. Lang., 1991

Software engineering with abstractions.
Addison-Wesley, ISBN: 978-0-201-08004-9, 1991

An Introduction to the Specification Language Spec.
IEEE Softw., 1990

Generating displays for specifications using attribute grammars.
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

A Prototyping Language for Real-Time Software.
IEEE Trans. Software Eng., 1988

Mathematical Model of Composite Objects and Its Application for Organizing Engineering Databases.
IEEE Trans. Software Eng., 1988

The Realizable Benefits of a Language Prototyping Language.
IEEE Trans. Software Eng., 1988

Rapidly Prototyping Real-Time Systems.
IEEE Softw., 1988

An object-oriented semantic data model for CAD applications.
Inf. Sci., 1988

Execution of a High Level Real-Time Language.
Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988

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

The design of software interfaces in Spec.
Proceedings of the 1988 Internation Conference on Computer Languages, 1988

Object-oriented techniques based on specifications.
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

Modeling and Managing CAD Databases.
Computer, 1987

Abstraction-Based Software Development.
Commun. ACM, 1986

On Merging Software Extensions.
Acta Informatica, 1986

Component Aggregation: A Mechanism for Organizing Efficient Engineering Databases.
Proceedings of the Second International Conference on Data Engineering, 1986

ODM: an object oriented data model for design databases.
Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

Analysis and Design in MSG.84: Formalizing Functional Specifications.
IEEE Trans. Software Eng., 1985

Dynamic Occlusion Analysis in Optical Flow Fields.
IEEE Trans. Pattern Anal. Mach. Intell., 1985

Generalization Per Category: Theory And Application.
Proceedings of the 6th International Conference on Information Systems, 1985

Edge Detection in Optical Flow Fields.
Proceedings of the National Conference on Artificial Intelligence, 1982