@article{KlintV02, title = {Enabling the creation of knowledge about software assets}, author = {Paul Klint and Chris Verhoef}, year = {2002}, doi = {10.1016/S0169-023X(02)00038-1}, url = {http://dx.doi.org/10.1016/S0169-023X(02)00038-1}, researchr = {https://researchr.org/publication/KlintV02}, cites = {0}, citedby = {0}, journal = {Data \& Knowledge Engineering}, volume = {41}, number = {2-3}, pages = {141-158}, } @article{SellinkSV02, title = {Restructuring of COBOL/CICS legacy systems}, author = {Alex Sellink and Harry M. Sneed and Chris Verhoef}, year = {2002}, doi = {10.1016/S0167-6423(02)00061-8}, url = {http://dx.doi.org/10.1016/S0167-6423(02)00061-8}, tags = {Cobol}, researchr = {https://researchr.org/publication/SellinkSV02}, cites = {1}, citedby = {0}, journal = {Science of Computer Programming}, volume = {45}, number = {2}, pages = {193-243}, } @inproceedings{Verhoef00:0, title = {How to Implement the Future?}, author = {Chris Verhoef}, year = {2000}, url = {http://csdl.computer.org/comp/proceedings/euromicro/2000/0780/01/07801032abs.htm}, researchr = {https://researchr.org/publication/Verhoef00%3A0}, cites = {0}, citedby = {0}, pages = {1032}, booktitle = {26th EUROMICRO 2000 Conference, Informatics: Inventing the Future, 5-7 September 2000, Maastricht, The Netherlands}, publisher = {IEEE Computer Society}, isbn = {0-7695-0780-8}, } @inproceedings{SellinkV00, title = {Development, Assessment, and Reengineering of Language Descriptions}, author = {M. P. A. Sellink and Chris Verhoef}, year = {2000}, url = {http://www.computer.org/proceedings/csmr/0546/05460151abs.htm}, researchr = {https://researchr.org/publication/SellinkV00}, cites = {0}, citedby = {0}, pages = {151-160}, booktitle = {CSMR}, } @inproceedings{Verhoef03, title = {Managing Multi-Billion Dollar IT Budgets using Source Code Analysis}, author = {Chris Verhoef}, year = {2003}, url = {http://csdl.computer.org/comp/proceedings/scam/2003/2005/00/20050077.pdf}, tags = {points-to analysis, analysis, source-to-source, peer-to-peer, open-source}, researchr = {https://researchr.org/publication/Verhoef03}, cites = {0}, citedby = {0}, pages = {77}, booktitle = {3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 26-27 September 2003, Amsterdam, The Netherlands}, publisher = {IEEE Computer Society}, isbn = {0-7695-2005-7}, } @article{PonseVV97, title = {Algebra of Communicating Processes - Preface to the Special Issue}, author = {Alban Ponse and Chris Verhoef and Bas van Vlijmen}, year = {1997}, doi = {10.1016/S0304-3975(96)00249-6}, url = {http://dx.doi.org/10.1016/S0304-3975(96)00249-6}, tags = {process algebra, algebra}, researchr = {https://researchr.org/publication/PonseVV97}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {177}, number = {2}, pages = {285-286}, } @inproceedings{DeursenKV99, title = {Research Issues in the Renovation of Legacy Systems}, author = {Arie van Deursen and Paul Klint and Chris Verhoef}, year = {1999}, researchr = {https://researchr.org/publication/DeursenKV99}, cites = {0}, citedby = {0}, pages = {1-21}, booktitle = {Fundamental Approaches to Software Engineering, Second Internationsl Conference, FASE 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings}, editor = {Jean-Pierre Finance}, volume = {1577}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-65718-5}, } @article{TerekhovV00, title = {The Realities of Language Conversions}, author = {Andrey A. Terekhov and Chris Verhoef}, year = {2000}, url = {http://dlib.computer.org/so/books/so2000/s6111abs.htm}, researchr = {https://researchr.org/publication/TerekhovV00}, cites = {0}, citedby = {0}, journal = {IEEE Software}, volume = {17}, number = {6}, pages = {111-124}, } @inproceedings{1238033, title = {Managing multibillion dollar IT budgets using source code analysis}, author = {Chris Verhoef}, year = {2003}, month = {Sept.}, tags = {points-to analysis, analysis, source-to-source, peer-to-peer, open-source}, researchr = {https://researchr.org/publication/1238033}, cites = {0}, citedby = {0}, booktitle = {Source Code Analysis and Manipulation, 2003. Proceedings. Third IEEE International Workshop on}, } @article{KulkPV09, title = {Quantifying IT estimation risks}, author = {G. P. Kulk and R. J. Peters and Chris Verhoef}, year = {2009}, doi = {10.1016/j.scico.2009.09.001}, url = {http://dx.doi.org/10.1016/j.scico.2009.09.001}, researchr = {https://researchr.org/publication/KulkPV09}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {74}, number = {11-12}, pages = {900-933}, } @inproceedings{Verhoef94:0, title = {A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises}, author = {Chris Verhoef}, year = {1994}, tags = {semantics, operational semantics}, researchr = {https://researchr.org/publication/Verhoef94%3A0}, cites = {0}, citedby = {0}, pages = {433-448}, booktitle = {CONCUR 94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings}, editor = {Bengt Jonsson and Joachim Parrow}, volume = {836}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-58329-7}, } @inproceedings{SellinkV98:0, title = {Native Patterns}, author = {M. P. A. Sellink and Chris Verhoef}, year = {1998}, researchr = {https://researchr.org/publication/SellinkV98%3A0}, cites = {0}, citedby = {0}, pages = {89-103}, booktitle = {WCRE}, } @article{Verhoef00, title = {Towards automated modification of legacy assets}, author = {Chris Verhoef}, year = {2000}, researchr = {https://researchr.org/publication/Verhoef00}, cites = {1}, citedby = {0}, journal = {Ann. Software Eng.}, volume = {9}, pages = {315-336}, } @article{Verhoef02, title = {Quantitative IT portfolio management}, author = {Chris Verhoef}, year = {2002}, doi = {10.1016/S0167-6423(02)00106-5}, url = {http://dx.doi.org/10.1016/S0167-6423(02)00106-5}, researchr = {https://researchr.org/publication/Verhoef02}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {45}, number = {1}, pages = {1-96}, } @article{Verhoef05, title = {Quantitative aspects of outsourcing deals}, author = {Chris Verhoef}, year = {2005}, doi = {10.1016/j.scico.2004.08.003}, url = {http://dx.doi.org/10.1016/j.scico.2004.08.003}, researchr = {https://researchr.org/publication/Verhoef05}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {56}, number = {3}, pages = {275-313}, } @inproceedings{SellinkV00a, title = {Scaffolding for Software Renovation}, author = {M. P. A. Sellink and Chris Verhoef}, year = {2000}, url = {http://www.computer.org/proceedings/csmr/0546/05460161abs.htm}, researchr = {https://researchr.org/publication/SellinkV00a}, cites = {0}, citedby = {0}, pages = {161-172}, booktitle = {CSMR}, } @article{PetersV08, title = {Quantifying the yield of risk-bearing IT-portfolios}, author = {R. J. Peters and Chris Verhoef}, year = {2008}, doi = {10.1016/j.scico.2007.11.001}, url = {http://dx.doi.org/10.1016/j.scico.2007.11.001}, researchr = {https://researchr.org/publication/PetersV08}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {71}, number = {1}, pages = {17-56}, } @article{KlusenerV04, title = {9210: The Zip Code of Another IT-Soap}, author = {A. Steven Klusener and Chris Verhoef}, year = {2004}, doi = {10.1023/B:SQJO.0000039790.04885.13}, url = {http://dx.doi.org/10.1023/B:SQJO.0000039790.04885.13}, researchr = {https://researchr.org/publication/KlusenerV04}, cites = {0}, citedby = {0}, journal = {Software Quality Journal}, volume = {12}, number = {4}, pages = {297-309}, } @inproceedings{StoermerOV04, title = {Architectural Views through Collapsing Strategies}, author = {Christoph Stoermer and Liam O Brien and Chris Verhoef}, year = {2004}, url = {http://csdl.computer.org/comp/proceedings/iwpc/2004/2149/00/21490100abs.htm}, tags = {architecture}, researchr = {https://researchr.org/publication/StoermerOV04}, cites = {0}, citedby = {0}, pages = {100-110}, booktitle = {12th International Workshop on Program Comprehension (IWPC 2004), 24-26 June 2004, Bari, Italy}, publisher = {IEEE Computer Society}, isbn = {0-7695-2149-5}, } @article{BrandKV97, title = {Re-engineering Needs Generic Programming Language Technology}, author = {Mark G. J. van den Brand and Paul Klint and Chris Verhoef}, year = {1997}, tags = {programming languages, generic programming, language engineering, programming}, researchr = {https://researchr.org/publication/BrandKV97}, cites = {0}, citedby = {0}, journal = {SIGPLAN Notices}, volume = {32}, number = {2}, pages = {54-61}, } @article{BrandSV00, title = {Generation of components for software renovation factories from context-free grammars}, author = {Mark G. J. van den Brand and M. P. A. Sellink and Chris Verhoef}, year = {2000}, tags = {software components, software component, context-aware, grammar}, researchr = {https://researchr.org/publication/BrandSV00}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {36}, number = {2-3}, pages = {209-266}, } @article{AcetoFV99, title = {Conservative Extension in Structural Operational Semantics}, author = {Luca Aceto and Wan Fokkink and Chris Verhoef}, year = {1999}, tags = {semantics, structural operational semantics, operational semantics}, researchr = {https://researchr.org/publication/AcetoFV99}, cites = {0}, citedby = {0}, journal = {Bulletin of the EATCS}, volume = {69}, pages = {110-132}, } @inproceedings{SellinkVS99, title = {Restructuring of COBOL/CICS Legacy Systems}, author = {Alex Sellink and Chris Verhoef and Harry M. Sneed}, year = {1999}, url = {http://csdl.computer.org/comp/proceedings/csmr/1999/0090/00/00900072abs.htm}, tags = {Cobol}, researchr = {https://researchr.org/publication/SellinkVS99}, cites = {0}, citedby = {0}, pages = {72-82}, booktitle = {3rd European Conference on Software Maintenance and Reengineering (CSMR 99), 3-5 March 1999, Amsterdam, The Netherlands}, publisher = {IEEE Computer Society}, isbn = {0-7695-0090-0}, } @article{LammelV01, title = {Cracking the 500-Language Problem}, author = {Ralf Lämmel and Chris Verhoef}, year = {2001}, url = {http://www.computer.org:80/software/so2001/s6078abs.htm}, researchr = {https://researchr.org/publication/LammelV01}, cites = {1}, citedby = {0}, journal = {IEEE Software}, volume = {18}, number = {6}, pages = {78-88}, } @inproceedings{FokkinkV99, title = {Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories}, author = {Wan Fokkink and Chris Verhoef}, year = {1999}, tags = {term rewriting, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/FokkinkV99}, cites = {0}, citedby = {0}, pages = {98-113}, booktitle = {Fundamental Approaches to Software Engineering, Second Internationsl Conference, FASE 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings}, editor = {Jean-Pierre Finance}, volume = {1577}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-65718-5}, } @article{Verhoef05a, title = {Quantifying the value of IT-investments}, author = {Chris Verhoef}, year = {2005}, doi = {10.1016/j.scico.2004.08.004}, url = {http://dx.doi.org/10.1016/j.scico.2004.08.004}, researchr = {https://researchr.org/publication/Verhoef05a}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {56}, number = {3}, pages = {315-342}, } @article{LammelV01:0, title = {Semi-automatic grammar recovery}, author = {Ralf Lämmel and Chris Verhoef}, year = {2001}, tags = {grammar}, researchr = {https://researchr.org/publication/LammelV01%3A0}, cites = {0}, citedby = {0}, journal = {Software: Practice and Experience}, volume = {31}, number = {15}, pages = {1395-1438}, } @article{PfleegerVV05, title = {Analyzing the Evolution of Large-Scale Software}, author = {Shari Lawrence Pfleeger and Chris Verhoef and Johannes C. van Vliet}, year = {2005}, doi = {10.1002/smr.306}, url = {http://dx.doi.org/10.1002/smr.306}, tags = {software evolution, C++}, researchr = {https://researchr.org/publication/PfleegerVV05}, cites = {0}, citedby = {0}, journal = {Journal of Software Maintenance}, volume = {17}, number = {1}, pages = {1-2}, } @inproceedings{Verhoef94, title = {A General Conservative Extension Theorem in Process Algebra}, author = {Chris Verhoef}, year = {1994}, tags = {process algebra, algebra}, researchr = {https://researchr.org/publication/Verhoef94}, cites = {0}, citedby = {0}, pages = {149-168}, booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET 94) San Miniato, Italy, 6-10 June, 1994}, editor = {Ernst-Rüdiger Olderog}, volume = {A-56}, series = {IFIP Transactions}, publisher = {North-Holland}, isbn = {0-444-82020-5}, } @inproceedings{BrandSV98, title = {Control Flow Normalization for COBOL/CICS Legacy System}, author = {Mark G. J. van den Brand and Alex Sellink and Chris Verhoef}, year = {1998}, url = {http://csdl.computer.org/comp/proceedings/csmr/1998/8421/00/84210011abs.htm}, tags = {control systems, data-flow, Cobol}, researchr = {https://researchr.org/publication/BrandSV98}, cites = {0}, citedby = {0}, pages = {11-20}, booktitle = {2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR 98), 8-11 March 1998, Florence, Italy}, publisher = {IEEE Computer Society}, isbn = {0-8186-8421-6}, } @article{EveleensV09, title = {Quantifying IT forecast quality}, author = {J. L. Eveleens and Chris Verhoef}, year = {2009}, doi = {10.1016/j.scico.2009.09.005}, url = {http://dx.doi.org/10.1016/j.scico.2009.09.005}, researchr = {https://researchr.org/publication/EveleensV09}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {74}, number = {11-12}, pages = {934-988}, } @inproceedings{BrandSV98:0, title = {Current Parsing Techniques in Software Renovation Considered Harmful}, author = {Mark G. J. van den Brand and M. P. A. Sellink and Chris Verhoef}, year = {1998}, url = {http://dlib2.computer.org/conferen/iwpc/8560/pdf/85600108.pdf}, tags = {parsing}, researchr = {https://researchr.org/publication/BrandSV98%3A0}, cites = {0}, citedby = {0}, pages = {108}, booktitle = {6th International Workshop on Program Comprehension (IWPC 98), June 24-26, 1998, Ischia, Italy}, publisher = {IEEE Computer Society}, isbn = {0-8186-8560-3}, } @inproceedings{SellinkV99:0, title = {An Architecture for Automated Software Maintenance}, author = {M. P. A. Sellink and Chris Verhoef}, year = {1999}, url = {http://computer.org/proceedings/iwpc/0179/01790038abs.htm}, tags = {software architecture, architecture, maintenance}, researchr = {https://researchr.org/publication/SellinkV99%3A0}, cites = {0}, citedby = {0}, pages = {38-48}, booktitle = {7th International Workshop on Program Comprehension (IWPC 99), May 5-7, 1999 - Pittsburgh, PA, USA}, publisher = {IEEE Computer Society}, isbn = {0-7695-0179-6}, } @inproceedings{KrikhaarPSSV99, title = {A Two-Phase Process for Software Architecture Improvement}, author = {René L. Krikhaar and André Postma and M. P. A. Sellink and M. Stroucken and Chris Verhoef}, year = {1999}, url = {http://computer.org/proceedings/icsm/0016/00160371abs.htm}, tags = {software architecture, architecture}, researchr = {https://researchr.org/publication/KrikhaarPSSV99}, cites = {0}, citedby = {0}, pages = {371-380}, booktitle = {ICSM}, } @article{Verhoef95, title = {A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises}, author = {Chris Verhoef}, year = {1995}, tags = {semantics, operational semantics}, researchr = {https://researchr.org/publication/Verhoef95}, cites = {0}, citedby = {0}, journal = {Nord. J. Comput.}, volume = {2}, number = {2}, pages = {274-302}, } @inproceedings{StoermerOV02, title = {Practice Patterns for Architecture Reconstruction}, author = {Christoph Stoermer and Liam O Brien and Chris Verhoef}, year = {2002}, url = {http://computer.org/proceedings/wcre/1799/17990151abs.htm}, tags = {architecture}, researchr = {https://researchr.org/publication/StoermerOV02}, cites = {0}, citedby = {0}, pages = {151-160}, booktitle = {9th Working Conference on Reverse Engineering (WCRE 2002), 28 October - 1 November 2002, Richmond, VA, USA}, editor = {Arie van Deursen and Elizabeth Burd}, publisher = {IEEE Computer Society}, isbn = {0-7695-1799-4}, } @inproceedings{SmithV08, title = {CSMR 2008 Workshop Introduction}, author = {Dennis B. Smith and Chris Verhoef}, year = {2008}, doi = {10.1109/CSMR.2008.4493344}, url = {http://dx.doi.org/10.1109/CSMR.2008.4493344}, researchr = {https://researchr.org/publication/SmithV08}, cites = {0}, citedby = {0}, pages = {335}, booktitle = {12th European Conference on Software Maintenance and Reengineering, CSMR 2008, April 1-4, 2008, Athens, Greece}, publisher = {IEEE}, } @inproceedings{KlintV98, title = {Evolutionary software engineering: a component-based approach}, author = {Paul Klint and Chris Verhoef}, year = {1998}, tags = {rule-based, software components, software component, software engineering, systematic-approach}, researchr = {https://researchr.org/publication/KlintV98}, cites = {0}, citedby = {0}, pages = {1-18}, booktitle = {Systems Implementation 2000, IFIP TC2 WG2.4 Working Conference on Systems Implementation 2000: Languages, methods and tools, 23-26 February 1998, Berlin, Germay}, editor = {R. Nigel Horspool}, volume = {117}, series = {IFIP Conference Proceedings}, publisher = {Chapman & Hall}, isbn = {0-412-83530-4}, } @incollection{AcetoFV01, title = {Conservative Extension in Structural Operational Semantics}, author = {Luca Aceto and Wan Fokkink and Chris Verhoef}, year = {2001}, tags = {semantics, structural operational semantics, operational semantics}, researchr = {https://researchr.org/publication/AcetoFV01}, cites = {0}, citedby = {0}, pages = {504-524}, booktitle = {Current Trends in Theoretical Computer Science}, } @article{BaxterQV00, title = {Preface}, author = {Ira D. Baxter and Alex Quilici and Chris Verhoef}, year = {2000}, researchr = {https://researchr.org/publication/BaxterQV00}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {36}, number = {2-3}, pages = {129-130}, } @article{DArgenioV97, title = {A General Conservative Extension Theorem in Process Algebras with Inequalities}, author = {Pedro R. D Argenio and Chris Verhoef}, year = {1997}, doi = {10.1016/S0304-3975(96)00292-7}, url = {http://dx.doi.org/10.1016/S0304-3975(96)00292-7}, tags = {process algebra, algebra}, researchr = {https://researchr.org/publication/DArgenioV97}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {177}, number = {2}, pages = {351-380}, } @article{StoermerROV06, title = {Model-centric software architecture reconstruction}, author = {Christoph Stoermer and Anthony Rowe and Liam O Brien and Chris Verhoef}, year = {2006}, doi = {10.1002/spe.699}, url = {http://dx.doi.org/10.1002/spe.699}, tags = {software architecture, architecture}, researchr = {https://researchr.org/publication/StoermerROV06}, cites = {0}, citedby = {0}, journal = {Software: Practice and Experience}, volume = {36}, number = {4}, pages = {333-363}, } @inproceedings{SellinkV99, title = {Generation of Software Renovation Factories from Compilers}, author = {M. P. A. Sellink and Chris Verhoef}, year = {1999}, url = {http://computer.org/proceedings/icsm/0016/00160245abs.htm}, tags = {compiler}, researchr = {https://researchr.org/publication/SellinkV99}, cites = {0}, citedby = {0}, pages = {245-255}, booktitle = {ICSM}, } @article{10.1109-52.895180, title = {The Realities of Language Conversions}, author = {Andrey A. Terekhov and Chris Verhoef}, year = {2000}, doi = {10.1109/52.895180}, url = {http://doi.ieeecomputersociety.org/10.1109/52.895180}, researchr = {https://researchr.org/publication/10.1109-52.895180}, cites = {0}, citedby = {0}, journal = {IEEE Software}, volume = {17}, } @inproceedings{StoermerOV03, title = {Moving Towards Quality Attribute Driven Software Architecture Reconstruction}, author = {Christoph Stoermer and Liam O Brien and Chris Verhoef}, year = {2003}, url = {http://csdl.computer.org/comp/proceedings/wcre/2003/2027/00/20270046abs.htm}, tags = {software architecture, architecture}, researchr = {https://researchr.org/publication/StoermerOV03}, cites = {0}, citedby = {0}, pages = {46-56}, booktitle = {10th Working Conference on Reverse Engineering (WCRE 2003), 13-16 November 2003, Victoria, Canada}, editor = {Arie van Deursen and Eleni Stroulia and Margaret-Anne D. Storey}, publisher = {IEEE Computer Society}, isbn = {0-7695-2027-8}, } @article{KlusenerLV05, title = {Architectural modifications to deployed software }, author = {A. Steven Klusener and Ralf Lämmel and Chris Verhoef}, year = {2005}, doi = {10.1016/j.scico.2004.03.012}, url = {http://dx.doi.org/10.1016/j.scico.2004.03.012}, tags = {deployment, software architecture, architecture}, researchr = {https://researchr.org/publication/KlusenerLV05}, cites = {1}, citedby = {0}, journal = {Science of Computer Programming}, volume = {54}, number = {2-3}, pages = {143-211}, } @article{FaustV03, title = {Software product line migration and deployment}, author = {D. Faust and Chris Verhoef}, year = {2003}, doi = {10.1002/spe.530}, url = {http://dx.doi.org/10.1002/spe.530}, tags = {deployment, migration, software product line, product line}, researchr = {https://researchr.org/publication/FaustV03}, cites = {0}, citedby = {0}, journal = {Software: Practice and Experience}, volume = {33}, number = {10}, pages = {933-955}, } @article{KortLV02, title = {The Grammar Deployment Kit - System Demonstration}, author = {Jan Kort and Ralf Lämmel and Chris Verhoef}, year = {2002}, url = {http://www.elsevier.com/gej-ng/31/29/23/117/52/show/Products/notes/index.htt#010}, tags = {deployment, grammar}, researchr = {https://researchr.org/publication/KortLV02}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {65}, number = {3}, pages = {117-123}, } @inproceedings{BaetenV93, title = {A Congruence Theorem for Structured Operational Semantics with Predicates}, author = {Jos C. M. Baeten and Chris Verhoef}, year = {1993}, tags = {semantics, C++, operational semantics}, researchr = {https://researchr.org/publication/BaetenV93}, cites = {0}, citedby = {0}, pages = {477-492}, booktitle = {CONCUR 93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings}, editor = {Eike Best}, volume = {715}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-57208-2}, } @article{Verhoef07, title = {Quantifying the effects of IT-governance rules}, author = {Chris Verhoef}, year = {2007}, doi = {10.1016/j.scico.2007.01.010}, url = {http://dx.doi.org/10.1016/j.scico.2007.01.010}, tags = {rule-based, rules}, researchr = {https://researchr.org/publication/Verhoef07}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {67}, number = {2-3}, pages = {247-277}, } @inproceedings{BrandKV96, title = {Core Technologies for System Renovation}, author = {Mark G. J. van den Brand and Paul Klint and Chris Verhoef}, year = {1996}, researchr = {https://researchr.org/publication/BrandKV96}, cites = {0}, citedby = {0}, pages = {235-254}, booktitle = {SOFSEM 96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings}, editor = {Keith G. Jeffery and Jaroslav Král and Miroslav Bartosek}, volume = {1175}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-61994-1}, } @article{FokkinkV98, title = {A Conservative Look at Operational Semantics with Variable Binding}, author = {Wan Fokkink and Chris Verhoef}, year = {1998}, tags = {semantics, variable binding, operational semantics}, researchr = {https://researchr.org/publication/FokkinkV98}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {146}, number = {1}, pages = {24-54}, } @article{BrandKV98, title = {Term rewriting for sale}, author = {Mark G. J. van den Brand and Paul Klint and Chris Verhoef}, year = {1998}, url = {http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#011}, tags = {term rewriting, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/BrandKV98}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {15}, pages = {218-241}, } @inproceedings{SellinkV98, title = {Development, Assessment, and Reengineering of Language Descriptions}, author = {M. P. A. Sellink and Chris Verhoef}, year = {1998}, url = {http://dlib.computer.org/conferen/ase/8750/pdf/87500314.pdf}, researchr = {https://researchr.org/publication/SellinkV98}, cites = {0}, citedby = {0}, pages = {314-317}, booktitle = {ASE}, } @inproceedings{BrandSV97, title = {Generation of Components for Software Renovation Factories from Context-Free Grammars}, author = {Mark G. J. van den Brand and M. P. A. Sellink and Chris Verhoef}, year = {1997}, url = {http://computer.org/proceedings/wcre/8162/81620144abs.htm}, tags = {software components, software component, context-aware, grammar}, researchr = {https://researchr.org/publication/BrandSV97}, cites = {0}, citedby = {0}, pages = {144}, booktitle = {WCRE}, } @article{KlintLV05, title = {Toward an engineering discipline for grammarware}, author = {Paul Klint and Ralf Lämmel and Chris Verhoef}, year = {2005}, doi = {10.1145/1072997.1073000}, url = {http://doi.acm.org/10.1145/1072997.1073000}, researchr = {https://researchr.org/publication/KlintLV05}, cites = {2}, citedby = {1}, journal = {ACM Transactions on Software Engineering Methodology}, volume = {14}, number = {3}, pages = {331-380}, } @proceedings{iwpc:2008, title = {The 16th IEEE International Conference on Program Comprehension, ICPC 2008, Amsterdam, The Netherlands, June 10-13, 2008}, year = {2008}, tags = {program comprehension}, researchr = {https://researchr.org/publication/iwpc%3A2008}, cites = {0}, citedby = {0}, booktitle = {The 16th IEEE International Conference on Program Comprehension, ICPC 2008, Amsterdam, The Netherlands, June 10-13, 2008}, conference = {IWPC}, editor = {René L. Krikhaar and Ralf Lämmel and Chris Verhoef}, publisher = {IEEE Computer Society}, } @proceedings{csmr:2007, title = {11th European Conference on Software Maintenance and Reengineering, Software Evolution in Complex Software Intensive Systems, CSMR 2007, 21-23 March 2007, Amsterdam, The Netherlands}, year = {2007}, tags = {software evolution, maintenance}, researchr = {https://researchr.org/publication/csmr%3A2007}, cites = {0}, citedby = {0}, booktitle = {11th European Conference on Software Maintenance and Reengineering, Software Evolution in Complex Software Intensive Systems, CSMR 2007, 21-23 March 2007, Amsterdam, The Netherlands}, conference = {CSMR}, editor = {René L. Krikhaar and Chris Verhoef and Giuseppe A. Di Lucca}, publisher = {IEEE Computer Society}, isbn = {0-7695-2802-3}, }