Alexander Serebrenik

Associate Professor (UHD), SET

Post addressVisiting address
MF 6.087MF 6.087
P.O. Box 513Groene Loper 5
5600 MB Eindhoven Eindhoven
The NetherlandsThe Netherlands

Twitter: @aserebrenik
e-mail: a.serebrenik at tue.nl
phone: +31 40 247 3595 (office)

 

From January 2013 I am a part-time visiting researcher at the Software Analysis and Transformation group of CWI, lead by Jurgen J. Vinju. From September till December 2012 I was on sabbatical at the Software Engineering lab of University of Mons, headed by Prof. Tom Mens. In October-November 2013 I've visited Prof. Vladimir Filkov and Prof. Prem Devanbu in UC Davis.

Since August 1, 2008 I'm a member of SET (since February 1, 2013 as associate professor, in 2008-2013 as assistant professor). Before this I used to be an assistant professor at LaQuSo (July 2004-July 2008) and a postdoc researcher in the Sémantique, preuve et interprétation abstraite (Semantics, Proof and Abstract Interpretation) group lead by Radhia Cousot (January-June 2004). Till December 2003 I've used to work at the Declarative Languages and' Artificial Intelligence group at Katholieke Universiteit Leuven. In July 2003 I have defended a Ph.D. thesis entitled Termination Analysis of Logic Programs (Ph.D. advisor: Prof. Danny De Schreye). In 1999 I've obtained my masters degree from the Hebrew University, Jerusalem Israel. My supervisors were Dr. Naomi Lindenstrauss and Prof. Yehoshua Sagiv.


My research interests include software evolution, specifically metrics, repositories, and social aspects, as well as software engineering in general. I also used to work on static analysis, process modeling and verification, termination analysis, logic programming, Petri nets, abstract interpretation, database query languages, term-rewriting.

"This book is an excellent overview of the latest research in software evolution as it covers a wide range of systems and artifacts as well as analysis techniques. The book is for everyone interested in evolving software systems. For students, it reveals the complexity and challenges after the initial release of a software system. For researchers, it's the perfect starting point to identify new, important research challenges. For practitioners, it's a fantastic introduction to the latest techniques and tools used in software engineering research such as search-based techniques and mining unstructured data. Thanks so much the editors and authors for putting together such a fabulous and inspiring book. I love it!" Thomas Zimmermann, Microsoft Research, Redmond, WA, USA

"Modern society depends on software flexibility. Yet at the same time, software loses a bit of its flexibility with every change made to it. The field of software evolution research aims at understanding the processes of software evolution, and at proposing methods and techniques to manage evolution. This book provides a wonderful overview of the state of the art in software evolution. The editors did a great job in identifying challenging areas of research, and found the right experts to present the state of the art. Important areas such as evolving product lines and web applications are covered, as are underlying evolution techniques such as repository mining and search-based analysis. The book is a great resource, and I have immediately shared it with my co-workers. Highly recommended!" Arie van Deursen, Delft University of Technology, The Netherlands

Amazon Springer


Two open PhD positions: PhD student 2, PhD student 3.

My current Ph.D. students: Miguel and Josh. I'm also external supervisor of Monika (Indraprastha Institute of Information Technology, Delhi, India). My former Ph.D. students: Jeroen (currently with Repleo, The Netherlands), Marcel (currently with ASML, The Netherlands), John (currently with Mbarara University of Science and Technology, Uganda), Bogdan (currently with UC Davis, USA), Arjan and Luna (both currently with Altran, The Netherlands), Yanja (currently with CWI, The Netherlands).

I've also been Rüdiger's opponent at Växjö University in Sweden, as well as a committee member of Paolo (Katholieke Universiteit Leuven, Belgium), Mathieu (University of Mons, Belgium), Waqar (Eindhoven University of Technology, The Netherlands), Michaël (University of Namur, Belgium), Andre (University Lille 1, France), Daniele (Delft University of Technology, The Netherlands) and Yongming (Eindhoven University of Technology, The Netherlands). I will join the PhD committee of Frank. I've also had the privilege of hosting two visiting scholars: Paloma (Instituto Federal de Minas Gerais, Brazil) and Monika (Indraprastha Institute of Information Technology, Delhi, India).


Externally funded projects


Conference organization

Steering commitee member: ICSME (2013-2016), secretary in 2013-2014, chair in 2014-current; SCAM (2015-2018)

General chair: ICSM 2013

PC chair: ICPC 2017 (together with David Lo), EOSESE 2015, SANER 2015 (together with Bram Adams), APNOC 2010 (together with Natalia Sidorova), BENEVOL 2008, APNOC 2009 (together with Natalia Sidorova), WST 2007 (together with Dieter Hofbauer), WLPE 2005 (together with Susana Muñoz Hernández), WLPE'03 (together with Fred Mesnard), Termination day in Leuven 2003

Workshops chair: Software Evolution week (CSMR-WCRE) 2014.

PC member: SANER'17, WASA'16, Workshops of ICSE 2016 (CHASE, SEmotion, WETSOM), MSR'16 Data showcase, SCAM'16, ICPC'16, ICSME'16, ISEC'16, SANER'16, SANER'16 ERA, MASE'15, ICSME'15, GTTSE'15, SCAM'15 (distinguished reviewer award), ICPC'15 ERA, MSR'15 Data showcase, SATTOSE'15, WASA'15, ICSME'14 (distinguished reviewer award), IWSECO-WEA'14, WETSoM'14, EASE'14, MSR'14 Data showcase, CSMR'13 ERA, WETSoM'13, First International Workshop on Ecosystem Architectures (WEA 2013), ICSM'13, Doctoral Symposium, ICPC'12, WETSoM'12, WLPE'12, ICLP'11, SLE'11, WLPE'11, CSMR'10, SLE'10, CSR'09, SLE'09, WLPE'09, WLPE'08, LOPSTR'07, WLPE'07, WLPE'06, JFPLC'04, WLPE'04.

Hackathon chair of SATTOSE 2014.

Publicity Chair for SLE 2009, ICLP'06.

Organiser: IPA Spring Days 2012 on Model-Driven Software Engineering (together with Tijs van der Storm, Arend Rensink and Tim Willemse), VVSS 2007 (together with Marko van Eekelen).

Treasurer: GPCE 2010 and SLE 2010.

Invited talks


Service

Bachelor: Since September 2014 I'm the chairman of the Educational Board for Bachelor Computer Science Majors (Software Science and Web Science) and a member of the Advisory Committee for Bachelor programs (ACB).

Master: Since September 2015 I'm the adjunct director of the Computer Science Graduate School. This means that I'm co-responsible for issues crossing the boundaries of individual master programs offered by our Department. In 2014-2015 the Computer Science and Engineering Master program has been reorganised into streams. Since 2014 I'm acting as the contact person for the Software Science, and Free streams. In 2010--2014 I was the program manager of the Computer Science and Engineering Master program. From September 2014 Computer Science and Engineering program is managed by Julien Schmaltz.


Interviews


Teaching

2015-2016

2ICC0 Coaching
  2ID50 Data modelling and databases (Sakai)
  2IMP25 Software evolution (Peach)

2014-2015

2IS95 Seminar software engineering and technology (Peach)

 

2ICC0 Coaching
  2ID50 Data modelling and databases (Sakai)
  2IW80 Software specification and architecture (Peach)
  2IS55 Software evolution (Peach)

2013-2014

2IS95 Seminar software engineering and technology (Peach)
  2IW80 Software specification and architecture (Peach)
  2IS55 Software evolution (Peach)

2012-2013

2IS55 Software evolution (Peach)

2011-2012

2ID05 Datamodelleren en databases (Sakai)
  2IS95 Seminar software engineering and technology (Peach)
  2IS55 Software evolution (Peach; Excellent course evaluation)

2010-2011

2ID05 Datamodelleren en databases
  2IS95 Seminar software engineering and technology (Peach)
  2IS55 Software evolution (Peach)

2009-2010

2ID05 Datamodelleren en databases
  2IS95 Seminar software engineering and technology
  2IS55 Software evolution (Peach)

2008-2009

2ID05 Datamodelleren en databases
  2IM23 Minor project (Verdiepende minor)
  2IM24 Minor project (Minor TI)
  2IC95 Seminar security
  2IF03 Seminar information security technology
  2IP35 Software engineering project
  2IS99 Capita selecta software engineering and technology
2007-2008 2IF03 Seminar information security technology
  2IF25 Formal methods
  2IM23 Minor project (evaluatieresultaten)
2006-2007 2IF03 Seminar information security technology
  2L340 Kennissystemen

My Erdős number turned out to be much smaller than I've thought:

  1. first kind (all papers) 3 (Erdős - Frankel - Dershowitz - Serebrenik)
  2. second kind (only two-authored papers) 6 (Erdős - Shelah - Weiss - Connes - van Daele - De Schreye - Serebrenik)

My H-number according to Google Scholar is 25. My math genealogy page.


Publications (DBLP, TU/e):

  1. Bin Lin, Alexander Serebrenik. Recognizing Gender of Stack Overflow Users Proceedings of the 13th Working Conference on Mining Software Repositories, 2016. (accepted, PDF)
  2. Tamara Mendes, Marco Tulio Valente, André Hora, Alexander Serebrenik. Identifying Utility Functions using Random Forests 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering. Early Research Achievements track. (accepted, PDF)
  3. Marcel Rebouças, Gustavo Pinto, Felipe Ebert, Weslley Torres, Alexander Serebrenik, Fernando Castor. An Empirical Study on the Usage of the Swift Programming Language 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering. Early Research Achievements track. (accepted, PDF)
  4. Bin Lin, Alexey Zagalsky, Margaret-Anne Storey, Alexander Serebrenik. Why Developers Are Slacking Off: Understanding How Software Teams Use Slack Computer Supported Cooperative Work and Social Computing (CSCW) 2016 companion volume, pp.333-336. PDF
  5. Davy Landman, Alexander Serebrenik, Eric Bouwers, Jurgen Vinju Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions Journal of Software: Evolution and Process, 2015 (accepted, PDF)
  6. Alexander Serebrenik, Tom Mens Surveying Challenges in Software Ecosystems Research European workshop on software ecosystems.
  7. Robbert Jongeling, Subhajit Datta, Alexander Serebrenik Choosing Your Weapons: On Sentiment Analysis Tools for Software Engineering Research 31th International Conference on Software Maintenance and Evolution, Early Research Achievements Track, pp. 531-535, 2015 (PDF)
  8. Paloma Oliveira, Marco Tulio Valente, Alexandre Bergel, Alexander Serebrenik Validating Metric Thresholds with Developers - an Early Result 31th International Conference on Software Maintenance and Evolution, Early Research Achievements Track, pp. 546-550, 2015 (PDF, IEEEXplore)
  9. Alexander Serebrenik, Tom Mens Challenges in Software Ecosystems Research Joint 7th Workshop on Software Ecosystems (IWSECO 2015) and 3rd International Workshop on Ecosystem Architectures (WEA 2015). Proceedings of the 2015 European Conference on Software Architecture Workshops. Article No. 40 (PDF)
  10. Christine M. Gerpheide, Ramon Schiffelers, Alexander Serebrenik Assessing and Improving Quality of QVTo Model Transformations. Software Quality Journal, accepted (PDF)
  11. Felipe Ebert, Fernando Castor, Alexander Serebrenik An Exploratory Study on Exception Handling Bugs in Java Programs Journal of Systems and Software, volume 106, pp. 82-101, 2015 (PDF)
  12. Bogdan Vasilescu, Alexander Serebrenik, Vladimir Filkov A Data Set for Social Diversity Studies of GitHub Teams. Proceedings of the 12th Working Conference on Mining Software Repositories, May 16-17, 2015. (PDF)
  13. John Businge, Alexander Serebrenik, Mark van den Brand Eclipse API usage: the good and the bad. Software Quality Journal, 23(1):107-141, 2015 (link)
  14. Bogdan Vasilescu, Vladimir Filkov, Alexander Serebrenik. Perceptions of Diversity on GitHub: A User Survey. Proceedings of the 8th International Workshop on Cooperative and Human Aspects of Software Engineering, 2015, ACM, accepted (PDF).
  15. Emilia Silvas, Theo Hofman, Alexander Serebrenik, Maarten Steinbuch. Functional and Cost-Based Automatic Generator for Hybrid Vehicles Topologies. IEEE/ASME Transactions on Mechatronics, accepted (PDF)
  16. Bogdan Vasilescu, Daryl Posnett, Baishakhi Ray, Mark van den Brand, Alexander Serebrenik, Premkumar Devanbu, Vladimir Filkov. Gender and Tenure Diversity in GitHub Teams. CHI Conference on Human Factors in Computing Systems, 2015, ACM, pp. 3789-3798.(PDF, press release, erratum).
  17. Alexander Serebrenik. Evolving Software Systems: Emerging Trends and Challenges. Proceedings of the IEEE 8th International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (MESOCA), 2014, invited talk, p. x (PDF)
  18. Christine M. Gerpheide, Ramon Schiffelers, Alexander Serebrenik. QVTo Model Transformations: Assessing and Improving their Quality. ERCIM News, 99, 2014, pp.32-33
  19. Bogdan Vasilescu, Stef van Schuylenburg, Jules Wulms, Alexander Serebrenik, Mark van den Brand Continuous Integration in a Social-Coding World: Empirical Evidence from GitHub. 30th International Conference on Software Maintenance and Evolution, Early Research Achievements Track, pp.401-405 (PDF)
  20. Paloma Oliveira, Fernando Lima, Marco Tulio Valente, Alexander Serebrenik RTTOOL: A Tool for Extracting Relative Thresholds for Source Code Metrics. 30th International Conference on Software Maintenance and Evolution, Tool Track, pp.629-632 (PDF)
  21. Christine M. Gerpheide, Ramon Schiffelers, Alexander Serebrenik A Bottom-Up Quality Model for QVTo 9th International Conference on the Quality of Information and Communications Technology (QUATIC 2014), pp. 85-94 (PDF). Best paper award
  22. Davy Landman, Alexander Serebrenik, Jurgen Vinju Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods. 30th International Conference on Software Maintenance and Evolution, pp.221-230 (PDF) Nominated for the best Research Track paper award
  23. Shaowei Wang, David Lo, Bogdan Vasilescu, Alexander Serebrenik EnTagRec: An Enhanced Tag Recommendation System for Software Information Sites. 30th International Conference on Software Maintenance and Evolution, pp.291-300 (PDF)
  24. Yanja Dajsuren, Christine M. Gerpheide, Alexander Serebrenik, Anton Wijs, Bogdan Vasilescu and Mark van den Brand. Formalizing correspondence rules for automotive architectural views Tenth International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2014), Lille, France, June 30-July 4, 2014, pp.129-138 (PDF)
  25. Gregorio Robles, Laura Arjona-Reina, Bogdan Vasilescu, Alexander Serebrenik and Jesús M. González-Barahona. FLOSS 2013: A survey dataset about free software contributors. Challenges for curating, sharing and combining. Proceedings of the 11th Working Conference on Mining Software Repositories, May 31-June 1, 2014, pp.396-399 (PDF)
  26. Daniel Pletea, Bogdan Vasilescu, Alexander Serebrenik. Security and Emotion: Sentiment Analysis of Security Discussions on GitHub. Proceedings of the 11th Working Conference on Mining Software Repositories, May 31-June 1, 2014, pp.348-351 (PDF)
  27. Georgios Gousios, Bogdan Vasilescu, Alexander Serebrenik and Andy Zaidman. Lean GHTorrent: GitHub data on demand. Proceedings of the 11th Working Conference on Mining Software Repositories, May 31-June 1, 2014, pp.384-387 (PDF)
  28. Bogdan Vasilescu, Alexander Serebrenik, Tom Mens, Mark van den Brand, Ekaterina Pek. How healthy are software engineering conferences? Science of Computer Programming (link), accepted (PDF)
  29. Sander de Putter, Serguei Roubtsov, Alexander Serebrenik. Testing conformance of EJB 3 enterprise application servers. 16th International Conference on Enterprise Information Systems (ICEIS 2014, Lisbon, Portugal, April 27-30, 2014), pp. 272-279 (PDF)
  30. Tom Mens, Maëlick Claes, Philippe Grosjean, Alexander Serebrenik Studying Evolving Software Ecosystems based on Ecological Models in Evolving Software Systems (Tom Mens, Alexander Serebrenik, Anthony Cleve, eds.) Berlin, Springer, 420 pp., pp. 297-326.
  31. Alexander Serebrenik, Tom Mens Emerging trends in software evolution in Evolving Software Systems (Tom Mens, Alexander Serebrenik, Anthony Cleve, eds.) Berlin, Springer, 420 pp., pp. 329-332.
  32. Tom Mens, Alexander Serebrenik, Anthony Cleve. Evolving Software Systems Berlin, Springer, 420 pp.
  33. Yanya Dajsuren, Mark van den Brand, Alexander Serebrenik and Rudolf Huisman. A quality framework for evaluating automotive architecture. FISITA 2014 World Automotive Congress (2-6 June 2014).
  34. Bogdan Vasilescu, Alexander Serebrenik and Mark van den Brand. The Babel of Software Development: Linguistic Diversity in Open Source. 5th International Conference on Social Informatics (SocInfo 2013), Kyoto, Japan; Springer Verlag, Lecture Notes in Computer Science, volume 8238, pp. 391�404
  35. Bogdan Vasilescu, Alexander Serebrenik, Prem Devanbu, Vladimir Filkov. How Social Q&A Sites are Changing Knowledge Sharing in Open Source Software Communities. 17th ACM Conference on Computer Supported Cooperative Work and Social Computing (CSCW 2014), pp. 342--354
  36. Bogdan Vasilescu, Vladimir Filkov, Alexander Serebrenik. StackOverflow and GitHub : associations between software development and crowdsourced knowledge. 2013 ASE/IEEE International Conference on Social Computing (Washington DC, USA, September 8-13, 2013), pp.188-195
  37. Bogdan Vasilescu, Andrea Capiluppi, Alexander Serebrenik Gender, Representation and Online Participation: A Quantitative Study Interacting with Computers (link)
  38. Bram Schoenmakers, Niels van den Broek, Istvan Nagy, Bogdan Vasilescu, Alexander Serebrenik. Assessing the Complexity of Upgrading Software Modules 20th Working Conference on Reverse Engineering (WCRE). October 14-17, 2013. Koblenz, Germany, pp.433-440. (PDF)
  39. Alexandru Sutii, Serguei Roubtsov, Alexander Serebrenik. Detecting Dependencies in Enterprise JavaBeans with SQuAVisiT 20th Working Conference on Reverse Engineering (WCRE). October 14-17, 2013. Koblenz, Germany, pp. 485-486. (PDF)
  40. Yanja Dajsuren, Mark van den Brand, Alexander Serebrenik. Modularity Analysis of Automotive Control Software ERCIM News 2013(94), pp.20-21
  41. Serguei Roubtsov, Alexander Serebrenik, Aurélien Mazoyer, Mark van den Brand, Ella Roubtsova. I2SD: Reverse engineering sequence diagrams from Enterprise JavaBeans with interceptors. IET Software 7(3):150-166, 2013 (PDF).
  42. Yanya Dajsuren, Mark van den Brand, Alexander Serebrenik, Serguei Roubtsov Simulink Models are Also Software: Modularity Assessment. Ninth International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2013), Vancouver, Canada, June 17-21, 2013, pp. 99-106 (PDF).
  43. Bogdan Vasilescu, Alexander Serebrenik, Tom Mens. A historical dataset of software engineering conferences. Proceedings of the 10th Working Conference on Mining Software Repositories, May 18-19, 2013, San Francisco, California, USA, pp. 373-376 PDF
  44. Bogdan Vasilescu, Andrea Capiluppi, Alexander Serebrenik Men at work: the StackOverflow case Tiny Transactions on Computer Science, 2
  45. John Businge, Alexander Serebrenik, Mark van den Brand Analyzing the Eclipse API usage: Putting the developer in the loop. Proceedings of the 17th European Conference on Software Maintenance and Reengineering (CSMR 2013), March 5-8, 2013 Genova, Italy. IEEE Computer Society Press, pp.37-46.
  46. Bogdan Vasilescu, Alexander Serebrenik, Mathieu Goeminne, Tom Mens. On the variation and specialisation of workload: A case study of the Gnome ecosystem community. Empirical Software Engineering, 2012, accepted
  47. Bogdan Vasilescu, Andrea Capiluppi, Alexander Serebrenik Gender, Representation and Online Participation: A Quantitative Study of StackOverflow Social Informatics (SocialInformatics), 2012 International Conference on, p. 332-338 (PDF)
  48. Andrea Capiluppi, Alexander Serebrenik, Leif Singer. Assessing Technical Candidates on the Social Web, IEEE Software, 2012, 30(1):45-51 (PDF)
  49. Erik Kouters, Bogdan Vasilescu, Alexander Serebrenik, Mark van den Brand Who's who in Gnome: using LSA to merge software repository identities, 2012 IEEE 28th International Conference on Software Maintenance---Early Research Achievements (ICSM 2012 ERA), 23-30 September 2012 - Riva del Garda, Trento, Italy, accepted
  50. John Businge, Alexander Serebrenik, Mark van den Brand Survival of Eclipse Third-party Plug-ins, 2012 IEEE 28th International Conference on Software Maintenance (ICSM 2012), 23-30 September 2012 - Riva del Garda, Trento, Italy, pp. 369-378 (PDF)
  51. John Businge, Alexander Serebrenik, Mark van den Brand Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse Releases, 2012 IEEE 12th International Working Conference on Source Code Analysis and Manipulation (SCAM 2012), 23-24 September 2012 - Riva del Garda, Trento, Italy, pp. 164-173 (PDF, Appendix)
  52. Karine Mordal-Manet, Nicolas Anquetil, Jannik Laval, Alexander Serebrenik, Bogdan Vasilescu, Stephan Ducasse Software quality metrics aggregation in industry. Journal of Software: Evolution and Process, accepted
  53. Bogdan Vasilescu, Alexander Serebrenik and Mark van den Brand How to aggregate software metrics? Tiny Transactions on Computer Science, 1
  54. Yanya Dajsuren, Mark van den Brand, Alexander Serebrenik and Rudolf Huisman. Automotive ADLs: A study on enforcing consistency through multiple architectural levels, Eighth International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2012, Bertinoro, Italy, June 25-28, 2012), pp. 71-80 (PDF)
  55. Andrea Capiluppi, Alexander Serebrenik and Ahmmad Youssef. Developing an h-index for OSS developers. 9th IEEE Working Conference on Mining Software Repositories (MSR 2012, Zurich, Switzerland, June 2-3, 2012), pp. 251-254 (PDF)
  56. Marcel van Amstel, Mark van den Brand, Alexander Serebrenik Traceability Visualization in Model Transformations with TraceVis 5th International Conference on Model Transformation, May 28-29, 2012, Prague, Czech Republic, Lecture Notes in Computer Science, Vol. 7307, pp. 152-159, Springer Verlag.
  57. Jeroen Arnoldus, Mark van den Brand, Alexander Serebrenik, Jacob Brunekreef Code Generation with Templates. Amsterdam-Paris: Atlantis Press (on-line).
  58. John Businge, Alexander Serebrenik, Mark van den Brand Eclipse API usage: the good and the bad. Proceedings of the Sixth International Workshop on Software Quality and Maintainability, March 27-30, 2012, Szeged, Hungary, pp. 54-62.
  59. Alexander Serebrenik, Mark van den Brand, Bogdan Vasilescu Seeing the Forest for the Trees with New Econometric Aggregation Techniques ERCIM News 2012(88): (2012), pp.21-22
  60. Alexander Serebrenik, Wouter Poncin, Mark van den Brand Process Mining Software Repositories: Do Developers Work as Expected? ERCIM News 2012(88): (2012), pp. 16-17
  61. Joost Gabriels, Danny Holten, Martijn Klabbers, Wiljan van Ravensteijn, Alexander Serebrenik. Managing the co-evolution of software artifacts. In Marielle Stoelinga & Mark Timmer (Eds.), Proceedings of the 17th Dutch Testing Day (Enschede, The Netherlands, November 29, 2011). (CTIT Workshop Proceedings Series, Vol. WP 12-01, pp. 15-17, 2012). Enschede: University of Twente.
  62. Marcel van Amstel, Alexander Serebrenik, Mark van den Brand. Visualizing traceability in model transformation compositions. Computer Science Report No. 11-17, Eindhoven: Technische Universiteit Eindhoven, 11 pp.
  63. John Businge, Alexander Serebrenik, Mark van den Brand Eclipse API usage: the good and the bad. Computer Science Reports No. 11-15, Eindhoven: Technische Universiteit Eindhoven, 10 pp., 2011.
  64. Yanya Dajsuren, Mark van den Brand and Alexander Serebrenik. Evolution Mechanisms of Automotive Architecture Description Languages, BENEVOL 2011 (10th Belgian-Netherlands Software Evolution Seminar, Brussels, Belgium, December 8-9, 2011, pp.24-25
  65. Alexander Serebrenik, Bogdan Vasilescu and Mark van den Brand. Similar Tasks, Different Effort: Why the Same Amount of Functionality Requires Different Development Effort?, BENEVOL 2011 (10th Belgian-Netherlands Software Evolution Seminar, Brussels, Belgium, December 8-9, 2011, pp.4-5
  66. ACM DL Author-ize serviceMining student capstone projects with FRASR and ProM
    Wouter Poncin, Alexander Serebrenik, Mark van den Brand
    SPLASH '11 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, 2011 pp.87-96
  67. ACM DL Author-ize serviceLess is more: unparser-completeness of metalanguages for template engines
    B. J. Arnoldus, M. G. J. van den Brand, A. Serebrenik
    GPCE '11 Proceedings of the 10th ACM international conference on Generative programming and component engineering, 2011 pp.137-146
  68. Marcel van Amstel, Alexander Serebrenik and Mark van den Brand. Visualizing traceability in model transformation compositions. Pre-proceedings of the first workshop on Composition and Evolution of Model Transformations (London, UK, September 30, 2011), London: Department of Informatics, King's College London.
  69. Bogdan Vasilescu, Alexander Serebrenik and Mark van den Brand. You can't control the unfamiliar: A study on the relations between aggregation techniques for software metrics. 27th International Conference on Software Maintenance (ICSM 2011), IEEE, Williamsburg, VA, USA, 2011, pp.313-322.
  70. Serguei Roubtsov, Alexander Serebrenik, Aurélien Mazoyer and Mark van den Brand. I2SD: Reverse engineering sequence diagrams from Enterprise JavaBeans with interceptors. 11th International Working Conference on Source Code Analysis and Manipulation (SCAM 2011, Williamsburg VA, USA, September 25-26, 2011), pp.155-164
  71. ACM DL Author-ize serviceBy no means: a study on aggregating software metrics
    Bogdan Vasilescu, Alexander Serebrenik, Mark van den Brand
    WETSoM '11 Proceeding of the 2nd international workshop on Emerging trends in software metrics,�2011
  72. Wouter Poncin, Alexander Serebrenik and Mark van den Brand. Process mining software repositories.. In 15th European Conference on Software Maintenance and Reengineering, CSMR 2011, Oldenburg, Germany, March 1-14, 2011. IEEE 2011, pp. 5-14
  73. Bogdan Vasilescu, Alexander Serebrenik and Mark van den Brand. Comparative study of software metrics' aggregation techniques. In S. Ducasse, L. Duchien, L. Seinturier (Eds.), BENEVOL 2010 (9th Belgian-Netherlands Software Evolution Seminar, Lille, France, December 16, 2010. Proceedings of Short Papers). (pp. 1-5). Lille: Universit� Lille 1.
  74. Alexander Serebrenik, Mark van den Brand. Theil index for aggregation of software metrics values, Proc. IEEE Intl. Conf. on Software Maintenance (ICSM), Timisoara, Romania, September 12-18, 2010, pp. 1-9
  75. ACM DL Author-ize serviceAn empirical study of the evolution of Eclipse third-party plug-ins
    John Businge, Alexander Serebrenik, Mark van den Brand
    IWPSE-EVOL '10 Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE),�2010, pp. 63-72.
  76. Alexander Serebrenik, Amrita Mishra, Thomas Delissen, Martijn Klabbers. Requirements certification for offshoring using LSPCM. 7th International Conference on the Quality of Information and Communications Technology (QUATIC 2010, Oporto, Portugal, September 29-October 2, 2010), pp.177-182. IEEE Computer Society.
  77. Peter Schneider-Kamp, J�rgen Giesl, Thomas Ströder, Alexander Serebrenik, Ren� Thiemann. Automated Termination Analysis for Logic Programs with Cut. Theory and Practice of Logic Programming, 10(4-6): 365-381 (2010).
  78. ACM DL Author-ize serviceFormally specified type checkers for domain specific languages: experience report
    M. G. J. van den Brand, A. P. van der Meer, A. Serebrenik, A. T. Hofkamp
    LDTA '10 Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications,�2010, pp. 63-72.
  79. Serguei Roubtsov, Alexander Serebrenik and Mark van den Brand. Detecting Modularity "Smells" in Dependencies Injected with Java Annotations. In 14th European Conference on Software Maintenance and Reengineering, CSMR 2010, Madrid, Spain, March 15-18, 2010. IEEE 2010, pp. ??-??
  80. Alexander Serebrenik, Serguei Roubtsov, Ella Roubtsova, Mark van den Brand. Reverse Engineering Sequence Diagrams for Enterprise Java Beans with Business Method Interceptors. 16th Working Conference on Reverse Engineering, IEEE Computer Society, 2009, pp.269-273.
  81. Mark van den Brand, Arjan van der Meer, Alexander Serebrenik. Type Checking Evolving Languages with MSOS, Lecture Notes in Computer Science, vol. 5700, Springer Verlag, 2009, pp. 207-226.
  82. ACM DL Author-ize servicePredicting service request rates for adaptive resource allocation in SOA
    Alexander Serebrenik, Natalia Sidorova
    EOMAS '09 Proceedings of the International Workshop on Enterprises & Organizational Modeling and Simulation,�2009
  83. Peter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, Thomas Ströder, René Thiemann. Proving Termination for Logic Programs with Cut. In 10th International Workshop on Termination, Leipzig 2009.
  84. Alexander Serebrenik, Serguei Roubtsov, Mark van den Brand. Dn-based Architecture Assessment of Java Open Source Software Systems. 17th IEEE International Conference on Program Comprehension, IEEE Computer Society, 2009, pp. 198-207.
  85. Mark van den Brand, Serguei Roubtsov, Alexander Serebrenik. SQuAVisiT: A Flexible Tool for Visual Software Analytics. In Andreas Winter, Rudolf Ferenc, Jens Knodel (Eds.): 13th European Conference on Software Maintenance and Reengineering, CSMR 2009, Architecture-Centric Maintenance of Large-SCale Software Systems, Kaiserslautern, Germany, 24-27 March 2009. IEEE 2009, pp. 331-332
  86. Serguei Roubtsov, Alexander Serebrenik. Quality analysis of industrial legacy systems: An integrated approach. Third International Workshop on Software Quality and Maintainability, 2009, pp. 45-53.
  87. Marija Petković, Mark van den Brand, Alexander Serebrenik, Elena Korshunova, Computing System Metrics through Reverse Engineering. In Setting Quality Standards. Proceedings of the CONQUEST 2008. 11th International Conference of Quality Engineering in Software Technology (Ina Schieferdecker and Stephan Goericke, editors). Potsdam, Germany, September 2008, pp. 261-270
  88. Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf. Can I Find a Partner? Undecidablity of Partner Existence for Open Nets. Information Processing Letters 108(6):374-378 (2008).
  89. Kees van Hee, Alexander Serebrenik, Natalia Sidorova Token History Nets, Fundamenta Informaticae 85(1-4):219-234 (2008)
  90. Kees van Hee, Alexander Serebrenik, Natalia Sidorova, Wil van der Aalst. Working with the Past: Integrating History in Petri Nets, Fundamenta Informaticae 88(3):387-409, 2008.
  91. Jan Martijn E. M. van der Werf, Boudewijn F. van Dongen, Cor A. J. Hurkens, Alexander Serebrenik. Process Discovery using Integer Linear Programming. 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Lecture Notes in Computer Science, vol. 5062, Springer Verlag, 2008, pp. 367-387.
  92. Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve. History-based Joins: Semantics, Soundness and Implementation. Journal of Data and Knowledge Engineering, 64(1):24-37 (2008). Preliminary version of this paper has appeared as:
    • Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova and Marc Voorhoeve. History-based Joins: Semantics, Soundness and Implementation. 4th International Conference on Business Process Management. (S. Dustdar, J. Fiadeiro and A. P. Sheth, eds.), Lecture Notes in Computer Science, vol. 4102, Springer Verlag, 2006, pp. 225--240
  93. Fred Mesnard, Alexander Serebrenik. Recurrence with affine level mappings is P-time decidable for CLP(R). Theory and Practice of Logic Programming, 8(1):111-119, 2008.
  94. Alexander Serebrenik, Tom Schrijvers , and Bart Demoen . Improving Prolog Programs: Refactoring for Prolog. Theory and Practice of Logic Programming, 8(2):201-215, 2008.
  95. Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski, Manh Thang Nguyen, Danny De Schreye, Alexander Serebrenik:
    Termination of Programs using Term Rewriting and SAT Solving. Deduction and Decision Procedures (Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis, eds.), 30.09. - 05.10.2007.Dagstuhl Seminar Proceedings 07401 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2007
  96. Kees van Hee , Helen Schonenberg, Alexander Serebrenik, Natalia Sidorova, Jan Martijn van der Werf . Adaptive Workflows for Healthcare Information Systems. ProHealth 2007, Brisbane, Australia, September 2007, Lecture Notes in Computer Science, vol. 4928, Springer Verlag, p. 359-370, 2007.
  97. Ivo Raedts, Marija Petković, Alexander Serebrenik, Lou Somers. Transformation + Analysis = Validation. CONQUEST 2007.
  98. Kees van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, and Jan Martijn van der Werf, Modelling with History-Dependent Petri Nets. Proc. of the 5th International Conference on Business Process Management, Lecture Notes in Computer Science, vol. 4714, Springer Verlag, p. 320-327, 2007.
  99. Kees van Hee , Alexander Serebrenik, Natalia Sidorova and Wil van der Aalst. History-Dependent Petri Nets. 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Siedlce Poland, June 25-29, 2007, (Jetty Kleijn and Alex Yakovlev, eds.), Lecture Notes in Computer Science, vol. 4546, Springer Verlag, 2007, pp. 164-183.
  100. ACM DL Author-ize serviceA software framework for automated verification
    Ivo Raedts, Marija Petković, Alexander Serebrenik, Jan Martijn van der Werf, Lou Somers, Maarten Boote
    SAC '07 Proceedings of the 2007 ACM symposium on Applied computing,�2007, pp. 1031-1032.
  101. Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova. Checking Properties of Adaptive Workflow Nets. Fundamenta Informaticae, 79(3-4): 347-362 (2007). Preliminary version of this paper has appeared as:
  102. Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova and Marc Voorhoeve. LogLogics: A Logic for History-Dependent Business Processes. Science of Computer Programming, volume 65, issue 1, March 2007, Special Issue of Science of Computer Programming on "Increasing Adequacy & Reliability of EIS" (J. Barjis, U. Ultes-Nitsche, J. Augusto, eds.), pages 30-40. Preliminary version of this paper has appeared as:
  103. Peter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik and René Thiemann .Termination Analysis for Logic Programs by Term Rewriting Revisited . Eighth International Workshop on Termination (A. Geser and H. Søndergaard, eds.) August 15 - 16, 2006 Seattle, Washington, USA, pp. 2-6.
  104. Peter Schneider-Kamp , Jürgen Giesl , Alexander Serebrenik and René Thiemann . Automated Termination Analysis for Logic Programs by Term Rewriting. International Symposium on Logic-based Program Synthesis and Transformation, July 12 - 14, 2006 S. Servolo, Venice - Italy , Lecture Notes in Computer Science, vol. 4407, Springer Verlag, 2006, pp. 177-193
  105. Kees van Hee , Alexander Serebrenik, Natalia Sidorova Marc Voorhoeve and Jan van der Wal. Scheduling-Free Resource Management. Journal of Data and Knowledge Engineering, 61(1): 59-75 (2007). Preliminary version of this paper has appeared as:
  106. Kees van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova and Marc Voorhoeve . Nested Nets for Adaptive Systems. 27th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Turku, Finland, June 26-30, 2006, (S. Donatelli and P. S. Thiagarajan, eds), Lecture Notes in Computer Science, vol. 4024, Springer Verlag, 2006, pp. 241--260.
  107. Alexander Serebrenik and Danny De Schreye. Termination of Floating Point Computations. Journal of Automated Reasoning, special issue on "Techniques for Automated Termination Proofs" (Deepak Kapur and J�rgen Giesl, editors), 34(2):141�177, December 2005.
  108. Alexander Serebrenik and Susana Mu�oz-Hern�ndez Proceedings of the 15th International Workshop on Logic-based methods in Programming Environments, October 2005.
  109. Alexander Serebrenik and Danny De Schreye, On termination of meta-programs, Theory and Practice of Logic Programming, 5(3): 355-390 (2005).
  110. Cornelis Huizing , Ruurd Kuiper, Teade Punter and Alexander Serebrenik. Looking for Stability. Development and Deployment of Product Software 2005 (S. Brinkkemper, L. Xu, eds.), San Diego, California, USA, June 26, 2005
  111. Kees van Hee, Alexander Serebrenik, Natalia Sidorova and Marc Voorhoeve.Soundness of Resource-Constrained Workflow Nets. 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Miami, Florida, USA, June 20-25, 2005, (Gianfranco Ciardo, and Philippe Darondeau, eds.), Lecture Notes in Computer Science, vol. 3536, Springer Verlag, 2005, pp. 250-267.
  112. Stefan Blom, Jan Friso Groote, Sjouke Mauw and Alexander Serebrenik. Analysing the BKE-security protocol with μCRL. Proceedings of ARTS 2004, the 6th AMAST Workshop on Real-Time Systems (ARTS 2004). Electronic Notes in Theoretical Computer Science. volume 139, Issue 1, November 2005, Pages 49-90. Preliminary version of this paper appeared also as
  113. Alexander Serebrenik and Danny De Schreye, Inference of termination conditions for numerical loops in Prolog, Theory and Practice of Logic Programming, 4 (5&6), pp. 719-751, 2004
  114. Alexander Serebrenik, Fred Mesnard, On termination of binary CLP programs Proceedings of the International Symposium on LOgic-based Program Synthesis and Transformation, Lecture Notes in Computer Science, vol. 3573, Springer Verlag, 2004 (Etalle, Sandro ed.), pp. 231-244. Preliminary version of this paper also appeared as:
    • Alexander Serebrenik, Fred Mesnard, On termination of binary CLP programs Proceedings of the 14th international workshop on Logic Programming environments (Munoz-Hernandez Susana and Gomez-Perez Jose, eds.)
  115. Tom Schrijvers, Alexander Serebrenik, Improving Prolog Programs: Refactoring for Prolog Proceedings of The 20th International Conference on Logic Programming, St.-Malo, France ( Lifschitz, Vladimir and Demoen, Bart, eds.), 2004, Lecture Notes in Computer Science, vol. 3132, Springer Verlag, 2004, pp. 58-72. Preliminary version of this paper appeared also as
    • Tom Schrijvers, Alexander Serebrenik, and Bart Demoen, Refactoring Prolog Code, Proceedings of the 18th Workshop on (Constraint) Logic Programming (M. Hanus, ed.), Berlin, Germany
    • Alexander Serebrenik and Bart Demoen, Refactoring logic programs, Ninetheen International Conference on Logic Programming, ICLP 2003, Mumbay, India, December 9-13, 2003, Lecture Notes in Computer Science 2916, pp. 509-510. (poster)
  116. Naomi Lindenstrauss, Yehoshua Sagiv and Alexander Serebrenik, Proving termination for logic programs by the query-mapping pairs approach, "Program Development in Computational Logic" (Maurice Bruynooghe and Kung-Kiu Lau, editors), Lecture Notes in Computer Science, volume 3049, 2004, pp. 453-498
  117. Alexander Serebrenik and Danny De Schreye.Hasta-La-Vista: Termination analyzer for logic programs. In Proceedings of the 13th International Workshop on Logic Programming Environments (Fred Mesnard and Alexander Serebrenik, eds.) Published as K.U.Leuven technical report CW-371, November 2003. Preliminary version of this paper appeared also as
    • Alexander Serebrenik and Danny De Schreye. Hasta-La-Vista: Termination analyzer for logic programs, Albert Rubio (ed.) 6th International Workshop on Termination, WST'03, Valencia, Spain, June 13-14, 2003, pp. 55-57
  118. Fred Mesnard and Alexander Serebrenik (eds.) Proceedings of the 13th International Workshop on Logic Programming Environments. Published as K.U.Leuven technical report CW-371, November 2003
  119. Alexander Serebrenik, Termination analysis of logic programs, Ninetheen International Conference on Logic Programming, ICLP 2003, Mumbay, India, December 9-13, 2003, , Lecture Notes in Computer Science 2916, pp. 507-508. (poster)
  120. Alexander Serebrenik and Danny De Schreye, Proving termination with adornments, Proceedings of International Symposium on Logic-based Program Synthesis and Transformation, Uppsala, Sweden (Bruynooghe, M., ed.), 2003, pp.108-109. Preliminary version of this paper appeared also as
    • Alexander Serebrenik and Danny De Schreye. Proving termination with adornments, Albert Rubio (ed.) 6th International Workshop on Termination, WST'03, Valencia, Spain, June 13-14, 2003, pp. 5-7
  121. Danny De Schreye and Alexander Serebrenik. Acceptability with General Orderings. In Fariba Sadri, Antonis Kakas (eds.) Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I. Lecture Notes in Computer Science 2407 Springer Verlag 2002, pp. 187-210. Preliminary version of this paper appeared also
    • Alexander Serebrenik and Danny De Schreye. Termination analysis of logic programs using acceptability with general term orders Technical report, CW-291, May 2000
  122. Alexander Serebrenik and Danny De Schreye.
    On termination of logic programs with floating point computations 9th International Static Analysis Symposium, Madrid, Spain, September 17-20, 2002. Preliminary version of this paper appeared also as
    • Alexander Serebrenik and Danny De Schreye.
      On termination of programs with real numbers computations
      Technical report, CW-331, May 2002.
  123. Sara Cohen, Yaron Kanza ,Yakov Kogan, Werner class=MsoHyperlink> Nutt, Yehoshua Sagiv and Alexander Serebrenik. EquiX: a search and query language for XML, Journal of the American Society for Information Science and Technology 53(6): 454-466, 2002
  124. Alexander Serebrenik and Danny De Schreye.
    Inference of termination conditions for numerical loops in Prolog 8th International Conference on Logic for Programming, AI and Reasoning, Havana, Cuba, December 3-7, 2001. Preliminary versions of this paper appeared as
    • Alexander Serebrenik and Danny De Schreye. Inference of termination conditions for numerical loops, BNAIC'02 - Belgian-Dutch Conference on Artificial Intelligence, Leuven, Belgium, October 21-22, 2002
    • Alexander Serebrenik. Inference of termination conditions for numerical loops < F.N.R.S. meeting on Validation and Verification of Formal Descriptions, ULB, Brussel, June 6, 2001.
    • Alexander Serebrenik. Inference of termination conditions for numerical loops Fifth International Workshop on Termination, Utrecht, The Netherlands, May 20-21, 2001.
    • Alexander Serebrenik and Danny De Schreye. Inference of termination conditions for numerical loops Technical report, CW-308, May 2001
  125. Alexander Serebrenik and Danny De Schreye. On termination of meta-programs 8th International Conference on Logic for Programming, AI and Reasoning, Havana, Cuba, December 3-7, 2001. Preliminary versions of this paper appeared
    • Alexander Serebrenik, and Danny De Schreye. On termination of meta-programs, BNAIC'02 - Belgian-Dutch Conference on Artificial Intelligence, Leuven, Belgium, October 21-22, 2002
    • Alexander Serebrenik. On termination of meta-programs
      Fifth International Workshop on Termination, Utrecht, The Netherlands, May 20-21, 2001
    • Alexander Serebrenik and Danny De Schreye.
      On termination of meta-programs Technical report, CW-306, February 2001
  126. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv and Alexander Serebrenik. A general framework for automatic termination analysis of logic programs In Applicable Algebra in Engineering, Communication and Computing, volume 2001, issue 1/2, 2001. J�rgen Giesl , Pierre Lescanne (eds).
  127. Sara Cohen, Yaron Kanza,Yakov Kogan,Werner Nutt, Yehoshua Sagiv and Alexander Serebrenik. Combining the Power of Searching and Querying In Opher Etzion, Peter Scheuermann (eds.) Proceedings of International Conference on Cooperative Information Systems (CoopIS'2000), Eilat, Israel, September 6-8, 2000 Springer Verlag, Lecture Notes in Computer Science, volume 1901, 2000. Extended version of this paper has been published a technical report 2000-28 of Leibniz Center for Research in Computer Science, Hebrew University, Jerusalem, Israel. June, 2000.
  128. Sara Cohen , Werner Nutt and Alexander Serebrenik. Algorithms for Rewriting Aggregate Queries Using Views Symposium on Advances in Databases and Information Systems, Enlarged Fourth East-European Conference on Advances in Databases and Information Systems, Prague, Czech Republik, September 5-8, 2000 Springer Verlag, Lecture Notes in Computer Science, Vol. 1884, 2000. Extended version of this paper has been published a KULeuven technical report CW-292, May 2000. Preliminary version of this paper appeared also in Proceedings of the International Workshop on Design and Management of Data Warehouses (DMDW'99), June 1999.
  129. Alexander Serebrenik and Danny De Schreye. Non-transformational termination analysis of Logic Programs, based on general term-orderings, Tenth International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR 2000), London, July, 24-28, 2000. Preliminary version of this paper has been published in Technical Report Report Series, Department of Computer Science, University of Manchester, ISSN 1361-6161. Report number UMCS-00-6-1, pp. 45-54. Preliminary version of this paper also appeared as a KULeuven technical report, CW-284, January 2000
  130. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv and Alexander Serebrenik. Automatic Termination Analysis of Programs Containing Arithmetic Predicates Workshop on Verification of Logic Programs, December 1999. Also in ENTCS, volume 30, number 1.
  131. Sara Cohen, Yaron Kanza, Yakov Kogan, Werner Nutt, Yehoshua Sagiv and Alexander Serebrenik. EquiX---Easy Querying in XML Databases In ACM Sigmod Workshop on the Web and Databases (WebDB'99), June 1999.
  132. ACM DL Author-ize serviceRewriting aggregate queries using views
    Sara Cohen, Werner Nutt, Alexander Serebrenik
    PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems,�1999
  133. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv and Alexander Serebrenik. When Linear Norms Are Not Enough Workshop on Termination, May 1999.
  134. Naomi Lindenstrauss , Yehoshua Sagiv and Alexander Serebrenik. Unfolding the Mystery of Mergesort In Norbert Fuchs (ed.) Proceedings of the Seventh International Workshop on Logic Program Synthesis and Transformation. Springer Verlag, Lecture Notes in Computer Science, volume 1463, 1997.
  135. Naomi Lindenstrauss, Yehoshua Sagiv and Alexander Serebrenik. TermiLog: A System for Checking Termination of Queries to Logic Programs In Orna Grumberg (ed.) Computer Aided Verification, 9th International Conference. Springer Verlag, Lecture Notes in Computer Science, volume 1254, 1997.