Valdis Berzins

66 papers A* 2A 2B 5C 9Misc 1Journal 28Unranked 17

Year	Rank	Type	Title / 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