Valdis Berzins

According to our database1, Valdis Berzins
  • authored at least 64 papers between 1982 and 2008.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2007
Innovations in Natural Language Document Processing for Requirements Engineering.
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.
I. J. Comput. 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

2005
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

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

Requirements-document-based prototyping of CARA software.
STTT, 2004

2003
Quantifiable architecting of dependable systems of embedded systems.
ACM SIGSOFT Software Engineering 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

2002
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).
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

2001
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

2000
Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping.
Design Autom. for Emb. Sys., 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

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

Architectural Re-Engineering of Janus Using Object Modeling and Rapid Prototyping.
Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), 1999

Software Evolution via Reusable Architecture.
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.
Nucleic Acids Research, 1998

Recombining changes to software specifications.
Journal of Systems and Software, 1998

1997
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

1996
Software Component Search.
Journal of Systems Integration, 1996

Software Merge: Combining Changes to Decompositions.
Journal of Systems Integration, 1996

Recombining Changes to Software Specifications.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

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

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

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

Automated merging of software prototypes.
Journal of Systems Integration, 1994

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

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

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

Automated Merging of Software Prototypes.
Proceedings of the SEKE'93, 1993

1991
Software merge: Models and methods for combining changes to programs.
Journal of Systems Integration, 1991

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

Software Merge: Models and Methods for Combining Changes to Programs.
Proceedings of the ESEC '91, 1991

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

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

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

1988
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 Software, 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

1987
Modeling and Managing CAD Databases.
IEEE Computer, 1987

1986
Abstraction-Based Software Development.
Commun. ACM, 1986

On Merging Software Extensions.
Acta Inf., 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

1985
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

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


  Loading...