Chris Verhoef

Affiliations:
  • University of Amsterdam, Netherlands


According to our database1, Chris Verhoef authored at least 73 papers between 1993 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
From COBOL to Business Rules - Extracting Business Rules from Legacy Code.
Proceedings of the Integrating Research and Practice in Software Engineering, 2020

Cost-driven software migration: An experience report.
J. Softw. Evol. Process., 2020

2019
Re-implementing a legacy system.
J. Syst. Softw., 2019

Foundations for measuring IT-outsourcing success and failure.
J. Syst. Softw., 2019

2017
Validating Converted Java Code via Symbolic Execution.
Proceedings of the Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies, 2017

2016
From Software Development to Software Assembly.
IEEE Softw., 2016

Lessons from Dutch IT-outsourcing success and failure.
Sci. Comput. Program., 2016

2015
Quantifying fair payment after outsourcing - a case study.
J. Softw. Evol. Process., 2015

Reducing operational costs through MIPS management.
Sci. Comput. Program., 2015

Measuring test coverage of SoA services.
Proceedings of the 9th IEEE International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Environments, 2015

Reverse engineering a visual age application.
Proceedings of the 2015 IEEE International Conference on Software Maintenance and Evolution, 2015

2014
Balancing Time-to-Market and Quality in Embedded Systems.
Syst. Eng., 2014

2013
Recovering management information from source code.
Sci. Comput. Program., 2013

An analysis of unit tests of a flight software product line.
Sci. Comput. Program., 2013

Migrating to service-oriented systems (Why and how to avoid developing customized software applications from scratch).
Proceedings of the 15th IEEE International Symposium on Web Systems Evolution, 2013

Natural language requirement specification for web service testing.
Proceedings of the 15th IEEE International Symposium on Web Systems Evolution, 2013

Reusing existing object-oriented code as web services in a SOA.
Proceedings of the 7th IEEE International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems, 2013

2012
Quantifying forecast quality of IT business value.
Sci. Comput. Program., 2012

2010
The Rise and Fall of the Chaos Report Figures.
IEEE Softw., 2010

2009
Enabling system evolution through configuration management on the hardware/software boundary.
Syst. Eng., 2009

Quantifying IT estimation risks.
Sci. Comput. Program., 2009

Quantifying IT forecast quality.
Sci. Comput. Program., 2009

2008
Quantifying the yield of risk-bearing IT-portfolios.
Sci. Comput. Program., 2008

Quantifying requirements volatility effects.
Sci. Comput. Program., 2008

CSMR 2008 Workshop Introduction.
Proceedings of the 12th European Conference on Software Maintenance and Reengineering, 2008

2007
Quantifying the effects of IT-governance rules.
Sci. Comput. Program., 2007

2006
Model-centric software architecture reconstruction.
Softw. Pract. Exp., 2006

2005
Toward an engineering discipline for grammarware.
ACM Trans. Softw. Eng. Methodol., 2005

Analyzing the Evolution of Large-Scale Software.
J. Softw. Maintenance Res. Pract., 2005

Quantifying the value of IT-investments.
Sci. Comput. Program., 2005

Quantitative aspects of outsourcing deals.
Sci. Comput. Program., 2005

Architectural modifications to deployed software .
Sci. Comput. Program., 2005

2004
9210: The Zip Code of Another IT-Soap.
Softw. Qual. J., 2004

Architectural Views through Collapsing Strategies.
Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), 2004

2003
Software product line migration and deployment.
Softw. Pract. Exp., 2003

Moving Towards Quality Attribute Driven Software Architecture Reconstruction.
Proceedings of the 10th Working Conference on Reverse Engineering, 2003

Managing Multi-Billion Dollar IT Budgets using Source Code Analysis.
Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 2003

2002
Quantitative IT portfolio management.
Sci. Comput. Program., 2002

Restructuring of COBOL/CICS legacy systems.
Sci. Comput. Program., 2002

The Grammar Deployment Kit - System Demonstration.
Proceedings of the Second Workshop on Language Descriptions, Tools and Applications, 2002

Enabling the creation of knowledge about software assets.
Data Knowl. Eng., 2002

Practice Patterns for Architecture Reconstruction.
Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October, 2002

2001
Semi-automatic grammar recovery.
Softw. Pract. Exp., 2001

Cracking the 500-Language Problem.
IEEE Softw., 2001

Conservative Extension in Structural Operational Semantics.
Proceedings of the Current Trends in Theoretical Computer Science, 2001

Structural Operational Semantics.
Proceedings of the Handbook of Process Algebra, 2001

2000
The Realities of Language Conversions.
IEEE Softw., 2000

Generation of components for software renovation factories from context-free grammars.
Sci. Comput. Program., 2000

Preface.
Sci. Comput. Program., 2000

Towards automated modification of legacy assets.
Ann. Softw. Eng., 2000

How to Implement the Future?
Proceedings of the 26th EUROMICRO 2000 Conference, 2000

Scaffolding for Software Renovation.
Proceedings of the 4th European Conference on Software Maintenance and Reengineering, 2000

Development, Assessment, and Reengineering of Language Descriptions.
Proceedings of the 4th European Conference on Software Maintenance and Reengineering, 2000

1999
Conservative Extension in Structural Operational Semantics.
Bull. EATCS, 1999

An Architecture for Automated Software Maintenance.
Proceedings of the 7th International Workshop on Program Comprehension (IWPC '99), May 5-7, 1999, 1999

Generation of Software Renovation Factories from Compilers.
Proceedings of the 1999 International Conference on Software Maintenance, 1999

A Two-Phase Process for Software Architecture Improvement.
Proceedings of the 1999 International Conference on Software Maintenance, 1999

Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

Research Issues in the Renovation of Legacy Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

1998
A Conservative Look at Operational Semantics with Variable Binding.
Inf. Comput., 1998

Term rewriting for sale.
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Native Patterns.
Proceedings of the 5th Working Conference on Reverse Engineering, 1998

Current Parsing Techniques in Software Renovation Considered Harmful.
Proceedings of the 6th International Workshop on Program Comprehension (IWPC '98), 1998

Evolutionary software engineering: a component-based approach.
Proceedings of the Systems Implementation 2000, 1998

Control Flow Normalization for COBOL/CICS Legacy System.
Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998

1997
Algebra of Communicating Processes - Preface to the Special Issue.
Theor. Comput. Sci., 1997

A General Conservative Extension Theorem in Process Algebras with Inequalities.
Theor. Comput. Sci., 1997

Reverse engineering and system renovation - an annotated bibliography.
ACM SIGSOFT Softw. Eng. Notes, 1997

Re-engineering Needs Generic Programming Language Technology.
ACM SIGPLAN Notices, 1997

1996
Core Technologies for System Renovation.
Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996

1995
A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises.
Nord. J. Comput., 1995

1994
A General Conservative Extension Theorem in Process Algebra.
Proceedings of the Programming Concepts, 1994

1993
A Congruence Theorem for Structured Operational Semantics with Predicates.
Proceedings of the CONCUR '93, 1993


  Loading...