A Congruence Theorem for Structured Operational Semantics with Predicates. - Jos C. M. Baeten; Chris Verhoef (CONCUR, 1993)

A General Conservative Extension Theorem in Process Algebra. - Chris Verhoef (PROCOMET, 1994)

A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises. - Chris Verhoef (Nord. J. Comput., 1995)

Core Technologies for System Renovation. - Mark van den Brand; Paul Klint; Chris Verhoef (SOFSEM, 1996)

Re-engineering Needs Generic Programming Language Technology. - Mark van den Brand; Paul Klint; Chris Verhoef (ACM SIGPLAN Notices, 1997)

Reverse engineering and system renovation - an annotated bibliography. - M. G. J. van den Brand; Paul Klint; Chris Verhoef (ACM SIGSOFT Softw. Eng. Notes, 1997)

A General Conservative Extension Theorem in Process Algebras with Inequalities. - Pedro R. D'Argenio; Chris Verhoef (Theor. Comput. Sci., 1997)

Algebra of Communicating Processes - Preface to the Special Issue. - Alban Ponse; Chris Verhoef; Bas van Vlijmen (Theor. Comput. Sci., 1997)

Control Flow Normalization for COBOL/CICS Legacy System. - Mark van den Brand; Alex Sellink; Chris Verhoef (CSMR, 1998)

Evolutionary software engineering: a component-based approach. - Paul Klint; Chris Verhoef (Systems Implementation 2000, 1998)

Current Parsing Techniques in Software Renovation Considered Harmful. - Mark van den Brand; M. P. A. Sellink; Chris Verhoef (IWPC, 1998)

Native Patterns. - M. P. A. Sellink; Chris Verhoef (WCRE, 1998)

Term rewriting for sale. - Mark van den Brand; Paul Klint; Chris Verhoef (WRLA, 1998)

A Conservative Look at Operational Semantics with Variable Binding. - Wan J. Fokkink; Chris Verhoef (Inf. Comput., 1998)

Research Issues in the Renovation of Legacy Systems. - Arie van Deursen; Paul Klint; Chris Verhoef (FASE, 1999)

Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories. - Wan J. Fokkink; Chris Verhoef (FASE, 1999)

A Two-Phase Process for Software Architecture Improvement. - René L. Krikhaar; André Postma; M. P. A. Sellink; M. Stroucken; Chris Verhoef (ICSM, 1999)

Generation of Software Renovation Factories from Compilers. - M. P. A. Sellink; Chris Verhoef (ICSM, 1999)

An Architecture for Automated Software Maintenance. - M. P. A. Sellink; Chris Verhoef (IWPC, 1999)

Conservative Extension in Structural Operational Semantics. - Luca Aceto; Wan J. Fokkink; Chris Verhoef (Bull. EATCS, 1999)

Development, Assessment, and Reengineering of Language Descriptions. - M. P. A. Sellink; Chris Verhoef (CSMR, 2000)

Scaffolding for Software Renovation. - M. P. A. Sellink; Chris Verhoef (CSMR, 2000)

How to Implement the Future? - Chris Verhoef (EUROMICRO, 2000)

Towards automated modification of legacy assets. - Chris Verhoef (Ann. Softw. Eng., 2000)

Preface. - Ira D. Baxter; Alex Quilici; Chris Verhoef (Sci. Comput. Program., 2000)

Generation of components for software renovation factories from context-free grammars. - Mark van den Brand; M. P. A. Sellink; Chris Verhoef (Sci. Comput. Program., 2000)

The Realities of Language Conversions. - Andrey A. Terekhov; Chris Verhoef (IEEE Softw., 2000)

Structural Operational Semantics. - Luca Aceto; Wan J. Fokkink; Chris Verhoef (Handbook of Process Algebra, 2001)

Conservative Extension in Structural Operational Semantics. - Luca Aceto; Wan J. Fokkink; Chris Verhoef (Current Trends in Theoretical Computer Science, 2001)

Cracking the 500-Language Problem. - Ralf Lämmel; Chris Verhoef (IEEE Softw., 2001)

Semi-automatic grammar recovery. - Ralf Lämmel; Chris Verhoef (Softw. Pract. Exp., 2001)

Practice Patterns for Architecture Reconstruction. - Christoph Stoermer; Liam O'Brien; Chris Verhoef (WCRE, 2002)

Enabling the creation of knowledge about software assets. - Paul Klint; Chris Verhoef (Data Knowl. Eng., 2002)

The Grammar Deployment Kit - System Demonstration. - Jan Kort; Ralf Lämmel; Chris Verhoef (LDTA@ETAPS, 2002)

Restructuring of COBOL/CICS legacy systems. - Alex Sellink; Harry M. Sneed; Chris Verhoef (Sci. Comput. Program., 2002)

Quantitative IT portfolio management. - Chris Verhoef (Sci. Comput. Program., 2002)

Managing Multi-Billion Dollar IT Budgets using Source Code Analysis. - Chris Verhoef (SCAM, 2003)

Moving Towards Quality Attribute Driven Software Architecture Reconstruction. - Christoph Stoermer; Liam O'Brien; Chris Verhoef (WCRE, 2003)

Software product line migration and deployment. - D. Faust; Chris Verhoef (Softw. Pract. Exp., 2003)

Architectural Views through Collapsing Strategies. - Christoph Stoermer; Liam O'Brien; Chris Verhoef (IWPC, 2004)

9210: The Zip Code of Another IT-Soap. - A. Steven Klusener; Chris Verhoef (Softw. Qual. J., 2004)

Architectural modifications to deployed software . - A. Steven Klusener; Ralf Lämmel; Chris Verhoef (Sci. Comput. Program., 2005)

Quantitative aspects of outsourcing deals. - Chris Verhoef (Sci. Comput. Program., 2005)

Quantifying the value of IT-investments. - Chris Verhoef (Sci. Comput. Program., 2005)

Analyzing the Evolution of Large-Scale Software. - Shari Lawrence Pfleeger; Chris Verhoef; Johannes C. van Vliet (J. Softw. Maintenance Res. Pract., 2005)

Toward an engineering discipline for grammarware. - Paul Klint; Ralf Lämmel; Chris Verhoef (ACM Trans. Softw. Eng. Methodol., 2005)

Model-centric software architecture reconstruction. - Christoph Stoermer; Anthony Rowe 001; Liam O'Brien; Chris Verhoef (Softw. Pract. Exp., 2006)

Quantifying the effects of IT-governance rules. - Chris Verhoef (Sci. Comput. Program., 2007)

CSMR 2008 Workshop Introduction. - Dennis B. Smith; Chris Verhoef (CSMR, 2008)

Quantifying requirements volatility effects. - G. P. Kulk; Chris Verhoef (Sci. Comput. Program., 2008)

Quantifying the yield of risk-bearing IT-portfolios. - R. J. Peters; Chris Verhoef (Sci. Comput. Program., 2008)

Quantifying IT forecast quality. - J. Laurenz Eveleens; Chris Verhoef (Sci. Comput. Program., 2009)

Quantifying IT estimation risks. - G. P. Kulk; R. J. Peters; Chris Verhoef (Sci. Comput. Program., 2009)

Enabling system evolution through configuration management on the hardware/software boundary. - René L. Krikhaar; Wim Mosterman; Niels P. Veerman; Chris Verhoef (Syst. Eng., 2009)

The Rise and Fall of the Chaos Report Figures. - J. Laurenz Eveleens; Chris Verhoef (IEEE Softw., 2010)

Quantifying forecast quality of IT business value. - J. Laurenz Eveleens; M. van der Pas; Chris Verhoef (Sci. Comput. Program., 2012)

Reusing existing object-oriented code as web services in a SOA. - Harry M. Sneed; Chris Verhoef; Stephan H. Sneed (MESOCA, 2013)

Natural language requirement specification for web service testing. - Harry M. Sneed; Chris Verhoef (WSE, 2013)

Migrating to service-oriented systems (Why and how to avoid developing customized software applications from scratch). - Harry M. Sneed; Chris Verhoef (WSE, 2013)

An analysis of unit tests of a flight software product line. - Dharmalingam Ganesan; Mikael Lindvall; David McComas; Maureen Bartholomew; Steve Slegel; Barbara Medina; René L. Krikhaar; Chris Verhoef; Lisa P. Montgomery (Sci. Comput. Program., 2013)

Recovering management information from source code. - Lukasz Kwiatkowski; Chris Verhoef (Sci. Comput. Program., 2013)

Balancing Time-to-Market and Quality in Embedded Systems. - Pieter van der Spek; Chris Verhoef (Syst. Eng., 2014)

Reverse engineering a visual age application. - Harry M. Sneed; Chris Verhoef (ICSME, 2015)

Measuring test coverage of SoA services. - Harry M. Sneed; Chris Verhoef (MESOCA, 2015)

Reducing operational costs through MIPS management. - Lukasz M. Kwiatkowski; Chris Verhoef (Sci. Comput. Program., 2015)

Quantifying fair payment after outsourcing - a case study. - J. Laurenz Eveleens; Peter Kampstra; Chris Verhoef (J. Softw. Evol. Process., 2015)

Lessons from Dutch IT-outsourcing success and failure. - Guus P. A. J. Delen; R. J. Peters; Chris Verhoef; S. F. M. van Vlijmen (Sci. Comput. Program., 2016)

From Software Development to Software Assembly. - Harry M. Sneed; Chris Verhoef (IEEE Softw., 2016)

Validating Converted Java Code via Symbolic Execution. - Harry M. Sneed; Chris Verhoef (SWQD, 2017)

Foundations for measuring IT-outsourcing success and failure. - Guus P. A. J. Delen; R. J. Peters; Chris Verhoef; S. F. M. van Vlijmen (J. Syst. Softw., 2019)

Re-implementing a legacy system. - Harry M. Sneed; Chris Verhoef (J. Syst. Softw., 2019)

Cost-driven software migration: An experience report. - Harry M. Sneed; Chris Verhoef (J. Softw. Evol. Process., 2020)

From COBOL to Business Rules - Extracting Business Rules from Legacy Code. - Harry M. Sneed; Chris Verhoef (Integrating Research and Practice in Software Engineering, 2020)