Alex Sellink

According to our database, Alex Sellink authored at least 16 papers between 1993 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Restructuring of COBOL/CICS legacy systems.

Alex Sellink, Harry M. Sneed, Chris Verhoef

Sci. Comput. Program., 2002

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

Scaffolding for Software Renovation.

M. P. A. Sellink, Chris Verhoef

Proceedings of the 4th European Conference on Software Maintenance and Reengineering, 2000

Development, Assessment, and Reengineering of Language Descriptions.

M. P. A. Sellink, Chris Verhoef

Proceedings of the 4th European Conference on Software Maintenance and Reengineering, 2000

1999

An Architecture for Automated Software Maintenance.

M. P. A. Sellink, Chris Verhoef

Proceedings of the 7th International Workshop on Program Comprehension (IWPC '99), May 5-7, 1999, 1999

Generation of Software Renovation Factories from Compilers.

M. P. A. Sellink, Chris Verhoef

Proceedings of the 1999 International Conference on Software Maintenance, 1999

A Two-Phase Process for Software Architecture Improvement.

René L. Krikhaar, André Postma, M. P. A. Sellink, M. Stroucken, Chris Verhoef

Proceedings of the 1999 International Conference on Software Maintenance, 1999

1998

On the Conservativity of Leibniz Equality.

M. P. A. Sellink

Int. J. Found. Comput. Sci., 1998

Example Verifications Using Alphabet Axioms.

Henri Korver, M. P. A. Sellink

Formal Aspects Comput., 1998

A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes.

Henri Korver, M. P. A. Sellink

Formal Aspects Comput., 1998

Native Patterns.

M. P. A. Sellink, Chris Verhoef

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

Current Parsing Techniques in Software Renovation Considered Harmful.

Mark van den Brand, M. P. A. Sellink, Chris Verhoef

Proceedings of the 6th International Workshop on Program Comprehension (IWPC '98), 1998

Control Flow Normalization for COBOL/CICS Legacy System.

Mark van den Brand, Alex Sellink, Chris Verhoef

Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998

1996

Confluence for Process Verification.

Jan Friso Groote, M. P. A. Sellink

Theor. Comput. Sci., 1996

1993

Proof-Checking a Data Link Protocol.

Leen Helmink, M. P. A. Sellink, Frits W. Vaandrager

Proceedings of the Types for Proofs and Programs, 1993

Verifying Process Algebra Proofs in Type Theory.

M. P. A. Sellink

Proceedings of the Semantics of Specification Languages (SoSL), 1993