M. P. A. Sellink

Publication Activity (10 Years)

Years Active: 1993-2000
Publications (10 Years): 0

Publications

M. P. A. Sellink, Chris Verhoef
Scaffolding for Software Renovation. CSMR (2000)
M. P. A. Sellink, Chris Verhoef
Development, Assessment, and Reengineering of Language Descriptions. CSMR (2000)
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) (2000)
M. P. A. Sellink, Chris Verhoef
An Architecture for Automated Software Maintenance. IWPC (1999)
René L. Krikhaar, André Postma, M. P. A. Sellink, M. Stroucken, Chris Verhoef
A Two-Phase Process for Software Architecture Improvement. ICSM (1999)
M. P. A. Sellink, Chris Verhoef
Generation of Software Renovation Factories from Compilers. ICSM (1999)
Henri Korver, M. P. A. Sellink
A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes. Formal Aspects Comput. 10 (1) (1998)
M. P. A. Sellink
On the Conservativity of Leibniz Equality. Int. J. Found. Comput. Sci. 9 (4) (1998)
M. P. A. Sellink, Chris Verhoef
Native Patterns. WCRE (1998)
Henri Korver, M. P. A. Sellink
Example Verifications Using Alphabet Axioms. Formal Aspects Comput. 10 (1) (1998)
Mark van den Brand, M. P. A. Sellink, Chris Verhoef
Current Parsing Techniques in Software Renovation Considered Harmful. IWPC (1998)
M. P. A. Sellink, Chris Verhoef
Development, Assessment, and Reengineering of Language Descriptions. ASE (1998)
Mark van den Brand, M. P. A. Sellink, Chris Verhoef
Generation of Components for Software Renovation Factories from Context-Free Grammars. WCRE (1997)
Jan Friso Groote, M. P. A. Sellink
Confluence for Process Verification. Theor. Comput. Sci. 170 (1-2) (1996)
Jan Friso Groote, M. P. A. Sellink
Confluence for Process Verification. CONCUR (1995)
M. P. A. Sellink
Verifying Process Algebra Proofs in Type Theory. Semantics of Specification Languages (1993)
Leen Helmink, M. P. A. Sellink, Frits W. Vaandrager
Proof-Checking a Data Link Protocol. TYPES (1993)