Alexander Serebrenik

Associate Professor (UHD), SET

MF 7.143
Den Dolech 2
P.O. Box 513
5600 MB Eindhoven
The Netherlands

e-mail: a.serebrenik at tue.nl (stupid mail-bots, shame on you!)
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. Every second Friday you can find me in Amsterdam (L222). From September till December 2012 I was on sabbatical at the Software Engineering lab of University of Mons, headed by Prof. Tom Mens.

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 and repositories, and 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.

My current Ph.D. students: Arjan, Bogdan, John, Yanja. My former Ph.D. students: Jeroen, Marcel.

Externally funded projects

Conference organization

General chair: ICSM 2013

PC chair: WLPE'03 (together with Fred Mesnard), Termination day in Leuven 2003, WLPE’05 (together with Susana Muñoz Hernández), WST’07 (together with Dieter Hofbauer), BENEVOL’08, APNOC’09 (together with Natalia Sidorova), APNOC’10 (together with Natalia Sidorova)

PC member: JFPLC'04, WLPE'04, WLPE'06, LOPSTR’07, WLPE’07, WLPE’08, CSR’09, SLE'09, WLPE'09, CSMR'10, SLE'10, ICLP'11, SLE'11, WLPE'11, ICPC'12, WETSoM'12, ECCS 2012 workshop on Research Challenges in Software Complexity, WLPE'12, International Workshop on Controversial Implementation Choices, CSMR'13 ERA, WETSoM'13, First International Workshop on Ecosystem Architectures (WEA 2013).

Publicity Chair for ICLP’06, SLE’09.

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

Treasurer: GPCE 2010 and SLE 2010.

Computer Science and Engineering

Since September 1, 2010 I'm the program manager of the "Computer Science and Engineering" Master program. My responsibilities include admission, curriculum and general CSE quality assurance. Peter Veltkamp, master programs' study advisor, can help you to solve individual issues, while Elle van den Hurk can help you with obtaining international experience as a part of your masters. Special track on Information Security Technology is coordinated by Boris Škoric, special track on Service Design and Engineering is coordinated by Bas Luttik.

Teaching

2012-2013

 2IS55 Software evolution (Peach)

2011-2012

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

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

Termination analysers for logic programs:

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 17.

Publications (DBLP, TU/e):

  1. Yanya Dasjuren, 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 (accepted).
  2. 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
  3. Bogdan Vasilescu, Andrea Capiluppi, Alexander Serebrenik Men at work: the StackOverflow case Tiny Transactions on Computer Science, 2
  4. 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.
  5. 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
  6. Andrea Capiluppi, Alexander Serebrenik, Leif Singer. Assessing Technical Candidates on the Social Web, IEEE Software, 2012, 30(1):45-51 (PDF)
  7. 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
  8. 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, 2012, accepted.
  9. 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)
  10. 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)
  11. 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
  12. Bogdan Vasilescu, Alexander Serebrenik and Mark van den Brand How to aggregate software metrics? Tiny Transactions on Computer Science, 1
  13. Yanya Dasjuren, 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)
  14. 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)
  15. 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.
  16. Jeroen Arnoldus, Mark van den Brand, Alexander Serebrenik, Jacob Brunekreef Code Generation with Templates. Amsterdam-Paris: Atlantis Press (on-line).
  17. 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.
  18. 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
  19. 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
  20. 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.
  21. 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.
  22. 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.
  23. Yanya Dasjuren, 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
  24. 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
  25. 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
  26. 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
  27. 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.
  28. 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.
  29. 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
  30. 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
  31. 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
  32. 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.
  33. 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
  34. 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.
  35. 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.
  36. 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).
  37. 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.
  38. 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. ??-??
  39. 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.
  40. 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.
  41. 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
  42. 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.
  43. 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.
  45. 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
  46. 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.
  47. 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
  48. 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).
  49. Kees van Hee, Alexander Serebrenik, Natalia Sidorova Token History Nets, Fundamenta Informaticae 85(1-4):219-234 (2008)
  50. 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.
  51. 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.
  52. 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
  53. 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.
  54. Alexander Serebrenik, Tom Schrijvers , and Bart Demoen . Improving Prolog Programs: Refactoring for Prolog. Theory and Practice of Logic Programming, 8(2):201-215, 2008.
  55. 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
  56. 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.
  57. Ivo Raedts, Marija Petković, Alexander Serebrenik, Lou Somers. Transformation + Analysis = Validation. CONQUEST 2007.
  58. 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.
  59. 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.
  60. 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.
  61. 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:
  62. 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:
  63. 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.
  64. 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
  65. 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:
  66. 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.
  67. 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.
  68. Alexander Serebrenik and Susana Muñoz-Hernández Proceedings of the 15th International Workshop on Logic-based methods in Programming Environments, October 2005.
  69. Alexander Serebrenik and Danny De Schreye, On termination of meta-programs, Theory and Practice of Logic Programming, 5(3): 355-390 (2005).
  70. 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
  71. 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.
  72. 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
  73. 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
  74. 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.)
  75. 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)
  76. 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
  77. 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
  78. 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
  79. 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)
  80. 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
  81. 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
  82. 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.
  83. 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
  84. 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
  85. 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
  86. 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).
  87. 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.
  88. 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.
  89. 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
  90. 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.
  91. 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.
  92. 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
  93. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv and Alexander Serebrenik. When Linear Norms Are Not Enough Workshop on Termination, May 1999.
  94. 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.
  95. 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.