Research Output

2019

Solving computational problems in the theory of word-representable graphs

Akgün, Ö., Gent, I., Kitaev, S. & Zantema, H., 2019, In : Journal of Integer Sequences. 22, 2, 18 p., 19.2.5.

Research output: Contribution to journalArticleAcademicpeer-review

Sound idle and block equations for finite state machines in xMAS

Fedotov, A., Keiren, J. J. A. & Schmaltz, J., Nov 2019, Eindhoven: Technische Universiteit Eindhoven. 32 p. (Computer science reports; vol. 19-04)

Research output: Book/ReportReportAcademic

Open Access
File
24 Downloads (Pure)

Technology Trends: 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29-31, 2018, revised selected papers

Botto-Tobar, M. (ed.), Pizarro, G. (ed.), Zúñiga-Prieto, M. (ed.), D'Armas, M. (ed.) & Zúñiga Sánchez, M. (ed.), 2019, Dordrecht: Springer. (Communications in Computer and Information Science; vol. 895)

Research output: Book/ReportBook editingAcademicpeer-review

The JOT Journal: towards a rising generation

Pierantonio, A., van den Brand, M. & Combemale, B., 1 Mar 2019, In : Journal of Object Technology. 18, 1, p. 1-3 3 p.

Research output: Contribution to journalEditorialAcademicpeer-review

Open Access
File
28 Downloads (Pure)

The k-dimensional cube is k-representable

Broere, B. & Zantema, H., 2019, In : Journal of Automata, Languages and Combinatorics. 24, 1, p. 3-12 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability

Bunte, O., Groote, J. F., Keiren, J. J. A., Laveaux, M., Neele, T., de Vink, E. P., Wesselink, W., Wijs, A. & Willemse, T. A. C., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (eds.). Cham: Springer, p. 21-39 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

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

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

The obtetrahedrille as a modular building block for 3D mathematical art

Verhoeff, T. & Verhoeff, K., Jul 2019, Proceedings of Bridges 2019: Mathematics, Art, Music, Architecture, Education, Culture. Goldstine, S., McKenna, D. & Fenyvesi, K. (eds.). Phoenix: Tessellations Publishing, p. 407-410 4 p.

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

Open Access
File
25 Downloads (Pure)

The semantic snake charmer search engine: a tool to facilitate data science in high-tech industry domains

Grappiolo, C., van Gerwen, E., Verhoosel, J. P. C. & Somers, L., 8 Mar 2019, CHIIR '19 Proceedings of the 2019 Conference on Human Information Interaction and Retrieval. Association for Computing Machinery, Inc, p. 355-359 5 p.

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

2 Citations (Scopus)

The system simulation and their learning processes

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 1-11 11 p. (Studies in Computational Intelligence; vol. 824).

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

The use of formal methods in specification and demonstration of ERTMS Hybrid Level 3

Bartholomeus, M., Luttik, B., Willemse, T. A. C., Hansen, D., Leuschel, M. & Hendriks, P., 1 Nov 2019, In : IRSE News. 260, 4 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Downloads (Pure)

The use of formal methods in standardisation of interfaces of signalling systems

van der Werff, M., Elsweiler, B., Luttik, B. & Hendriks, P., Jun 2019, In : IRSE News. 256, p. 15-17 3 p.

Research output: Contribution to journalArticleProfessional

Tool support for correctness-by-construction

Runge, T., Schaefer, I., Cleophas, L., Thüm, T., Kourie, D. & Watson, B. W., 1 Jan 2019, Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Hähnle, R. & van der Aalst, W. (eds.). Springer, p. 25-42 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11424 LNCS).

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

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

Towards recognizing the emotions of developers using biometrics: the design of a field study

Girardi, D., Lanubile, F., Novielli, N., Quaranta, L. & Serebrenik, A., 28 May 2019, Proceedings - 2019 IEEE/ACM 4th International Workshop on Emotion Awareness in Software Engineering, SEmotion 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 13-16 4 p. 8825064

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

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

Verification of concurrent systems in a model-driven engineering workflow

de Putter, S. M. J., 28 Jan 2019, Eindhoven: Technische Universiteit Eindhoven. 200 p.

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

Open Access
File
138 Downloads (Pure)

Verification of hypertorus communication grids by infinite Petri nets and process algebra

Zaitsev, D., Shmeleva, T. & Groote, J. F., May 2019, In : IEEE/CAA Journal of Automatica Sinica. 6, 3, p. 733-742 10 p., 8707130.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Verifying system-wide properties of industrial component-based software

Neele, T., Rol, M. H. & Groote, J. F., 2019, Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Revised Selected Papers. Hojjat, H. & Massink, M. (eds.). Cham: Springer, p. 158-175 18 p. (Lecture notes in computer science; vol. 11761).

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

1 Citation (Scopus)
1 Downloads (Pure)

VESSEL: driving behavior monitoring system

Karmas, K., 24 Oct 2019, Eindhoven: Technische Universiteit Eindhoven. 137 p.

Research output: ThesisPd Eng Thesis

Visual exploration of migration patterns in gull data

Konzack, M., Gijsbers, P., Timmers, F., van Loon, E., Westenberg, M. A. & Buchin, K., 1 Jan 2019, In : Information Visualization. 18, 1, p. 138-152 15 p.

Research output: Contribution to journalArticleAcademicpeer-review

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

VoIP system dimensioning the radio-links and the VSAT of the MINTEL school connectivity project through the TELCONET S.A. network

León-Acurio, J., Delgado Cuadro, E. I., Navarro Veliz, L. M., Botto-Tobar, M., Bastidas Zambrano, L. I. & Oviedo, B., 1 Jan 2019, Technology Trends - 4th International Conference, CITT 2018, Revised Selected Papers. Botto-Tobar, M., D’Armas, M., Zúñiga Sánchez, M., Zúñiga-Prieto, M. & Pizarro, G. (eds.). Cham: Springer, p. 56-71 16 p. (Communications in Computer and Information Science; vol. 895).

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

Why algorithms are dangerous: what the role of aI should be in cybersecurity

Cappers, B. C. M., Mengerink, J. G. M. & van de Pasch, J., 12 Mar 2019, European Cyber Security Perspectives 2019. p. 76-78 3 p.

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

2 Downloads (Pure)
2018

A comparison of BDD-based parity game solvers

Sanchez, L., Wesselink, W. & Willemse, T. A. C., 7 Sep 2018, Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification. Waterloo: Open Publishing Association, p. 103-117 15 p. (Electronic Proceedings in Theoretical Computer Science ; vol. 277).

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

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

A formal verification technique for behavioural model-to-model transformations

de Putter, S. & Wijs, A., 1 Jan 2018, In : Formal Aspects of Computing. 30, 1, p. 3-43 41 p.

Research output: Contribution to journalArticleAcademicpeer-review

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

A master class on recursion

Verhoeff, T., 6 Sep 2018, Adventures Between Lower Bounds and Higher Altitudes: Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday. Böckenhauer, H-J., Komm, D. & Unger, W. (eds.). Springer, Vol. 11011. p. 610-633 24 p. (Lecture Notes in Computer Science; vol. 11011).

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

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

A method for quantitative measurement of safety culture based on ISO 26262

Khabbaz Saberi, A., Benders, F., Koch, R., Lukkien, J. J. & van den Brand, M. G. J., 6 Feb 2018, Evolution of System Safety: Proceedings of the Twenty-Sixth Safety-Critical Systems Symposium, 6-8 February 2018, York, United Kingdom. Parsons, M. & Kelly, T. (eds.). s.l.: CreateSpace Independent Publishing Platform, p. 203-218

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

An efficient algorithm to determine probabilistic bisimulation

Groote, J. F., Rivera Verduzco, H. J. & de Vink, E. P., 5 Sep 2018, In : Algorithms. 11, 9, 22 p., 131.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
5 Citations (Scopus)
38 Downloads (Pure)

An empirical evaluation of OSGi dependencies best practices in the eclipse IDE

Ochoa, L., Degueule, T. & Vinju, J., 28 May 2018, Proceedings - 2018 ACM/IEEE 15th International Conference on Mining Software Repositories, MSR 2018. New York: ACM/IEEE, p. 170-180 11 p.

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

An empirical perspective on security challenges in large-scale agile software development

van der Heijden, A., Broasca, C. & Serebrenik, A., 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. 45

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

Open Access

Applying a meta-data-driven modeling approach to extract-transform-load (ETL) systems

Ayele, S. G., 24 Oct 2018, Eindhoven: Technische Universiteit Eindhoven. 71 p.

Research output: ThesisPd Eng Thesis

A proposal for migrating SOA applications to cloud using model-driven development

Botto-Tobar, M. & Insfran, E., 2018, 3rd International Conference on Technology Trends, CITT 2017. Esparza-Cruz, N., Leon-Acurio, J., Crespo-Torres, N., Beltran-Mora, M. & Botto-Tobar, M. (eds.). Babahoyo: Springer, Vol. 798. p. 171-184 14 p. (Communications in Computer and Information Science; vol. 798).

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

A theory of executability : with a focus on the expressivity of process calculi

Yang, F., 11 Jun 2018, Eindhoven: Technische Universiteit Eindhoven. 161 p.

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

Open Access
File
105 Downloads (Pure)

A type system for technical computing languages

Loupias, G., 24 Oct 2018, Eindhoven: Technische Universiteit Eindhoven. 116 p.

Research output: ThesisPd Eng Thesis

Open Access
File
53 Downloads (Pure)

Automatic generation of hardware checkers from formal micro-architectural specifications

Fedotov, A. & Schmaltz, J., 19 Apr 2018, Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018. Institute of Electrical and Electronics Engineers, Vol. 2018-January. p. 1568-1573 6 p.

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

Bacatá: a language parametric notebook generator (tool demo)

Merino, M. V., Vinju, J. & van der Storm, T., 24 Oct 2018, SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering, co-located with SPLASH 2018. Pearce, D., Friedrich, S. & Mayerhofer, T. (eds.). New York: ACM/IEEE, p. 210-214 5 p.

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

2 Citations (Scopus)
1 Downloads (Pure)

BDD-based parity game solving: a comparison of Zielonka's recursive algorithm, priority promotion and fixpoint iteration

Sanchez, L., Wesselink, J. W. & Willemse, T. A. C., 2018, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computer science reports; vol. 1801)

Research output: Book/ReportReportAcademic

Open Access
File
219 Downloads (Pure)

Clone detection for ecore metamodels using N-grams

Babur, Ö., 1 Jan 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. 411-419 9 p.

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

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

Communicative intention in code review questions

Ebert, F., Castor, F., Novielli, N. & Serebrenik, A., 9 Nov 2018, Proceedings - 2018 IEEE International Conference on Software Maintenance and Evolution, ICSME 2018. Piscataway: Institute of Electrical and Electronics Engineers, p. 519-523 5 p. 8530057

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

Open Access
4 Citations (Scopus)

Component-wise Supervisory Controller Synthesis in a Client/Server Architecture

Loose, R., Sanden, B. V. D., Reniers, M. & Schiffelers, R., 1 Jan 2018, In : IFAC-PapersOnLine. 51, 7, p. 381-387 7 p.

Research output: Contribution to journalConference articleAcademicpeer-review

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

Constraint-based run-time state migration for live modeling

Tikhonova, U., van der Storm, T., Stoel, J. & Degueule, T., 24 Oct 2018, SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering, co-located with SPLASH 2018. Pearce, D., Friedrich, S. & Mayerhofer, T. (eds.). New York: Association for Computing Machinery, Inc, p. 108-120 13 p.

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

2 Citations (Scopus)

Cooking your own parity game preorders through matching plays

Gazda, M. W. & Willemse, T. A. C., 1 Jun 2018, In : International Journal of Foundations of Computer Science. 29, 4, p. 571-590 20 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Downloads (Pure)

Counting symbol switches in synchronizing automata

Don, H. M. & Zantema, H., 2018, In : arXiv. 26 p., 1812.04050v1 .

Research output: Contribution to journalArticleAcademic

Open Access
File
6 Downloads (Pure)

Deadlock detection for actor-based coroutines

Azadbakht, K., de Boer, F. S. & de Vink, E., 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. 39-54 16 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

2 Citations (Scopus)
1 Downloads (Pure)

Defining the C-ITS reference architecture

Karkhanis, P. D., van den Brand, M. G. J. & Rajkarnikar, S., 13 Aug 2018, Proceedings - 2018 IEEE 15th International Conference on Software Architecture Companion, ICSA-C 2018. Institute of Electrical and Electronics Engineers, p. 148-151 4 p. 8432199

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

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

Design and applications of non-intrusive interceptors

Cai, Q., 25 Oct 2018, Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng Thesis

Open Access
File
12 Downloads (Pure)

Designing and implementing a learning analytics platform for online courses

Giraldo Garcia, C. G., 6 Dec 2018, Eindhoven: Technische Universiteit Eindhoven. 99 p.

Research output: ThesisPd Eng Thesis

Open Access
File
39 Downloads (Pure)

Designing C-ITS architecture and services for North Brabant

Rajkarnikar, S., 24 Oct 2018, Eindhoven: Technische Universiteit Eindhoven. 89 p.

Research output: ThesisPd Eng Thesis

Open Access
File
99 Downloads (Pure)

Detecting code smells using machine learning techniques: Are we there yet?

Di Nucci, D., Palomba, F., Tamburri, D. A., Serebrenik, A. & De Lucia, A., 2 Apr 2018, 25th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2018 - Proceedings. Piscataway: Institute of Electrical and Electronics Engineers, Vol. 2018-March. p. 612-621 10 p.

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

Open Access
42 Citations (Scopus)

Determining the essentially different partitions of all Japanese convex tangrams

Beelen, T. G. J. & Verhoeff, T., Nov 2018, 07 ed. Eindhoven: Technische Universiteit Eindhoven. 83 p. (CASA report)

Research output: Book/ReportReportAcademic

Open Access
File
8 Downloads (Pure)

Development of a front camera software toolchain for the automotive domain

Kyrtsis, P., 24 Oct 2018, Eindhoven: Technische Universiteit Eindhoven. 25 p.

Research output: ThesisPd Eng Thesis

Open Access
File
43 Downloads (Pure)

Development of a functional safety software layer for the control of an electric in-wheel motor based powertrain.

Klaasse, S., Kwintenberg, G. & Barosan, I., 9 Aug 2018, Proceedings - 2018 IEEE 15th International Conference on Software Architecture Companion, ICSA-C 2018. Institute of Electrical and Electronics Engineers, p. 144-147 4 p.

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

1 Citation (Scopus)
4 Downloads (Pure)