Research Output

2017

Benchmarking optimised algorithms for transitive closure

Pieterse, V. & Cleophas, L. G. W. A., 26 Sep 2017, SAICSIT '17 Proceedings of the South African Institute of Computer Scientists and Information Technologists, 26-28 September 2017, Thaba 'Nchu, South Africa . New York: Association for Computing Machinery, Inc, p. 1-10 27

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Boekbespreking - Siobhan Roberts - genius at play : the curious mind of John Horton Conway

Translated title of the contribution: Book Review - Siobhan Roberts - Genius at Play : The Curious Mind of John Horton ConwayVerhoeff, T., Sep 2017, In : Nieuw Archief voor Wiskunde. 5/18, 3, p. 216-217 2 p.

Research output: Contribution to journalBook reviewAcademic

Brzozowski goes concurrent: A Kleene Theorem for pomset languages

Kappé, T., Brunet, P., Luttik, B., Silva, A. & Zanasi, F., 1 Aug 2017, 28th International Conference on Concurrency Theory (CONCUR 2017). Meyer, R. & Nestmann, U. (eds.). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 1-16 16 p. 25. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 85).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
3 Citations (Scopus)
17 Downloads (Pure)

Challenges for static analysis of Java Reflection: literature review and empirical study

Landman, D., Serebrenik, A. & Vinju, J., 19 Jul 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE). Piscataway: Institute of Electrical and Electronics Engineers, p. 507-518 12 p. 7985689

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

35 Citations (Scopus)

Classifying non-periodic sequences by permutation transducers

Zantema, H. & Bosma, W., 2017, Developments in Langauge Theory"21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings. Charlier, E., Leroy, J. & Rigo, M. (eds.). Cham: Springer, p. 365-377 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10396 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Clinical assessment using an algorithm based on fuzzy C-means clustering

Guijarro-Rodriguez, A., Cevallos-Torres, L., Yepez-Holguin, J. & Botto-Tobar, M., 2017, Technologies and Innovation : Third International Conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017 : Proceedings. Valencia-Garcia, R., Lagos-Ortiz, K., Del Cioppo, J., Vera-Lucio, N., Bucaram-Leverone, M. & Alcaraz-Marmol, G. (eds.). Cham: Springer, p. 181-193 13 p. (Communications in Computer and Information Science; vol. 749).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Clustering variation points in MATLAB/Simulink models using reverse signal propagation analysis

Schlie, A., Wille, D., Cleophas, L. & Schaefer, I., 2017, Mastering Scale and Complexity in Software Reuse - 16th International Conference on Software Reuse, ICSR 2017, Proceedings. Botterweck, G. & Werner, C. (eds.). Springer, p. 77-94 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10221 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
1 Downloads (Pure)

Code of conduct in open source projects

Tourani, P., Adams, B. & Serebrenik, A., 21 Mar 2017, 2017 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering. Bavota, G., Pinzger, M. & Marcus, A. (eds.). Piscataway: IEEE Computer Society, p. 24-33 10 p. 7884606

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

25 Citations (Scopus)
3 Downloads (Pure)

Compositional model checking is lively

de Putter, S. M. J. & Wijs, A. J., 2017, Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. Proença, J. & Lumpe, M. (eds.). Dordrecht: Springer, p. 117-136 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10487 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

Compositional model checking with incremental counter-example construction

Wijs, A. J. & Neele, T. S., 2017, Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Majumdar, R. & Kunčak, V. (eds.). Dordrecht: Springer, p. 570-590 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10426 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Confusion detection in code reviews

Ebert, F., Castor, F., Novielli, N. & Serebrenik, A., 8 Nov 2017, ICSME 2017 : 33rd IEEE International Conference on Software Maintenance and Evolution, 17-24 September 2017, Shanghai, China: New Ideas and Emerging Results. Piscataway: Institute of Electrical and Electronics Engineers, p. 549-553 5 p. 8094460

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
19 Citations (Scopus)
Open Access
File
2 Citations (Scopus)
48 Downloads (Pure)

Cost comparison of running web applications in the cloud using monolithic, microservice, and AWS Lambda architectures

Villamizar, M., Garcés, O., Ochoa, L., Castro, H., Salamanca, L., Verano, M., Casallas, R., Gil, S., Valencia, C., Zambrano, A. & Lang, M., 1 Jun 2017, In : Service oriented computing and applications. 11, 2, p. 233-247 15 p.

Research output: Contribution to journalArticleAcademicpeer-review

27 Citations (Scopus)

CSP for parallelising Brzozowski's DFA construction algorithm

Strauss, T., Watson, B. W., Kourie, D. G. & Cleophas, L. G. W. A., 2017, The Role of Theory in Computer Science : Essays Dedicated to Janusz Brzozowski. s.l.: World Scientific, p. 217-244 28 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Deriving natural deduction rules from truth tables

Geuvers, H. & Hurkens, T., 1 Jan 2017, Logic and Its Applications - 7th Indian Conference, ICLA 2017, Proceedings. Ghosh, S. & Prasad, S. (eds.). Berlin: Springer, p. 123-138 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10119 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Detecting variability in MATLAB/Simulink models : an industry-inspired technique and its evaluation

Schlie, A., Wille, D., Schulze, S., Cleophas, L. G. W. A. & Schaefer, I., 25 Sep 2017, SPLC '17 : Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, 25-29 September 2017, Sevilla, Spain, . Fuentes, L., Bagheri, E., Ruiz-Cortes, A., Benavides, D., Capilla, R., Xiong, Y., Bosch, J., Acher, M., Schall, D., Cohen, M. & Troya, J. (eds.). New York: Association for Computing Machinery, Inc, Vol. A. p. 215-224 10 p. (ACM International Conference Proceeding Series; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

Developer turnover in global, industrial open source projects: insights from applying survival analysis

Lin, B., Robles, G. & Serebrenik, A., 12 Jul 2017, Proceedings - 2017 IEEE 12th International Conference on Global Software Engineering, ICGSE 2017. Piscataway: Institute of Electrical and Electronics Engineers, p. 66-75 10 p. 7976690

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

29 Citations (Scopus)

Development of the DCA data adapter modeling environment

Hoedemakers, C. G. J. J., 28 Sep 2017, Eindhoven: Technische Universiteit Eindhoven. 73 p.

Research output: ThesisPd Eng Thesis

7 Downloads (Pure)

DFAs and PFAs with long shortest synchronizing word length

de Bondt, M., Don, H. & Zantema, H., 2017, Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings. Charlier, E., Leroy, J. & Rigo, M. (eds.). Dordrecht: Springer, p. 122-133 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10396 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)

Divide and congruence III: stability & divergence

Fokkink, W., van Glabbeek, R. & Luttik, B., 1 Aug 2017, 28th International Conference on Concurrency Theory, CONCUR 2017. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 85. 16 p. 15

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
8 Citations (Scopus)
22 Downloads (Pure)

Emotional labor of software engineers

Serebrenik, A., Dec 2017, BENEVOL 2017 : BElgian-NEtherlands Software eVOLution Symposium, 4-5 December 2017, Antwerp, Belgium. Demeyer, S., Parsai, A., Laghari, G. & van Bladel, B. (eds.). CEUR-WS.org, p. 1-6 6 p. (CEUR-WS.org; vol. 2047).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
3 Citations (Scopus)
81 Downloads (Pure)

Empowering high tech systems engineering using MDSE ecosystems (invited talk)

Schiffelers, R., 1 Jan 2017, Theory and Practice of Model Transformation - 10th International Conference, ICMT 2017 Held as Part of STAF 2017, Proceedings. Guerra, E. & van den Brand, M. (eds.). Berlin: Springer, p. XI 1 p. (Lecture Notes in Computer Science; vol. 10374).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)

Engineering the dynamic semantics of domain specific languages

Tikhonova, U., 21 Nov 2017, Eindhoven: Technische Universiteit Eindhoven. 192 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
565 Downloads (Pure)

Evaluation of safety indicators for truck platooning

van Nunen, E., Esposto, F., Khabbaz Saberi, A. & Paardekooper, J. P., 28 Jul 2017, 2017 IEEE Intelligent Vehicles Symposium (IV), 11-14 June 2017, Los Angeles, California. Piscataway: Institute of Electrical and Electronics Engineers, p. 1013-1018 6 p. 7995847

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)

Family-based model checking of SPL based on mCRL2

Snaiba, Z. B., de Vink, E. P. & Willemse, T. A. C., 25 Sep 2017, SPLC '17 Proceedings of the 21st International Systems and Software Product Line Conference, 25-29 September 2017, Sevilla, Spain. New York: Association for Computing Machinery, Inc, Vol. B. p. 13-16 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Family-based model checking with mCRL2

ter Beek, M. H., de Vink, E. P. & Willemse, T. A. C., 2017, Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Huisman, M. & Rubin, J. (eds.). Dordrecht: Springer, p. 387-405 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10202 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

21 Citations (Scopus)
57 Downloads (Pure)

Finding DFAs with maximal shortest synchronizing word length

Zantema, H. & Don, H., 2017, Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Proceedings: 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings. Drewes, F., Martín-Vide, C. & Truthe, B. (eds.). Dordrecht: Springer, p. 249-260 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10168 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

Foreword to the SANER 2015 special issue

Serebrenik, A. & Adams, B., 16 Mar 2017, In : Journal of Software : Evolution and Process. 29, 3, 1 p., e1844.

Research output: Contribution to journalEditorialAcademic

Formalising the Dezyne modelling language in mCRL2

van Beusekom, R., Groote, J. F., Hoogendijk, P., Howe, R., Wesselink, W., Wieringa, R. & Willemse, T. A. C., 2017, Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings. Petrucci, L., Seceleanu, C. & Cavalcanti, A. (eds.). Dordrecht: Springer, p. 217-233 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10471 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)

Games for bisimulations and abstraction

de Frutos Escrig, D., Keiren, J. J. A. & Willemse, T. A. C., 22 Nov 2017, In : Logical Methods in Computer Science. 13, 4, 40 p., 15.

Research output: Contribution to journalArticleAcademic

Open Access
File
2 Citations (Scopus)
28 Downloads (Pure)
8 Downloads (Pure)

Guest editors' introduction to the 6th issue of Experimental Software and Toolkits (EST-6)

van den Brand, M. G. J., Vinju, J. J. & Mens, K., 1 Feb 2017, In : Science of Computer Programming. 134, p. 1-3 3 p.

Research output: Contribution to journalEditorialAcademicpeer-review

Hopeless love and other lattice walks

Verhoeff, T. & Verhoeff, K., Jul 2017, Proceedings of Bridges 2017: Mathematics, Art, Music, Architecture, Education, Culture. Swart, D., Séquin, C. H. & Fenyvesi, K. (eds.). Phoenix, Arizona, USA: Tessellations Publishing, p. 197-204 8 p. (Bridges Conference Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
35 Downloads (Pure)

How do scratch programmers name variables and procedures?

Swidan, A., Serebrenik, A. & Hermans, F., 8 Nov 2017, 17th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 17-18 September 2017, Shanghai, China. Piscataway: Institute of Electrical and Electronics Engineers, p. 51-60 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)

ICSE Highlights

Carver, J. & Serebrenik, A., 2017, In : IEEE Software. 34, 6, p. 18-20

Research output: Contribution to journalArticleProfessional

Improving software maintenance using process mining and predictive analytics

Gupta, M., Serebrenik, A. & Jalote, P., 2 Nov 2017, Proceedings - 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017. Piscataway: Institute of Electrical and Electronics Engineers, p. 681-686 6 p. 8094481

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

Language architecture: an architecture language for model-driven engineering

Brouwers, N., Hamilton, M., Kurtev, I. & Luo, Y., 1 Jan 2017, MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS-Science and Technology Publications, Lda., Vol. 2017-January. p. 147-156 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Many-MADFAct: concurrently constructing MADFAs

Runge, T., Schaefer, I., Cleophas, L. G. W. A. & Watson, B. W., 2017, Proceedings of the Prague Stringology Conference PSC 2017, August 28-30, 2017, Prague, Czech Republic . Holub, J. & Zdarek, J. (eds.). Prague: Czech Technical University in Prague, p. 126-142 17 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
19 Downloads (Pure)

Metrics for control models in a model-driven engineering environment

Lambrechts, C., 28 Sep 2017, Eindhoven: Technische Universiteit Eindhoven. 119 p.

Research output: ThesisPd Eng Thesis

Open Access
File
113 Downloads (Pure)

Migrating SOA applications to cloud: a systematic mapping study

Botto-Tobar, M., Ramirez-Anormaliza, R., Cevallos-Torres, L. & Cevallos-Ayon, E., 28 Jun 2017, Technologies and Innovation : Third International Conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017 : Proceedings. Valencia-Garcia, R., Lagos-Ortiz, K., Del Cioppo, J., Vera-Lucio, N., Bucaram-Leverone, M. & Alcaraz-Marmol, G. (eds.). Cham: Springer, p. 3-16 14 p. (Communications in Computer and Information Science; vol. 749).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
1 Downloads (Pure)

Minimization of finite state automata through partition aggregation

Björklund, J. & Cleophas, L. G. W. A., 2017, Language and Automata Theory and Applications: 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings. Drewes, F., Martín-Vide, C. & Truthe, B. (eds.). Dordrecht: Springer, p. 223-235 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10168 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
Open Access
File
214 Downloads (Pure)

Modelling and verification of a cluster-tree formation protocol implementation for the IEEE 802.15.4 TSCH MAC operation mode.

Talebi, M., Groote, J. F. & Dandelski, C., 15 Mar 2017, Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017). Hermanns, H. & Höfner, P. H. (eds.). p. 117-128 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
73 Downloads (Pure)

Modularity and reuse of domain-specific languages: an exploration with MetaMod

Sutii, A. M., 7 Nov 2017, Eindhoven: Technische Universiteit Eindhoven. 198 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
567 Downloads (Pure)

Nbtoolbelt: Tools to Work with Jupyter Notebooks

Verhoeff, T., 4 Oct 2017

Research output: Non-textual formSoftwareAcademic

Open Access

Online scheduling of 2-re-entrant flexible manufacturing systems

van Pinxten, J. H. H., Waqas, U., Geilen, M. C. W., Basten, A. A. & Somers, L., Sep 2017, In : ACM Transactions on Embedded Computing Systems. 16, 5s, 20 p., 160.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
3 Citations (Scopus)
190 Downloads (Pure)

On negative results when using sentiment analysis tools for software engineering research

Jongeling, R. M., Sarkar, P., Datta, S. & Serebrenik, A., 1 Oct 2017, In : Empirical Software Engineering. 22, 5, p. 2543-2584 42 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
64 Citations (Scopus)
88 Downloads (Pure)

On the scalability of the GPUexplore explicit-state model checker

Cassee, N. W., Neele, T. S. & Wijs, A. J., 22 Dec 2017, Proceedings Third Workshop on Graphs as Models (GaM 2017), 23 April 2017, Uppsala, Sweden . Kehrer, T. & Miller, A. (eds.). p. 38-52 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 263).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
1 Citation (Scopus)
63 Downloads (Pure)

Ordering sequences by permutation transducers

Bosma, W. & Zantema, H., 1 Feb 2017, In : Indagationes Mathematicae. 28, 1, p. 38-54 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
3 Citations (Scopus)
1 Downloads (Pure)

Preface

Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M. & Margaria, T., 2017, SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Steffen, B., Baier, C. & van den Brand, M. (eds.). Cham, p. V-VII (Lecture Notes in Computer Science; vol. 10139).

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

Open Access