default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Chris Verhoef
@article{DBLP:journals/smr/SneedV20,
author = {Harry M. Sneed and
Chris Verhoef},
title = {Cost-driven software migration: An experience report},
journal = {J. Softw. Evol. Process.},
volume = {32},
number = {7},
year = {2020},
url = {https://doi.org/10.1002/smr.2236},
doi = {10.1002/SMR.2236},
timestamp = {Sat, 07 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/smr/SneedV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/SneedV20,
author = {Harry M. Sneed and
Chris Verhoef},
editor = {Stan Jarzabek and
Aneta Poniszewska{-}Maranda and
Lech Madeyski},
title = {From {COBOL} to Business Rules - Extracting Business Rules from Legacy
Code},
booktitle = {Integrating Research and Practice in Software Engineering},
series = {Studies in Computational Intelligence},
volume = {851},
pages = {187--208},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-26574-8\_14},
doi = {10.1007/978-3-030-26574-8\_14},
timestamp = {Fri, 27 Dec 2019 21:10:37 +0100},
biburl = {https://dblp.org/rec/series/sci/SneedV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/SneedV19,
author = {Harry M. Sneed and
Chris Verhoef},
title = {Re-implementing a legacy system},
journal = {J. Syst. Softw.},
volume = {155},
pages = {162--184},
year = {2019},
url = {https://doi.org/10.1016/j.jss.2019.05.012},
doi = {10.1016/J.JSS.2019.05.012},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/SneedV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/DelenPVV19,
author = {Guus P. A. J. Delen and
R. J. Peters and
Chris Verhoef and
S. F. M. van Vlijmen},
title = {Foundations for measuring IT-outsourcing success and failure},
journal = {J. Syst. Softw.},
volume = {156},
pages = {113--125},
year = {2019},
url = {https://doi.org/10.1016/j.jss.2019.06.074},
doi = {10.1016/J.JSS.2019.06.074},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/DelenPVV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swqd/SneedV17,
author = {Harry M. Sneed and
Chris Verhoef},
editor = {Dietmar Winkler and
Stefan Biffl and
Johannes Bergsmann},
title = {Validating Converted Java Code via Symbolic Execution},
booktitle = {Software Quality. Complexity and Challenges of Software Engineering
in Emerging Technologies - 9th International Conference, {SWQD} 2017,
Vienna, Austria, January 17-20, 2017, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {269},
pages = {70--83},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-49421-0\_6},
doi = {10.1007/978-3-319-49421-0\_6},
timestamp = {Fri, 25 Jan 2019 12:00:39 +0100},
biburl = {https://dblp.org/rec/conf/swqd/SneedV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DelenPVV16,
author = {Guus P. A. J. Delen and
R. J. Peters and
Chris Verhoef and
S. F. M. van Vlijmen},
title = {Lessons from Dutch IT-outsourcing success and failure},
journal = {Sci. Comput. Program.},
volume = {130},
pages = {37--68},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.04.001},
doi = {10.1016/J.SCICO.2016.04.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DelenPVV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/SneedV16,
author = {Harry M. Sneed and
Chris Verhoef},
title = {From Software Development to Software Assembly},
journal = {{IEEE} Softw.},
volume = {33},
number = {5},
pages = {80--85},
year = {2016},
url = {https://doi.org/10.1109/MS.2015.78},
doi = {10.1109/MS.2015.78},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/SneedV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KwiatkowskiV15,
author = {Lukasz M. Kwiatkowski and
Chris Verhoef},
title = {Reducing operational costs through {MIPS} management},
journal = {Sci. Comput. Program.},
volume = {98},
pages = {551--588},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.09.001},
doi = {10.1016/J.SCICO.2014.09.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KwiatkowskiV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/EveleensKV15,
author = {J. Laurenz Eveleens and
Peter Kampstra and
Chris Verhoef},
title = {Quantifying fair payment after outsourcing - a case study},
journal = {J. Softw. Evol. Process.},
volume = {27},
number = {3},
pages = {147--165},
year = {2015},
url = {https://doi.org/10.1002/smr.1700},
doi = {10.1002/SMR.1700},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/smr/EveleensKV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/SneedV15,
author = {Harry M. Sneed and
Chris Verhoef},
editor = {Rainer Koschke and
Jens Krinke and
Martin P. Robillard},
title = {Reverse engineering a visual age application},
booktitle = {2015 {IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2015, Bremen, Germany, September 29 - October 1, 2015},
pages = {487--496},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSM.2015.7332500},
doi = {10.1109/ICSM.2015.7332500},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/SneedV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mesoca/SneedV15,
author = {Harry M. Sneed and
Chris Verhoef},
title = {Measuring test coverage of SoA services},
booktitle = {9th {IEEE} International Symposium on the Maintenance and Evolution
of Service-Oriented and Cloud-Based Environments, {MESOCA} 2015, Bremen,
Germany, October 2, 2015},
pages = {59--66},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MESOCA.2015.7328128},
doi = {10.1109/MESOCA.2015.7328128},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mesoca/SneedV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/se/SpekV14,
author = {Pieter van der Spek and
Chris Verhoef},
title = {Balancing Time-to-Market and Quality in Embedded Systems},
journal = {Syst. Eng.},
volume = {17},
number = {2},
pages = {166--192},
year = {2014},
url = {https://doi.org/10.1002/sys.21261},
doi = {10.1002/SYS.21261},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/se/SpekV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KwiatkowskiV13,
author = {Lukasz Kwiatkowski and
Chris Verhoef},
title = {Recovering management information from source code},
journal = {Sci. Comput. Program.},
volume = {78},
number = {9},
pages = {1368--1406},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.07.016},
doi = {10.1016/J.SCICO.2012.07.016},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KwiatkowskiV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GanesanLMBSMKVM13,
author = {Dharmalingam Ganesan and
Mikael Lindvall and
David McComas and
Maureen Bartholomew and
Steve Slegel and
Barbara Medina and
Ren{\'{e}} L. Krikhaar and
Chris Verhoef and
Lisa P. Montgomery},
title = {An analysis of unit tests of a flight software product line},
journal = {Sci. Comput. Program.},
volume = {78},
number = {12},
pages = {2360--2380},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.02.006},
doi = {10.1016/J.SCICO.2012.02.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GanesanLMBSMKVM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mesoca/SneedVS13,
author = {Harry M. Sneed and
Chris Verhoef and
Stephan H. Sneed},
editor = {Anca Daniela Ionita and
Grace A. Lewis and
Marin Litoiu},
title = {Reusing existing object-oriented code as web services in a {SOA}},
booktitle = {7th {IEEE} International Symposium on the Maintenance and Evolution
of Service-Oriented and Cloud-Based Systems, {MESOCA} 2013, Eindhoven,
The Netherlands, September 23, 2013},
pages = {31--39},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/MESOCA.2013.6632732},
doi = {10.1109/MESOCA.2013.6632732},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mesoca/SneedVS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wse/SneedV13,
author = {Harry M. Sneed and
Chris Verhoef},
title = {Natural language requirement specification for web service testing},
booktitle = {15th {IEEE} International Symposium on Web Systems Evolution, {WSE}
2013, Eindhoven, The Netherlands, September 27, 2013},
pages = {5--14},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/WSE.2013.6642410},
doi = {10.1109/WSE.2013.6642410},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wse/SneedV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wse/SneedV13a,
author = {Harry M. Sneed and
Chris Verhoef},
title = {Migrating to service-oriented systems (Why and how to avoid developing
customized software applications from scratch)},
booktitle = {15th {IEEE} International Symposium on Web Systems Evolution, {WSE}
2013, Eindhoven, The Netherlands, September 27, 2013},
pages = {91--96},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/WSE.2013.6642423},
doi = {10.1109/WSE.2013.6642423},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wse/SneedV13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/EveleensPV12,
author = {J. Laurenz Eveleens and
M. van der Pas and
Chris Verhoef},
title = {Quantifying forecast quality of {IT} business value},
journal = {Sci. Comput. Program.},
volume = {77},
number = {3},
pages = {314--354},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2011.07.010},
doi = {10.1016/J.SCICO.2011.07.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/EveleensPV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/EveleensV10,
author = {J. Laurenz Eveleens and
Chris Verhoef},
title = {The Rise and Fall of the Chaos Report Figures},
journal = {{IEEE} Softw.},
volume = {27},
number = {1},
pages = {30--36},
year = {2010},
url = {https://doi.org/10.1109/MS.2009.154},
doi = {10.1109/MS.2009.154},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/EveleensV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KulkPV09,
author = {G. P. Kulk and
R. J. Peters and
Chris Verhoef},
title = {Quantifying {IT} estimation risks},
journal = {Sci. Comput. Program.},
volume = {74},
number = {11-12},
pages = {900--933},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.09.001},
doi = {10.1016/J.SCICO.2009.09.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KulkPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/EveleensV09,
author = {J. Laurenz Eveleens and
Chris Verhoef},
title = {Quantifying {IT} forecast quality},
journal = {Sci. Comput. Program.},
volume = {74},
number = {11-12},
pages = {934--988},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.09.005},
doi = {10.1016/J.SCICO.2009.09.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/EveleensV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/se/KrikhaarMVV09,
author = {Ren{\'{e}} L. Krikhaar and
Wim Mosterman and
Niels P. Veerman and
Chris Verhoef},
title = {Enabling system evolution through configuration management on the
hardware/software boundary},
journal = {Syst. Eng.},
volume = {12},
number = {3},
pages = {233--264},
year = {2009},
url = {https://doi.org/10.1002/sys.20122},
doi = {10.1002/SYS.20122},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/se/KrikhaarMVV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PetersV08,
author = {R. J. Peters and
Chris Verhoef},
title = {Quantifying the yield of risk-bearing IT-portfolios},
journal = {Sci. Comput. Program.},
volume = {71},
number = {1},
pages = {17--56},
year = {2008},
url = {https://doi.org/10.1016/j.scico.2007.11.001},
doi = {10.1016/J.SCICO.2007.11.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PetersV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KulkV08,
author = {G. P. Kulk and
Chris Verhoef},
title = {Quantifying requirements volatility effects},
journal = {Sci. Comput. Program.},
volume = {72},
number = {3},
pages = {136--175},
year = {2008},
url = {https://doi.org/10.1016/j.scico.2008.04.003},
doi = {10.1016/J.SCICO.2008.04.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KulkV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/SmithV08,
author = {Dennis B. Smith and
Chris Verhoef},
title = {{CSMR} 2008 Workshop Introduction},
booktitle = {12th European Conference on Software Maintenance and Reengineering,
{CSMR} 2008, April 1-4, 2008, Athens, Greece},
pages = {335},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CSMR.2008.4493344},
doi = {10.1109/CSMR.2008.4493344},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/SmithV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwpc/2008,
editor = {Ren{\'{e}} L. Krikhaar and
Ralf L{\"{a}}mmel and
Chris Verhoef},
title = {The 16th {IEEE} International Conference on Program Comprehension,
{ICPC} 2008, Amsterdam, The Netherlands, June 10-13, 2008},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://ieeexplore.ieee.org/xpl/conhome/4556099/proceeding},
isbn = {978-0-7695-3176-2},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwpc/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Verhoef07,
author = {Chris Verhoef},
title = {Quantifying the effects of IT-governance rules},
journal = {Sci. Comput. Program.},
volume = {67},
number = {2-3},
pages = {247--277},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2007.01.010},
doi = {10.1016/J.SCICO.2007.01.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Verhoef07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csmr/2007,
editor = {Ren{\'{e}} L. Krikhaar and
Chris Verhoef and
Giuseppe A. Di Lucca},
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},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://ieeexplore.ieee.org/xpl/conhome/4145007/proceeding},
isbn = {0-7695-2802-3},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csmr/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/StoermerROV06,
author = {Christoph Stoermer and
Anthony Rowe and
Liam O'Brien and
Chris Verhoef},
title = {Model-centric software architecture reconstruction},
journal = {Softw. Pract. Exp.},
volume = {36},
number = {4},
pages = {333--363},
year = {2006},
url = {https://doi.org/10.1002/spe.699},
doi = {10.1002/SPE.699},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/StoermerROV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KlusenerLV05,
author = {A. Steven Klusener and
Ralf L{\"{a}}mmel and
Chris Verhoef},
title = {Architectural modifications to deployed software},
journal = {Sci. Comput. Program.},
volume = {54},
number = {2-3},
pages = {143--211},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2004.03.012},
doi = {10.1016/J.SCICO.2004.03.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KlusenerLV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Verhoef05,
author = {Chris Verhoef},
title = {Quantitative aspects of outsourcing deals},
journal = {Sci. Comput. Program.},
volume = {56},
number = {3},
pages = {275--313},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2004.08.003},
doi = {10.1016/J.SCICO.2004.08.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Verhoef05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Verhoef05a,
author = {Chris Verhoef},
title = {Quantifying the value of IT-investments},
journal = {Sci. Comput. Program.},
volume = {56},
number = {3},
pages = {315--342},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2004.08.004},
doi = {10.1016/J.SCICO.2004.08.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Verhoef05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/PfleegerVV05,
author = {Shari Lawrence Pfleeger and
Chris Verhoef and
Johannes C. van Vliet},
title = {Analyzing the Evolution of Large-Scale Software},
journal = {J. Softw. Maintenance Res. Pract.},
volume = {17},
number = {1},
pages = {1--2},
year = {2005},
url = {https://doi.org/10.1002/smr.306},
doi = {10.1002/SMR.306},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/PfleegerVV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/KlintLV05,
author = {Paul Klint and
Ralf L{\"{a}}mmel and
Chris Verhoef},
title = {Toward an engineering discipline for grammarware},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {14},
number = {3},
pages = {331--380},
year = {2005},
url = {https://doi.org/10.1145/1072997.1073000},
doi = {10.1145/1072997.1073000},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/KlintLV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/KlusenerV04,
author = {A. Steven Klusener and
Chris Verhoef},
title = {9210: The Zip Code of Another IT-Soap},
journal = {Softw. Qual. J.},
volume = {12},
number = {4},
pages = {297--309},
year = {2004},
url = {https://doi.org/10.1023/B:SQJO.0000039790.04885.13},
doi = {10.1023/B:SQJO.0000039790.04885.13},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/KlusenerV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/StoermerOV04,
author = {Christoph Stoermer and
Liam O'Brien and
Chris Verhoef},
title = {Architectural Views through Collapsing Strategies},
booktitle = {12th International Workshop on Program Comprehension {(IWPC} 2004),
24-26 June 2004, Bari, Italy},
pages = {100--110},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/WPC.2004.1311052},
doi = {10.1109/WPC.2004.1311052},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/StoermerOV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/FaustV03,
author = {D. Faust and
Chris Verhoef},
title = {Software product line migration and deployment},
journal = {Softw. Pract. Exp.},
volume = {33},
number = {10},
pages = {933--955},
year = {2003},
url = {https://doi.org/10.1002/spe.530},
doi = {10.1002/SPE.530},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/FaustV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/Verhoef03,
author = {Chris Verhoef},
title = {Managing Multi-Billion Dollar {IT} Budgets using Source Code Analysis},
booktitle = {3rd {IEEE} International Workshop on Source Code Analysis and Manipulation
{(SCAM} 2003), 26-27 September 2003, Amsterdam, The Netherlands},
pages = {77},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SCAM.2003.1238033},
doi = {10.1109/SCAM.2003.1238033},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/Verhoef03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/StoermerOV03,
author = {Christoph Stoermer and
Liam O'Brien and
Chris Verhoef},
editor = {Arie van Deursen and
Eleni Stroulia and
Margaret{-}Anne D. Storey},
title = {Moving Towards Quality Attribute Driven Software Architecture Reconstruction},
booktitle = {10th Working Conference on Reverse Engineering, {WCRE} 2003, Victoria,
Canada, November 13-16, 2003},
pages = {46--56},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/WCRE.2003.1287236},
doi = {10.1109/WCRE.2003.1287236},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/StoermerOV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/KlintV02,
author = {Paul Klint and
Chris Verhoef},
title = {Enabling the creation of knowledge about software assets},
journal = {Data Knowl. Eng.},
volume = {41},
number = {2-3},
pages = {141--158},
year = {2002},
url = {https://doi.org/10.1016/S0169-023X(02)00038-1},
doi = {10.1016/S0169-023X(02)00038-1},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/KlintV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Verhoef02,
author = {Chris Verhoef},
title = {Quantitative {IT} portfolio management},
journal = {Sci. Comput. Program.},
volume = {45},
number = {1},
pages = {1--96},
year = {2002},
url = {https://doi.org/10.1016/S0167-6423(02)00106-5},
doi = {10.1016/S0167-6423(02)00106-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Verhoef02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SellinkSV02,
author = {Alex Sellink and
Harry M. Sneed and
Chris Verhoef},
title = {Restructuring of {COBOL/CICS} legacy systems},
journal = {Sci. Comput. Program.},
volume = {45},
number = {2},
pages = {193--243},
year = {2002},
url = {https://doi.org/10.1016/S0167-6423(02)00061-8},
doi = {10.1016/S0167-6423(02)00061-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SellinkSV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/StoermerOV02,
author = {Christoph Stoermer and
Liam O'Brien and
Chris Verhoef},
editor = {Arie van Deursen and
Elizabeth Burd},
title = {Practice Patterns for Architecture Reconstruction},
booktitle = {9th Working Conference on Reverse Engineering {(WCRE} 2002), 28 October
- 1 November 2002, Richmond, VA, {USA}},
pages = {151--160},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/WCRE.2002.1173073},
doi = {10.1109/WCRE.2002.1173073},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/StoermerOV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KortLV02,
author = {Jan Kort and
Ralf L{\"{a}}mmel and
Chris Verhoef},
editor = {Mark van den Brand and
Ralf L{\"{a}}mmel},
title = {The Grammar Deployment Kit - System Demonstration},
booktitle = {Second Workshop on Language Descriptions, Tools and Applications,
{LDTA} 2002, Satellite Event of {ETAPS} 2002, Grenoble, France, April
13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {3},
pages = {117--123},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80430-4},
doi = {10.1016/S1571-0661(04)80430-4},
timestamp = {Mon, 05 Dec 2022 14:41:21 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KortLV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/LammelV01,
author = {Ralf L{\"{a}}mmel and
Chris Verhoef},
title = {Cracking the 500-Language Problem},
journal = {{IEEE} Softw.},
volume = {18},
number = {6},
pages = {78--88},
year = {2001},
url = {https://doi.org/10.1109/52.965809},
doi = {10.1109/52.965809},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/LammelV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/LammelV01,
author = {Ralf L{\"{a}}mmel and
Chris Verhoef},
title = {Semi-automatic grammar recovery},
journal = {Softw. Pract. Exp.},
volume = {31},
number = {15},
pages = {1395--1438},
year = {2001},
url = {https://doi.org/10.1002/spe.423},
doi = {10.1002/SPE.423},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/LammelV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/AcetoFV01,
author = {Luca Aceto and
Wan J. Fokkink and
Chris Verhoef},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Structural Operational Semantics},
booktitle = {Handbook of Process Algebra},
pages = {197--292},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50021-7},
doi = {10.1016/B978-044482830-9/50021-7},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/AcetoFV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/phaunRS01/AcetoFV01,
author = {Luca Aceto and
Wan J. Fokkink and
Chris Verhoef},
editor = {Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Conservative Extension in Structural Operational Semantics},
booktitle = {Current Trends in Theoretical Computer Science, Entering the 21th
Century},
pages = {504--524},
publisher = {World Scientific},
year = {2001},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ws/phaunRS01/AcetoFV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ansoft/Verhoef00,
author = {Chris Verhoef},
title = {Towards automated modification of legacy assets},
journal = {Ann. Softw. Eng.},
volume = {9},
pages = {315--336},
year = {2000},
url = {https://doi.org/10.1023/A:1018941228255},
doi = {10.1023/A:1018941228255},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ansoft/Verhoef00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BaxterQV00,
author = {Ira D. Baxter and
Alex Quilici and
Chris Verhoef},
title = {Preface},
journal = {Sci. Comput. Program.},
volume = {36},
number = {2-3},
pages = {129--130},
year = {2000},
url = {https://doi.org/10.1016/S0167-6423(99)00033-7},
doi = {10.1016/S0167-6423(99)00033-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BaxterQV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BrandSV00,
author = {Mark van den Brand and
M. P. A. Sellink and
Chris Verhoef},
title = {Generation of components for software renovation factories from context-free
grammars},
journal = {Sci. Comput. Program.},
volume = {36},
number = {2-3},
pages = {209--266},
year = {2000},
url = {https://doi.org/10.1016/S0167-6423(99)00037-4},
doi = {10.1016/S0167-6423(99)00037-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BrandSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/TerekhovV00,
author = {Andrey A. Terekhov and
Chris Verhoef},
title = {The Realities of Language Conversions},
journal = {{IEEE} Softw.},
volume = {17},
number = {6},
pages = {111--124},
year = {2000},
url = {https://doi.org/10.1109/52.895180},
doi = {10.1109/52.895180},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/TerekhovV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/SellinkV00,
author = {M. P. A. Sellink and
Chris Verhoef},
title = {Development, Assessment, and Reengineering of Language Descriptions},
booktitle = {4th European Conference on Software Maintenance and Reengineering,
{CSMR} 2000, Zurich, Switzerland, February 29 - March 3, 2000},
pages = {151--160},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/CSMR.2000.827323},
doi = {10.1109/CSMR.2000.827323},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/SellinkV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/SellinkV00a,
author = {M. P. A. Sellink and
Chris Verhoef},
title = {Scaffolding for Software Renovation},
booktitle = {4th European Conference on Software Maintenance and Reengineering,
{CSMR} 2000, Zurich, Switzerland, February 29 - March 3, 2000},
pages = {161--172},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/CSMR.2000.827324},
doi = {10.1109/CSMR.2000.827324},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/SellinkV00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/Verhoef00,
author = {Chris Verhoef},
title = {How to Implement the Future?},
booktitle = {26th {EUROMICRO} 2000 Conference, Informatics: Inventing the Future,
5-7 September 2000, Maastricht, The Netherlands},
pages = {1032},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/EURMIC.2000.874614},
doi = {10.1109/EURMIC.2000.874614},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/Verhoef00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AcetoFV99,
author = {Luca Aceto and
Wan J. Fokkink and
Chris Verhoef},
title = {Conservative Extension in Structural Operational Semantics},
journal = {Bull. {EATCS}},
volume = {69},
pages = {110--132},
year = {1999},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/AcetoFV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/SellinkVS99,
author = {Alex Sellink and
Chris Verhoef and
Harry M. Sneed},
title = {Restructuring of {COBOL/CICS} Legacy Systems},
booktitle = {3rd European Conference on Software Maintenance and Reengineering
{(CSMR} '99), 3-5 March 1999, Amsterdam, The Netherlands},
pages = {72--82},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/CSMR.1999.756684},
doi = {10.1109/CSMR.1999.756684},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/SellinkVS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DeursenKV99,
author = {Arie van Deursen and
Paul Klint and
Chris Verhoef},
editor = {Jean{-}Pierre Finance},
title = {Research Issues in the Renovation of Legacy Systems},
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},
series = {Lecture Notes in Computer Science},
volume = {1577},
pages = {1--21},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-49020-3\_1},
doi = {10.1007/978-3-540-49020-3\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/DeursenKV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/FokkinkV99,
author = {Wan J. Fokkink and
Chris Verhoef},
editor = {Jean{-}Pierre Finance},
title = {Conservative Extension in Positive/Negative Conditional Term Rewriting
with Applications to Software Renovation Factories},
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},
series = {Lecture Notes in Computer Science},
volume = {1577},
pages = {98--113},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-49020-3\_7},
doi = {10.1007/978-3-540-49020-3\_7},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/FokkinkV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/SellinkV99,
author = {M. P. A. Sellink and
Chris Verhoef},
title = {Generation of Software Renovation Factories from Compilers},
booktitle = {1999 International Conference on Software Maintenance, {ICSM} 1999,
Oxford, England, UK, August 30 - September 3, 1999},
pages = {245--255},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICSM.1999.792622},
doi = {10.1109/ICSM.1999.792622},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/SellinkV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/KrikhaarPSSV99,
author = {Ren{\'{e}} L. Krikhaar and
Andr{\'{e}} Postma and
M. P. A. Sellink and
M. Stroucken and
Chris Verhoef},
title = {A Two-Phase Process for Software Architecture Improvement},
booktitle = {1999 International Conference on Software Maintenance, {ICSM} 1999,
Oxford, England, UK, August 30 - September 3, 1999},
pages = {371--380},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICSM.1999.792635},
doi = {10.1109/ICSM.1999.792635},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/KrikhaarPSSV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/SellinkV99,
author = {M. P. A. Sellink and
Chris Verhoef},
title = {An Architecture for Automated Software Maintenance},
booktitle = {7th International Workshop on Program Comprehension {(IWPC} '99),
May 5-7, 1999 - Pittsburgh, PA, {USA}},
pages = {38--48},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/WPC.1999.777742},
doi = {10.1109/WPC.1999.777742},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/SellinkV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FokkinkV98,
author = {Wan J. Fokkink and
Chris Verhoef},
title = {A Conservative Look at Operational Semantics with Variable Binding},
journal = {Inf. Comput.},
volume = {146},
number = {1},
pages = {24--54},
year = {1998},
url = {https://doi.org/10.1006/inco.1998.2729},
doi = {10.1006/INCO.1998.2729},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FokkinkV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/BrandSV98,
author = {Mark van den Brand and
Alex Sellink and
Chris Verhoef},
title = {Control Flow Normalization for {COBOL/CICS} Legacy System},
booktitle = {2nd Euromicro Conference on Software Maintenance and Reengineering
{(CSMR} '98), 8-11 March 1998, Florence, Italy},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/CSMR.1998.665727},
doi = {10.1109/CSMR.1998.665727},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/BrandSV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2-4/KlintV98,
author = {Paul Klint and
Chris Verhoef},
editor = {R. Nigel Horspool},
title = {Evolutionary software engineering: a component-based approach},
booktitle = {Systems Implementation 2000, {IFIP} {TC2} {WG2.4} Working Conference
on Systems Implementation 2000: Languages, methods and tools, 23-26
February 1998, Berlin, Germany},
series = {{IFIP} Conference Proceedings},
volume = {117},
pages = {1--18},
publisher = {Chapman {\&} Hall},
year = {1998},
timestamp = {Tue, 19 Jun 2018 07:59:20 +0200},
biburl = {https://dblp.org/rec/conf/ifip2-4/KlintV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/BrandSV98,
author = {Mark van den Brand and
M. P. A. Sellink and
Chris Verhoef},
title = {Current Parsing Techniques in Software Renovation Considered Harmful},
booktitle = {6th International Workshop on Program Comprehension {(IWPC} '98),
June 24-26, 1998, Ischia, Italy},
pages = {108--117},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/WPC.1998.693325},
doi = {10.1109/WPC.1998.693325},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/BrandSV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SellinkV98,
author = {M. P. A. Sellink and
Chris Verhoef},
title = {Development, Assessment, and Reengineering of Language Descriptions},
booktitle = {The Thirteenth {IEEE} Conference on Automated Software Engineering,
{ASE} 1998, Honolulu, Hawaii, USA, October 13-16, 1998},
pages = {314--317},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ASE.1998.732688},
doi = {10.1109/ASE.1998.732688},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SellinkV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/SellinkV98,
author = {M. P. A. Sellink and
Chris Verhoef},
title = {Native Patterns},
booktitle = {5th Working Conference on Reverse Engineering, {WCRE} '98, Honolulu,
Hawai, USA, October 12-14, 1998},
pages = {89--103},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/WCRE.1998.723179},
doi = {10.1109/WCRE.1998.723179},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/SellinkV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrandKV98,
author = {Mark van den Brand and
Paul Klint and
Chris Verhoef},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Term rewriting for sale},
booktitle = {1998 International Workshop on Rewriting Logic and its Applications,
{WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
France, September 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {15},
pages = {218--241},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80014-3},
doi = {10.1016/S1571-0661(05)80014-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrandKV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BrandKV97,
author = {Mark van den Brand and
Paul Klint and
Chris Verhoef},
title = {Re-engineering Needs Generic Programming Language Technology},
journal = {{ACM} {SIGPLAN} Notices},
volume = {32},
number = {2},
pages = {54--61},
year = {1997},
url = {https://doi.org/10.1145/251621.251633},
doi = {10.1145/251621.251633},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/BrandKV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BrandKV97,
author = {M. G. J. van den Brand and
Paul Klint and
Chris Verhoef},
title = {Reverse engineering and system renovation - an annotated bibliography},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {22},
number = {1},
pages = {57--68},
year = {1997},
url = {https://doi.org/10.1145/251759.251849},
doi = {10.1145/251759.251849},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/BrandKV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PonseVV97,
author = {Alban Ponse and
Chris Verhoef and
Bas van Vlijmen},
title = {Algebra of Communicating Processes - Preface to the Special Issue},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {2},
pages = {285--286},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00249-6},
doi = {10.1016/S0304-3975(96)00249-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PonseVV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DArgenioV97,
author = {Pedro R. D'Argenio and
Chris Verhoef},
title = {A General Conservative Extension Theorem in Process Algebras with
Inequalities},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {2},
pages = {351--380},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00292-7},
doi = {10.1016/S0304-3975(96)00292-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DArgenioV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/BrandSV97,
author = {Mark van den Brand and
M. P. A. Sellink and
Chris Verhoef},
editor = {Ira D. Baxter and
Alex Quilici and
Chris Verhoef},
title = {Generation of Components for Software Renovation Factories from Context-Free
Grammars},
booktitle = {4th Working Conference on Reverse Engineering, {WCRE} '97, Amsterdam,
The Netherlands, October 6-8, 1997},
pages = {144},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/WCRE.1997.624585},
doi = {10.1109/WCRE.1997.624585},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/BrandSV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcre/1997,
editor = {Ira D. Baxter and
Alex Quilici and
Chris Verhoef},
title = {4th Working Conference on Reverse Engineering, {WCRE} '97, Amsterdam,
The Netherlands, October 6-8, 1997},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://ieeexplore.ieee.org/xpl/conhome/4931/proceeding},
isbn = {0-8186-8162-4},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcre/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BrandKV96,
author = {Mark van den Brand and
Paul Klint and
Chris Verhoef},
editor = {Keith G. Jeffery and
Jaroslav Kr{\'{a}}l and
Miroslav Bartosek},
title = {Core Technologies for System Renovation},
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},
series = {Lecture Notes in Computer Science},
volume = {1175},
pages = {235--254},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0037407},
doi = {10.1007/BFB0037407},
timestamp = {Mon, 16 Sep 2019 15:23:32 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BrandKV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Verhoef95,
author = {Chris Verhoef},
title = {A Congruence Theorem for Structured Operational Semantics with Predicates
and Negative Premises},
journal = {Nord. J. Comput.},
volume = {2},
number = {2},
pages = {274--302},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Verhoef95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Verhoef94,
author = {Chris Verhoef},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {A Congruence Theorem for Structured Operational Semantics with Predicates
and Negative Premises},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {433--448},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_32},
doi = {10.1007/978-3-540-48654-1\_32},
timestamp = {Tue, 31 Aug 2021 12:07:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/Verhoef94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Verhoef94,
author = {Chris Verhoef},
editor = {Ernst{-}R{\"{u}}diger Olderog},
title = {A General Conservative Extension Theorem in Process Algebra},
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},
series = {{IFIP} Transactions},
volume = {{A-56}},
pages = {149--168},
publisher = {North-Holland},
year = {1994},
timestamp = {Thu, 18 Jan 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/procomet/Verhoef94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenV93,
author = {Jos C. M. Baeten and
Chris Verhoef},
editor = {Eike Best},
title = {A Congruence Theorem for Structured Operational Semantics with Predicates},
booktitle = {{CONCUR} '93, 4th International Conference on Concurrency Theory,
Hildesheim, Germany, August 23-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {715},
pages = {477--492},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57208-2\_33},
doi = {10.1007/3-540-57208-2\_33},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaetenV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-02 21:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
