M. P. A. Sellink
List of publications from the
| 2002 |
|---|
| 20 | EE | Alex Sellink,
Harry M. Sneed,
Chris Verhoef:
Restructuring of COBOL/CICS legacy systems.
Sci. Comput. Program. 45(2): 193-243 (2002) |
| 2000 |
|---|
| 19 | EE | M. P. A. Sellink,
Chris Verhoef:
Development, Assessment, and Reengineering of Language Descriptions.
CSMR 2000: 151-160 |
| 18 | EE | M. P. A. Sellink,
Chris Verhoef:
Scaffolding for Software Renovation.
CSMR 2000: 161-172 |
| 17 | | Mark van den Brand,
M. P. A. Sellink,
Chris Verhoef:
Generation of components for software renovation factories from context-free grammars.
Sci. Comput. Program. 36(2-3): 209-266 (2000) |
| 1999 |
|---|
| 16 | EE | Alex Sellink,
Chris Verhoef,
Harry M. Sneed:
Restructuring of COBOL/CICS Legacy Systems.
CSMR 1999: 72-82 |
| 15 | EE | M. P. A. Sellink,
Chris Verhoef:
Generation of Software Renovation Factories from Compilers.
ICSM 1999: 245-255 |
| 14 | EE | René L. Krikhaar,
André Postma,
M. P. A. Sellink,
M. Stroucken,
Chris Verhoef:
A Two-Phase Process for Software Architecture Improvement.
ICSM 1999: 371-380 |
| 13 | EE | M. P. A. Sellink,
Chris Verhoef:
An Architecture for Automated Software Maintenance.
IWPC 1999: 38-48 |
| 1998 |
|---|
| 12 | EE | M. P. A. Sellink,
Chris Verhoef:
Development, Assessment, and Reengineering of Language Descriptions.
ASE 1998: 314-317 |
| 11 | EE | Mark van den Brand,
Alex Sellink,
Chris Verhoef:
Control Flow Normalization for COBOL/CICS Legacy System.
CSMR 1998: 11-20 |
| 10 | EE | Mark van den Brand,
M. P. A. Sellink,
Chris Verhoef:
Current Parsing Techniques in Software Renovation Considered Harmful.
IWPC 1998: 108- |
| 9 | | M. P. A. Sellink,
Chris Verhoef:
Native Patterns.
WCRE 1998: 89-103 |
| 8 | | Henri Korver,
M. P. A. Sellink:
A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes.
Formal Asp. Comput. 10(1): 30-42 (1998) |
| 7 | | Henri Korver,
M. P. A. Sellink:
Example Verifications Using Alphabet Axioms.
Formal Asp. Comput. 10(1): 43-58 (1998) |
| 6 | | M. P. A. Sellink:
On the Conservativity of Leibniz Equality.
Int. J. Found. Comput. Sci. 9(4): 431- (1998) |
| 1997 |
|---|
| 5 | EE | Mark van den Brand,
M. P. A. Sellink,
Chris Verhoef:
Generation of Components for Software Renovation Factories from Context-Free Grammars.
WCRE 1997: 144- |
| 1996 |
|---|
| 4 | EE | Jan Friso Groote,
M. P. A. Sellink:
Confluence for Process Verification.
Theor. Comput. Sci. 170(1-2): 47-81 (1996) |
| 1995 |
|---|
| 3 | | Jan Friso Groote,
M. P. A. Sellink:
Confluence for Process Verification.
CONCUR 1995: 204-218 |
| 1993 |
|---|
| 2 | | M. P. A. Sellink:
Verifying Process Algebra Proofs in Type Theory.
Semantics of Specification Languages 1993: 315-339 |
| 1 | | Leen Helmink,
M. P. A. Sellink,
Frits W. Vaandrager:
Proof-Checking a Data Link Protocol.
TYPES 1993: 127-165 |
