Valdis Berzins

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