Research Output

2018

Robocoach : a scalable solution to support teachers and students using email and chatbot

Dashnyam, M., 24 Oct 2018, Eindhoven: Technische Universiteit Eindhoven. 65 p.

Research output: ThesisPd Eng Thesis

Open Access
File
95 Downloads (Pure)

Runtime monitoring in continuous deployment by differencing execution behavior model

Gupta, M., Mandal, A., Dasgupta, G. & Serebrenik, A., 19 Nov 2018, Service-Oriented Computing - 16th International Conference, ICSOC 2018, Proceedings. Yu, Q., Pahl, C., Vukovic, M. & Yin, J. (eds.). Cham: Springer, p. 812-827 16 p. (Lecture Notes in Computer Science; vol. 11236).

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

Open Access
File
3 Citations (Scopus)
234 Downloads (Pure)
Open Access
File
78 Downloads (Pure)

Scalable performance analysis of wireless sensor networks

Talebi, M., 25 Oct 2018, Eindhoven: Technische Universiteit Eindhoven. 137 p.

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

Open Access
File
214 Downloads (Pure)

Software analysis, evolution, and reengineering, and ICT sustainability

Carver, J., Penzenstadler, B. & Serebrenik, A., 1 Jul 2018, In : IEEE Software. 35, 4, p. 78-80 3 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
1 Citation (Scopus)

Software maintenance and evolution and automated software engineering

Carver, J. C. & Serebrenik, A., 1 Mar 2018, In : IEEE Software. 35, 2, p. 102-104 3 p.

Research output: Contribution to journalReview articleAcademicpeer-review

Open Access

Software process analysis methodology-a methodology based on lessons learned in embracing legacy software

Leemans, M., van der Aalst, W. M. P., van den Brand, M. G. J., Schiffelers, R. R. H. & Lensink, L., 9 Nov 2018, Proceedings - 2018 IEEE International Conference on Software Maintenance and Evolution, ICSME 2018. Piscataway: Institute of Electrical and Electronics Engineers, p. 665-674 10 p. 8530079

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

Solving parameterised boolean equation systems with infinite data through quotienting

Neele, T., Willemse, T. A. C. & Groote, J. F., 5 Oct 2018, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings. Ölveczky, P. C. & Bae, K. (eds.). Berlin: Springer, p. 216-236 21 p. (Lecture Notes in Computer Science; vol. 11222).

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

5 Citations (Scopus)
2 Downloads (Pure)

Solving parameterised Boolean equation systems with infinite data through quotienting

Neele, T. S., Willemse, T. A. C. & Groote, J. F., 2018, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computer science reports; vol. 18-03)

Research output: Book/ReportReportAcademic

Open Access
File
71 Downloads (Pure)

Some memories of Koos Verhoeff - 1927–2018

Verhoeff, T., Jul 2018, Proceedings of Bridges 2018: Mathematics, Art, Music, Architecture, Education, Culture. Torrence, E., Torrence, B., Séquin, C. & Fenyvesi, K. (eds.). Phoenix, Arizona, USA: Tessellations Publishing, p. 3-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
21 Downloads (Pure)

Synchronizing non-deterministic finite automata

Don, H. & Zantema, H., 2018, In : Journal of Automata, Languages and Combinatorics. 23, 4, p. 307-328 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

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

Technology Trends: Third International Conference, CITT 2017, Babahoyo, Ecuador, November 8-10, 2017, Proceedings

Botto-Tobar, M. (ed.), Esparza-Cruz, N. (ed.), León-Acurio, J. (ed.), Crespo-Torres, N. (ed.) & Beltrán-Mora, M. (ed.), 2018, Dordrecht: Springer. (Communications in Computer and Information Science; vol. 798)

Research output: Book/ReportBook editingAcademicpeer-review

26 Downloads (Pure)

Temporal logic falsification of cyber-physical systems: An input-signal-space optimization approach

Aerts, A., Tong Minh, B., Mousavi, M. R. & Reniers, M. A., 16 Jul 2018, 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018. Piscataway: Institute of Electrical and Electronics Engineers, p. 214-223 10 p.

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

The DSL/Model co-evolution problem in industrial MDE ecosystems

Mengerink, J. G. M., 26 Nov 2018, Eindhoven: Technische Universiteit Eindhoven. 252 p.

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

Open Access
File
275 Downloads (Pure)

The SLCO framework for verified, model-driven construction of component software

de Putter, S., Wijs, A. & Zhang, D., 1 Jan 2018, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings. Ölveczky, P. C. & Bae, K. (eds.). Cham: Springer, p. 288-296 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11222 LNCS).

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

3 Citations (Scopus)

The Statechart Workbench: Enabling scalable software event log analysis using process mining

Leemans, M., van der Aalst, W. M. P. & van den Brand, M. G. J., 2 Apr 2018, 25th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2018 - Proceedings. Institute of Electrical and Electronics Engineers, p. 502-506 5 p.

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

8 Citations (Scopus)

Timing prediction for service-based applications mapped on linux-based multi-core platforms

Jonk, R., Voeten, J., Geilen, M., Basten, T. & Schiffelers, R., 12 Oct 2018, Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018. Konofaos, N., Novotny, M. & Skavhaug, A. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 130-139 10 p. 8491806

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

1 Downloads (Pure)

To compose, or not to compose, that is the question: an analysis of compositional state space generation

de Putter, S. & Wijs, A., 1 Jan 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Peleska, J., Roscoe, B. & de Vink, E. (eds.). Cham: Springer, p. 485-504 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10951 LNCS).

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

1 Citation (Scopus)

To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries

Steindorfer, M. J. & Vinju, J. J., 11 Jun 2018, PLDI 2018 - Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. New York: Association for Computing Machinery, Inc, p. 283-295 13 p. (ACM SIGPLAN NOTICES; vol. 53, no. 4).

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

Tool-support of socio-technical coordination in the context of heterogeneous modeling

Bordeleau, F., van den Brand, M., Combemale, B., Eramo, R. & Wimmer, M., 1 Jan 2018, Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018). Hebig, R. & Berger, T. (eds.). CEUR-WS.org, p. 423-425 3 p. (CEUR Workshop Proceedings; vol. 2245).

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

Open Access
File
4 Downloads (Pure)

Towards automated analysis of model-driven artifacts in industry

Schiffelers, R., Luo, Y., Mengerink, J. & van den Brand, M., 1 Jan 2018, MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F. & Selic, B. (eds.). Setúbal: SCITEPRESS-Science and Technology Publications, Lda., p. 743-751 9 p.

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

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

Towards confidentiality-by-construction

Schaefer, I., Runge, T., Knüppel, A., Cleophas, L., Kourie, D. & Watson, B. W., 1 Jan 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings. Steffen, B. & Margaria, T. (eds.). Springer, p. 502-515 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11244 LNCS).

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

2 Citations (Scopus)

Towards distributed model analytics with apache spark

Babur, Ö., Cleophas, L. & van den Brand, M., 1 Jan 2018, MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F. & Selic, B. (eds.). SCITEPRESS-Science and Technology Publications, Lda., p. 767-772 6 p.

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

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

Tree pattern matching from regular tree expressions

Belabbaci, A., Cherroun, H., Cleophas, L. & Ziadi, D., 1 Jan 2018, In : Kybernetika. 54, 2, p. 221-242 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
485 Downloads (Pure)

Was self-admitted technical debt removal a real removal? An in-depth perspective

Zampetti, F., Serebrenik, A. & Di Penta, M., 28 May 2018, 2018 ACM/IEEE 15th International Conference on Mining Software Repositories, MSR 2018. New York: Association for Computing Machinery, Inc, p. 526-536 11 p.

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

Open Access
File
6 Citations (Scopus)
60 Downloads (Pure)

What if a bug has a different origin? making sense of bugs without an explicit bug introducing change

Rodriguez Perez, G., Zaidman, A., Serebrenik, A., Robles, G. & González-Barahona, J. M., 11 Oct 2018, ESEM '18 Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. New York: Association for Computing Machinery, Inc, 4 p. 52

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

7 Citations (Scopus)

Workshop on advances in knowledge extraction and re-engineering of software (selected and extended papers from WAKERS 2017)

Cleophas, L., Schaefer, I. & Watson, B. W., 15 Nov 2018, In : Science of Computer Programming. 166, p. 1-2 2 p.

Research output: Contribution to journalEditorialAcademicpeer-review

X-by-construction

ter Beek, M. H., Cleophas, L., Schaefer, I. & Watson, B. W., 1 Jan 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings. Steffen, B. & Margaria, T. (eds.). Springer, p. 359-364 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11244 LNCS).

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

2017

2nd International Workshop on Automotive Systems and Software Architectures (WASA)—Introduction to special section

Dajsuren, Y., Altinger, H. & Staron, M., 1 Sep 2017, In : Journal of Systems Architecture. 79, p. 18-18 1 p.

Research output: Contribution to journalEditorialAcademicpeer-review

2 Downloads (Pure)

A case of industrial vs. open-source OCL: not so different after all

Mengerink, J. G. M., Noten, J. F. H., Schiffelers, R. R. H., van den Brand, M. G. J. & Serebrenik, A., 2017, ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017). CEUR-WS.org, p. 472-474 3 p. (CEUR Workshop Proceedings; vol. 2019).

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

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

A case of industrial vs. open-source OCL: not so different after all

Mengerink, J. G. M., Noten, J. F. H., Schiffelers, R., van den Brand, M. G. J. & Serebrenik, A., 2017, p. 472-474. 3 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
36 Downloads (Pure)

A data set of OCL expressions on GitHub

Noten, J. F. H., Mengerink, J. G. M. & Serebrenik, A., 29 Jun 2017, Proceedings - 2017 IEEE/ACM 14th International Conference on Mining Software Repositories, MSR 2017. Piscataway: Institute of Electrical and Electronics Engineers, p. 531-534 4 p. 7962414

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

9 Citations (Scopus)

Advanced health monitor for automated driving functions

Mikovski Iotov, I., 7 Dec 2017, Eindhoven: Technische Universiteit Eindhoven. 95 p.

Research output: ThesisPd Eng Thesis

Open Access
File
130 Downloads (Pure)

A formalisation of consistent consequence for boolean equation systems

van Delft, M., Geuvers, H. & Willemse, T. A. C., 2017, Interactive theorem proving - 8th International Conference, ITP 2017,Proceedings. Ayala-Rincón, M. & Muñoz, C. A. (eds.). Springer, p. 462-478 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10499).

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

1 Downloads (Pure)

Analysing the performance of GPU hash tables for state space exploration

Cassee, N. & Wijs, A., 22 Dec 2017, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 263, p. 1-15 15 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
File
2 Citations (Scopus)
67 Downloads (Pure)

Analysing the performance of GPU hash tables for state space exploration

Cassee, N. & Wijs, A. J., 27 Dec 2017, In : arXiv. 263, p. 1-15 15 p., 1712.09494v1 .

Research output: Contribution to journalArticleAcademic

Open Access
File
55 Downloads (Pure)

Analyzing execution traces: critical-path analysis and distance analysis

Hendriks, M., Verriet, J., Basten, T., Theelen, B., Brassé, M. & Somers, L., 1 Aug 2017, In : International Journal on Software Tools for Technology Transfer. 19, 4, p. 487-510 24 p.

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)
2 Downloads (Pure)

An analysis of the benefits of EULYNX-style requirements modeling for ProRail

Bui, N. L., 28 Sep 2017, Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng Thesis

Open Access
File
909 Downloads (Pure)

An architecture pattern for safety critical automated driving applications: design and analysis

Luo, Y., Khabbaz Saberi, A., Bijlsma, T., Lukkien, J. J. & van den Brand, M. G. J., 24 Apr 2017, 11th Annual IEEE International Systems Conference (SysCon 2017), 24-27 April 2017, Montreal, Quebec, Canada. Piscataway: Institute of Electrical and Electronics Engineers, p. 261-267 7 p. 7934739

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

3 Citations (Scopus)
5 Downloads (Pure)

An assessment of algorithms for deriving failure deterministic finite automata

Nxumalo, M., Kourie, D. G., Cleophas, L. G. W. A. & Watson, B. W., 2017, In : South African Computer Journal. 29, 1, p. 43-68 26 p.

Research output: Contribution to journalArticleAcademicpeer-review

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

An empirical study on the removal of self-admitted technical debt

Da Maldonado, E. S., Abdalkareem, R., Shihab, E. & Serebrenik, A., 8 Nov 2017, Proceedings - 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017. Piscataway: Institute of Electrical and Electronics Engineers, p. 238-248 11 p. 8094425

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

Open Access
File
15 Citations (Scopus)
47 Downloads (Pure)
1 Downloads (Pure)

Anger and Its direction in collaborative software development

Gachechiladze, D., Lanubile, F., Novielli, N. & Serebrenik, A., Nov 2017, 39th International Conference on Software Engineering, New Ideas and Emerging Results. Piscataway: Institute of Electrical and Electronics Engineers, p. 11-14 4 p. 7966869

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

34 Citations (Scopus)

An O(mlog n) algorithm for computing stuttering equivalence and branching bisimulation

Groote, J. F., Jansen, D. N., Keiren, J. J. A. & Wijs, A. J., 1 Jun 2017, In : ACM Transactions on Computational Logic. 18, 2, 13.

Research output: Contribution to journalArticleAcademicpeer-review

19 Citations (Scopus)
4 Downloads (Pure)

Artistic rendering of curves via lattice paths

Bakker, A. & Verhoeff, T., 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. 447-450 4 p. (Bridges Conference Proceedings).

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

Open Access
File
26 Downloads (Pure)

Assessing the quality of tabular state machines through metrics

Osaiweran, A. A. H., Marincic, J. & Groote, J. F., 2017, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 1701)

Research output: Book/ReportReportAcademic

Open Access
File
197 Downloads (Pure)

Assessing the quality of tabular state machines through metrics.

Osaiweran, A. A. H., Marincic, J. & Groote, J. F., 11 Aug 2017, Proceedings - 2017 IEEE International Conference on Software Quality, Reliability and Security, QRS 2017. Piscataway: IEEE Press, p. 426-433 8 p. 8009946

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

A structured design methodology for concurrent programming

Bijlsma, A., Huizing, C., Kuiper, R., Passier, H. J. M., Pootjes, H. J. & Smetsers, J. E. W., 14 Nov 2017, Proceedings CSERC 2017 - Computer Science Education Research Conference. Association for Computing Machinery, Inc, p. 1-9 9 p.

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

1 Citation (Scopus)
8 Downloads (Pure)

A systematic approach and tool support for GSN-based safety case assessment

Luo, Y., van den Brand, M. J. G., Li, Z. & Khabbaz Saberi, A., 1 May 2017, In : Journal of Systems Architecture. 76, p. 1-16 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)
1 Downloads (Pure)

Automated analyses of model-driven artifacts: obtaining insights into industrial application of MDE

Mengerink, J. G. M., Serebrenik, A., Schiffelers, R. R. H. & van den Brand, M. G. J., 25 Oct 2017, Proceedings of the 27th International Workshop on Software Measurement and 12th International Conference on Software Process and Product Measurement: Measurement for Future Software Industry: Driving Value Creation, IWSM Mensura 2017. New York: Association for Computing Machinery, Inc, p. 116-121 6 p.

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

6 Citations (Scopus)
1 Downloads (Pure)