publications: - title: "Analysing the BKE-security Protocol with ::::µ::::CRL" author: - name: "Stefan Blom" link: "https://researchr.org/alias/stefan-blom" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Sjouke Mauw" link: "http://satoss.uni.lu/members/sjouke/" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2005" doi: "http://dx.doi.org/10.1016/j.entcs.2005.09.005" links: doi: "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: "ENTCS" volume: "139" number: "1" pages: "49-90" kind: "article" key: "BlomGMS05" - title: "The Price of Coordination in Resource Management" author: - name: "Kees M. van Hee" link: "https://researchr.org/alias/kees-m.-van-hee" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Natalia Sidorova" link: "http://www.win.tue.nl/~sidorova" - name: "Marc Voorhoeve" link: "https://researchr.org/alias/marc-voorhoeve" - name: "Jan van der Wal" link: "https://researchr.org/alias/jan-van-der-wal" year: "2005" doi: "http://dx.doi.org/10.1007/11538394_7" links: doi: "http://dx.doi.org/10.1007/11538394_7" researchr: "https://researchr.org/publication/HeeSSVW05" cites: 0 citedby: 0 pages: "96-108" booktitle: "BPM" kind: "inproceedings" key: "HeeSSVW05" - title: "Identifying Utility Functions Using Random Forests" author: - name: "Tamara Mendes" link: "https://researchr.org/alias/tamara-mendes" - name: "Marco Tulio Valente" link: "https://researchr.org/alias/marco-tulio-valente" - name: "André C. Hora" link: "https://researchr.org/alias/andr%C3%A9-c.-hora" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2016" doi: "http://doi.ieeecomputersociety.org/10.1109/SANER.2016.58" links: doi: "http://doi.ieeecomputersociety.org/10.1109/SANER.2016.58" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wcre/MendesVHS16" researchr: "https://researchr.org/publication/MendesVHS16" cites: 0 citedby: 0 pages: "614-618" booktitle: "WCRE" kind: "inproceedings" key: "MendesVHS16" - title: "ICSE Highlights" author: - name: "Jeffrey C. Carver" link: "https://researchr.org/alias/jeffrey-c.-carver" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2017" doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2017.4121213" links: doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2017.4121213" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/software/CarverS17" researchr: "https://researchr.org/publication/CarverS17" cites: 0 citedby: 0 journal: "IEEE Software" volume: "34" number: "6" pages: "18-20" kind: "article" key: "CarverS17" - title: "SQuAVisiT: A Flexible Tool for Visual Software Analytics" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Serguei A. Roubtsov" link: "https://researchr.org/alias/serguei-a.-roubtsov" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2009" doi: "http://dx.doi.org/10.1109/CSMR.2009.19" links: doi: "http://dx.doi.org/10.1109/CSMR.2009.19" researchr: "https://researchr.org/publication/BrandRS09" cites: 0 citedby: 0 pages: "331-332" booktitle: "CSMR" kind: "inproceedings" key: "BrandRS09" - title: "A data set of OCL expressions on GitHub" author: - name: "Jeroen Noten" link: "https://researchr.org/alias/jeroen-noten" - name: "Josh Mengerink" link: "https://researchr.org/alias/josh-mengerink" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2017" doi: "http://dl.acm.org/citation.cfm?id=3104264" links: doi: "http://dl.acm.org/citation.cfm?id=3104264" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/msr/NotenMS17" researchr: "https://researchr.org/publication/NotenMS17" cites: 0 citedby: 0 pages: "531-534" booktitle: "msr" kind: "inproceedings" key: "NotenMS17" - title: "Gender and Tenure Diversity in GitHub Teams" author: - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Daryl Posnett" link: "https://researchr.org/alias/daryl-posnett" - name: "Baishakhi Ray" link: "https://researchr.org/alias/baishakhi-ray" - name: "Mark G. J. van den Brand" link: "https://researchr.org/alias/mark-g.-j.-van-den-brand" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Premkumar T. Devanbu" link: "https://researchr.org/alias/premkumar-t.-devanbu" - name: "Vladimir Filkov" link: "https://researchr.org/alias/vladimir-filkov" year: "2015" doi: "http://doi.acm.org/10.1145/2702123.2702549" links: doi: "http://doi.acm.org/10.1145/2702123.2702549" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/chi/VasilescuPRBSDF15" researchr: "https://researchr.org/publication/VasilescuPRBSDF15" cites: 0 citedby: 0 pages: "3789-3798" booktitle: "CHI" kind: "inproceedings" key: "VasilescuPRBSDF15" - title: "A software framework for automated verification" author: - name: "Ivo Raedts" link: "https://researchr.org/alias/ivo-raedts" - name: "Marija Petkovic" link: "https://researchr.org/alias/marija-petkovic" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Jan Martijn E. M. van der Werf" link: "https://researchr.org/alias/jan-martijn-e.-m.-van-der-werf" - name: "Lou J. Somers" link: "https://researchr.org/alias/lou-j.-somers" - name: "Maarten Boote" link: "https://researchr.org/alias/maarten-boote" year: "2007" doi: "http://doi.acm.org/10.1145/1244002.1244225" links: doi: "http://doi.acm.org/10.1145/1244002.1244225" researchr: "https://researchr.org/publication/RaedtsPSWSB07" cites: 0 citedby: 0 pages: "1031-1032" booktitle: "SAC" kind: "inproceedings" key: "RaedtsPSWSB07" - title: "Algorithms for Rewriting Aggregate Queries Using Views" author: - name: "Sara Cohen" link: "https://researchr.org/alias/sara-cohen" - name: "Werner Nutt" link: "https://researchr.org/alias/werner-nutt" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2000" doi: "http://link.springer.de/link/service/series/0558/bibs/1884/18840065.htm" links: doi: "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: "adbis" kind: "inproceedings" key: "CohenNS00" - title: "Seeing the Forest for the Trees with New Econometric Aggregation Techniques" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Mark van den Brand" link: "https://researchr.org/alias/mark-van-den-brand" - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" year: "2012" doi: "http://ercim-news.ercim.eu/en88/special/seeing-the-forest-for-the-trees-with-new-econometric-aggregation-techniques" links: doi: "http://ercim-news.ercim.eu/en88/special/seeing-the-forest-for-the-trees-with-new-econometric-aggregation-techniques" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ercim/SerebrenikBV12" researchr: "https://researchr.org/publication/SerebrenikBV12" cites: 0 citedby: 0 journal: "ercim" volume: "2012" number: "88" kind: "article" key: "SerebrenikBV12" - title: "An Empirical Study on the Removal of Self-Admitted Technical Debt" author: - name: "Everton da S. Maldonado" link: "https://researchr.org/alias/everton-da-s.-maldonado" - name: "Rabe Abdalkareem" link: "https://researchr.org/alias/rabe-abdalkareem" - name: "Emad Shihab" link: "https://researchr.org/alias/emad-shihab" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2017" doi: "http://doi.ieeecomputersociety.org/10.1109/ICSME.2017.8" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ICSME.2017.8" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/MaldonadoASS17" researchr: "https://researchr.org/publication/MaldonadoASS17" cites: 0 citedby: 0 pages: "238-248" booktitle: "ICSM" kind: "inproceedings" key: "MaldonadoASS17" - title: "Type Checking Evolving Languages with MSOS" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "A. P. van der Meer" link: "https://researchr.org/alias/a.-p.-van-der-meer" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-04164-8_11" links: doi: "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: "BIRTHDAY" kind: "inproceedings" key: "BrandMS09" - title: "Assessing and improving quality of QVTo model transformations" author: - name: "Christine M. Gerpheide" link: "https://researchr.org/alias/christine-m.-gerpheide" - name: "Ramon R. H. Schiffelers" link: "https://researchr.org/alias/ramon-r.-h.-schiffelers" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2016" doi: "http://dx.doi.org/10.1007/s11219-015-9280-8" links: doi: "http://dx.doi.org/10.1007/s11219-015-9280-8" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sqj/GerpheideSS16" researchr: "https://researchr.org/publication/GerpheideSS16" cites: 0 citedby: 0 journal: "sqj" volume: "24" number: "3" pages: "797-834" kind: "article" key: "GerpheideSS16" - title: "How to aggregate software metrics?" author: - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Mark G. J. van den Brand" link: "https://researchr.org/alias/mark-g.-j.-van-den-brand" year: "2012" doi: "http://tinytocs.org/vol1/papers/tinytocs-v1-vasilescu.pdf" links: doi: "http://tinytocs.org/vol1/papers/tinytocs-v1-vasilescu.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tinytocs/VasilescuSB12" researchr: "https://researchr.org/publication/VasilescuSB12" cites: 0 citedby: 0 journal: "tinytocs" volume: "1" kind: "article" key: "VasilescuSB12" - title: "Survey of Approaches for Handling Static Analysis Alarms" author: - name: "Tukaram Muske" link: "https://researchr.org/alias/tukaram-muske" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2016" doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2016.25" links: doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2016.25" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/scam/MuskeS16" researchr: "https://researchr.org/publication/MuskeS16" cites: 0 citedby: 0 pages: "157-166" booktitle: "SCAM" kind: "inproceedings" key: "MuskeS16" - title: "The Human Factor" author: - name: "Jeffrey C. Carver" link: "https://researchr.org/alias/jeffrey-c.-carver" - name: "Birgit Penzenstadler" link: "https://researchr.org/alias/birgit-penzenstadler" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Aiko Yamashita" link: "https://researchr.org/alias/aiko-yamashita" year: "2017" doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2017.3571580" links: doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2017.3571580" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/software/CarverPSY17" researchr: "https://researchr.org/publication/CarverPSY17" cites: 0 citedby: 0 journal: "IEEE Software" volume: "34" number: "5" pages: "90-92" kind: "article" key: "CarverPSY17" - title: "Process Discovery Using Integer Linear Programming" author: - name: "Jan Martijn E. M. van der Werf" link: "https://researchr.org/alias/jan-martijn-e.-m.-van-der-werf" - name: "Boudewijn F. van Dongen" link: "https://researchr.org/alias/boudewijn-f.-van-dongen" - name: "Cor A. J. Hurkens" link: "https://researchr.org/alias/cor-a.-j.-hurkens" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-68746-7_24" links: doi: "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: "apn" kind: "inproceedings" key: "WerfDHS08" - title: "I2SD: Reverse Engineering Sequence Diagrams from Enterprise Java Beans with Interceptors" author: - name: "Serguei A. Roubtsov" link: "https://researchr.org/alias/serguei-a.-roubtsov" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Aurélien Mazoyer" link: "https://researchr.org/alias/aur%C3%A9lien-mazoyer" - name: "Mark van den Brand" link: "https://researchr.org/alias/mark-van-den-brand" year: "2011" doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2011.5" links: doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2011.5" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/scam/RoubtsovSMB11" researchr: "https://researchr.org/publication/RoubtsovSMB11" cites: 0 citedby: 0 pages: "155-164" booktitle: "SCAM" kind: "inproceedings" key: "RoubtsovSMB11" - title: "The impact of continuous integration on other software development practices: a large-scale empirical study" author: - name: "Yangyang Zhao" link: "https://researchr.org/alias/yangyang-zhao" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Yuming Zhou" link: "https://researchr.org/alias/yuming-zhou" - name: "Vladimir Filkov" link: "https://researchr.org/alias/vladimir-filkov" - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" year: "2017" doi: "http://dl.acm.org/citation.cfm?id=3155575" links: doi: "http://dl.acm.org/citation.cfm?id=3155575" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/kbse/ZhaoSZFV17" researchr: "https://researchr.org/publication/ZhaoSZFV17" cites: 0 citedby: 0 pages: "60-71" booktitle: "ASE" kind: "inproceedings" key: "ZhaoSZFV17" - title: "Assessing the complexity of upgrading software modules" author: - name: "Bram Schoenmakers" link: "https://researchr.org/alias/bram-schoenmakers" - name: "Niels van den Broek" link: "https://researchr.org/alias/niels-van-den-broek" - name: "Istvan Nagy" link: "https://researchr.org/alias/istvan-nagy" - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2013" doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2013.6671319" links: doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2013.6671319" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wcre/SchoenmakersBNVS13" researchr: "https://researchr.org/publication/SchoenmakersBNVS13" cites: 0 citedby: 0 pages: "433-440" booktitle: "WCRE" kind: "inproceedings" key: "SchoenmakersBNVS13" - title: "Emotional Labor of Software Engineers" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2017" doi: "http://ceur-ws.org/Vol-2047/BENEVOL_2017_paper_1.pdf" links: doi: "http://ceur-ws.org/Vol-2047/BENEVOL_2017_paper_1.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/benevol/Serebrenik17" researchr: "https://researchr.org/publication/Serebrenik17" cites: 0 citedby: 0 pages: "1-6" booktitle: "BENEVOL" kind: "inproceedings" key: "Serebrenik17" - title: "Assessing Technical Candidates on the Social Web" author: - name: "Andrea Capiluppi" link: "https://researchr.org/alias/andrea-capiluppi" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Leif Singer" link: "https://researchr.org/alias/leif-singer" year: "2013" doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2012.169" links: doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2012.169" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/software/CapiluppiSS13" researchr: "https://researchr.org/publication/CapiluppiSS13" cites: 0 citedby: 0 journal: "IEEE Software" volume: "30" number: "1" pages: "45-51" kind: "article" key: "CapiluppiSS13" - title: "Analyzing the Eclipse API Usage: Putting the Developer in the Loop" author: - name: "John Businge" link: "https://researchr.org/alias/john-businge" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Mark van den Brand" link: "https://researchr.org/alias/mark-van-den-brand" year: "2013" doi: "http://doi.ieeecomputersociety.org/10.1109/CSMR.2013.14" links: doi: "http://doi.ieeecomputersociety.org/10.1109/CSMR.2013.14" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/csmr/BusingeSB13" researchr: "https://researchr.org/publication/BusingeSB13" cites: 0 citedby: 0 pages: "37-46" booktitle: "CSMR" kind: "inproceedings" key: "BusingeSB13" - title: "StackOverflow and GitHub: Associations between Software Development and Crowdsourced Knowledge" author: - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Vladimir Filkov" link: "https://researchr.org/alias/vladimir-filkov" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2013" doi: "http://doi.ieeecomputersociety.org/10.1109/SocialCom.2013.35" links: doi: "http://doi.ieeecomputersociety.org/10.1109/SocialCom.2013.35" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/socialcom/VasilescuFS13" researchr: "https://researchr.org/publication/VasilescuFS13" cites: 0 citedby: 0 pages: "188-195" booktitle: "socialcom" kind: "inproceedings" key: "VasilescuFS13" - title: "Gender, Representation and Online Participation: A Quantitative Study" author: - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Andrea Capiluppi" link: "https://researchr.org/alias/andrea-capiluppi" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2014" doi: "http://dx.doi.org/10.1093/iwc/iwt047" links: doi: "http://dx.doi.org/10.1093/iwc/iwt047" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/iwc/VasilescuCS14" researchr: "https://researchr.org/publication/VasilescuCS14" cites: 0 citedby: 0 journal: "iwc" volume: "26" number: "5" pages: "488-511" kind: "article" key: "VasilescuCS14" - title: "Reviewing Career Paths of the OpenStack Developers" author: - name: "Perry van Wesel" link: "https://researchr.org/alias/perry-van-wesel" - name: "Bin Lin 0008" link: "https://researchr.org/alias/bin-lin-0008" - name: "Gregorio Robles" link: "https://researchr.org/alias/gregorio-robles" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2017" doi: "http://doi.ieeecomputersociety.org/10.1109/ICSME.2017.25" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ICSME.2017.25" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/Wesel0RS17" researchr: "https://researchr.org/publication/Wesel0RS17" cites: 0 citedby: 0 pages: "544-548" booktitle: "ICSM" kind: "inproceedings" key: "Wesel0RS17" - title: "Hasta-La-Vista: Termination Analyser for Logic Programs" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Danny De Schreye" link: "http://people.cs.kuleuven.be/~danny.deschreye/" year: "2003" tags: - "termination" - "logic programming" - "logic" researchr: "https://researchr.org/publication/SerebrenikS03%3A0" cites: 0 citedby: 0 pages: "60-74" booktitle: "lpe" kind: "inproceedings" key: "SerebrenikS03:0" - title: "Udapt: edapt extensions for industrial application" author: - name: "Josh Mengerink" link: "https://researchr.org/alias/josh-mengerink" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Mark van den Brand" link: "https://researchr.org/alias/mark-van-den-brand" - name: "Ramon R. H. Schiffelers" link: "https://researchr.org/alias/ramon-r.-h.-schiffelers" year: "2016" doi: "http://dl.acm.org/citation.cfm?id=2998409" links: doi: "http://dl.acm.org/citation.cfm?id=2998409" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/MengerinkSBS16" researchr: "https://researchr.org/publication/MengerinkSBS16" cites: 0 citedby: 0 pages: "21-22" booktitle: "OOPSLA" kind: "inproceedings" key: "MengerinkSBS16" - title: "Inference of Termination Conditions for Numerical Loops in Prolog" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Danny De Schreye" link: "http://people.cs.kuleuven.be/~danny.deschreye/" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2250/22500654.htm" links: doi: "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: "lpar" kind: "inproceedings" key: "SerebrenikS01a" - title: "Why Developers Are Slacking Off: Understanding How Software Teams Use Slack" author: - name: "Bin Lin" link: "https://researchr.org/alias/bin-lin" - name: " Alexey Zagalsky" link: "https://researchr.org/alias/alexey-zagalsky" - name: "Margaret-Anne D. Storey" link: "https://researchr.org/alias/margaret-anne-d.-storey" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2016" doi: "http://doi.acm.org/10.1145/2818052.2869117" links: doi: "http://doi.acm.org/10.1145/2818052.2869117" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cscw/LinZSS16" researchr: "https://researchr.org/publication/LinZSS16" cites: 0 citedby: 0 pages: "333-336" booktitle: "cscw" kind: "inproceedings" key: "LinZSS16" - title: "Reverse Engineering Sequence Diagrams for Enterprise JavaBeans with Business Method Interceptors" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Serguei A. Roubtsov" link: "https://researchr.org/alias/serguei-a.-roubtsov" - name: "Ella E. Roubtsova" link: "http://www.open.ou.nl/elr/" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" year: "2009" doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2009.27" links: doi: "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: "WCRE" kind: "inproceedings" key: "SerebrenikRRB99a" - title: "On the variation and specialisation of workload - A case study of the Gnome ecosystem community" author: - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Mathieu Goeminne" link: "https://researchr.org/alias/mathieu-goeminne" - name: "Tom Mens" link: "http://staff.umh.ac.be/Mens.Tom/" year: "2014" doi: "http://dx.doi.org/10.1007/s10664-013-9244-1" links: doi: "http://dx.doi.org/10.1007/s10664-013-9244-1" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ese/VasilescuSGM14" researchr: "https://researchr.org/publication/VasilescuSGM14" cites: 0 citedby: 0 journal: "ese" volume: "19" number: "4" pages: "955-1008" kind: "article" key: "VasilescuSGM14" - title: "Termination of Floating-Point Computations" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Danny De Schreye" link: "http://people.cs.kuleuven.be/~danny.deschreye/" year: "2005" doi: "http://dx.doi.org/10.1007/s10817-005-6546-z" links: doi: "http://dx.doi.org/10.1007/s10817-005-6546-z" tags: - "termination" researchr: "https://researchr.org/publication/SerebrenikS05%3A0" cites: 0 citedby: 0 journal: "JAR" volume: "34" number: "2" pages: "141-177" kind: "article" key: "SerebrenikS05:0" - title: "Studying Evolving Software Ecosystems based on Ecological Models" author: - name: "Tom Mens" link: "http://staff.umh.ac.be/Mens.Tom/" - name: "Maëlick Claes" link: "https://researchr.org/alias/ma%C3%ABlick-claes" - name: "Philippe Grosjean" link: "https://researchr.org/alias/philippe-grosjean" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2014" doi: "http://dx.doi.org/10.1007/978-3-642-45398-4_10" links: doi: "http://dx.doi.org/10.1007/978-3-642-45398-4_10" dblp: "http://dblp.uni-trier.de/rec/bibtex/books/sp/ess14/MensCGS14" researchr: "https://researchr.org/publication/MensCGS14" cites: 0 citedby: 0 pages: "297-326" booktitle: "Evolving Software Systems" editor: - name: "Tom Mens" link: "http://staff.umh.ac.be/Mens.Tom/" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Anthony Cleve" link: "https://researchr.org/alias/anthony-cleve" publisher: "Springer" isbn: "978-3-642-45397-7" kind: "incollection" key: "MensCGS14" - title: "Empirical Analysis of the Relationship between CC and SLOC in a Large Corpus of Java Methods" author: - name: "Davy Landman" link: "http://www.cwi.nl/~landman" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2014" doi: "http://dx.doi.org/10.1109/ICSME.2014.44" links: doi: "http://dx.doi.org/10.1109/ICSME.2014.44" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/LandmanSV14" researchr: "https://researchr.org/publication/LandmanSV14" cites: 0 citedby: 0 pages: "221-230" booktitle: "ICSM" kind: "inproceedings" key: "LandmanSV14" - title: "STRESS: A Semi-Automated, Fully Replicable Approach for Project Selection" author: - name: "Davide Falessi" link: "https://researchr.org/alias/davide-falessi" - name: "Wyatt Smith" link: "https://researchr.org/alias/wyatt-smith" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2017" doi: "https://doi.org/10.1109/ESEM.2017.22" links: doi: "https://doi.org/10.1109/ESEM.2017.22" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/esem/FalessiSS17" researchr: "https://researchr.org/publication/FalessiSS17" cites: 0 citedby: 0 pages: "151-156" booktitle: "esem" kind: "inproceedings" key: "FalessiSS17" - title: "Nested Nets for Adaptive Systems" author: - name: "Kees M. van Hee" link: "http://" - name: "Irina A. Lomazova" link: "https://researchr.org/alias/irina-a.-lomazova" - name: "Olivia Oanea" link: "https://researchr.org/alias/olivia-oanea" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Natalia Sidorova" link: "http://www.win.tue.nl/~sidorova" - name: "Marc Voorhoeve" link: "https://researchr.org/alias/marc-voorhoeve" year: "2006" doi: "http://dx.doi.org/10.1007/11767589_14" links: doi: "http://dx.doi.org/10.1007/11767589_14" researchr: "https://researchr.org/publication/HeeLOSSV06" cites: 0 citedby: 0 pages: "241-260" booktitle: "apn" kind: "inproceedings" key: "HeeLOSSV06" - title: "Acceptability with General Orderings" author: - name: "Danny De Schreye" link: "http://people.cs.kuleuven.be/~danny.deschreye/" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2407/24070187.htm" links: doi: "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: "BIRTHDAY" kind: "inproceedings" key: "SchreyeS02" - title: "Improving Prolog programs: Refactoring for Prolog" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Tom Schrijvers" link: "http://users.ugent.be/~tschrijv" - name: "Bart Demoen" link: "https://researchr.org/alias/bart-demoen" year: "2008" doi: "http://dx.doi.org/10.1017/S1471068407003134" links: doi: "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" kind: "article" key: "SerebrenikSD08" - title: "Requirements Certification for Offshoring Using LSPCM" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Amrita Mishra" link: "https://researchr.org/alias/amrita-mishra" - name: "Thomas Delissen" link: "https://researchr.org/alias/thomas-delissen" - name: "Martijn Klabbers" link: "https://researchr.org/alias/martijn-klabbers" year: "2010" doi: "http://dx.doi.org/10.1109/QUATIC.2010.30" links: doi: "http://dx.doi.org/10.1109/QUATIC.2010.30" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/quatic/SerebrenikMDK10" tags: - "certification" researchr: "https://researchr.org/publication/SerebrenikMDK10" cites: 0 citedby: 0 pages: "177-182" booktitle: "quatic" kind: "inproceedings" key: "SerebrenikMDK10" - title: "On Termination of Logic Programs with Floating Point Computations" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Danny De Schreye" link: "http://people.cs.kuleuven.be/~danny.deschreye/" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2477/24770151.htm" links: doi: "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: "SAS" kind: "inproceedings" key: "SerebrenikS02" - title: "Automated analyses of model-driven artifacts: obtaining insights into industrial application of MDE" author: - name: "Josh Mengerink" link: "https://researchr.org/alias/josh-mengerink" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Ramon R. H. Schiffelers" link: "https://researchr.org/alias/ramon-r.-h.-schiffelers" - name: "Mark G. J. van den Brand" link: "https://researchr.org/alias/mark-g.-j.-van-den-brand" year: "2017" doi: "http://doi.acm.org/10.1145/3143434.3143442" links: doi: "http://doi.acm.org/10.1145/3143434.3143442" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iwsm/MengerinkSSB17" researchr: "https://researchr.org/publication/MengerinkSSB17" cites: 0 citedby: 0 pages: "116-121" booktitle: "iwsm" kind: "inproceedings" key: "MengerinkSSB17" - title: "Can I find a partner? Undecidability of partner existence for open nets" author: - name: "Peter Massuthe" link: "https://researchr.org/alias/peter-massuthe" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Natalia Sidorova" link: "http://www.win.tue.nl/~sidorova" - name: "Karsten Wolf" link: "https://researchr.org/alias/karsten-wolf" year: "2008" doi: "http://dx.doi.org/10.1016/j.ipl.2008.07.006" links: doi: "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: "ipl" volume: "108" number: "6" pages: "374-378" kind: "article" key: "MassutheSSW08" - title: "EquiX Easy Querying in XML Databases" author: - name: "Sara Cohen" link: "https://researchr.org/alias/sara-cohen" - name: "Yaron Kanza" link: "https://researchr.org/alias/yaron-kanza" - name: "Yakov A. Kogan" link: "https://researchr.org/alias/yakov-a.-kogan" - name: "Werner Nutt" link: "https://researchr.org/alias/werner-nutt" - name: "Yehoshua Sagiv" link: "https://researchr.org/alias/yehoshua-sagiv" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "1999" doi: "http://www-rocq.inria.fr/~cluet/WEBDB/serebrenik.ps" links: doi: "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" kind: "inproceedings" key: "CohenKKNSS99" - 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: - name: "Davy Landman" link: "https://researchr.org/alias/davy-landman" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Eric Bouwers" link: "https://researchr.org/alias/eric-bouwers" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2017" doi: "https://doi.org/10.1002/smr.1914" links: doi: "https://doi.org/10.1002/smr.1914" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/smr/LandmanSBV17" researchr: "https://researchr.org/publication/LandmanSBV17" cites: 0 citedby: 0 journal: "SMR" volume: "29" number: "10" kind: "article" key: "LandmanSBV17" - title: "Maintenance of specification models in industry using Edapt" author: - name: "Y. Vissers" link: "https://researchr.org/alias/y.-vissers" - name: "J. G. M. Mengerink" link: "https://researchr.org/alias/j.-g.-m.-mengerink" - name: "Ramon R. H. Schiffelers" link: "https://researchr.org/alias/ramon-r.-h.-schiffelers" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Michel A. Reniers" link: "https://researchr.org/alias/michel-a.-reniers" year: "2016" doi: "http://dx.doi.org/10.1109/FDL.2016.7880374" links: doi: "http://dx.doi.org/10.1109/FDL.2016.7880374" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fdl/VissersMSSR16" researchr: "https://researchr.org/publication/VissersMSSR16" cites: 0 citedby: 0 pages: "1-6" booktitle: "fdl" kind: "inproceedings" key: "VissersMSSR16" - title: "Modelling History-Dependent Business Processes" author: - name: "Kees M. van Hee" link: "https://researchr.org/alias/kees-m.-van-hee" - name: "Olivia Oanea" link: "https://researchr.org/alias/olivia-oanea" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Natalia Sidorova" link: "http://www.win.tue.nl/~sidorova" - name: "Marc Voorhoeve" link: "https://researchr.org/alias/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: "vveis" kind: "inproceedings" key: "HeeOSSV06" - title: "History-based joins: Semantics, soundness and implementation" author: - name: "Kees M. van Hee" link: "https://researchr.org/alias/kees-m.-van-hee" - name: "Olivia Oanea" link: "https://researchr.org/alias/olivia-oanea" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Natalia Sidorova" link: "http://www.win.tue.nl/~sidorova" - name: "Marc Voorhoeve" link: "https://researchr.org/alias/marc-voorhoeve" year: "2008" doi: "http://dx.doi.org/10.1016/j.datak.2007.06.005" links: doi: "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: "DKE" volume: "64" number: "1" pages: "24-37" kind: "article" key: "HeeOSSV08" - title: "How do Scratch Programmers Name Variables and Procedures?" author: - name: "Alaaeddin Swidan" link: "https://researchr.org/alias/alaaeddin-swidan" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Felienne Hermans" link: "https://researchr.org/alias/felienne-hermans" year: "2017" doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2017.12" links: doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2017.12" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/scam/SwidanSH17" researchr: "https://researchr.org/publication/SwidanSH17" cites: 0 citedby: 0 pages: "51-60" booktitle: "SCAM" kind: "inproceedings" key: "SwidanSH17" - title: "TermiLog: A System for Checking Termination of Queries to Logic Programs" author: - name: "Naomi Lindenstrauss" link: "https://researchr.org/alias/naomi-lindenstrauss" - name: "Yehoshua Sagiv" link: "https://researchr.org/alias/yehoshua-sagiv" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "1997" tags: - "termination" - "logic programming" - "logic" researchr: "https://researchr.org/publication/LindenstraussSS97" cites: 0 citedby: 0 pages: "444-447" booktitle: "cav" kind: "inproceedings" key: "LindenstraussSS97" - title: "Automatic Termination Analysis of Programs Containing Arithmetic Predicates" author: - name: "Nachum Dershowitz" link: "http://www.math.tau.ac.il/~nachumd/Homepage.html" - name: "Naomi Lindenstrauss" link: "https://researchr.org/alias/naomi-lindenstrauss" - name: "Yehoshua Sagiv" link: "https://researchr.org/alias/yehoshua-sagiv" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "1999" doi: "http://www.elsevier.nl/locate/entcs/volume30.html" links: doi: "http://www.elsevier.nl/locate/entcs/volume30.html" tags: - "program analysis" - "analysis" - "termination" researchr: "https://researchr.org/publication/DershowitzLSS99" cites: 0 citedby: 0 journal: "TCS" volume: "30" number: "1" pages: "39-58" kind: "article" key: "DershowitzLSS99" - title: "Challenges for static analysis of Java reflection: literature review and empirical study" author: - name: "Davy Landman" link: "https://researchr.org/alias/davy-landman" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2017" doi: "http://dl.acm.org/citation.cfm?id=3097429" links: doi: "http://dl.acm.org/citation.cfm?id=3097429" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/LandmanSV17" researchr: "https://researchr.org/publication/LandmanSV17" cites: 0 citedby: 0 pages: "507-518" booktitle: "ICSE" kind: "inproceedings" key: "LandmanSV17" - title: "Code Generation with Templates" author: - name: "Jeroen Arnoldus" link: "https://researchr.org/alias/jeroen-arnoldus" - name: "Mark G. J. van den Brand" link: "https://researchr.org/alias/mark-g.-j.-van-den-brand" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Jacob Brunekreef" link: "https://researchr.org/alias/jacob-brunekreef" year: "2012" doi: "http://dx.doi.org/10.2991/978-94-91216-56-5" links: doi: "http://dx.doi.org/10.2991/978-94-91216-56-5" dblp: "http://dblp.uni-trier.de/rec/bibtex/books/daglib/0029207" 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" kind: "book" key: "0029207" - title: "Detecting Modularity Smells in Dependencies Injected with Java Annotations" author: - name: "Serguei A. Roubtsov" link: "https://researchr.org/alias/serguei-a.-roubtsov" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Mark van den Brand" link: "https://researchr.org/alias/mark-van-den-brand" year: "2010" doi: "http://dx.doi.org/10.1109/CSMR.2010.45" links: doi: "http://dx.doi.org/10.1109/CSMR.2010.45" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/csmr/RoubtsovSB10" tags: - "Java" researchr: "https://researchr.org/publication/RoubtsovSB10" cites: 0 citedby: 0 pages: "244-247" booktitle: "CSMR" kind: "inproceedings" key: "RoubtsovSB10" - title: "The Babel of Software Development: Linguistic Diversity in Open Source" author: - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Mark G. J. van den Brand" link: "https://researchr.org/alias/mark-g.-j.-van-den-brand" year: "2013" doi: "http://dx.doi.org/10.1007/978-3-319-03260-3_34" links: doi: "http://dx.doi.org/10.1007/978-3-319-03260-3_34" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/socinfo/VasilescuSB13" researchr: "https://researchr.org/publication/VasilescuSB13" cites: 0 citedby: 0 pages: "391-404" booktitle: "socinfo" kind: "inproceedings" key: "VasilescuSB13" - title: "EquiX - A search and query language for XML" author: - name: "Sara Cohen" link: "https://researchr.org/alias/sara-cohen" - name: "Yaron Kanza" link: "https://researchr.org/alias/yaron-kanza" - name: "Yakov A. Kogan" link: "https://researchr.org/alias/yakov-a.-kogan" - name: "Yehoshua Sagiv" link: "https://researchr.org/alias/yehoshua-sagiv" - name: "Werner Nutt" link: "https://researchr.org/alias/werner-nutt" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" 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" kind: "article" key: "CohenKKSNS02" - title: "Validating metric thresholds with developers: An early result" author: - name: "Paloma Oliveira" link: "https://researchr.org/alias/paloma-oliveira" - name: "Marco Tulio Valente" link: "https://researchr.org/alias/marco-tulio-valente" - name: "Alexandre Bergel" link: "https://researchr.org/alias/alexandre-bergel" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2015" doi: "http://dx.doi.org/10.1109/ICSM.2015.7332511" links: doi: "http://dx.doi.org/10.1109/ICSM.2015.7332511" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/OliveiraVBS15" researchr: "https://researchr.org/publication/OliveiraVBS15" cites: 0 citedby: 0 pages: "546-550" booktitle: "ICSM" kind: "inproceedings" key: "OliveiraVBS15" - title: "SAW-BOT: Proposing Fixes for Static Analysis Warnings with GitHub Suggestions" author: - name: "Dragos Serban" link: "https://www.linkedin.com/in/dragos-mihai-serban/" - name: " Bart Golsteijn" link: "https://researchr.org/alias/bart-golsteijn" - name: " Ralph Holdorp" link: "https://researchr.org/alias/ralph-holdorp" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2021" abstract: "In this experience report we present SAW-BOT, a bot proposing fixes for static analysis warnings. The bot has been evaluated with five professional software developers by means of a Wizard of Oz experiment, semi-structured interviews and the mTAM questionnaire. We have observed that developers prefer GitHub suggestions to two baseline operation modes. Our study indicates that GitHub suggestions are a viable mechanism for implementing bots proposing fixes for static analysis warnings." links: published: "https://researchr.org/publication/Serban2021" researchr: "https://researchr.org/publication/preprint-Serban2021" cites: 0 citedby: 0 type: "Preprint" kind: "techreport" key: "preprint-Serban2021" - title: "Mining student capstone projects with FRASR and ProM" author: - name: "Wouter Poncin" link: "https://researchr.org/alias/wouter-poncin" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Mark van den Brand" link: "https://researchr.org/alias/mark-van-den-brand" year: "2011" doi: "http://doi.acm.org/10.1145/2048147.2048181" links: doi: "http://doi.acm.org/10.1145/2048147.2048181" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/PoncinSB11" researchr: "https://researchr.org/publication/PoncinSB11-0" cites: 0 citedby: 0 pages: "87-96" booktitle: "OOPSLA" kind: "inproceedings" key: "PoncinSB11-0" - title: "Non-tranformational termination analysis of logic programs, based on general term-orderings" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Danny De Schreye" link: "http://people.cs.kuleuven.be/~danny.deschreye/" year: "2000" doi: "ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-serebrenik.ps.Z" tags: - "rule-based" - "program analysis" - "analysis" - "termination" - "logic programming" - "logic" researchr: "https://researchr.org/publication/SerebrenikS00" cites: 0 citedby: 0 booktitle: "LOPSTR" kind: "inproceedings" key: "SerebrenikS00" - title: "Automated Termination Analysis for Logic Programs by Term Rewriting" author: - name: "Peter Schneider-Kamp" link: "https://researchr.org/alias/peter-schneider-kamp" - name: "Jürgen Giesl" link: "http://verify.rwth-aachen.de/giesl/" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "René Thiemann" link: "https://researchr.org/alias/ren%C3%A9-thiemann" year: "2006" doi: "http://dx.doi.org/10.1007/978-3-540-71410-1_13" links: doi: "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: "LOPSTR" kind: "inproceedings" key: "Schneider-KampGST06" - title: "Inference of termination conditions for numerical loops in Prolog" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Danny De Schreye" link: "http://people.cs.kuleuven.be/~danny.deschreye/" 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" kind: "article" key: "SerebrenikS04" - title: "Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions" author: - name: "Davy Landman" link: "https://researchr.org/alias/davy-landman" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Eric Bouwers" link: "https://researchr.org/alias/eric-bouwers" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2016" doi: "http://dx.doi.org/10.1002/smr.1760" links: doi: "http://dx.doi.org/10.1002/smr.1760" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/smr/LandmanSBV16" researchr: "https://researchr.org/publication/LandmanSBV16" cites: 0 citedby: 0 journal: "SMR" volume: "28" number: "7" pages: "589-618" kind: "article" key: "LandmanSBV16" - title: "Continuous Integration in a Social-Coding World: Empirical Evidence from GitHub" author: - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Stef van Schuylenburg" link: "https://researchr.org/alias/stef-van-schuylenburg" - name: "Jules Wulms" link: "https://researchr.org/alias/jules-wulms" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Mark G. J. van den Brand" link: "https://researchr.org/alias/mark-g.-j.-van-den-brand" year: "2014" doi: "http://dx.doi.org/10.1109/ICSME.2014.62" links: doi: "http://dx.doi.org/10.1109/ICSME.2014.62" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/VasilescuSWSB14" researchr: "https://researchr.org/publication/VasilescuSWSB14" cites: 0 citedby: 0 pages: "401-405" booktitle: "ICSM" kind: "inproceedings" key: "VasilescuSWSB14" - title: "Men at work: the StackOverflow case" author: - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Andrea Capiluppi" link: "https://researchr.org/alias/andrea-capiluppi" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2013" doi: "http://tinytocs.org/vol2/papers/tinytocs2-vasilescu.pdf" links: doi: "http://tinytocs.org/vol2/papers/tinytocs2-vasilescu.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tinytocs/VasilescuCS13" researchr: "https://researchr.org/publication/VasilescuCS13" cites: 0 citedby: 0 journal: "tinytocs" volume: "2" kind: "article" key: "VasilescuCS13" - title: "Developer Turnover in Global, Industrial Open Source Projects: Insights from Applying Survival Analysis" author: - name: "Bin Lin 0008" link: "https://researchr.org/alias/bin-lin-0008" - name: "Gregorio Robles" link: "https://researchr.org/alias/gregorio-robles" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2017" doi: "https://doi.org/10.1109/ICGSE.2017.11" links: doi: "https://doi.org/10.1109/ICGSE.2017.11" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icgse/0008RS17" researchr: "https://researchr.org/publication/0008RS17" cites: 0 citedby: 0 pages: "66-75" booktitle: "icgse" kind: "inproceedings" key: "0008RS17" - title: "Formalizing correspondence rules for automotive architecture views" author: - name: "Yanja Dajsuren" link: "https://researchr.org/alias/yanja-dajsuren" - name: "Christine M. Gerpheide" link: "https://researchr.org/alias/christine-m.-gerpheide" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Anton Wijs" link: "https://researchr.org/alias/anton-wijs" - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Mark G. J. van den Brand" link: "https://researchr.org/alias/mark-g.-j.-van-den-brand" year: "2014" doi: "http://doi.acm.org/10.1145/2602576.2602588" links: doi: "http://doi.acm.org/10.1145/2602576.2602588" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/qosa/DajsurenGSWVB14" researchr: "https://researchr.org/publication/DajsurenGSWVB14" cites: 0 citedby: 0 pages: "129-138" booktitle: "qosa" kind: "inproceedings" key: "DajsurenGSWVB14" - title: "Termination of Programs using Term Rewriting and SAT Solving" author: - name: "Jürgen Giesl" link: "http://verify.rwth-aachen.de/giesl/" - name: "Peter Schneider-Kamp" link: "https://researchr.org/alias/peter-schneider-kamp" - name: "René Thiemann" link: "https://researchr.org/alias/ren%C3%A9-thiemann" - name: "Stephan Swiderski" link: "https://researchr.org/alias/stephan-swiderski" - name: "Manh Thang Nguyen" link: "https://researchr.org/alias/manh-thang-nguyen" - name: "Danny De Schreye" link: "http://people.cs.kuleuven.be/~danny.deschreye/" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2007" doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1248" links: doi: "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: "Dagstuhl" kind: "inproceedings" key: "GieslSTSNSS07" - title: "Theil index for aggregation of software metrics values" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Mark van den Brand" link: "https://researchr.org/alias/mark-van-den-brand" year: "2010" doi: "http://dx.doi.org/10.1109/ICSM.2010.5609637" links: doi: "http://dx.doi.org/10.1109/ICSM.2010.5609637" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/SerebrenikB10" researchr: "https://researchr.org/publication/SerebrenikB10" cites: 0 citedby: 0 pages: "1-9" booktitle: "ICSM" kind: "inproceedings" key: "SerebrenikB10" - title: "Code of conduct in open source projects" author: - name: "Parastou Tourani" link: "https://researchr.org/alias/parastou-tourani" - name: "Bram Adams" link: "https://researchr.org/alias/bram-adams" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2017" doi: "http://doi.ieeecomputersociety.org/10.1109/SANER.2017.7884606" links: doi: "http://doi.ieeecomputersociety.org/10.1109/SANER.2017.7884606" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wcre/TouraniAS17" researchr: "https://researchr.org/publication/TouraniAS17" cites: 0 citedby: 0 pages: "24-33" booktitle: "WCRE" kind: "inproceedings" key: "TouraniAS17" - title: "Developing an h-index for OSS developers" author: - name: "Andrea Capiluppi" link: "https://researchr.org/alias/andrea-capiluppi" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Ahmmad Youssef" link: "https://researchr.org/alias/ahmmad-youssef" year: "2012" doi: "http://dx.doi.org/10.1109/MSR.2012.6224288" links: doi: "http://dx.doi.org/10.1109/MSR.2012.6224288" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/msr/CapiluppiSY12" researchr: "https://researchr.org/publication/CapiluppiSY12" cites: 0 citedby: 0 pages: "251-254" booktitle: "msr" kind: "inproceedings" key: "CapiluppiSY12" - title: "Who's who in Gnome: Using LSA to merge software repository identities" author: - name: "Erik Kouters" link: "https://researchr.org/alias/erik-kouters" - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Mark G. J. van den Brand" link: "https://researchr.org/alias/mark-g.-j.-van-den-brand" year: "2012" doi: "http://doi.ieeecomputersociety.org/10.1109/ICSM.2012.6405329" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ICSM.2012.6405329" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/KoutersVSB12" researchr: "https://researchr.org/publication/KoutersVSB12" cites: 0 citedby: 0 pages: "592-595" booktitle: "ICSM" kind: "inproceedings" key: "KoutersVSB12" - title: "Traceability Visualization in Model Transformations with TraceVis" author: - name: "Marcel Van Amstel" link: "https://researchr.org/alias/marcel-van-amstel" - name: "Mark G. J. van den Brand" link: "https://researchr.org/alias/mark-g.-j.-van-den-brand" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-30476-7_10" links: doi: "http://dx.doi.org/10.1007/978-3-642-30476-7_10" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icmt/AmstelBS12" researchr: "https://researchr.org/publication/AmstelBS12" cites: 0 citedby: 0 pages: "152-159" booktitle: "ICMT" kind: "inproceedings" key: "AmstelBS12" - title: "A Data Set for Social Diversity Studies of GitHub Teams" author: - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Vladimir Filkov" link: "https://researchr.org/alias/vladimir-filkov" year: "2015" doi: "http://dx.doi.org/10.1109/MSR.2015.77" links: doi: "http://dx.doi.org/10.1109/MSR.2015.77" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/msr/VasilescuSF15" researchr: "https://researchr.org/publication/VasilescuSF15" cites: 0 citedby: 0 pages: "514-517" booktitle: "msr" kind: "inproceedings" key: "VasilescuSF15" - title: "A General Framework for Automatic Termination Analysis of Logic Programs" author: - name: "Nachum Dershowitz" link: "http://www.math.tau.ac.il/~nachumd/Homepage.html" - name: "Naomi Lindenstrauss" link: "https://researchr.org/alias/naomi-lindenstrauss" - name: "Yehoshua Sagiv" link: "https://researchr.org/alias/yehoshua-sagiv" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2001" doi: "http://link.springer.de/link/service/journals/00200/bibs/1012001/10120117.htm" links: doi: "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: "aaecc" volume: "12" number: "1/2" pages: "117-156" kind: "article" key: "DershowitzLSS01" - title: "Anger and Its Direction in Collaborative Software Development" author: - name: "Daviti Gachechiladze" link: "https://researchr.org/alias/daviti-gachechiladze" - name: "Filippo Lanubile" link: "https://researchr.org/alias/filippo-lanubile" - name: "Nicole Novielli" link: "https://researchr.org/alias/nicole-novielli" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2017" doi: "https://doi.org/10.1109/ICSE-NIER.2017.18" links: doi: "https://doi.org/10.1109/ICSE-NIER.2017.18" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/GachechiladzeLN17" researchr: "https://researchr.org/publication/GachechiladzeLN17" cites: 0 citedby: 0 pages: "11-14" booktitle: "ICSE" kind: "inproceedings" key: "GachechiladzeLN17" - title: "Scheduling-free resource management" author: - name: "Kees M. van Hee" link: "https://researchr.org/alias/kees-m.-van-hee" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Natalia Sidorova" link: "http://www.win.tue.nl/~sidorova" - name: "Marc Voorhoeve" link: "https://researchr.org/alias/marc-voorhoeve" - name: "Jan van der Wal" link: "https://researchr.org/alias/jan-van-der-wal" year: "2007" doi: "http://dx.doi.org/10.1016/j.datak.2006.04.008" links: doi: "http://dx.doi.org/10.1016/j.datak.2006.04.008" researchr: "https://researchr.org/publication/HeeSSVW07" cites: 0 citedby: 0 journal: "DKE" volume: "61" number: "1" pages: "59-75" kind: "article" key: "HeeSSVW07" - title: "On Termination of Meta-Programs" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Danny De Schreye" link: "http://people.cs.kuleuven.be/~danny.deschreye/" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2250/22500517.htm" links: doi: "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: "lpar" kind: "inproceedings" key: "SerebrenikS01" - title: "Recognizing gender of stack overflow users" author: - name: "Bin Lin 0008" link: "https://researchr.org/alias/bin-lin-0008" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2016" doi: "http://doi.acm.org/10.1145/2901739.2901777" links: doi: "http://doi.acm.org/10.1145/2901739.2901777" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/msr/0008S16" researchr: "https://researchr.org/publication/0008S16" cites: 0 citedby: 0 pages: "425-429" booktitle: "msr" kind: "inproceedings" key: "0008S16" - title: "Automated termination analysis for logic programs with cut" author: - name: "Peter Schneider-Kamp" link: "https://researchr.org/alias/peter-schneider-kamp" - name: "Jürgen Giesl" link: "http://verify.rwth-aachen.de/giesl/" - name: "Thomas Ströder" link: "https://researchr.org/alias/thomas-str%C3%B6der" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "René Thiemann" link: "https://researchr.org/alias/ren%C3%A9-thiemann" year: "2010" doi: "http://dx.doi.org/10.1017/S1471068410000165" links: doi: "http://dx.doi.org/10.1017/S1471068410000165" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tplp/Schneider-KampGSST10" 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" kind: "article" key: "Schneider-KampGSST10" - title: "Automotive ADLS: a study on enforcing consistency through multiple architectural levels" author: - name: "Yanja Dajsuren" link: "https://researchr.org/alias/yanja-dajsuren" - name: "Mark van den Brand" link: "https://researchr.org/alias/mark-van-den-brand" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Rudolf Huisman" link: "https://researchr.org/alias/rudolf-huisman" year: "2012" doi: "http://doi.acm.org/10.1145/2304696.2304710" links: doi: "http://doi.acm.org/10.1145/2304696.2304710" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/qosa/DajsurenBSH12" researchr: "https://researchr.org/publication/DajsurenBSH12" cites: 0 citedby: 0 pages: "71-80" booktitle: "qosa" kind: "inproceedings" key: "DajsurenBSH12" - title: "Introduction" author: - name: "Didier Buchs" link: "https://researchr.org/alias/didier-buchs" - name: "Fabrice Kordon" link: "https://researchr.org/alias/fabrice-kordon" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Natalia Sidorova" link: "https://researchr.org/alias/natalia-sidorova" - name: "Jeremy Spronston" link: "https://researchr.org/alias/jeremy-spronston" - name: "Yann Thierry-Mieg" link: "https://researchr.org/alias/yann-thierry-mieg" year: "2010" doi: "http://ceur-ws.org/Vol-827/28_DidierBuchs_introduction.pdf" links: doi: "http://ceur-ws.org/Vol-827/28_DidierBuchs_introduction.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/acsd/BuchsKSSST10" researchr: "https://researchr.org/publication/BuchsKSSST10" cites: 0 citedby: 0 pages: "371" booktitle: "acsd" kind: "inproceedings" key: "BuchsKSSST10" - title: "A Case of Industrial vs. Open-source OCL: Not So Different After All" author: - name: "Josh G. M. Mengerink" link: "https://researchr.org/alias/josh-g.-m.-mengerink" - name: "Jeroen Noten" link: "https://researchr.org/alias/jeroen-noten" - name: "Ramon R. H. Schiffelers" link: "https://researchr.org/alias/ramon-r.-h.-schiffelers" - name: "Mark G. J. van den Brand" link: "https://researchr.org/alias/mark-g.-j.-van-den-brand" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2017" doi: "http://ceur-ws.org/Vol-2019/posters_4.pdf" links: doi: "http://ceur-ws.org/Vol-2019/posters_4.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/MengerinkNSBS17" researchr: "https://researchr.org/publication/MengerinkNSBS17" cites: 0 citedby: 0 pages: "472-474" booktitle: "MoDELS" kind: "inproceedings" key: "MengerinkNSBS17" - title: "FLOSS 2013: a survey dataset about free software contributors: challenges for curating, sharing, and combining" author: - name: "Gregorio Robles" link: "https://researchr.org/alias/gregorio-robles" - name: "Laura Arjona Reina" link: "https://researchr.org/alias/laura-arjona-reina" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Jesús M. González-Barahona" link: "https://researchr.org/alias/jes%C3%BAs-m.-gonz%C3%A1lez-barahona" year: "2014" doi: "http://doi.acm.org/10.1145/2597073.2597129" links: doi: "http://doi.acm.org/10.1145/2597073.2597129" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/msr/RoblesRSVG14" researchr: "https://researchr.org/publication/RoblesRSVG14" cites: 0 citedby: 0 pages: "396-399" booktitle: "msr" kind: "inproceedings" key: "RoblesRSVG14" - title: "Choosing your weapons: On sentiment analysis tools for software engineering research" author: - name: "Robbert Jongeling" link: "https://researchr.org/alias/robbert-jongeling" - name: "Subhajit Datta" link: "https://researchr.org/alias/subhajit-datta" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2015" doi: "http://dx.doi.org/10.1109/ICSM.2015.7332508" links: doi: "http://dx.doi.org/10.1109/ICSM.2015.7332508" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/JongelingDS15" researchr: "https://researchr.org/publication/JongelingDS15" cites: 0 citedby: 0 pages: "531-535" booktitle: "ICSM" kind: "inproceedings" key: "JongelingDS15" - title: "Refactoring Logic Programs: Extended Abstract" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Bart Demoen" link: "https://researchr.org/alias/bart-demoen" year: "2003" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2916&spage=509" links: doi: "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: "ICLP" kind: "inproceedings" key: "SerebrenikD03" - title: "Confusion Detection in Code Reviews" author: - name: "Felipe Ebert" link: "https://researchr.org/alias/felipe-ebert" - name: "Fernando Castor" link: "https://researchr.org/alias/fernando-castor" - name: "Nicole Novielli" link: "https://researchr.org/alias/nicole-novielli" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2017" doi: "http://doi.ieeecomputersociety.org/10.1109/ICSME.2017.40" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ICSME.2017.40" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/EbertCNS17" researchr: "https://researchr.org/publication/EbertCNS17" cites: 0 citedby: 0 pages: "549-553" booktitle: "ICSM" kind: "inproceedings" key: "EbertCNS17" - title: "EnTagRec: An Enhanced Tag Recommendation System for Software Information Sites" author: - name: "Shaowei Wang" link: "https://researchr.org/alias/shaowei-wang" - name: "David Lo" link: "https://researchr.org/alias/david-lo" - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2014" doi: "http://dx.doi.org/10.1109/ICSME.2014.51" links: doi: "http://dx.doi.org/10.1109/ICSME.2014.51" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/WangLVS14" researchr: "https://researchr.org/publication/WangLVS14" cites: 0 citedby: 0 pages: "291-300" booktitle: "ICSM" kind: "inproceedings" key: "WangLVS14" - title: "Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse Releases" author: - name: "John Businge" link: "https://researchr.org/alias/john-businge" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Mark van den Brand" link: "https://researchr.org/alias/mark-van-den-brand" year: "2012" doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2012.10" links: doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2012.10" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/scam/BusingeSB12" researchr: "https://researchr.org/publication/BusingeSB12-0" cites: 0 citedby: 0 pages: "164-173" booktitle: "SCAM" kind: "inproceedings" key: "BusingeSB12-0" - title: "Tailoring complexity metrics for simulink models" author: - name: "Marta Olszewska" link: "https://researchr.org/alias/marta-olszewska" - name: "Yanja Dajsuren" link: "https://researchr.org/alias/yanja-dajsuren" - name: "Harald Altinger" link: "https://researchr.org/alias/harald-altinger" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Marina A. Waldén" link: "https://researchr.org/alias/marina-a.-wald%C3%A9n" - name: "Mark G. J. van den Brand" link: "https://researchr.org/alias/mark-g.-j.-van-den-brand" year: "2016" doi: "http://dl.acm.org/citation.cfm?id=3004853" links: doi: "http://dl.acm.org/citation.cfm?id=3004853" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecsa/OlszewskaDASWB16" researchr: "https://researchr.org/publication/OlszewskaDASWB16" cites: 0 citedby: 0 pages: "5" booktitle: "ecsa" kind: "inproceedings" key: "OlszewskaDASWB16" - title: "A historical dataset of software engineering conferences" author: - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Tom Mens" link: "http://staff.umh.ac.be/Mens.Tom/" year: "2013" doi: "http://dl.acm.org/citation.cfm?id=2487153" links: doi: "http://dl.acm.org/citation.cfm?id=2487153" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/msr/VasilescuSM13" researchr: "https://researchr.org/publication/VasilescuSM13" cites: 0 citedby: 0 pages: "373-376" booktitle: "msr" kind: "inproceedings" key: "VasilescuSM13" - title: "Rewriting Aggregate Queries Using Views" author: - name: "Sara Cohen" link: "https://researchr.org/alias/sara-cohen" - name: "Werner Nutt" link: "https://researchr.org/alias/werner-nutt" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "1999" doi: "http://doi.acm.org/10.1145/303976.303992" links: doi: "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: "PODS" kind: "inproceedings" key: "CohenNS99" - title: "I2SD: reverse engineering Sequence Diagrams Enterprise Java Beans from with interceptors" author: - name: "Serguei A. Roubtsov" link: "https://researchr.org/alias/serguei-a.-roubtsov" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Aurélien Mazoyer" link: "https://researchr.org/alias/aur%C3%A9lien-mazoyer" - name: "M. G. J. van den Brand" link: "https://researchr.org/alias/m.-g.-j.-van-den-brand" - name: "Ella E. Roubtsova" link: "http://www.open.ou.nl/elr/" year: "2013" doi: "http://dx.doi.org/10.1049/iet-sen.2012.0056" links: doi: "http://dx.doi.org/10.1049/iet-sen.2012.0056" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/iee/RoubtsovSMBR13" researchr: "https://researchr.org/publication/RoubtsovSMBR13" cites: 0 citedby: 0 journal: "iee" volume: "7" number: "3" kind: "article" key: "RoubtsovSMBR13" - title: "Gender, Representation and Online Participation: A Quantitative Study of StackOverflow" author: - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Andrea Capiluppi" link: "https://researchr.org/alias/andrea-capiluppi" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2012" doi: "http://doi.ieeecomputersociety.org/10.1109/SocialInformatics.2012.81" links: doi: "http://doi.ieeecomputersociety.org/10.1109/SocialInformatics.2012.81" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/socialinformatics/VasilescuCS12" researchr: "https://researchr.org/publication/VasilescuCS12" cites: 0 citedby: 0 pages: "332-338" booktitle: "socialinformatics" kind: "inproceedings" key: "VasilescuCS12" - title: "Challenges in Software Ecosystems Research" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Tom Mens" link: "http://staff.umh.ac.be/Mens.Tom/" year: "2015" doi: "http://doi.acm.org/10.1145/2797433.2797475" links: doi: "http://doi.acm.org/10.1145/2797433.2797475" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecsa/SerebrenikM15" researchr: "https://researchr.org/publication/SerebrenikM15" cites: 0 citedby: 0 pages: "40" booktitle: "ecsa" kind: "inproceedings" key: "SerebrenikM15" - title: "An empirical study of the evolution of Eclipse third-party plug-ins" author: - name: "John Businge" link: "https://researchr.org/alias/john-businge" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Mark van den Brand" link: "https://researchr.org/alias/mark-van-den-brand" year: "2010" doi: "http://doi.acm.org/10.1145/1862372.1862389" links: doi: "http://doi.acm.org/10.1145/1862372.1862389" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iwpse/BusingeSB10" tags: - "empirical" - "Eclipse" researchr: "https://researchr.org/publication/BusingeSB10" cites: 0 citedby: 0 pages: "63-72" booktitle: "iwpse" kind: "inproceedings" key: "BusingeSB10" - title: "Proving Termination for Logic Programs by the Query-Mapping Pairs Approach" author: - name: "Naomi Lindenstrauss" link: "https://researchr.org/alias/naomi-lindenstrauss" - name: "Yehoshua Sagiv" link: "https://researchr.org/alias/yehoshua-sagiv" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3049&spage=453" links: doi: "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: "LOPSTR" kind: "inproceedings" key: "LindenstraussSS04" - title: "Automated termination proofs for logic programs by term rewriting" author: - name: "Peter Schneider-Kamp" link: "https://researchr.org/alias/peter-schneider-kamp" - name: "Jürgen Giesl" link: "https://researchr.org/alias/j%C3%A3%C2%BCrgen-giesl" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "René Thiemann" link: "https://researchr.org/alias/ren%C3%A3%C2%A9-thiemann" year: "2009" doi: "http://doi.acm.org/10.1145/1614431.1614433" links: doi: "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: "tocl" volume: "11" number: "1" kind: "article" key: "Schneider-KampGST09" - title: "Less is more: unparser-completeness of metalanguages for template engines" author: - name: "B. J. Arnoldus" link: "https://researchr.org/alias/b.-j.-arnoldus" - name: "M. G. J. van den Brand" link: "https://researchr.org/alias/m.-g.-j.-van-den-brand" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2011" doi: "http://doi.acm.org/10.1145/2047862.2047887" links: doi: "http://doi.acm.org/10.1145/2047862.2047887" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/ArnoldusBS11" researchr: "https://researchr.org/publication/ArnoldusBS11" cites: 0 citedby: 0 pages: "137-146" booktitle: "GPCE" kind: "inproceedings" key: "ArnoldusBS11" - title: "Foreword to the SANER 2015 special issue" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Bram Adams" link: "https://researchr.org/alias/bram-adams" year: "2017" doi: "http://dx.doi.org/10.1002/smr.1844" links: doi: "http://dx.doi.org/10.1002/smr.1844" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/smr/SerebrenikA17" researchr: "https://researchr.org/publication/SerebrenikA17" cites: 0 citedby: 0 journal: "SMR" volume: "29" number: "3" kind: "article" key: "SerebrenikA17" - title: "LogLogics: A logic for history-dependent business processes" author: - name: "Kees M. van Hee" link: "https://researchr.org/alias/kees-m.-van-hee" - name: "Olivia Oanea" link: "https://researchr.org/alias/olivia-oanea" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Natalia Sidorova" link: "http://www.win.tue.nl/~sidorova" - name: "Marc Voorhoeve" link: "https://researchr.org/alias/marc-voorhoeve" year: "2007" doi: "http://dx.doi.org/10.1016/j.scico.2006.08.004" links: doi: "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: "SCP" volume: "65" number: "1" pages: "30-40" kind: "article" key: "HeeOSSV07" - title: "A Bottom-Up Quality Model for QVTo" author: - name: "Christine M. Gerpheide" link: "https://researchr.org/alias/christine-m.-gerpheide" - name: "Ramon R. H. Schiffelers" link: "https://researchr.org/alias/ramon-r.-h.-schiffelers" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2014" doi: "http://dx.doi.org/10.1109/QUATIC.2014.18" links: doi: "http://dx.doi.org/10.1109/QUATIC.2014.18" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/quatic/GerpheideSS14" researchr: "https://researchr.org/publication/GerpheideSS14-0" cites: 0 citedby: 0 pages: "85-94" booktitle: "quatic" kind: "inproceedings" key: "GerpheideSS14-0" - title: "An exploratory study on exception handling bugs in Java programs" author: - name: "Felipe Ebert" link: "https://researchr.org/alias/felipe-ebert" - name: "Fernando Castor" link: "https://researchr.org/alias/fernando-castor" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2015" doi: "http://dx.doi.org/10.1016/j.jss.2015.04.066" links: doi: "http://dx.doi.org/10.1016/j.jss.2015.04.066" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jss/EbertCS15" researchr: "https://researchr.org/publication/EbertCS15" cites: 0 citedby: 0 journal: "jss" volume: "106" pages: "82-101" kind: "article" key: "EbertCS15" - title: "Dn-based architecture assessment of Java Open Source software systems" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Serguei A. Roubtsov" link: "https://researchr.org/alias/serguei-a.-roubtsov" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" year: "2009" doi: "http://dx.doi.org/10.1109/ICPC.2009.5090043" links: doi: "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: "IWPC" kind: "inproceedings" key: "SerebrenikRB09" - title: "On negative results when using sentiment analysis tools for software engineering research" author: - name: "Robbert Jongeling" link: "https://researchr.org/alias/robbert-jongeling" - name: "Proshanta Sarkar" link: "https://researchr.org/alias/proshanta-sarkar" - name: "Subhajit Datta" link: "https://researchr.org/alias/subhajit-datta" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2017" doi: "https://doi.org/10.1007/s10664-016-9493-x" links: doi: "https://doi.org/10.1007/s10664-016-9493-x" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ese/JongelingSDS17" researchr: "https://researchr.org/publication/JongelingSDS17" cites: 0 citedby: 0 journal: "ese" volume: "22" number: "5" pages: "2543-2584" kind: "article" key: "JongelingSDS17" - title: "Soundness of Resource-Constrained Workflow Nets" author: - name: "Kees M. van Hee" link: "https://researchr.org/alias/kees-m.-van-hee" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Natalia Sidorova" link: "http://www.win.tue.nl/~sidorova" - name: "Marc Voorhoeve" link: "https://researchr.org/alias/marc-voorhoeve" year: "2005" doi: "http://dx.doi.org/10.1007/11494744_15" links: doi: "http://dx.doi.org/10.1007/11494744_15" tags: - "workflow" researchr: "https://researchr.org/publication/HeeSSV05" cites: 0 citedby: 0 pages: "250-267" booktitle: "apn" kind: "inproceedings" key: "HeeSSV05" - title: "SAW-BOT: Proposing Fixes for Static Analysis Warnings with GitHub Suggestions" author: - name: "Dragos Serban" link: "https://www.linkedin.com/in/dragos-mihai-serban/" - name: " Bart Golsteijn" link: "https://researchr.org/alias/bart-golsteijn" - name: " Ralph Holdorp" link: "https://researchr.org/alias/ralph-holdorp" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2021" abstract: "In this experience report we present SAW-BOT, a bot proposing fixes for static analysis warnings. The bot has been evaluated with five professional software developers by means of a Wizard of Oz experiment, semi-structured interviews and the mTAM questionnaire. We have observed that developers prefer GitHub suggestions to two baseline operation modes. Our study indicates that GitHub suggestions are a viable mechanism for implementing bots proposing fixes for static analysis warnings." links: technicalreport: "https://researchr.org/publication/preprint-Serban2021" researchr: "https://researchr.org/publication/Serban2021" cites: 0 citedby: 0 booktitle: "Third Workshop on Bots in Software Engineering (BotSE)" kind: "inproceedings" key: "Serban2021" - title: "Recurrence with affine level mappings is P-time decidable for CLP(R)" author: - name: "Frédéric Mesnard" link: "http://personnel.univ-reunion.fr/fred/" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2008" doi: "http://dx.doi.org/10.1017/S1471068407003122" links: doi: "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" kind: "article" key: "MesnardS08" - title: "By no means: a study on aggregating software metrics" author: - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Mark van den Brand" link: "https://researchr.org/alias/mark-van-den-brand" year: "2011" doi: "http://doi.acm.org/10.1145/1985374.1985381" links: doi: "http://doi.acm.org/10.1145/1985374.1985381" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/VasilescuSB11" researchr: "https://researchr.org/publication/VasilescuSB11-0" cites: 0 citedby: 0 pages: "23-26" booktitle: "ICSE" kind: "inproceedings" key: "VasilescuSB11-0" - title: "Looking for Stability" author: - name: "Cornelis Huizing" link: "https://researchr.org/alias/cornelis-huizing" - name: "Ruurd Kuiper" link: "https://researchr.org/alias/ruurd-kuiper" - name: "Teade Punter" link: "https://researchr.org/alias/teade-punter" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2005" researchr: "https://researchr.org/publication/HuizingKPS05" cites: 0 citedby: 0 pages: "31-44" booktitle: "ddops" kind: "inproceedings" key: "HuizingKPS05" - title: "Working with the Past: Integrating History in Petri Nets" author: - name: "Kees M. van Hee" link: "https://researchr.org/alias/kees-m.-van-hee" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Natalia Sidorova" link: "http://www.win.tue.nl/~sidorova" - name: "Wil M. P. van der Aalst" link: "http://wwwis.win.tue.nl/~wvdaalst/" year: "2008" doi: "http://iospress.metapress.com/content/e436623u05mw91x8/" links: doi: "http://iospress.metapress.com/content/e436623u05mw91x8/" tags: - "history" researchr: "https://researchr.org/publication/HeeSSA08" cites: 0 citedby: 0 journal: "FUIN" volume: "88" number: "3" pages: "387-409" kind: "article" key: "HeeSSA08" - title: "Improving Prolog Programs: Refactoring for Prolog" author: - name: "Tom Schrijvers" link: "http://users.ugent.be/~tschrijv" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3132&spage=58" links: doi: "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: "ICLP" kind: "inproceedings" key: "SchrijversS04" - title: "Process Discovery using Integer Linear Programming" author: - name: "Jan Martijn E. M. van der Werf" link: "https://researchr.org/alias/jan-martijn-e.-m.-van-der-werf" - name: "Boudewijn F. van Dongen" link: "https://researchr.org/alias/boudewijn-f.-van-dongen" - name: "Cor A. J. Hurkens" link: "https://researchr.org/alias/cor-a.-j.-hurkens" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2009" doi: "http://dx.doi.org/10.3233/FI-2009-136" links: doi: "http://dx.doi.org/10.3233/FI-2009-136" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/fuin/derWerfDHS09" tags: - "discovery" - "programming" researchr: "https://researchr.org/publication/derWerfDHS09" cites: 0 citedby: 0 journal: "FUIN" volume: "94" number: "3-4" pages: "387-412" kind: "article" key: "derWerfDHS09" - title: "Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Danny De Schreye" link: "http://people.cs.kuleuven.be/~danny.deschreye/" year: "2000" doi: "http://link.springer.de/link/service/series/0558/bibs/2042/20420069.htm" links: doi: "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: "LOPSTR" kind: "inproceedings" key: "SerebrenikS00a" - title: "Modularity Analysis of Automotive Control Software" author: - name: "Yanja Dajsuren" link: "https://researchr.org/alias/yanja-dajsuren" - name: "Mark G. J. van den Brand" link: "https://researchr.org/alias/mark-g.-j.-van-den-brand" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2013" doi: "http://ercim-news.ercim.eu/en94/special/modularity-analysis-of-automotive-control-software" links: doi: "http://ercim-news.ercim.eu/en94/special/modularity-analysis-of-automotive-control-software" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ercim/DajsurenBS14" researchr: "https://researchr.org/publication/DajsurenBS14" cites: 0 citedby: 0 journal: "ercim" volume: "2013" number: "94" kind: "article" key: "DajsurenBS14" - title: "Combining the Power of Searching and Querying" author: - name: "Sara Cohen" link: "https://researchr.org/alias/sara-cohen" - name: "Yaron Kanza" link: "https://researchr.org/alias/yaron-kanza" - name: "Yakov A. Kogan" link: "https://researchr.org/alias/yakov-a.-kogan" - name: "Werner Nutt" link: "https://researchr.org/alias/werner-nutt" - name: "Yehoshua Sagiv" link: "https://researchr.org/alias/yehoshua-sagiv" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2000" doi: "db/conf/coopis/CohenKKNSS00.html" researchr: "https://researchr.org/publication/CohenKKNSS00" cites: 0 citedby: 0 pages: "54-65" booktitle: "coopis" kind: "inproceedings" key: "CohenKKNSS00" - title: "Simulink models are also software: modularity assessment" author: - name: "Yanja Dajsuren" link: "https://researchr.org/alias/yanja-dajsuren" - name: "Mark G. J. van den Brand" link: "https://researchr.org/alias/mark-g.-j.-van-den-brand" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Serguei A. Roubtsov" link: "https://researchr.org/alias/serguei-a.-roubtsov" year: "2013" doi: "http://doi.acm.org/10.1145/2465478.2465482" links: doi: "http://doi.acm.org/10.1145/2465478.2465482" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/qosa/DajsurenBSR13" researchr: "https://researchr.org/publication/DajsurenBSR13" cites: 0 citedby: 0 pages: "99-106" booktitle: "qosa" kind: "inproceedings" key: "DajsurenBSR13" - title: "Process Mining Software Repositories: Do Developers Work as Expected?" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Wouter Poncin" link: "https://researchr.org/alias/wouter-poncin" - name: "Mark van den Brand" link: "https://researchr.org/alias/mark-van-den-brand" year: "2012" doi: "http://ercim-news.ercim.eu/en88/special/process-mining-software-repositories-do-developers-work-as-expected" links: doi: "http://ercim-news.ercim.eu/en88/special/process-mining-software-repositories-do-developers-work-as-expected" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ercim/SerebrenikPB12" researchr: "https://researchr.org/publication/SerebrenikPB12" cites: 0 citedby: 0 journal: "ercim" volume: "2012" number: "88" kind: "article" key: "SerebrenikPB12" - title: "Survival of Eclipse third-party plug-ins" author: - name: "John Businge" link: "https://researchr.org/alias/john-businge" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Mark van den Brand" link: "https://researchr.org/alias/mark-van-den-brand" year: "2012" doi: "http://doi.ieeecomputersociety.org/10.1109/ICSM.2012.6405295" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ICSM.2012.6405295" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/BusingeSB12" researchr: "https://researchr.org/publication/BusingeSB12" cites: 0 citedby: 0 pages: "368-377" booktitle: "ICSM" kind: "inproceedings" key: "BusingeSB12" - title: "Modelling with History-Dependent Petri Nets" author: - name: "Kees M. van Hee" link: "https://researchr.org/alias/kees-m.-van-hee" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Natalia Sidorova" link: "http://www.win.tue.nl/~sidorova" - name: "Marc Voorhoeve" link: "https://researchr.org/alias/marc-voorhoeve" - name: "Jan Martijn E. M. van der Werf" link: "https://researchr.org/alias/jan-martijn-e.-m.-van-der-werf" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-75183-0_23" links: doi: "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: "BPM" kind: "inproceedings" key: "HeeSSVW07:0" - title: "Checking Properties of Adaptive Workflow Nets" author: - name: "Kees M. van Hee" link: "https://researchr.org/alias/kees-m.-van-hee" - name: "Olivia Oanea" link: "https://researchr.org/alias/olivia-oanea" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Natalia Sidorova" link: "http://www.win.tue.nl/~sidorova" - name: "Marc Voorhoeve" link: "https://researchr.org/alias/marc-voorhoeve" - name: "Irina A. Lomazova" link: "https://researchr.org/alias/irina-a.-lomazova" year: "2007" doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=79&issue=3&spage=347" links: doi: "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: "FUIN" volume: "79" number: "3-4" pages: "347-362" kind: "article" key: "HeeOSSVL07" - title: "Eclipse API usage: the good and the bad" author: - name: "John Businge" link: "https://researchr.org/alias/john-businge" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Mark G. J. van den Brand" link: "https://researchr.org/alias/mark-g.-j.-van-den-brand" year: "2015" doi: "http://dx.doi.org/10.1007/s11219-013-9221-3" links: doi: "http://dx.doi.org/10.1007/s11219-013-9221-3" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sqj/BusingeSB15" researchr: "https://researchr.org/publication/BusingeSB15" cites: 0 citedby: 0 journal: "sqj" volume: "23" number: "1" pages: "107-141" kind: "article" key: "BusingeSB15" - title: "QVTo Model Transformations: Assessing and Improving their Quality" author: - name: "Christine M. Gerpheide" link: "https://researchr.org/alias/christine-m.-gerpheide" - name: "Ramon R. H. Schiffelers" link: "https://researchr.org/alias/ramon-r.-h.-schiffelers" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2014" doi: "http://ercim-news.ercim.eu/en99/special/qvto-model-transformations-assessing-and-improving-their-quality" links: doi: "http://ercim-news.ercim.eu/en99/special/qvto-model-transformations-assessing-and-improving-their-quality" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ercim/GerpheideSS14" researchr: "https://researchr.org/publication/GerpheideSS14" cites: 0 citedby: 0 journal: "ercim" volume: "2014" number: "99" kind: "article" key: "GerpheideSS14" - title: "Software Maintenance and Evolution and Automated Software Engineering" author: - name: "Jeffrey C. Carver" link: "https://researchr.org/alias/jeffrey-c.-carver" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2018" doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2018.1661318" links: doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2018.1661318" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/software/CarverS18" researchr: "https://researchr.org/publication/CarverS18" cites: 0 citedby: 0 journal: "IEEE Software" volume: "35" number: "2" pages: "102-104" kind: "article" key: "CarverS18" - title: "Perceptions of Diversity on Git Hub: A User Survey" author: - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Vladimir Filkov" link: "https://researchr.org/alias/vladimir-filkov" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2015" doi: "http://dx.doi.org/10.1109/CHASE.2015.14" links: doi: "http://dx.doi.org/10.1109/CHASE.2015.14" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/VasilescuFS15" researchr: "https://researchr.org/publication/VasilescuFS15" cites: 0 citedby: 0 pages: "50-56" booktitle: "ICSE" kind: "inproceedings" key: "VasilescuFS15" - title: "You can't control the unfamiliar: A study on the relations between aggregation techniques for software metrics" author: - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Mark van den Brand" link: "https://researchr.org/alias/mark-van-den-brand" year: "2011" doi: "http://dx.doi.org/10.1109/ICSM.2011.6080798" links: doi: "http://dx.doi.org/10.1109/ICSM.2011.6080798" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/VasilescuSB11" researchr: "https://researchr.org/publication/VasilescuSB11" cites: 0 citedby: 0 pages: "313-322" booktitle: "ICSM" kind: "inproceedings" key: "VasilescuSB11" - title: "RTTool: A Tool for Extracting Relative Thresholds for Source Code Metrics" author: - name: "Paloma Oliveira" link: "https://researchr.org/alias/paloma-oliveira" - name: "Fernando Paim Lima" link: "https://researchr.org/alias/fernando-paim-lima" - name: "Marco Tulio Valente" link: "https://researchr.org/alias/marco-tulio-valente" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2014" doi: "http://dx.doi.org/10.1109/ICSME.2014.112" links: doi: "http://dx.doi.org/10.1109/ICSME.2014.112" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/OliveiraLVS14" researchr: "https://researchr.org/publication/OliveiraLVS14" cites: 0 citedby: 0 pages: "629-632" booktitle: "ICSM" kind: "inproceedings" key: "OliveiraLVS14" - title: "Proving Termination with Adornments" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Danny De Schreye" link: "http://people.cs.kuleuven.be/~danny.deschreye/" year: "2003" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3018&spage=108" links: doi: "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: "LOPSTR" kind: "inproceedings" key: "SerebrenikS03" - title: "Security and emotion: sentiment analysis of security discussions on GitHub" author: - name: "Daniel Pletea" link: "https://researchr.org/alias/daniel-pletea" - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2014" doi: "http://doi.acm.org/10.1145/2597073.2597117" links: doi: "http://doi.acm.org/10.1145/2597073.2597117" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/msr/PleteaVS14" researchr: "https://researchr.org/publication/PleteaVS14" cites: 0 citedby: 0 pages: "348-351" booktitle: "msr" kind: "inproceedings" key: "PleteaVS14" - title: "How social Q&A sites are changing knowledge sharing in open source software communities" author: - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Premkumar T. Devanbu" link: "https://researchr.org/alias/premkumar-t.-devanbu" - name: "Vladimir Filkov" link: "https://researchr.org/alias/vladimir-filkov" year: "2014" doi: "http://doi.acm.org/10.1145/2531602.2531659" links: doi: "http://doi.acm.org/10.1145/2531602.2531659" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cscw/VasilescuSDF14" researchr: "https://researchr.org/publication/VasilescuSDF14" cites: 0 citedby: 0 pages: "342-354" booktitle: "cscw" kind: "inproceedings" key: "VasilescuSDF14" - title: "How healthy are software engineering conferences?" author: - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Tom Mens" link: "http://staff.umh.ac.be/Mens.Tom/" - name: "Mark G. J. van den Brand" link: "https://researchr.org/alias/mark-g.-j.-van-den-brand" - name: "Ekaterina Pek" link: "https://researchr.org/alias/ekaterina-pek" year: "2014" doi: "http://dx.doi.org/10.1016/j.scico.2014.01.016" links: doi: "http://dx.doi.org/10.1016/j.scico.2014.01.016" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/VasilescuSMBP14" researchr: "https://researchr.org/publication/VasilescuSMBP14" cites: 0 citedby: 0 journal: "SCP" volume: "89" pages: "251-272" kind: "article" key: "VasilescuSMBP14" - title: "On Termination of Binary CLP Programs" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Frédéric Mesnard" link: "http://personnel.univ-reunion.fr/fred/" year: "2004" doi: "http://dx.doi.org/10.1007/11506676_15" links: doi: "http://dx.doi.org/10.1007/11506676_15" tags: - "termination" researchr: "https://researchr.org/publication/SerebrenikM04" cites: 0 citedby: 0 pages: "231-244" booktitle: "LOPSTR" kind: "inproceedings" key: "SerebrenikM04" - title: "Adaptive Workflows for Healthcare Information Systems" author: - name: "Kees M. van Hee" link: "https://researchr.org/alias/kees-m.-van-hee" - name: "Helen Schonenberg" link: "https://researchr.org/alias/helen-schonenberg" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Natalia Sidorova" link: "http://www.win.tue.nl/~sidorova" - name: "Jan Martijn E. M. van der Werf" link: "https://researchr.org/alias/jan-martijn-e.-m.-van-der-werf" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-78238-4_37" links: doi: "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: "BPM" kind: "inproceedings" key: "HeeSSSW07" - title: "A Complete Operator Library for DSL Evolution Specification" author: - name: "J. G. M. Mengerink" link: "https://researchr.org/alias/j.-g.-m.-mengerink" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Ramon R. H. Schiffelers" link: "https://researchr.org/alias/ramon-r.-h.-schiffelers" - name: "M. G. J. van den Brand" link: "https://researchr.org/alias/m.-g.-j.-van-den-brand" year: "2016" doi: "http://doi.ieeecomputersociety.org/10.1109/ICSME.2016.32" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ICSME.2016.32" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/MengerinkSSB16" researchr: "https://researchr.org/publication/MengerinkSSB16" cites: 0 citedby: 0 pages: "144-154" booktitle: "ICSM" kind: "inproceedings" key: "MengerinkSSB16" - title: "On termination of meta-programs" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Danny De Schreye" link: "http://people.cs.kuleuven.be/~danny.deschreye/" year: "2005" doi: "http://dx.doi.org/10.1017/S1471068404002248" links: doi: "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" kind: "article" key: "SerebrenikS05" - title: "Formally specified type checkers for domain specific languages: experience report" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "A. P. van der Meer" link: "https://researchr.org/alias/a.-p.-van-der-meer" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Albert T. Hofkamp" link: "https://researchr.org/alias/albert-t.-hofkamp" year: "2010" doi: "http://doi.acm.org/10.1145/1868281.1868293" links: doi: "http://doi.acm.org/10.1145/1868281.1868293" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ldta/BrandMSH10" tags: - "domain-specific language" researchr: "https://researchr.org/publication/BrandMSH10" cites: 0 citedby: 0 pages: "12" booktitle: "LDTA" kind: "inproceedings" key: "BrandMSH10" - title: "An Empirical Study on the Usage of the Swift Programming Language" author: - name: "Marcel Reboucas" link: "https://researchr.org/alias/marcel-reboucas" - name: "Gustavo Pinto" link: "https://researchr.org/alias/gustavo-pinto" - name: "Felipe Ebert" link: "https://researchr.org/alias/felipe-ebert" - name: "Weslley Torres" link: "https://researchr.org/alias/weslley-torres" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Fernando Castor" link: "https://researchr.org/alias/fernando-castor" year: "2016" doi: "http://doi.ieeecomputersociety.org/10.1109/SANER.2016.66" links: doi: "http://doi.ieeecomputersociety.org/10.1109/SANER.2016.66" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wcre/ReboucasPETSC16" researchr: "https://researchr.org/publication/ReboucasPETSC16" cites: 0 citedby: 0 pages: "634-638" booktitle: "WCRE" kind: "inproceedings" key: "ReboucasPETSC16" - title: "Algorithms for Rewriting Aggregate Queries Using Views" author: - name: "Sara Cohen" link: "https://researchr.org/alias/sara-cohen" - name: "Werner Nutt" link: "https://researchr.org/alias/werner-nutt" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "1999" doi: "http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-19/paper9.pdf" links: doi: "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: "dmdw" kind: "inproceedings" key: "CohenNS99:0" - title: "Detecting dependencies in Enterprise JavaBeans with SQuAVisiT" author: - name: "Alexandru Sutii" link: "https://researchr.org/alias/alexandru-sutii" - name: "Serguei A. Roubtsov" link: "https://researchr.org/alias/serguei-a.-roubtsov" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2013" doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2013.6671330" links: doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2013.6671330" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wcre/SutiiRS13" researchr: "https://researchr.org/publication/SutiiRS13" cites: 0 citedby: 0 pages: "485-486" booktitle: "WCRE" kind: "inproceedings" key: "SutiiRS13" - title: "Software quality metrics aggregation in industry" author: - name: "Karine Mordal-Manet" link: "https://researchr.org/alias/karine-mordal-manet" - name: "Nicolas Anquetil" link: "https://researchr.org/alias/nicolas-anquetil" - name: "Jannik Laval" link: "https://researchr.org/alias/jannik-laval" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Stéphane Ducasse" link: "https://researchr.org/alias/st%C3%A9phane-ducasse" year: "2013" doi: "http://dx.doi.org/10.1002/smr.1558" links: doi: "http://dx.doi.org/10.1002/smr.1558" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/smr/Mordal-ManetALSVD13" researchr: "https://researchr.org/publication/Mordal-ManetALSVD13" cites: 0 citedby: 0 journal: "SMR" volume: "25" number: "10" pages: "1117-1135" kind: "article" key: "Mordal-ManetALSVD13" - title: "Social Debt Analytics for Improving the Management of Software Evolution Tasks" author: - name: "Fabio Palomba" link: "https://researchr.org/alias/fabio-palomba" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Andy Zaidman" link: "https://researchr.org/alias/andy-zaidman" year: "2017" doi: "http://ceur-ws.org/Vol-2047/BENEVOL_2017_paper_5.pdf" links: doi: "http://ceur-ws.org/Vol-2047/BENEVOL_2017_paper_5.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/benevol/PalombaSZ17" researchr: "https://researchr.org/publication/PalombaSZ17" cites: 0 citedby: 0 pages: "18-21" booktitle: "BENEVOL" kind: "inproceedings" key: "PalombaSZ17" - title: "Testing Conformance of EJB 3 Enterprise Application Servers" author: - name: "Sander de Putter" link: "https://researchr.org/alias/sander-de-putter" - name: "Serguei A. Roubtsov" link: "https://researchr.org/alias/serguei-a.-roubtsov" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2014" doi: "http://dx.doi.org/10.5220/0004864402720279" links: doi: "http://dx.doi.org/10.5220/0004864402720279" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iceis/PutterRS14" researchr: "https://researchr.org/publication/PutterRS14" cites: 0 citedby: 0 pages: "272-279" booktitle: "ICEIS" kind: "inproceedings" key: "PutterRS14" - title: "Process Mining Software Repositories" author: - name: "Wouter Poncin" link: "https://researchr.org/alias/wouter-poncin" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Mark van den Brand" link: "https://researchr.org/alias/mark-van-den-brand" year: "2011" doi: "http://dx.doi.org/10.1109/CSMR.2011.5" links: doi: "http://dx.doi.org/10.1109/CSMR.2011.5" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/csmr/PoncinSB11" researchr: "https://researchr.org/publication/PoncinSB11" cites: 0 citedby: 0 pages: "5-14" booktitle: "CSMR" kind: "inproceedings" key: "PoncinSB11" - title: "Lean GHTorrent: GitHub data on demand" author: - name: "Georgios Gousios" link: "https://researchr.org/alias/georgios-gousios" - name: "Bogdan Vasilescu" link: "https://researchr.org/alias/bogdan-vasilescu" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Andy Zaidman" link: "http://www.st.ewi.tudelft.nl/~zaidman" year: "2014" doi: "http://doi.acm.org/10.1145/2597073.2597126" links: doi: "http://doi.acm.org/10.1145/2597073.2597126" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/msr/GousiosVSZ14" researchr: "https://researchr.org/publication/GousiosVSZ14" cites: 0 citedby: 0 pages: "384-387" booktitle: "msr" kind: "inproceedings" key: "GousiosVSZ14" - title: "Unfolding the Mystery of ::::Mergesort::::" author: - name: "Naomi Lindenstrauss" link: "https://researchr.org/alias/naomi-lindenstrauss" - name: "Yehoshua Sagiv" link: "https://researchr.org/alias/yehoshua-sagiv" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "1997" doi: "http://link.springer.de/link/service/series/0558/bibs/1463/14630206.htm" links: doi: "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: "LOPSTR" kind: "inproceedings" key: "LindenstraussSS97:0" - title: "History-Based Joins: Semantics, Soundness and Implementation" author: - name: "Kees M. van Hee" link: "https://researchr.org/alias/kees-m.-van-hee" - name: "Olivia Oanea" link: "https://researchr.org/alias/olivia-oanea" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Natalia Sidorova" link: "http://www.win.tue.nl/~sidorova" - name: "Marc Voorhoeve" link: "https://researchr.org/alias/marc-voorhoeve" year: "2006" doi: "http://dx.doi.org/10.1007/11841760_16" links: doi: "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: "BPM" kind: "inproceedings" key: "HeeOSSV06:0" - title: "History-Dependent Petri Nets" author: - name: "Kees M. van Hee" link: "https://researchr.org/alias/kees-m.-van-hee" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Natalia Sidorova" link: "http://www.win.tue.nl/~sidorova" - name: "Wil M. P. van der Aalst" link: "http://wwwis.win.tue.nl/~wvdaalst/" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-73094-1_12" links: doi: "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: "apn" kind: "inproceedings" key: "HeeSSA07" - title: "Termination Analysis of Logic Programs: Extended Abstract" author: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2003" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2916&spage=507" links: doi: "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: "ICLP" kind: "inproceedings" key: "Serebrenik03" - title: "Proceedings of the 25th International Conference on Program Comprehension, ICPC 2017, Buenos Aires, Argentina, May 22-23, 2017" year: "2017" doi: "http://dl.acm.org/citation.cfm?id=3101414" links: doi: "http://dl.acm.org/citation.cfm?id=3101414" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iwpc/2017" 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: - name: "Giuseppe Scanniello" link: "https://researchr.org/alias/giuseppe-scanniello" - name: "David Lo" link: "https://researchr.org/alias/david-lo" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" publisher: "IEEE / ACM" isbn: "978-1-5386-0535-6" kind: "proceedings" key: "iwpc-2017" - title: "22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015, Montreal, QC, Canada, March 2-6, 2015" year: "2015" doi: "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7066219" links: doi: "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7066219" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wcre/2015" 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: - name: "Yann-Gaël Guéhéneuc" link: "https://researchr.org/alias/yann-ga%C3%ABl-gu%C3%A9h%C3%A9neuc" - name: "Bram Adams" link: "https://researchr.org/alias/bram-adams" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" publisher: "IEEE" isbn: "978-1-4799-8469-5" kind: "proceedings" key: "wcre-2015" - title: "Evolving Software Systems" year: "2014" doi: "http://dx.doi.org/10.1007/978-3-642-45398-4" links: doi: "http://dx.doi.org/10.1007/978-3-642-45398-4" dblp: "http://dblp.uni-trier.de/rec/bibtex/books/sp/ess2014" researchr: "https://researchr.org/publication/ess2014" cites: 0 citedby: 0 editor: - name: "Tom Mens" link: "http://staff.umh.ac.be/Mens.Tom/" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Anthony Cleve" link: "https://researchr.org/alias/anthony-cleve" publisher: "Springer" isbn: "978-3-642-45397-7" kind: "book" key: "ess2014" - 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: - name: "Frédéric Mesnard" link: "http://personnel.univ-reunion.fr/fred/" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" volume: "CW371" series: "Report" publisher: "Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium)" kind: "proceedings" key: "lpe:2003" - title: "Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), October 5, 2005" year: "2005" doi: "http://arxiv.org/html/cs.PL/0508078" links: doi: "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: - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" - name: "Susana Muñoz-Hernández" link: "https://researchr.org/alias/susana-mu%C3%B1oz-hern%C3%A1ndez" kind: "proceedings" key: "lpe:2005"