M. P. A. Sellink

17 papers A* 1B 1Journal 5Unranked 10
YearRankTypeTitle / Venue / Authors
2000 — conf
Development, Assessment, and Reengineering of Language Descriptions.
CSMR
M. P. A. Sellink, Chris Verhoef
2000 J jnl
Generation of components for software renovation factories from context-free grammars.
Sci. Comput. Program.
Mark van den Brand, M. P. A. Sellink, Chris Verhoef
2000 — conf
Scaffolding for Software Renovation.
CSMR
M. P. A. Sellink, Chris Verhoef
1999 — conf
A Two-Phase Process for Software Architecture Improvement.
ICSM
René L. Krikhaar, André Postma, M. P. A. Sellink, M. Stroucken, Chris Verhoef
1999 — conf
An Architecture for Automated Software Maintenance.
IWPC
M. P. A. Sellink, Chris Verhoef
1999 — conf
Generation of Software Renovation Factories from Compilers.
ICSM
M. P. A. Sellink, Chris Verhoef
1998 J jnl
A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes.
Formal Aspects Comput.
Henri Korver, M. P. A. Sellink
1998 — conf
Current Parsing Techniques in Software Renovation Considered Harmful.
IWPC
Mark van den Brand, M. P. A. Sellink, Chris Verhoef
1998 A* conf
Development, Assessment, and Reengineering of Language Descriptions.
ASE
M. P. A. Sellink, Chris Verhoef
1998 J jnl
Example Verifications Using Alphabet Axioms.
Formal Aspects Comput.
Henri Korver, M. P. A. Sellink
1998 — conf
Native Patterns.
WCRE
M. P. A. Sellink, Chris Verhoef
1998 J jnl
On the Conservativity of Leibniz Equality.
Int. J. Found. Comput. Sci.
M. P. A. Sellink
1997 — conf
Generation of Components for Software Renovation Factories from Context-Free Grammars.
WCRE
Mark van den Brand, M. P. A. Sellink, Chris Verhoef
1996 J jnl
Confluence for Process Verification.
Theor. Comput. Sci.
Jan Friso Groote, M. P. A. Sellink
1995 B conf
Confluence for Process Verification.
CONCUR
Jan Friso Groote, M. P. A. Sellink
1993 — conf
Proof-Checking a Data Link Protocol.
TYPES
Leen Helmink, M. P. A. Sellink, Frits W. Vaandrager
1993 — conf
Verifying Process Algebra Proofs in Type Theory.
Semantics of Specification Languages
M. P. A. Sellink