M. P. A. Sellink

17 papers A* 1B 1Journal 5Unranked 10

Year	Rank	Type	Title / 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