@article{BlomGMS05, title = {Analysing the BKE-security Protocol with ::::µ::::CRL}, author = {Stefan Blom and Jan Friso Groote and Sjouke Mauw and Alexander Serebrenik}, year = {2005}, doi = {10.1016/j.entcs.2005.09.005}, url = {http://dx.doi.org/10.1016/j.entcs.2005.09.005}, tags = {protocol, security}, researchr = {https://researchr.org/publication/BlomGMS05}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {139}, number = {1}, pages = {49-90}, } @inproceedings{HeeSSVW05, title = {The Price of Coordination in Resource Management}, author = {Kees M. van Hee and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve and Jan van der Wal}, year = {2005}, doi = {10.1007/11538394_7}, url = {http://dx.doi.org/10.1007/11538394_7}, researchr = {https://researchr.org/publication/HeeSSVW05}, cites = {0}, citedby = {0}, pages = {96-108}, booktitle = {Business Process Management, 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings}, editor = {Wil M. P. van der Aalst and Boualem Benatallah and Fabio Casati and Francisco Curbera}, volume = {3649}, isbn = {3-540-28238-6}, } @inproceedings{MendesVHS16, title = {Identifying Utility Functions Using Random Forests}, author = {Tamara Mendes and Marco Tulio Valente and André C. Hora and Alexander Serebrenik}, year = {2016}, doi = {10.1109/SANER.2016.58}, url = {http://doi.ieeecomputersociety.org/10.1109/SANER.2016.58}, researchr = {https://researchr.org/publication/MendesVHS16}, cites = {0}, citedby = {0}, pages = {614-618}, booktitle = {IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016, Suita, Osaka, Japan, March 14-18, 2016}, publisher = {IEEE}, isbn = {978-1-5090-1855-0}, } @article{CarverS17, title = {ICSE Highlights}, author = {Jeffrey C. Carver and Alexander Serebrenik}, year = {2017}, doi = {10.1109/MS.2017.4121213}, url = {http://doi.ieeecomputersociety.org/10.1109/MS.2017.4121213}, researchr = {https://researchr.org/publication/CarverS17}, cites = {0}, citedby = {0}, journal = {IEEE Software}, volume = {34}, number = {6}, pages = {18-20}, } @inproceedings{BrandRS09, title = {SQuAVisiT: A Flexible Tool for Visual Software Analytics}, author = {Mark G. J. van den Brand and Serguei A. Roubtsov and Alexander Serebrenik}, year = {2009}, doi = {10.1109/CSMR.2009.19}, url = {http://dx.doi.org/10.1109/CSMR.2009.19}, researchr = {https://researchr.org/publication/BrandRS09}, cites = {0}, citedby = {0}, pages = {331-332}, booktitle = {13th European Conference on Software Maintenance and Reengineering, CSMR 2009, Architecture-Centric Maintenance of Large-SCale Software Systems, Kaiserslautern, Germany, 24-27 March 2009}, editor = {Andreas Winter and Rudolf Ferenc and Jens Knodel}, publisher = {IEEE}, } @inproceedings{NotenMS17, title = {A data set of OCL expressions on GitHub}, author = {Jeroen Noten and Josh Mengerink and Alexander Serebrenik}, year = {2017}, url = {http://dl.acm.org/citation.cfm?id=3104264}, researchr = {https://researchr.org/publication/NotenMS17}, cites = {0}, citedby = {0}, pages = {531-534}, booktitle = {Proceedings of the 14th International Conference on Mining Software Repositories, MSR 2017, Buenos Aires, Argentina, May 20-28, 2017}, editor = {Jesús M. Gonzalez-Barahona and Abram Hindle and Lin Tan}, publisher = {ACM}, isbn = {978-1-5386-1544-7}, } @inproceedings{VasilescuPRBSDF15, title = {Gender and Tenure Diversity in GitHub Teams}, author = {Bogdan Vasilescu and Daryl Posnett and Baishakhi Ray and Mark G. J. van den Brand and Alexander Serebrenik and Premkumar T. Devanbu and Vladimir Filkov}, year = {2015}, doi = {10.1145/2702123.2702549}, url = {http://doi.acm.org/10.1145/2702123.2702549}, researchr = {https://researchr.org/publication/VasilescuPRBSDF15}, cites = {0}, citedby = {0}, pages = {3789-3798}, booktitle = {Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, CHI 2015, Seoul, Republic of Korea, April 18-23, 2015}, editor = {Bo Begole and Jinwoo Kim and Kori Inkpen and Woontack Woo}, publisher = {ACM}, isbn = {978-1-4503-3145-6}, } @inproceedings{RaedtsPSWSB07, title = {A software framework for automated verification}, author = {Ivo Raedts and Marija Petkovic and Alexander Serebrenik and Jan Martijn E. M. van der Werf and Lou J. Somers and Maarten Boote}, year = {2007}, doi = {10.1145/1244002.1244225}, url = {http://doi.acm.org/10.1145/1244002.1244225}, researchr = {https://researchr.org/publication/RaedtsPSWSB07}, cites = {0}, citedby = {0}, pages = {1031-1032}, booktitle = {Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007}, editor = {Yookun Cho and Roger L. Wainwright and Hisham Haddad and Sung Y. Shin and Yong Wan Koo}, publisher = {ACM}, isbn = {1-59593-480-4}, } @inproceedings{CohenNS00, title = {Algorithms for Rewriting Aggregate Queries Using Views}, author = {Sara Cohen and Werner Nutt and Alexander Serebrenik}, year = {2000}, url = {http://link.springer.de/link/service/series/0558/bibs/1884/18840065.htm}, tags = {graph query, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/CohenNS00}, cites = {0}, citedby = {0}, pages = {65-78}, booktitle = {Current Issues in Databases and Information Systems, East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications, ADBIS-DASFAA 2000, Prague, Czech Repub}, editor = {Julius Stuller and Jaroslav Pokorný and Bernhard Thalheim and Yoshifumi Masunaga}, volume = {1884}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-67977-4}, } @article{SerebrenikBV12, title = {Seeing the Forest for the Trees with New Econometric Aggregation Techniques}, author = {Alexander Serebrenik and Mark van den Brand and Bogdan Vasilescu}, year = {2012}, url = {http://ercim-news.ercim.eu/en88/special/seeing-the-forest-for-the-trees-with-new-econometric-aggregation-techniques}, researchr = {https://researchr.org/publication/SerebrenikBV12}, cites = {0}, citedby = {0}, journal = {ERCIM News}, volume = {2012}, number = {88}, } @inproceedings{MaldonadoASS17, title = {An Empirical Study on the Removal of Self-Admitted Technical Debt}, author = {Everton da S. Maldonado and Rabe Abdalkareem and Emad Shihab and Alexander Serebrenik}, year = {2017}, doi = {10.1109/ICSME.2017.8}, url = {http://doi.ieeecomputersociety.org/10.1109/ICSME.2017.8}, researchr = {https://researchr.org/publication/MaldonadoASS17}, cites = {0}, citedby = {0}, pages = {238-248}, booktitle = {2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017, Shanghai, China, September 17-22, 2017}, publisher = {IEEE Computer Society}, isbn = {978-1-5386-0992-7}, } @inproceedings{BrandMS09, title = {Type Checking Evolving Languages with MSOS}, author = {Mark G. J. van den Brand and A. P. van der Meer and Alexander Serebrenik}, year = {2009}, doi = {10.1007/978-3-642-04164-8_11}, url = {http://dx.doi.org/10.1007/978-3-642-04164-8_11}, tags = {type checking}, researchr = {https://researchr.org/publication/BrandMS09}, cites = {0}, citedby = {0}, pages = {207-226}, booktitle = {Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday}, editor = {Jens Palsberg}, volume = {5700}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-04163-1}, } @article{GerpheideSS16, title = {Assessing and improving quality of QVTo model transformations}, author = {Christine M. Gerpheide and Ramon R. H. Schiffelers and Alexander Serebrenik}, year = {2016}, doi = {10.1007/s11219-015-9280-8}, url = {http://dx.doi.org/10.1007/s11219-015-9280-8}, researchr = {https://researchr.org/publication/GerpheideSS16}, cites = {0}, citedby = {0}, journal = {Software Quality Journal}, volume = {24}, number = {3}, pages = {797-834}, } @article{VasilescuSB12, title = {How to aggregate software metrics?}, author = {Bogdan Vasilescu and Alexander Serebrenik and Mark G. J. van den Brand}, year = {2012}, url = {http://tinytocs.org/vol1/papers/tinytocs-v1-vasilescu.pdf}, researchr = {https://researchr.org/publication/VasilescuSB12}, cites = {0}, citedby = {0}, journal = {TinyToCS}, volume = {1}, } @inproceedings{MuskeS16, title = {Survey of Approaches for Handling Static Analysis Alarms}, author = {Tukaram Muske and Alexander Serebrenik}, year = {2016}, doi = {10.1109/SCAM.2016.25}, url = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2016.25}, researchr = {https://researchr.org/publication/MuskeS16}, cites = {0}, citedby = {0}, pages = {157-166}, booktitle = {16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016, Raleigh, NC, USA, October 2-3, 2016}, publisher = {IEEE Computer Society}, isbn = {978-1-5090-3848-0}, } @article{CarverPSY17, title = {The Human Factor}, author = {Jeffrey C. Carver and Birgit Penzenstadler and Alexander Serebrenik and Aiko Yamashita}, year = {2017}, doi = {10.1109/MS.2017.3571580}, url = {http://doi.ieeecomputersociety.org/10.1109/MS.2017.3571580}, researchr = {https://researchr.org/publication/CarverPSY17}, cites = {0}, citedby = {0}, journal = {IEEE Software}, volume = {34}, number = {5}, pages = {90-92}, } @inproceedings{WerfDHS08, title = {Process Discovery Using Integer Linear Programming}, author = {Jan Martijn E. M. van der Werf and Boudewijn F. van Dongen and Cor A. J. Hurkens and Alexander Serebrenik}, year = {2008}, doi = {10.1007/978-3-540-68746-7_24}, url = {http://dx.doi.org/10.1007/978-3-540-68746-7_24}, tags = {discovery, programming}, researchr = {https://researchr.org/publication/WerfDHS08}, cites = {0}, citedby = {0}, pages = {368-387}, booktitle = {Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi an, China, June 23-27, 2008. Proceedings}, editor = {Kees M. van Hee and Rüdiger Valk}, volume = {5062}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-68745-0}, } @inproceedings{RoubtsovSMB11, title = {I2SD: Reverse Engineering Sequence Diagrams from Enterprise Java Beans with Interceptors}, author = {Serguei A. Roubtsov and Alexander Serebrenik and Aurélien Mazoyer and Mark van den Brand}, year = {2011}, doi = {10.1109/SCAM.2011.5}, url = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2011.5}, researchr = {https://researchr.org/publication/RoubtsovSMB11}, cites = {0}, citedby = {0}, pages = {155-164}, booktitle = {11th IEEE Working Conference on Source Code Analysis and Manipulation, SCAM 2011, Williamsburg, VA, USA, September 25-26, 2011}, publisher = {IEEE}, isbn = {978-1-4577-0932-6}, } @inproceedings{ZhaoSZFV17, title = {The impact of continuous integration on other software development practices: a large-scale empirical study}, author = {Yangyang Zhao and Alexander Serebrenik and Yuming Zhou and Vladimir Filkov and Bogdan Vasilescu}, year = {2017}, url = {http://dl.acm.org/citation.cfm?id=3155575}, researchr = {https://researchr.org/publication/ZhaoSZFV17}, cites = {0}, citedby = {0}, pages = {60-71}, booktitle = {Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017}, editor = {Grigore Rosu and Massimiliano Di Penta and Tien N. Nguyen}, publisher = {ACM}, isbn = {978-1-5386-2684-9}, } @inproceedings{SchoenmakersBNVS13, title = {Assessing the complexity of upgrading software modules}, author = {Bram Schoenmakers and Niels van den Broek and Istvan Nagy and Bogdan Vasilescu and Alexander Serebrenik}, year = {2013}, doi = {10.1109/WCRE.2013.6671319}, url = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2013.6671319}, researchr = {https://researchr.org/publication/SchoenmakersBNVS13}, cites = {0}, citedby = {0}, pages = {433-440}, booktitle = {20th Working Conference on Reverse Engineering, WCRE 2013, Koblenz, Germany, October 14-17, 2013}, editor = {Ralf Lämmel and Rocco Oliveto and Romain Robbes}, publisher = {IEEE}, } @inproceedings{Serebrenik17, title = {Emotional Labor of Software Engineers}, author = {Alexander Serebrenik}, year = {2017}, url = {http://ceur-ws.org/Vol-2047/BENEVOL_2017_paper_1.pdf}, researchr = {https://researchr.org/publication/Serebrenik17}, cites = {0}, citedby = {0}, pages = {1-6}, booktitle = {Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium, Antwerp, Belgium, December 4-5, 2017}, editor = {Serge Demeyer and Ali Parsai and Gulsher Laghari and Brent van Bladel}, volume = {2047}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, } @article{CapiluppiSS13, title = {Assessing Technical Candidates on the Social Web}, author = {Andrea Capiluppi and Alexander Serebrenik and Leif Singer}, year = {2013}, doi = {10.1109/MS.2012.169}, url = {http://doi.ieeecomputersociety.org/10.1109/MS.2012.169}, researchr = {https://researchr.org/publication/CapiluppiSS13}, cites = {0}, citedby = {0}, journal = {IEEE Software}, volume = {30}, number = {1}, pages = {45-51}, } @inproceedings{BusingeSB13, title = {Analyzing the Eclipse API Usage: Putting the Developer in the Loop}, author = {John Businge and Alexander Serebrenik and Mark van den Brand}, year = {2013}, doi = {10.1109/CSMR.2013.14}, url = {http://doi.ieeecomputersociety.org/10.1109/CSMR.2013.14}, researchr = {https://researchr.org/publication/BusingeSB13}, cites = {0}, citedby = {0}, pages = {37-46}, booktitle = {17th European Conference on Software Maintenance and Reengineering, CSMR 2013, Genova, Italy, March 5-8, 2013}, editor = {Anthony Cleve and Filippo Ricca and Maura Cerioli}, publisher = {IEEE Computer Society}, isbn = {978-1-4673-5833-0}, } @inproceedings{VasilescuFS13, title = {StackOverflow and GitHub: Associations between Software Development and Crowdsourced Knowledge}, author = {Bogdan Vasilescu and Vladimir Filkov and Alexander Serebrenik}, year = {2013}, doi = {10.1109/SocialCom.2013.35}, url = {http://doi.ieeecomputersociety.org/10.1109/SocialCom.2013.35}, researchr = {https://researchr.org/publication/VasilescuFS13}, cites = {0}, citedby = {0}, pages = {188-195}, booktitle = {International Conference on Social Computing, SocialCom 2013, SocialCom/PASSAT/BigData/EconCom/BioMedCom 2013, Washington, DC, USA, 8-14 September, 2013}, publisher = {IEEE}, } @article{VasilescuCS14, title = {Gender, Representation and Online Participation: A Quantitative Study}, author = {Bogdan Vasilescu and Andrea Capiluppi and Alexander Serebrenik}, year = {2014}, doi = {10.1093/iwc/iwt047}, url = {http://dx.doi.org/10.1093/iwc/iwt047}, researchr = {https://researchr.org/publication/VasilescuCS14}, cites = {0}, citedby = {0}, journal = {Interacting with Computers}, volume = {26}, number = {5}, pages = {488-511}, } @inproceedings{Wesel0RS17, title = {Reviewing Career Paths of the OpenStack Developers}, author = {Perry van Wesel and Bin Lin 0008 and Gregorio Robles and Alexander Serebrenik}, year = {2017}, doi = {10.1109/ICSME.2017.25}, url = {http://doi.ieeecomputersociety.org/10.1109/ICSME.2017.25}, researchr = {https://researchr.org/publication/Wesel0RS17}, cites = {0}, citedby = {0}, pages = {544-548}, booktitle = {2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017, Shanghai, China, September 17-22, 2017}, publisher = {IEEE Computer Society}, isbn = {978-1-5386-0992-7}, } @inproceedings{SerebrenikS03:0, title = {Hasta-La-Vista: Termination Analyser for Logic Programs}, author = {Alexander Serebrenik and Danny De Schreye}, year = {2003}, tags = {termination, logic programming, logic}, researchr = {https://researchr.org/publication/SerebrenikS03%3A0}, cites = {0}, citedby = {0}, pages = {60-74}, booktitle = {Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003}, editor = {Frédéric Mesnard and Alexander Serebrenik}, volume = {CW371}, series = {Report}, publisher = {Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium)}, } @inproceedings{MengerinkSBS16, title = {Udapt: edapt extensions for industrial application}, author = {Josh Mengerink and Alexander Serebrenik and Mark van den Brand and Ramon R. H. Schiffelers}, year = {2016}, url = {http://dl.acm.org/citation.cfm?id=2998409}, researchr = {https://researchr.org/publication/MengerinkSBS16}, cites = {0}, citedby = {0}, pages = {21-22}, booktitle = {Proceedings of the 1st Industry Track on Software Language Engineering, ITSLE@SLASH 2016, Amsterdam, Netherlands, October 31, 2016}, editor = {Yanja Dajsuren and Peter Kourzanov}, publisher = {ACM}, isbn = {978-1-4503-4646-7}, } @inproceedings{SerebrenikS01a, title = {Inference of Termination Conditions for Numerical Loops in Prolog}, author = {Alexander Serebrenik and Danny De Schreye}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/2250/22500654.htm}, tags = {Prolog, termination}, researchr = {https://researchr.org/publication/SerebrenikS01a}, cites = {0}, citedby = {0}, pages = {654-668}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings}, editor = {Robert Nieuwenhuis and Andrei Voronkov}, volume = {2250}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-42957-3}, } @inproceedings{LinZSS16, title = {Why Developers Are Slacking Off: Understanding How Software Teams Use Slack}, author = {Bin Lin and Alexey Zagalsky and Margaret-Anne D. Storey and Alexander Serebrenik}, year = {2016}, doi = {10.1145/2818052.2869117}, url = {http://doi.acm.org/10.1145/2818052.2869117}, researchr = {https://researchr.org/publication/LinZSS16}, cites = {0}, citedby = {0}, pages = {333-336}, booktitle = {Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing, CSCW 2015, San Francisco, CA, USA, February 27 - March 2, 2016, Companion Volume}, editor = {Darren Gergle and Meredith Ringel Morris and Pernille Bjørn and Joseph A. Konstan}, publisher = {ACM}, isbn = {978-1-4503-3950-6}, } @inproceedings{SerebrenikRRB99a, title = {Reverse Engineering Sequence Diagrams for Enterprise JavaBeans with Business Method Interceptors}, author = {Alexander Serebrenik and Serguei A. Roubtsov and Ella E. Roubtsova and Mark G. J. van den Brand}, year = {2009}, doi = {10.1109/WCRE.2009.27}, url = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2009.27}, tags = {reverse engineering, sequence diagrams}, researchr = {https://researchr.org/publication/SerebrenikRRB99a}, cites = {0}, citedby = {0}, pages = {269-273}, booktitle = {16th Working Conference on Reverse Engineering, WCRE 2009, 13-16 October 2009, Lille, France}, editor = {Andy Zaidman and Giuliano Antoniol and stéphane-ducasse}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-3867-9}, } @article{VasilescuSGM14, title = {On the variation and specialisation of workload - A case study of the Gnome ecosystem community}, author = {Bogdan Vasilescu and Alexander Serebrenik and Mathieu Goeminne and Tom Mens}, year = {2014}, doi = {10.1007/s10664-013-9244-1}, url = {http://dx.doi.org/10.1007/s10664-013-9244-1}, researchr = {https://researchr.org/publication/VasilescuSGM14}, cites = {0}, citedby = {0}, journal = {Empirical Software Engineering}, volume = {19}, number = {4}, pages = {955-1008}, } @article{SerebrenikS05:0, title = {Termination of Floating-Point Computations}, author = {Alexander Serebrenik and Danny De Schreye}, year = {2005}, doi = {10.1007/s10817-005-6546-z}, url = {http://dx.doi.org/10.1007/s10817-005-6546-z}, tags = {termination}, researchr = {https://researchr.org/publication/SerebrenikS05%3A0}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {34}, number = {2}, pages = {141-177}, } @incollection{MensCGS14, title = {Studying Evolving Software Ecosystems based on Ecological Models}, author = {Tom Mens and Maëlick Claes and Philippe Grosjean and Alexander Serebrenik}, year = {2014}, doi = {10.1007/978-3-642-45398-4_10}, url = {http://dx.doi.org/10.1007/978-3-642-45398-4_10}, researchr = {https://researchr.org/publication/MensCGS14}, cites = {0}, citedby = {0}, pages = {297-326}, booktitle = {Evolving Software Systems}, editor = {Tom Mens and Alexander Serebrenik and Anthony Cleve}, publisher = {Springer}, isbn = {978-3-642-45397-7}, } @inproceedings{LandmanSV14, title = {Empirical Analysis of the Relationship between CC and SLOC in a Large Corpus of Java Methods}, author = {Davy Landman and Alexander Serebrenik and Jurgen J. Vinju}, year = {2014}, doi = {10.1109/ICSME.2014.44}, url = {http://dx.doi.org/10.1109/ICSME.2014.44}, researchr = {https://researchr.org/publication/LandmanSV14}, cites = {0}, citedby = {0}, pages = {221-230}, booktitle = {30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29 - October 3, 2014}, publisher = {IEEE}, isbn = {978-0-7695-5303-0}, } @inproceedings{FalessiSS17, title = {STRESS: A Semi-Automated, Fully Replicable Approach for Project Selection}, author = {Davide Falessi and Wyatt Smith and Alexander Serebrenik}, year = {2017}, doi = {10.1109/ESEM.2017.22}, url = {https://doi.org/10.1109/ESEM.2017.22}, researchr = {https://researchr.org/publication/FalessiSS17}, cites = {0}, citedby = {0}, pages = {151-156}, booktitle = {2017 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2017, Toronto, ON, Canada, November 9-10, 2017}, publisher = {IEEE}, isbn = {978-1-5090-4039-1}, } @inproceedings{HeeLOSSV06, title = {Nested Nets for Adaptive Systems}, author = {Kees M. van Hee and Irina A. Lomazova and Olivia Oanea and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve}, year = {2006}, doi = {10.1007/11767589_14}, url = {http://dx.doi.org/10.1007/11767589_14}, researchr = {https://researchr.org/publication/HeeLOSSV06}, cites = {0}, citedby = {0}, pages = {241-260}, booktitle = {Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings}, editor = {Susanna Donatelli and P. S. Thiagarajan}, volume = {4024}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-34699-6}, } @inproceedings{SchreyeS02, title = {Acceptability with General Orderings}, author = {Danny De Schreye and Alexander Serebrenik}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2407/24070187.htm}, researchr = {https://researchr.org/publication/SchreyeS02}, cites = {0}, citedby = {0}, pages = {187-210}, booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I}, editor = {Antonis C. Kakas and Fariba Sadri}, volume = {2407}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-43959-5}, } @article{SerebrenikSD08, title = {Improving Prolog programs: Refactoring for Prolog}, author = {Alexander Serebrenik and Tom Schrijvers and Bart Demoen}, year = {2008}, doi = {10.1017/S1471068407003134}, url = {http://dx.doi.org/10.1017/S1471068407003134}, tags = {Prolog, refactoring}, researchr = {https://researchr.org/publication/SerebrenikSD08}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {8}, number = {2}, pages = {201-215}, } @inproceedings{SerebrenikMDK10, title = {Requirements Certification for Offshoring Using LSPCM}, author = {Alexander Serebrenik and Amrita Mishra and Thomas Delissen and Martijn Klabbers}, year = {2010}, doi = {10.1109/QUATIC.2010.30}, url = {http://dx.doi.org/10.1109/QUATIC.2010.30}, tags = {certification}, researchr = {https://researchr.org/publication/SerebrenikMDK10}, cites = {0}, citedby = {0}, pages = {177-182}, booktitle = {Quality of Information and Communications Technology, 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010, Porto, Portugal, 29 September - 2 October, 2010, Proceedings}, editor = {Fernando Brito e Abreu and João Pascoal Faria and Ricardo Jorge Machado}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-4241-6}, } @inproceedings{SerebrenikS02, title = {On Termination of Logic Programs with Floating Point Computations}, author = {Alexander Serebrenik and Danny De Schreye}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2477/24770151.htm}, tags = {termination, logic programming, logic}, researchr = {https://researchr.org/publication/SerebrenikS02}, cites = {0}, citedby = {0}, pages = {151-164}, booktitle = {Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings}, editor = {Manuel V. Hermenegildo and Germán Puebla}, volume = {2477}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-44235-9}, } @inproceedings{MengerinkSSB17, title = {Automated analyses of model-driven artifacts: obtaining insights into industrial application of MDE}, author = {Josh Mengerink and Alexander Serebrenik and Ramon R. H. Schiffelers and Mark G. J. van den Brand}, year = {2017}, doi = {10.1145/3143434.3143442}, url = {http://doi.acm.org/10.1145/3143434.3143442}, researchr = {https://researchr.org/publication/MengerinkSSB17}, cites = {0}, citedby = {0}, pages = {116-121}, booktitle = {Proceedings of the 27th International Workshop on Software Measurement and 12th International Conference on Software Process and Product Measurement, IWSM-Mensura 2017, Gothenburg, Sweden, October 25 - 27, 2017}, editor = {Miroslaw Staron and Wilhelm Meding}, publisher = {ACM}, isbn = {978-1-4503-4853-9}, } @article{MassutheSSW08, title = {Can I find a partner? Undecidability of partner existence for open nets}, author = {Peter Massuthe and Alexander Serebrenik and Natalia Sidorova and Karsten Wolf}, year = {2008}, doi = {10.1016/j.ipl.2008.07.006}, url = {http://dx.doi.org/10.1016/j.ipl.2008.07.006}, tags = {source-to-source, open-source}, researchr = {https://researchr.org/publication/MassutheSSW08}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {108}, number = {6}, pages = {374-378}, } @inproceedings{CohenKKNSS99, title = {EquiX Easy Querying in XML Databases}, author = {Sara Cohen and Yaron Kanza and Yakov A. Kogan and Werner Nutt and Yehoshua Sagiv and Alexander Serebrenik}, year = {1999}, url = {http://www-rocq.inria.fr/~cluet/WEBDB/serebrenik.ps}, tags = {XML, XML Schema}, researchr = {https://researchr.org/publication/CohenKKNSS99}, cites = {0}, citedby = {0}, pages = {43-48}, booktitle = {WebDB (Informal Proceedings)}, } @article{LandmanSBV17, title = {Corrigendum: Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions published on 9 December 2015}, author = {Davy Landman and Alexander Serebrenik and Eric Bouwers and Jurgen J. Vinju}, year = {2017}, doi = {10.1002/smr.1914}, url = {https://doi.org/10.1002/smr.1914}, researchr = {https://researchr.org/publication/LandmanSBV17}, cites = {0}, citedby = {0}, journal = {Journal of Software Maintenance}, volume = {29}, number = {10}, } @inproceedings{VissersMSSR16, title = {Maintenance of specification models in industry using Edapt}, author = {Y. Vissers and J. G. M. Mengerink and Ramon R. H. Schiffelers and Alexander Serebrenik and Michel A. Reniers}, year = {2016}, doi = {10.1109/FDL.2016.7880374}, url = {http://dx.doi.org/10.1109/FDL.2016.7880374}, researchr = {https://researchr.org/publication/VissersMSSR16}, cites = {0}, citedby = {0}, pages = {1-6}, booktitle = {2016 Forum on Specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016}, editor = {Rolf Drechsler and Robert Wille}, publisher = {IEEE}, isbn = {979-10-92279-17-7}, } @inproceedings{HeeOSSV06, title = {Modelling History-Dependent Business Processes}, author = {Kees M. van Hee and Olivia Oanea and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve}, year = {2006}, tags = {business process modeling, history, process modeling}, researchr = {https://researchr.org/publication/HeeOSSV06}, cites = {0}, citedby = {0}, pages = {76-85}, booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with }, editor = {Joseph Barjis and Ulrich Ultes-Nitsche and Juan Carlos Augusto}, publisher = {INSTICC Press}, isbn = {978-972-8865-49-8}, } @article{HeeOSSV08, title = {History-based joins: Semantics, soundness and implementation}, author = {Kees M. van Hee and Olivia Oanea and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve}, year = {2008}, doi = {10.1016/j.datak.2007.06.005}, url = {http://dx.doi.org/10.1016/j.datak.2007.06.005}, tags = {semantics, rule-based, history}, researchr = {https://researchr.org/publication/HeeOSSV08}, cites = {0}, citedby = {0}, journal = {Data \& Knowledge Engineering}, volume = {64}, number = {1}, pages = {24-37}, } @inproceedings{SwidanSH17, title = {How do Scratch Programmers Name Variables and Procedures?}, author = {Alaaeddin Swidan and Alexander Serebrenik and Felienne Hermans}, year = {2017}, doi = {10.1109/SCAM.2017.12}, url = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2017.12}, researchr = {https://researchr.org/publication/SwidanSH17}, cites = {0}, citedby = {0}, pages = {51-60}, booktitle = {17th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2017, Shanghai, China, September 17-18, 2017}, publisher = {IEEE Computer Society}, isbn = {978-1-5386-3238-3}, } @inproceedings{LindenstraussSS97, title = {TermiLog: A System for Checking Termination of Queries to Logic Programs}, author = {Naomi Lindenstrauss and Yehoshua Sagiv and Alexander Serebrenik}, year = {1997}, tags = {termination, logic programming, logic}, researchr = {https://researchr.org/publication/LindenstraussSS97}, cites = {0}, citedby = {0}, pages = {444-447}, booktitle = {Computer Aided Verification, 9th International Conference, CAV 97, Haifa, Israel, June 22-25, 1997, Proceedings}, editor = {Orna Grumberg}, volume = {1254}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-63166-6}, } @article{DershowitzLSS99, title = {Automatic Termination Analysis of Programs Containing Arithmetic Predicates}, author = {Nachum Dershowitz and Naomi Lindenstrauss and Yehoshua Sagiv and Alexander Serebrenik}, year = {1999}, url = {http://www.elsevier.nl/locate/entcs/volume30.html}, tags = {program analysis, analysis, termination}, researchr = {https://researchr.org/publication/DershowitzLSS99}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {30}, number = {1}, pages = {39-58}, } @inproceedings{LandmanSV17, title = {Challenges for static analysis of Java reflection: literature review and empirical study}, author = {Davy Landman and Alexander Serebrenik and Jurgen J. Vinju}, year = {2017}, url = {http://dl.acm.org/citation.cfm?id=3097429}, researchr = {https://researchr.org/publication/LandmanSV17}, cites = {0}, citedby = {0}, pages = {507-518}, booktitle = {Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017}, editor = {Sebastián Uchitel and Alessandro Orso and Martin P. Robillard}, publisher = {IEEE / ACM}, isbn = {978-1-5386-3868-2}, } @book{0029207, title = {Code Generation with Templates}, author = {Jeroen Arnoldus and Mark G. J. van den Brand and Alexander Serebrenik and Jacob Brunekreef}, year = {2012}, doi = {10.2991/978-94-91216-56-5}, url = {http://dx.doi.org/10.2991/978-94-91216-56-5}, researchr = {https://researchr.org/publication/0029207}, cites = {0}, citedby = {0}, volume = {1}, series = {Atlantis Studies in Computing}, publisher = {Atlantis Press}, isbn = {978-94-91216-55-8}, } @inproceedings{RoubtsovSB10, title = {Detecting Modularity Smells in Dependencies Injected with Java Annotations}, author = {Serguei A. Roubtsov and Alexander Serebrenik and Mark van den Brand}, year = {2010}, doi = {10.1109/CSMR.2010.45}, url = {http://dx.doi.org/10.1109/CSMR.2010.45}, tags = {Java}, researchr = {https://researchr.org/publication/RoubtsovSB10}, cites = {0}, citedby = {0}, pages = {244-247}, booktitle = {14th European Conference on Software Maintenance and Reengineering, CSMR 2010, 15-18 March 2010, Madrid, Spain}, editor = {Rafael Capilla and Rudolf Ferenc and Juan C. Dueñas}, publisher = {IEEE}, } @inproceedings{VasilescuSB13, title = {The Babel of Software Development: Linguistic Diversity in Open Source}, author = {Bogdan Vasilescu and Alexander Serebrenik and Mark G. J. van den Brand}, year = {2013}, doi = {10.1007/978-3-319-03260-3_34}, url = {http://dx.doi.org/10.1007/978-3-319-03260-3_34}, researchr = {https://researchr.org/publication/VasilescuSB13}, cites = {0}, citedby = {0}, pages = {391-404}, booktitle = {Social Informatics - 5th International Conference, SocInfo 2013, Kyoto, Japan, November 25-27, 2013, Proceedings}, editor = {Adam Jatowt and Ee-Peng Lim and Ying Ding and Asako Miura and Taro Tezuka and Gaël Dias and Katsumi Tanaka and Andrew J. Flanagin and Bing Tian Dai}, volume = {8238}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-03259-7}, } @article{CohenKKSNS02, title = {EquiX - A search and query language for XML}, author = {Sara Cohen and Yaron Kanza and Yakov A. Kogan and Yehoshua Sagiv and Werner Nutt and Alexander Serebrenik}, year = {2002}, tags = {XML, XML Schema, search, query language}, researchr = {https://researchr.org/publication/CohenKKSNS02}, cites = {0}, citedby = {0}, journal = {JASIS}, volume = {53}, number = {6}, pages = {454-466}, } @inproceedings{OliveiraVBS15, title = {Validating metric thresholds with developers: An early result}, author = {Paloma Oliveira and Marco Tulio Valente and Alexandre Bergel and Alexander Serebrenik}, year = {2015}, doi = {10.1109/ICSM.2015.7332511}, url = {http://dx.doi.org/10.1109/ICSM.2015.7332511}, researchr = {https://researchr.org/publication/OliveiraVBS15}, cites = {0}, citedby = {0}, pages = {546-550}, booktitle = {2015 IEEE International Conference on Software Maintenance and Evolution, ICSME 2015, Bremen, Germany, September 29 - October 1, 2015}, editor = {Rainer Koschke and Jens Krinke and Martin P. Robillard}, publisher = {IEEE}, isbn = {978-1-4673-7532-0}, } @techreport{preprint-Serban2021, title = {SAW-BOT: Proposing Fixes for Static Analysis Warnings with GitHub Suggestions}, author = {Dragos Serban and Bart Golsteijn and Ralph Holdorp and Alexander Serebrenik}, year = {2021}, researchr = {https://researchr.org/publication/preprint-Serban2021}, cites = {0}, citedby = {0}, type = {Preprint}, } @inproceedings{PoncinSB11-0, title = {Mining student capstone projects with FRASR and ProM}, author = {Wouter Poncin and Alexander Serebrenik and Mark van den Brand}, year = {2011}, doi = {10.1145/2048147.2048181}, url = {http://doi.acm.org/10.1145/2048147.2048181}, researchr = {https://researchr.org/publication/PoncinSB11-0}, cites = {0}, citedby = {0}, pages = {87-96}, booktitle = {Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011}, editor = {Cristina Videira Lopes and Kathleen Fisher}, publisher = {ACM}, isbn = {978-1-4503-0942-4}, } @inproceedings{SerebrenikS00, title = {Non-tranformational termination analysis of logic programs, based on general term-orderings}, author = {Alexander Serebrenik and Danny De Schreye}, year = {2000}, tags = {rule-based, program analysis, analysis, termination, logic programming, logic}, researchr = {https://researchr.org/publication/SerebrenikS00}, cites = {0}, citedby = {0}, booktitle = {Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers}, editor = {Kung-Kiu Lau}, volume = {2042}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-42127-0}, } @inproceedings{Schneider-KampGST06, title = {Automated Termination Analysis for Logic Programs by Term Rewriting}, author = {Peter Schneider-Kamp and Jürgen Giesl and Alexander Serebrenik and René Thiemann}, year = {2006}, doi = {10.1007/978-3-540-71410-1_13}, url = {http://dx.doi.org/10.1007/978-3-540-71410-1_13}, tags = {program analysis, term rewriting, analysis, termination, graph-rewriting, logic programming, logic, rewriting logic, rewriting}, researchr = {https://researchr.org/publication/Schneider-KampGST06}, cites = {0}, citedby = {0}, pages = {177-193}, booktitle = {Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers}, editor = {Germán Puebla}, volume = {4407}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-71409-5}, } @article{SerebrenikS04, title = {Inference of termination conditions for numerical loops in Prolog}, author = {Alexander Serebrenik and Danny De Schreye}, year = {2004}, tags = {Prolog, termination}, researchr = {https://researchr.org/publication/SerebrenikS04}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {4}, number = {5-6}, pages = {719-751}, } @article{LandmanSBV16, title = {Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions}, author = {Davy Landman and Alexander Serebrenik and Eric Bouwers and Jurgen J. Vinju}, year = {2016}, doi = {10.1002/smr.1760}, url = {http://dx.doi.org/10.1002/smr.1760}, researchr = {https://researchr.org/publication/LandmanSBV16}, cites = {0}, citedby = {0}, journal = {Journal of Software Maintenance}, volume = {28}, number = {7}, pages = {589-618}, } @inproceedings{VasilescuSWSB14, title = {Continuous Integration in a Social-Coding World: Empirical Evidence from GitHub}, author = {Bogdan Vasilescu and Stef van Schuylenburg and Jules Wulms and Alexander Serebrenik and Mark G. J. van den Brand}, year = {2014}, doi = {10.1109/ICSME.2014.62}, url = {http://dx.doi.org/10.1109/ICSME.2014.62}, researchr = {https://researchr.org/publication/VasilescuSWSB14}, cites = {0}, citedby = {0}, pages = {401-405}, booktitle = {30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29 - October 3, 2014}, publisher = {IEEE}, isbn = {978-0-7695-5303-0}, } @article{VasilescuCS13, title = {Men at work: the StackOverflow case}, author = {Bogdan Vasilescu and Andrea Capiluppi and Alexander Serebrenik}, year = {2013}, url = {http://tinytocs.org/vol2/papers/tinytocs2-vasilescu.pdf}, researchr = {https://researchr.org/publication/VasilescuCS13}, cites = {0}, citedby = {0}, journal = {TinyToCS}, volume = {2}, } @inproceedings{0008RS17, title = {Developer Turnover in Global, Industrial Open Source Projects: Insights from Applying Survival Analysis}, author = {Bin Lin 0008 and Gregorio Robles and Alexander Serebrenik}, year = {2017}, doi = {10.1109/ICGSE.2017.11}, url = {https://doi.org/10.1109/ICGSE.2017.11}, researchr = {https://researchr.org/publication/0008RS17}, cites = {0}, citedby = {0}, pages = {66-75}, booktitle = {12th IEEE International Conference on Global Software Engineering, ICGSE 2017, Buenos Aires, Argentina, May 22-23, 2017}, publisher = {IEEE Computer Society}, isbn = {978-1-5386-1587-4}, } @inproceedings{DajsurenGSWVB14, title = {Formalizing correspondence rules for automotive architecture views}, author = {Yanja Dajsuren and Christine M. Gerpheide and Alexander Serebrenik and Anton Wijs and Bogdan Vasilescu and Mark G. J. van den Brand}, year = {2014}, doi = {10.1145/2602576.2602588}, url = {http://doi.acm.org/10.1145/2602576.2602588}, researchr = {https://researchr.org/publication/DajsurenGSWVB14}, cites = {0}, citedby = {0}, pages = {129-138}, booktitle = {QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30 - July 04, 2014}, editor = {Lionel Seinturier and Tomas Bures and John D. McGregor}, publisher = {ACM}, isbn = {978-1-4503-2576-9}, } @inproceedings{GieslSTSNSS07, title = {Termination of Programs using Term Rewriting and SAT Solving}, author = {Jürgen Giesl and Peter Schneider-Kamp and René Thiemann and Stephan Swiderski and Manh Thang Nguyen and Danny De Schreye and Alexander Serebrenik}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/1248}, tags = {term rewriting, termination, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/GieslSTSNSS07}, cites = {0}, citedby = {0}, booktitle = {Deduction and Decision Procedures, 30.09. - 05.10.2007}, editor = {Franz Baader and Byron Cook and Jürgen Giesl and Robert Nieuwenhuis}, volume = {07401}, series = {Dagstuhl Seminar Proceedings}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, } @inproceedings{SerebrenikB10, title = {Theil index for aggregation of software metrics values}, author = {Alexander Serebrenik and Mark van den Brand}, year = {2010}, doi = {10.1109/ICSM.2010.5609637}, url = {http://dx.doi.org/10.1109/ICSM.2010.5609637}, researchr = {https://researchr.org/publication/SerebrenikB10}, cites = {0}, citedby = {0}, pages = {1-9}, booktitle = {26th IEEE International Conference on Software Maintenance (ICSM 2010), September 12-18, 2010, Timisoara, Romania}, publisher = {IEEE Computer Society}, isbn = {978-1-4244-8630-4}, } @inproceedings{TouraniAS17, title = {Code of conduct in open source projects}, author = {Parastou Tourani and Bram Adams and Alexander Serebrenik}, year = {2017}, doi = {10.1109/SANER.2017.7884606}, url = {http://doi.ieeecomputersociety.org/10.1109/SANER.2017.7884606}, researchr = {https://researchr.org/publication/TouraniAS17}, cites = {0}, citedby = {0}, pages = {24-33}, booktitle = {IEEE 24th International Conference on Software Analysis, Evolution and Reengineering, SANER 2017, Klagenfurt, Austria, February 20-24, 2017}, editor = {Martin Pinzger and Gabriele Bavota and Andrian Marcus}, publisher = {IEEE Computer Society}, isbn = {978-1-5090-5501-2}, } @inproceedings{CapiluppiSY12, title = {Developing an h-index for OSS developers}, author = {Andrea Capiluppi and Alexander Serebrenik and Ahmmad Youssef}, year = {2012}, doi = {10.1109/MSR.2012.6224288}, url = {http://dx.doi.org/10.1109/MSR.2012.6224288}, researchr = {https://researchr.org/publication/CapiluppiSY12}, cites = {0}, citedby = {0}, pages = {251-254}, booktitle = {9th IEEE Working Conference of Mining Software Repositories, MSR 2012, June 2-3, 2012, Zurich, Switzerland}, editor = {Michele Lanza and Massimiliano Di Penta and Tao Xi}, publisher = {IEEE}, isbn = {978-1-4673-1761-0}, } @inproceedings{KoutersVSB12, title = {Who's who in Gnome: Using LSA to merge software repository identities}, author = {Erik Kouters and Bogdan Vasilescu and Alexander Serebrenik and Mark G. J. van den Brand}, year = {2012}, doi = {10.1109/ICSM.2012.6405329}, url = {http://doi.ieeecomputersociety.org/10.1109/ICSM.2012.6405329}, researchr = {https://researchr.org/publication/KoutersVSB12}, cites = {0}, citedby = {0}, pages = {592-595}, booktitle = {28th IEEE International Conference on Software Maintenance, ICSM 2012, Trento, Italy, September 23-28, 2012}, publisher = {IEEE Computer Society}, isbn = {978-1-4673-2313-0}, } @inproceedings{AmstelBS12, title = {Traceability Visualization in Model Transformations with TraceVis}, author = {Marcel Van Amstel and Mark G. J. van den Brand and Alexander Serebrenik}, year = {2012}, doi = {10.1007/978-3-642-30476-7_10}, url = {http://dx.doi.org/10.1007/978-3-642-30476-7_10}, researchr = {https://researchr.org/publication/AmstelBS12}, cites = {0}, citedby = {0}, pages = {152-159}, booktitle = {Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings}, editor = {Zhenjiang Hu and Juan de Lara}, volume = {7307}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-30475-0}, } @inproceedings{VasilescuSF15, title = {A Data Set for Social Diversity Studies of GitHub Teams}, author = {Bogdan Vasilescu and Alexander Serebrenik and Vladimir Filkov}, year = {2015}, doi = {10.1109/MSR.2015.77}, url = {http://dx.doi.org/10.1109/MSR.2015.77}, researchr = {https://researchr.org/publication/VasilescuSF15}, cites = {0}, citedby = {0}, pages = {514-517}, booktitle = {12th IEEE/ACM Working Conference on Mining Software Repositories, MSR 2015, Florence, Italy, May 16-17, 2015}, publisher = {IEEE}, isbn = {978-0-7695-5594-2}, } @article{DershowitzLSS01, title = {A General Framework for Automatic Termination Analysis of Logic Programs}, author = {Nachum Dershowitz and Naomi Lindenstrauss and Yehoshua Sagiv and Alexander Serebrenik}, year = {2001}, url = {http://link.springer.de/link/service/journals/00200/bibs/1012001/10120117.htm}, tags = {program analysis, analysis, termination, logic programming, logic}, researchr = {https://researchr.org/publication/DershowitzLSS01}, cites = {0}, citedby = {0}, journal = {Appl. Algebra Eng. Commun. Comput.}, volume = {12}, number = {1/2}, pages = {117-156}, } @inproceedings{GachechiladzeLN17, title = {Anger and Its Direction in Collaborative Software Development}, author = {Daviti Gachechiladze and Filippo Lanubile and Nicole Novielli and Alexander Serebrenik}, year = {2017}, doi = {10.1109/ICSE-NIER.2017.18}, url = {https://doi.org/10.1109/ICSE-NIER.2017.18}, researchr = {https://researchr.org/publication/GachechiladzeLN17}, cites = {0}, citedby = {0}, pages = {11-14}, booktitle = {39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, ICSE-NIER 2017, Buenos Aires, Argentina, May 20-28, 2017}, publisher = {IEEE}, isbn = {978-1-5386-2675-7}, } @article{HeeSSVW07, title = {Scheduling-free resource management}, author = {Kees M. van Hee and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve and Jan van der Wal}, year = {2007}, doi = {10.1016/j.datak.2006.04.008}, url = {http://dx.doi.org/10.1016/j.datak.2006.04.008}, researchr = {https://researchr.org/publication/HeeSSVW07}, cites = {0}, citedby = {0}, journal = {Data \& Knowledge Engineering}, volume = {61}, number = {1}, pages = {59-75}, } @inproceedings{SerebrenikS01, title = {On Termination of Meta-Programs}, author = {Alexander Serebrenik and Danny De Schreye}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/2250/22500517.htm}, tags = {meta programming, meta-model, termination, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/SerebrenikS01}, cites = {0}, citedby = {0}, pages = {517-530}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings}, editor = {Robert Nieuwenhuis and Andrei Voronkov}, volume = {2250}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-42957-3}, } @inproceedings{0008S16, title = {Recognizing gender of stack overflow users}, author = {Bin Lin 0008 and Alexander Serebrenik}, year = {2016}, doi = {10.1145/2901739.2901777}, url = {http://doi.acm.org/10.1145/2901739.2901777}, researchr = {https://researchr.org/publication/0008S16}, cites = {0}, citedby = {0}, pages = {425-429}, booktitle = {Proceedings of the 13th International Conference on Mining Software Repositories, MSR 2016, Austin, TX, USA, May 14-22, 2016}, editor = {Miryung Kim and Romain Robbes and Christian Bird}, publisher = {ACM}, isbn = {978-1-4503-4186-8}, } @article{Schneider-KampGSST10, title = {Automated termination analysis for logic programs with cut}, author = {Peter Schneider-Kamp and Jürgen Giesl and Thomas Ströder and Alexander Serebrenik and René Thiemann}, year = {2010}, doi = {10.1017/S1471068410000165}, url = {http://dx.doi.org/10.1017/S1471068410000165}, tags = {program analysis, analysis, termination, logic programming, logic}, researchr = {https://researchr.org/publication/Schneider-KampGSST10}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {10}, number = {4-6}, pages = {365-381}, } @inproceedings{DajsurenBSH12, title = {Automotive ADLS: a study on enforcing consistency through multiple architectural levels}, author = {Yanja Dajsuren and Mark van den Brand and Alexander Serebrenik and Rudolf Huisman}, year = {2012}, doi = {10.1145/2304696.2304710}, url = {http://doi.acm.org/10.1145/2304696.2304710}, researchr = {https://researchr.org/publication/DajsurenBSH12}, cites = {0}, citedby = {0}, pages = {71-80}, booktitle = {Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures, QoSA 2012, part of Comparch '12 Federated Events on Component-Based Software Engineering and Software Architecture, Bertinoro, Italy, June 25-28, 2012}, editor = {Vincenzo Grassi and Raffaela Mirandola and Barbora Buhnova and Antonio Vallecillo}, publisher = {ACM}, isbn = {978-1-4503-1346-9}, } @inproceedings{BuchsKSSST10, title = {Introduction}, author = {Didier Buchs and Fabrice Kordon and Alexander Serebrenik and Natalia Sidorova and Jeremy Spronston and Yann Thierry-Mieg}, year = {2010}, url = {http://ceur-ws.org/Vol-827/28_DidierBuchs_introduction.pdf}, researchr = {https://researchr.org/publication/BuchsKSSST10}, cites = {0}, citedby = {0}, pages = {371}, booktitle = {Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010}, editor = {Susanna Donatelli and Jetty Kleijn and Ricardo Jorge Machado and João M. Fernandes}, volume = {827}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, } @inproceedings{MengerinkNSBS17, title = {A Case of Industrial vs. Open-source OCL: Not So Different After All}, author = {Josh G. M. Mengerink and Jeroen Noten and Ramon R. H. Schiffelers and Mark G. J. van den Brand and Alexander Serebrenik}, year = {2017}, url = {http://ceur-ws.org/Vol-2019/posters_4.pdf}, researchr = {https://researchr.org/publication/MengerinkNSBS17}, cites = {0}, citedby = {0}, pages = {472-474}, booktitle = {Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017}, editor = {Loli Burgueño and Jonathan Corley and Nelly Bencomo and Peter J. Clarke and Philippe Collet and Michalis Famelis and Sudipto Ghosh and Martin Gogolla and Joel Greenyer and Esther Guerra and Sahar Kokaly and Alfonso Pierantonio and Julia Rubin and Davide Di Ruscio}, volume = {2019}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, } @inproceedings{RoblesRSVG14, title = {FLOSS 2013: a survey dataset about free software contributors: challenges for curating, sharing, and combining}, author = {Gregorio Robles and Laura Arjona Reina and Alexander Serebrenik and Bogdan Vasilescu and Jesús M. González-Barahona}, year = {2014}, doi = {10.1145/2597073.2597129}, url = {http://doi.acm.org/10.1145/2597073.2597129}, researchr = {https://researchr.org/publication/RoblesRSVG14}, cites = {0}, citedby = {0}, pages = {396-399}, booktitle = {11th Working Conference on Mining Software Repositories, MSR 2014, Proceedings, May 31 - June 1, 2014, Hyderabad, India}, editor = {Premkumar T. Devanbu and Sung Kim and Martin Pinzger}, publisher = {ACM}, isbn = {978-1-4503-2863-0}, } @inproceedings{JongelingDS15, title = {Choosing your weapons: On sentiment analysis tools for software engineering research}, author = {Robbert Jongeling and Subhajit Datta and Alexander Serebrenik}, year = {2015}, doi = {10.1109/ICSM.2015.7332508}, url = {http://dx.doi.org/10.1109/ICSM.2015.7332508}, researchr = {https://researchr.org/publication/JongelingDS15}, cites = {0}, citedby = {0}, pages = {531-535}, booktitle = {2015 IEEE International Conference on Software Maintenance and Evolution, ICSME 2015, Bremen, Germany, September 29 - October 1, 2015}, editor = {Rainer Koschke and Jens Krinke and Martin P. Robillard}, publisher = {IEEE}, isbn = {978-1-4673-7532-0}, } @inproceedings{SerebrenikD03, title = {Refactoring Logic Programs: Extended Abstract}, author = {Alexander Serebrenik and Bart Demoen}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2916&spage=509}, tags = {refactoring, logic programming, logic}, researchr = {https://researchr.org/publication/SerebrenikD03}, cites = {0}, citedby = {0}, pages = {509-510}, booktitle = {Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings}, editor = {Catuscia Palamidessi}, volume = {2916}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-20642-6}, } @inproceedings{EbertCNS17, title = {Confusion Detection in Code Reviews}, author = {Felipe Ebert and Fernando Castor and Nicole Novielli and Alexander Serebrenik}, year = {2017}, doi = {10.1109/ICSME.2017.40}, url = {http://doi.ieeecomputersociety.org/10.1109/ICSME.2017.40}, researchr = {https://researchr.org/publication/EbertCNS17}, cites = {0}, citedby = {0}, pages = {549-553}, booktitle = {2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017, Shanghai, China, September 17-22, 2017}, publisher = {IEEE Computer Society}, isbn = {978-1-5386-0992-7}, } @inproceedings{WangLVS14, title = {EnTagRec: An Enhanced Tag Recommendation System for Software Information Sites}, author = {Shaowei Wang and David Lo and Bogdan Vasilescu and Alexander Serebrenik}, year = {2014}, doi = {10.1109/ICSME.2014.51}, url = {http://dx.doi.org/10.1109/ICSME.2014.51}, researchr = {https://researchr.org/publication/WangLVS14}, cites = {0}, citedby = {0}, pages = {291-300}, booktitle = {30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29 - October 3, 2014}, publisher = {IEEE}, isbn = {978-0-7695-5303-0}, } @inproceedings{BusingeSB12-0, title = {Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse Releases}, author = {John Businge and Alexander Serebrenik and Mark van den Brand}, year = {2012}, doi = {10.1109/SCAM.2012.10}, url = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2012.10}, researchr = {https://researchr.org/publication/BusingeSB12-0}, cites = {0}, citedby = {0}, pages = {164-173}, booktitle = {12th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2012, Riva del Garda, Italy, September 23-24, 2012}, publisher = {IEEE Computer Society}, isbn = {978-1-4673-2398-7}, } @inproceedings{OlszewskaDASWB16, title = {Tailoring complexity metrics for simulink models}, author = {Marta Olszewska and Yanja Dajsuren and Harald Altinger and Alexander Serebrenik and Marina A. Waldén and Mark G. J. van den Brand}, year = {2016}, url = {http://dl.acm.org/citation.cfm?id=3004853}, researchr = {https://researchr.org/publication/OlszewskaDASWB16}, cites = {0}, citedby = {0}, pages = {5}, booktitle = {Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28 - December 2, 2016}, editor = {Rami Bahsoon and Rainer Weinreich}, publisher = {ACM}, isbn = {978-1-4503-4781-5}, } @inproceedings{VasilescuSM13, title = {A historical dataset of software engineering conferences}, author = {Bogdan Vasilescu and Alexander Serebrenik and Tom Mens}, year = {2013}, url = {http://dl.acm.org/citation.cfm?id=2487153}, researchr = {https://researchr.org/publication/VasilescuSM13}, cites = {0}, citedby = {0}, pages = {373-376}, booktitle = {Proceedings of the 10th Working Conference on Mining Software Repositories, MSR '13, San Francisco, CA, USA, May 18-19, 2013}, editor = {Thomas Zimmermann and Massimiliano Di Penta and Sunghun Kim}, publisher = {IEEE / ACM}, isbn = {978-1-4673-2936-1}, } @inproceedings{CohenNS99, title = {Rewriting Aggregate Queries Using Views}, author = {Sara Cohen and Werner Nutt and Alexander Serebrenik}, year = {1999}, doi = {10.1145/303976.303992}, url = {http://doi.acm.org/10.1145/303976.303992}, tags = {graph query, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/CohenNS99}, cites = {0}, citedby = {0}, pages = {155-166}, booktitle = {Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia, Pennsylvania}, publisher = {ACM Press}, isbn = {1-58113-062-7}, } @article{RoubtsovSMBR13, title = {I2SD: reverse engineering Sequence Diagrams Enterprise Java Beans from with interceptors}, author = {Serguei A. Roubtsov and Alexander Serebrenik and Aurélien Mazoyer and M. G. J. van den Brand and Ella E. Roubtsova}, year = {2013}, doi = {10.1049/iet-sen.2012.0056}, url = {http://dx.doi.org/10.1049/iet-sen.2012.0056}, researchr = {https://researchr.org/publication/RoubtsovSMBR13}, cites = {0}, citedby = {0}, journal = {IEE Proceedings - Software}, volume = {7}, number = {3}, } @inproceedings{VasilescuCS12, title = {Gender, Representation and Online Participation: A Quantitative Study of StackOverflow}, author = {Bogdan Vasilescu and Andrea Capiluppi and Alexander Serebrenik}, year = {2012}, doi = {10.1109/SocialInformatics.2012.81}, url = {http://doi.ieeecomputersociety.org/10.1109/SocialInformatics.2012.81}, researchr = {https://researchr.org/publication/VasilescuCS12}, cites = {0}, citedby = {0}, pages = {332-338}, booktitle = {2012 International Conference on Social Informatics (SocialInformatics), Washington, D.C., USA, December 14-16, 2012}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-5015-2}, } @inproceedings{SerebrenikM15, title = {Challenges in Software Ecosystems Research}, author = {Alexander Serebrenik and Tom Mens}, year = {2015}, doi = {10.1145/2797433.2797475}, url = {http://doi.acm.org/10.1145/2797433.2797475}, researchr = {https://researchr.org/publication/SerebrenikM15}, cites = {0}, citedby = {0}, pages = {40}, booktitle = {Proceedings of the 2015 European Conference on Software Architecture Workshops, Dubrovnik/Cavtat, Croatia, September 7-11, 2015}, editor = {Ivica Crnkovic}, publisher = {ACM}, isbn = {978-1-4503-3393-1}, } @inproceedings{BusingeSB10, title = {An empirical study of the evolution of Eclipse third-party plug-ins}, author = {John Businge and Alexander Serebrenik and Mark van den Brand}, year = {2010}, doi = {10.1145/1862372.1862389}, url = {http://doi.acm.org/10.1145/1862372.1862389}, tags = {empirical, Eclipse}, researchr = {https://researchr.org/publication/BusingeSB10}, cites = {0}, citedby = {0}, pages = {63-72}, booktitle = {Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE), Antwerp, Belgium, September 20-21, 2010}, editor = {Andrea Capiluppi and Anthony Cleve and Naouel Moha}, publisher = {ACM}, } @inproceedings{LindenstraussSS04, title = {Proving Termination for Logic Programs by the Query-Mapping Pairs Approach}, author = {Naomi Lindenstrauss and Yehoshua Sagiv and Alexander Serebrenik}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3049&spage=453}, tags = {termination, logic programming, logic, systematic-approach}, researchr = {https://researchr.org/publication/LindenstraussSS04}, cites = {0}, citedby = {0}, pages = {453-498}, booktitle = {Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development}, editor = {Maurice Bruynooghe and Kung-Kiu Lau}, volume = {3049}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-22152-2}, } @article{Schneider-KampGST09, title = {Automated termination proofs for logic programs by term rewriting}, author = {Peter Schneider-Kamp and Jürgen Giesl and Alexander Serebrenik and René Thiemann}, year = {2009}, doi = {10.1145/1614431.1614433}, url = {http://doi.acm.org/10.1145/1614431.1614433}, tags = {term rewriting, termination, graph-rewriting, logic programming, logic, rewriting logic, rewriting}, researchr = {https://researchr.org/publication/Schneider-KampGST09}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {11}, number = {1}, } @inproceedings{ArnoldusBS11, title = {Less is more: unparser-completeness of metalanguages for template engines}, author = {B. J. Arnoldus and M. G. J. van den Brand and Alexander Serebrenik}, year = {2011}, doi = {10.1145/2047862.2047887}, url = {http://doi.acm.org/10.1145/2047862.2047887}, researchr = {https://researchr.org/publication/ArnoldusBS11}, cites = {0}, citedby = {0}, pages = {137-146}, booktitle = {Generative Programming And Component Engineering, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, GPCE 2011, Portland, Oregon, USA, October 22-24, 2011}, editor = {Ewen Denney and Ulrik Pagh Schultz}, publisher = {ACM}, isbn = {978-1-4503-0689-8}, } @article{SerebrenikA17, title = {Foreword to the SANER 2015 special issue}, author = {Alexander Serebrenik and Bram Adams}, year = {2017}, doi = {10.1002/smr.1844}, url = {http://dx.doi.org/10.1002/smr.1844}, researchr = {https://researchr.org/publication/SerebrenikA17}, cites = {0}, citedby = {0}, journal = {Journal of Software Maintenance}, volume = {29}, number = {3}, } @article{HeeOSSV07, title = {LogLogics: A logic for history-dependent business processes}, author = {Kees M. van Hee and Olivia Oanea and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve}, year = {2007}, doi = {10.1016/j.scico.2006.08.004}, url = {http://dx.doi.org/10.1016/j.scico.2006.08.004}, tags = {logic, history}, researchr = {https://researchr.org/publication/HeeOSSV07}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {65}, number = {1}, pages = {30-40}, } @inproceedings{GerpheideSS14-0, title = {A Bottom-Up Quality Model for QVTo}, author = {Christine M. Gerpheide and Ramon R. H. Schiffelers and Alexander Serebrenik}, year = {2014}, doi = {10.1109/QUATIC.2014.18}, url = {http://dx.doi.org/10.1109/QUATIC.2014.18}, researchr = {https://researchr.org/publication/GerpheideSS14-0}, cites = {0}, citedby = {0}, pages = {85-94}, booktitle = {9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014, Guimaraes, Portugal, September 23-26, 2014}, publisher = {IEEE}, isbn = {978-1-4799-6132-0}, } @article{EbertCS15, title = {An exploratory study on exception handling bugs in Java programs}, author = {Felipe Ebert and Fernando Castor and Alexander Serebrenik}, year = {2015}, doi = {10.1016/j.jss.2015.04.066}, url = {http://dx.doi.org/10.1016/j.jss.2015.04.066}, researchr = {https://researchr.org/publication/EbertCS15}, cites = {0}, citedby = {0}, journal = {Journal of Systems and Software}, volume = {106}, pages = {82-101}, } @inproceedings{SerebrenikRB09, title = {Dn-based architecture assessment of Java Open Source software systems}, author = {Alexander Serebrenik and Serguei A. Roubtsov and Mark G. J. van den Brand}, year = {2009}, doi = {10.1109/ICPC.2009.5090043}, url = {http://dx.doi.org/10.1109/ICPC.2009.5090043}, tags = {rule-based, Java, software architecture, architecture, source-to-source, open-source}, researchr = {https://researchr.org/publication/SerebrenikRB09}, cites = {0}, citedby = {0}, pages = {198-207}, booktitle = {The 17th IEEE International Conference on Program Comprehension, ICPC 2009, Vancouver, British Columbia, Canada, May 17-19, 2009}, publisher = {IEEE Computer Society}, } @article{JongelingSDS17, title = {On negative results when using sentiment analysis tools for software engineering research}, author = {Robbert Jongeling and Proshanta Sarkar and Subhajit Datta and Alexander Serebrenik}, year = {2017}, doi = {10.1007/s10664-016-9493-x}, url = {https://doi.org/10.1007/s10664-016-9493-x}, researchr = {https://researchr.org/publication/JongelingSDS17}, cites = {0}, citedby = {0}, journal = {Empirical Software Engineering}, volume = {22}, number = {5}, pages = {2543-2584}, } @inproceedings{HeeSSV05, title = {Soundness of Resource-Constrained Workflow Nets}, author = {Kees M. van Hee and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve}, year = {2005}, doi = {10.1007/11494744_15}, url = {http://dx.doi.org/10.1007/11494744_15}, tags = {workflow}, researchr = {https://researchr.org/publication/HeeSSV05}, cites = {0}, citedby = {0}, pages = {250-267}, booktitle = {Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings}, editor = {Gianfranco Ciardo and Philippe Darondeau}, volume = {3536}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-26301-2}, } @inproceedings{Serban2021, title = {SAW-BOT: Proposing Fixes for Static Analysis Warnings with GitHub Suggestions}, author = {Dragos Serban and Bart Golsteijn and Ralph Holdorp and Alexander Serebrenik}, year = {2021}, researchr = {https://researchr.org/publication/Serban2021}, cites = {0}, citedby = {0}, booktitle = {Third Workshop on Bots in Software Engineering (BotSE)}, publisher = {IEEE}, } @article{MesnardS08, title = {Recurrence with affine level mappings is P-time decidable for CLP(R)}, author = {Frédéric Mesnard and Alexander Serebrenik}, year = {2008}, doi = {10.1017/S1471068407003122}, url = {http://dx.doi.org/10.1017/S1471068407003122}, researchr = {https://researchr.org/publication/MesnardS08}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {8}, number = {1}, pages = {111-119}, } @inproceedings{VasilescuSB11-0, title = {By no means: a study on aggregating software metrics}, author = {Bogdan Vasilescu and Alexander Serebrenik and Mark van den Brand}, year = {2011}, doi = {10.1145/1985374.1985381}, url = {http://doi.acm.org/10.1145/1985374.1985381}, researchr = {https://researchr.org/publication/VasilescuSB11-0}, cites = {0}, citedby = {0}, pages = {23-26}, booktitle = {Proceedings of the 2nd International Workshop on Emerging Trends in Software Metrics, WETSoM 2011, Waikiki, Honolulu, HI, USA, May 24, 2011}, editor = {Giulio Concas and Ewan D. Tempero and Hongyu Zhang and Massimiliano Di Penta}, publisher = {ACM}, isbn = {978-1-4503-0593-8}, } @inproceedings{HuizingKPS05, title = {Looking for Stability}, author = {Cornelis Huizing and Ruurd Kuiper and Teade Punter and Alexander Serebrenik}, year = {2005}, researchr = {https://researchr.org/publication/HuizingKPS05}, cites = {0}, citedby = {0}, pages = {31-44}, booktitle = {Development and Deployment of Product Software, First International Workshop, DDoPS 2005, San Diego, USA, June 27-28, 2005}, editor = {Sjaak Brinkkemper and Lai Xu}, publisher = {US Education Service}, isbn = {0-9742448-2-1}, } @article{HeeSSA08, title = {Working with the Past: Integrating History in Petri Nets}, author = {Kees M. van Hee and Alexander Serebrenik and Natalia Sidorova and Wil M. P. van der Aalst}, year = {2008}, url = {http://iospress.metapress.com/content/e436623u05mw91x8/}, tags = {history}, researchr = {https://researchr.org/publication/HeeSSA08}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {88}, number = {3}, pages = {387-409}, } @inproceedings{SchrijversS04, title = {Improving Prolog Programs: Refactoring for Prolog}, author = {Tom Schrijvers and Alexander Serebrenik}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3132&spage=58}, tags = {Prolog, refactoring}, researchr = {https://researchr.org/publication/SchrijversS04}, cites = {0}, citedby = {0}, pages = {58-72}, booktitle = {Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings}, editor = {Bart Demoen and Vladimir Lifschitz}, volume = {3132}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-22671-0}, } @article{derWerfDHS09, title = {Process Discovery using Integer Linear Programming}, author = {Jan Martijn E. M. van der Werf and Boudewijn F. van Dongen and Cor A. J. Hurkens and Alexander Serebrenik}, year = {2009}, doi = {10.3233/FI-2009-136}, url = {http://dx.doi.org/10.3233/FI-2009-136}, tags = {discovery, programming}, researchr = {https://researchr.org/publication/derWerfDHS09}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {94}, number = {3-4}, pages = {387-412}, } @inproceedings{SerebrenikS00a, title = {Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings}, author = {Alexander Serebrenik and Danny De Schreye}, year = {2000}, url = {http://link.springer.de/link/service/series/0558/bibs/2042/20420069.htm}, tags = {rule-based, program analysis, analysis, termination, logic programming, logic, higher-order transformations, transformation, program transformation}, researchr = {https://researchr.org/publication/SerebrenikS00a}, cites = {0}, citedby = {0}, pages = {69-85}, booktitle = {Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers}, editor = {Kung-Kiu Lau}, volume = {2042}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-42127-0}, } @article{DajsurenBS14, title = {Modularity Analysis of Automotive Control Software}, author = {Yanja Dajsuren and Mark G. J. van den Brand and Alexander Serebrenik}, year = {2013}, url = {http://ercim-news.ercim.eu/en94/special/modularity-analysis-of-automotive-control-software}, researchr = {https://researchr.org/publication/DajsurenBS14}, cites = {0}, citedby = {0}, journal = {ERCIM News}, volume = {2013}, number = {94}, } @inproceedings{CohenKKNSS00, title = {Combining the Power of Searching and Querying}, author = {Sara Cohen and Yaron Kanza and Yakov A. Kogan and Werner Nutt and Yehoshua Sagiv and Alexander Serebrenik}, year = {2000}, researchr = {https://researchr.org/publication/CohenKKNSS00}, cites = {0}, citedby = {0}, pages = {54-65}, booktitle = {Cooperative Information Systems, 7th International Conference, CoopIS 2000, Eilat, Israel, September 6-8, 2000, Proceedings}, editor = {Opher Etzion and Peter Scheuermann}, volume = {1901}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-41021-X}, } @inproceedings{DajsurenBSR13, title = {Simulink models are also software: modularity assessment}, author = {Yanja Dajsuren and Mark G. J. van den Brand and Alexander Serebrenik and Serguei A. Roubtsov}, year = {2013}, doi = {10.1145/2465478.2465482}, url = {http://doi.acm.org/10.1145/2465478.2465482}, researchr = {https://researchr.org/publication/DajsurenBSR13}, cites = {0}, citedby = {0}, pages = {99-106}, booktitle = {Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, QoSA 2013, part of Comparch '13 Federated Events on Component-Based Software Engineering and Software Architecture, Vancouver, BC, Canada, June 17-21, 2013}, editor = {Philippe Kruchten and Anne Koziolek and Robert L. Nord}, publisher = {ACM}, isbn = {978-1-4503-2126-6}, } @article{SerebrenikPB12, title = {Process Mining Software Repositories: Do Developers Work as Expected?}, author = {Alexander Serebrenik and Wouter Poncin and Mark van den Brand}, year = {2012}, url = {http://ercim-news.ercim.eu/en88/special/process-mining-software-repositories-do-developers-work-as-expected}, researchr = {https://researchr.org/publication/SerebrenikPB12}, cites = {0}, citedby = {0}, journal = {ERCIM News}, volume = {2012}, number = {88}, } @inproceedings{BusingeSB12, title = {Survival of Eclipse third-party plug-ins}, author = {John Businge and Alexander Serebrenik and Mark van den Brand}, year = {2012}, doi = {10.1109/ICSM.2012.6405295}, url = {http://doi.ieeecomputersociety.org/10.1109/ICSM.2012.6405295}, researchr = {https://researchr.org/publication/BusingeSB12}, cites = {0}, citedby = {0}, pages = {368-377}, booktitle = {28th IEEE International Conference on Software Maintenance, ICSM 2012, Trento, Italy, September 23-28, 2012}, publisher = {IEEE Computer Society}, isbn = {978-1-4673-2313-0}, } @inproceedings{HeeSSVW07:0, title = {Modelling with History-Dependent Petri Nets}, author = {Kees M. van Hee and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve and Jan Martijn E. M. van der Werf}, year = {2007}, doi = {10.1007/978-3-540-75183-0_23}, url = {http://dx.doi.org/10.1007/978-3-540-75183-0_23}, tags = {meta-model, history, Meta-Environment}, researchr = {https://researchr.org/publication/HeeSSVW07%3A0}, cites = {0}, citedby = {0}, pages = {320-327}, booktitle = {Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings}, editor = {Gustavo Alonso and Peter Dadam and Michael Rosemann}, volume = {4714}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-75182-3}, } @article{HeeOSSVL07, title = {Checking Properties of Adaptive Workflow Nets}, author = {Kees M. van Hee and Olivia Oanea and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve and Irina A. Lomazova}, year = {2007}, url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=79&issue=3&spage=347}, tags = {workflow}, researchr = {https://researchr.org/publication/HeeOSSVL07}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {79}, number = {3-4}, pages = {347-362}, } @article{BusingeSB15, title = {Eclipse API usage: the good and the bad}, author = {John Businge and Alexander Serebrenik and Mark G. J. van den Brand}, year = {2015}, doi = {10.1007/s11219-013-9221-3}, url = {http://dx.doi.org/10.1007/s11219-013-9221-3}, researchr = {https://researchr.org/publication/BusingeSB15}, cites = {0}, citedby = {0}, journal = {Software Quality Journal}, volume = {23}, number = {1}, pages = {107-141}, } @article{GerpheideSS14, title = {QVTo Model Transformations: Assessing and Improving their Quality}, author = {Christine M. Gerpheide and Ramon R. H. Schiffelers and Alexander Serebrenik}, year = {2014}, url = {http://ercim-news.ercim.eu/en99/special/qvto-model-transformations-assessing-and-improving-their-quality}, researchr = {https://researchr.org/publication/GerpheideSS14}, cites = {0}, citedby = {0}, journal = {ERCIM News}, volume = {2014}, number = {99}, } @article{CarverS18, title = {Software Maintenance and Evolution and Automated Software Engineering}, author = {Jeffrey C. Carver and Alexander Serebrenik}, year = {2018}, doi = {10.1109/MS.2018.1661318}, url = {http://doi.ieeecomputersociety.org/10.1109/MS.2018.1661318}, researchr = {https://researchr.org/publication/CarverS18}, cites = {0}, citedby = {0}, journal = {IEEE Software}, volume = {35}, number = {2}, pages = {102-104}, } @inproceedings{VasilescuFS15, title = {Perceptions of Diversity on Git Hub: A User Survey}, author = {Bogdan Vasilescu and Vladimir Filkov and Alexander Serebrenik}, year = {2015}, doi = {10.1109/CHASE.2015.14}, url = {http://dx.doi.org/10.1109/CHASE.2015.14}, researchr = {https://researchr.org/publication/VasilescuFS15}, cites = {0}, citedby = {0}, pages = {50-56}, booktitle = {8th IEEE/ACM International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2015, Florence, Italy, May 18, 2015}, publisher = {IEEE}, isbn = {978-1-4673-7031-8}, } @inproceedings{VasilescuSB11, title = {You can't control the unfamiliar: A study on the relations between aggregation techniques for software metrics}, author = {Bogdan Vasilescu and Alexander Serebrenik and Mark van den Brand}, year = {2011}, doi = {10.1109/ICSM.2011.6080798}, url = {http://dx.doi.org/10.1109/ICSM.2011.6080798}, researchr = {https://researchr.org/publication/VasilescuSB11}, cites = {0}, citedby = {0}, pages = {313-322}, booktitle = {IEEE 27th International Conference on Software Maintenance, ICSM 2011, Williamsburg, VA, USA, September 25-30, 2011}, publisher = {IEEE}, isbn = {978-1-4577-0663-9}, } @inproceedings{OliveiraLVS14, title = {RTTool: A Tool for Extracting Relative Thresholds for Source Code Metrics}, author = {Paloma Oliveira and Fernando Paim Lima and Marco Tulio Valente and Alexander Serebrenik}, year = {2014}, doi = {10.1109/ICSME.2014.112}, url = {http://dx.doi.org/10.1109/ICSME.2014.112}, researchr = {https://researchr.org/publication/OliveiraLVS14}, cites = {0}, citedby = {0}, pages = {629-632}, booktitle = {30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29 - October 3, 2014}, publisher = {IEEE}, isbn = {978-0-7695-5303-0}, } @inproceedings{SerebrenikS03, title = {Proving Termination with Adornments}, author = {Alexander Serebrenik and Danny De Schreye}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3018&spage=108}, tags = {termination}, researchr = {https://researchr.org/publication/SerebrenikS03}, cites = {0}, citedby = {0}, pages = {108-109}, booktitle = {Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers}, editor = {Maurice Bruynooghe}, volume = {3018}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-22174-3}, } @inproceedings{PleteaVS14, title = {Security and emotion: sentiment analysis of security discussions on GitHub}, author = {Daniel Pletea and Bogdan Vasilescu and Alexander Serebrenik}, year = {2014}, doi = {10.1145/2597073.2597117}, url = {http://doi.acm.org/10.1145/2597073.2597117}, researchr = {https://researchr.org/publication/PleteaVS14}, cites = {0}, citedby = {0}, pages = {348-351}, booktitle = {11th Working Conference on Mining Software Repositories, MSR 2014, Proceedings, May 31 - June 1, 2014, Hyderabad, India}, editor = {Premkumar T. Devanbu and Sung Kim and Martin Pinzger}, publisher = {ACM}, isbn = {978-1-4503-2863-0}, } @inproceedings{VasilescuSDF14, title = {How social Q&A sites are changing knowledge sharing in open source software communities}, author = {Bogdan Vasilescu and Alexander Serebrenik and Premkumar T. Devanbu and Vladimir Filkov}, year = {2014}, doi = {10.1145/2531602.2531659}, url = {http://doi.acm.org/10.1145/2531602.2531659}, researchr = {https://researchr.org/publication/VasilescuSDF14}, cites = {0}, citedby = {0}, pages = {342-354}, booktitle = {Computer Supported Cooperative Work, CSCW '14, Baltimore, MD, USA, February 15-19, 2014}, editor = {Susan R. Fussell and Wayne G. Lutters and Meredith Ringel Morris and Madhu Reddy}, publisher = {ACM}, isbn = {978-1-4503-2540-0}, } @article{VasilescuSMBP14, title = {How healthy are software engineering conferences?}, author = {Bogdan Vasilescu and Alexander Serebrenik and Tom Mens and Mark G. J. van den Brand and Ekaterina Pek}, year = {2014}, doi = {10.1016/j.scico.2014.01.016}, url = {http://dx.doi.org/10.1016/j.scico.2014.01.016}, researchr = {https://researchr.org/publication/VasilescuSMBP14}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {89}, pages = {251-272}, } @inproceedings{SerebrenikM04, title = {On Termination of Binary CLP Programs}, author = {Alexander Serebrenik and Frédéric Mesnard}, year = {2004}, doi = {10.1007/11506676_15}, url = {http://dx.doi.org/10.1007/11506676_15}, tags = {termination}, researchr = {https://researchr.org/publication/SerebrenikM04}, cites = {0}, citedby = {0}, pages = {231-244}, booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers}, editor = {Sandro Etalle}, volume = {3573}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-26655-0}, } @inproceedings{HeeSSSW07, title = {Adaptive Workflows for Healthcare Information Systems}, author = {Kees M. van Hee and Helen Schonenberg and Alexander Serebrenik and Natalia Sidorova and Jan Martijn E. M. van der Werf}, year = {2007}, doi = {10.1007/978-3-540-78238-4_37}, url = {http://dx.doi.org/10.1007/978-3-540-78238-4_37}, tags = {workflow}, researchr = {https://researchr.org/publication/HeeSSSW07}, cites = {0}, citedby = {0}, pages = {359-370}, booktitle = {Business Process Management Workshops, BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers}, editor = {Arthur H. M. ter Hofstede and Boualem Benatallah and Hye-Young Paik}, volume = {4928}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-78237-7}, } @inproceedings{MengerinkSSB16, title = {A Complete Operator Library for DSL Evolution Specification}, author = {J. G. M. Mengerink and Alexander Serebrenik and Ramon R. H. Schiffelers and M. G. J. van den Brand}, year = {2016}, doi = {10.1109/ICSME.2016.32}, url = {http://doi.ieeecomputersociety.org/10.1109/ICSME.2016.32}, researchr = {https://researchr.org/publication/MengerinkSSB16}, cites = {0}, citedby = {0}, pages = {144-154}, booktitle = {2016 IEEE International Conference on Software Maintenance and Evolution, ICSME 2016, Raleigh, NC, USA, October 2-7, 2016}, publisher = {IEEE Computer Society}, isbn = {978-1-5090-3806-0}, } @article{SerebrenikS05, title = {On termination of meta-programs}, author = {Alexander Serebrenik and Danny De Schreye}, year = {2005}, doi = {10.1017/S1471068404002248}, url = {http://dx.doi.org/10.1017/S1471068404002248}, tags = {meta programming, meta-model, termination, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/SerebrenikS05}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {5}, number = {3}, pages = {355-390}, } @inproceedings{BrandMSH10, title = {Formally specified type checkers for domain specific languages: experience report}, author = {Mark G. J. van den Brand and A. P. van der Meer and Alexander Serebrenik and Albert T. Hofkamp}, year = {2010}, doi = {10.1145/1868281.1868293}, url = {http://doi.acm.org/10.1145/1868281.1868293}, tags = {domain-specific language}, researchr = {https://researchr.org/publication/BrandMSH10}, cites = {0}, citedby = {0}, pages = {12}, booktitle = {Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS}, editor = {Claus Brabrand and Pierre-Etienne Moreau}, publisher = {ACM}, isbn = {978-1-4503-0063-6}, } @inproceedings{ReboucasPETSC16, title = {An Empirical Study on the Usage of the Swift Programming Language}, author = {Marcel Reboucas and Gustavo Pinto and Felipe Ebert and Weslley Torres and Alexander Serebrenik and Fernando Castor}, year = {2016}, doi = {10.1109/SANER.2016.66}, url = {http://doi.ieeecomputersociety.org/10.1109/SANER.2016.66}, researchr = {https://researchr.org/publication/ReboucasPETSC16}, cites = {0}, citedby = {0}, pages = {634-638}, booktitle = {IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016, Suita, Osaka, Japan, March 14-18, 2016}, publisher = {IEEE}, isbn = {978-1-5090-1855-0}, } @inproceedings{CohenNS99:0, title = {Algorithms for Rewriting Aggregate Queries Using Views}, author = {Sara Cohen and Werner Nutt and Alexander Serebrenik}, year = {1999}, url = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-19/paper9.pdf}, tags = {graph query, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/CohenNS99%3A0}, cites = {0}, citedby = {0}, pages = {9}, booktitle = {Proceedings of the Intl. Workshop on Design and Management of Data Warehouses, DMDW 99, Heidelberg, Germany, June 14-15, 1999}, editor = {Stella Gatziu and Manfred A. Jeusfeld and Martin Staudt and Yannis Vassiliou}, volume = {19}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, } @inproceedings{SutiiRS13, title = {Detecting dependencies in Enterprise JavaBeans with SQuAVisiT}, author = {Alexandru Sutii and Serguei A. Roubtsov and Alexander Serebrenik}, year = {2013}, doi = {10.1109/WCRE.2013.6671330}, url = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2013.6671330}, researchr = {https://researchr.org/publication/SutiiRS13}, cites = {0}, citedby = {0}, pages = {485-486}, booktitle = {20th Working Conference on Reverse Engineering, WCRE 2013, Koblenz, Germany, October 14-17, 2013}, editor = {Ralf Lämmel and Rocco Oliveto and Romain Robbes}, publisher = {IEEE}, } @article{Mordal-ManetALSVD13, title = {Software quality metrics aggregation in industry}, author = {Karine Mordal-Manet and Nicolas Anquetil and Jannik Laval and Alexander Serebrenik and Bogdan Vasilescu and Stéphane Ducasse}, year = {2013}, doi = {10.1002/smr.1558}, url = {http://dx.doi.org/10.1002/smr.1558}, researchr = {https://researchr.org/publication/Mordal-ManetALSVD13}, cites = {0}, citedby = {0}, journal = {Journal of Software Maintenance}, volume = {25}, number = {10}, pages = {1117-1135}, } @inproceedings{PalombaSZ17, title = {Social Debt Analytics for Improving the Management of Software Evolution Tasks}, author = {Fabio Palomba and Alexander Serebrenik and Andy Zaidman}, year = {2017}, url = {http://ceur-ws.org/Vol-2047/BENEVOL_2017_paper_5.pdf}, researchr = {https://researchr.org/publication/PalombaSZ17}, cites = {0}, citedby = {0}, pages = {18-21}, booktitle = {Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium, Antwerp, Belgium, December 4-5, 2017}, editor = {Serge Demeyer and Ali Parsai and Gulsher Laghari and Brent van Bladel}, volume = {2047}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, } @inproceedings{PutterRS14, title = {Testing Conformance of EJB 3 Enterprise Application Servers}, author = {Sander de Putter and Serguei A. Roubtsov and Alexander Serebrenik}, year = {2014}, doi = {10.5220/0004864402720279}, url = {http://dx.doi.org/10.5220/0004864402720279}, researchr = {https://researchr.org/publication/PutterRS14}, cites = {0}, citedby = {0}, pages = {272-279}, booktitle = {ICEIS 2014 - Proceedings of the 16th International Conference on Enterprise Information Systems, Volume 3, Lisbon, Portugal, 27-30 April, 2014}, editor = {Slimane Hammoudi and Leszek A. Maciaszek and José Cordeiro}, publisher = {SciTePress}, isbn = {978-989-758-029-1}, } @inproceedings{PoncinSB11, title = {Process Mining Software Repositories}, author = {Wouter Poncin and Alexander Serebrenik and Mark van den Brand}, year = {2011}, doi = {10.1109/CSMR.2011.5}, url = {http://dx.doi.org/10.1109/CSMR.2011.5}, researchr = {https://researchr.org/publication/PoncinSB11}, cites = {0}, citedby = {0}, pages = {5-14}, booktitle = {15th European Conference on Software Maintenance and Reengineering, CSMR 2011, 1-4 March 2011, Oldenburg, Germany}, editor = {Tom Mens and Yiannis Kanellopoulos and Andreas Winter}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-4343-7}, } @inproceedings{GousiosVSZ14, title = {Lean GHTorrent: GitHub data on demand}, author = {Georgios Gousios and Bogdan Vasilescu and Alexander Serebrenik and Andy Zaidman}, year = {2014}, doi = {10.1145/2597073.2597126}, url = {http://doi.acm.org/10.1145/2597073.2597126}, researchr = {https://researchr.org/publication/GousiosVSZ14}, cites = {0}, citedby = {0}, pages = {384-387}, booktitle = {11th Working Conference on Mining Software Repositories, MSR 2014, Proceedings, May 31 - June 1, 2014, Hyderabad, India}, editor = {Premkumar T. Devanbu and Sung Kim and Martin Pinzger}, publisher = {ACM}, isbn = {978-1-4503-2863-0}, } @inproceedings{LindenstraussSS97:0, title = {Unfolding the Mystery of ::::Mergesort::::}, author = {Naomi Lindenstrauss and Yehoshua Sagiv and Alexander Serebrenik}, year = {1997}, url = {http://link.springer.de/link/service/series/0558/bibs/1463/14630206.htm}, researchr = {https://researchr.org/publication/LindenstraussSS97%3A0}, cites = {0}, citedby = {0}, pages = {206-225}, booktitle = {Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR 97, Leuven, Belgium, July 10-12, 1997, Proceedings}, editor = {Norbert E. Fuchs}, volume = {1463}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-65074-1}, } @inproceedings{HeeOSSV06:0, title = {History-Based Joins: Semantics, Soundness and Implementation}, author = {Kees M. van Hee and Olivia Oanea and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve}, year = {2006}, doi = {10.1007/11841760_16}, url = {http://dx.doi.org/10.1007/11841760_16}, tags = {semantics, rule-based, history}, researchr = {https://researchr.org/publication/HeeOSSV06%3A0}, cites = {0}, citedby = {0}, pages = {225-240}, booktitle = {Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings}, editor = {Schahram Dustdar and José Luiz Fiadeiro and Amit P. Sheth}, volume = {4102}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-38901-6}, } @inproceedings{HeeSSA07, title = {History-Dependent Petri Nets}, author = {Kees M. van Hee and Alexander Serebrenik and Natalia Sidorova and Wil M. P. van der Aalst}, year = {2007}, doi = {10.1007/978-3-540-73094-1_12}, url = {http://dx.doi.org/10.1007/978-3-540-73094-1_12}, tags = {history}, researchr = {https://researchr.org/publication/HeeSSA07}, cites = {0}, citedby = {0}, pages = {164-183}, booktitle = {Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings}, editor = {Jetty Kleijn and Alexandre Yakovlev}, volume = {4546}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-73093-4}, } @inproceedings{Serebrenik03, title = {Termination Analysis of Logic Programs: Extended Abstract}, author = {Alexander Serebrenik}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2916&spage=507}, tags = {program analysis, analysis, termination, logic programming, logic}, researchr = {https://researchr.org/publication/Serebrenik03}, cites = {0}, citedby = {0}, pages = {507-508}, booktitle = {Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings}, editor = {Catuscia Palamidessi}, volume = {2916}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-20642-6}, } @proceedings{iwpc-2017, title = {Proceedings of the 25th International Conference on Program Comprehension, ICPC 2017, Buenos Aires, Argentina, May 22-23, 2017}, year = {2017}, url = {http://dl.acm.org/citation.cfm?id=3101414}, researchr = {https://researchr.org/publication/iwpc-2017}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 25th International Conference on Program Comprehension, ICPC 2017, Buenos Aires, Argentina, May 22-23, 2017}, conference = {IWPC}, editor = {Giuseppe Scanniello and David Lo and Alexander Serebrenik}, publisher = {IEEE / ACM}, isbn = {978-1-5386-0535-6}, } @proceedings{wcre-2015, title = {22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015, Montreal, QC, Canada, March 2-6, 2015}, year = {2015}, url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7066219}, researchr = {https://researchr.org/publication/wcre-2015}, cites = {0}, citedby = {0}, booktitle = {22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015, Montreal, QC, Canada, March 2-6, 2015}, conference = {WCRE}, editor = {Yann-Gaël Guéhéneuc and Bram Adams and Alexander Serebrenik}, publisher = {IEEE}, isbn = {978-1-4799-8469-5}, } @book{ess2014, title = {Evolving Software Systems}, year = {2014}, doi = {10.1007/978-3-642-45398-4}, url = {http://dx.doi.org/10.1007/978-3-642-45398-4}, researchr = {https://researchr.org/publication/ess2014}, cites = {0}, citedby = {0}, editor = {Tom Mens and Alexander Serebrenik and Anthony Cleve}, publisher = {Springer}, isbn = {978-3-642-45397-7}, } @proceedings{lpe:2003, title = {Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003}, year = {2003}, tags = {meta programming, logic programming, programming, logic, Meta-Environment}, researchr = {https://researchr.org/publication/lpe%3A2003}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003}, conference = {lpe}, editor = {Frédéric Mesnard and Alexander Serebrenik}, volume = {CW371}, series = {Report}, publisher = {Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium)}, } @proceedings{lpe:2005, title = {Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), October 5, 2005}, year = {2005}, url = {http://arxiv.org/html/cs.PL/0508078}, tags = {meta programming, logic programming, programming, logic, Meta-Environment}, researchr = {https://researchr.org/publication/lpe%3A2005}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), October 5, 2005}, conference = {lpe}, editor = {Alexander Serebrenik and Susana Muñoz-Hernández}, }