Research Output

2017

Simultaneous analysis and design based optimization for paper path and timing design of a high-volume printer

Swartjes, L., Etman, L. F. P., van de Mortel-Fronczak, J. M., Rooda, J. E. & Somers, L. J. A. M., 1 Feb 2017, In : Mechatronics. 41, p. 82-89 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

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

Social debt analytics for improving the management of software evolution tasks

Palomba, F., Serebrenik, A. & Zaidman, A., 1 Jan 2017, BENEVOL 2017 : BElgian-NEtherlands Software eVOLution Symposium, 4-5 December 2017, Antwerp, Belgium. Demeyer, S., Parsai, A., Laghari, G. & van Bladel, B. (eds.). s.l.: CEUR-WS.org, p. 18-21 4 p. (CEUR Workshop Proceedings; vol. 2047).

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

Open Access
File
49 Downloads (Pure)

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. (ed.), Baier, C. (ed.), van den Brand, M. G. J., Eder, J. (ed.), Hinchey, M. (ed.) & Margaria, T. (ed.), 2017, Springer. (Lecture Notes in Computer Science; vol. 10139)

Research output: Book/ReportBook editingAcademicpeer-review

Special Issue: Software Analysis, Evolution, and Reengineering: a selection of papers from SANER 2015

Serebrenik, A. (ed.) & Adams, B. (ed.), 1 Mar 2017, In : Journal of Software : Evolution and Process. 29, 3

Research output: Contribution to journalSpecial issueAcademicpeer-review

STRESS : a semi-automated, fully replicable approach for project selection

Falessi, D., Smith, W. & Serebrenik, A., 7 Dec 2017, Proceedings - 11th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2017. Piscataway: Institute of Electrical and Electronics Engineers, p. 151-156 6 p.

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

6 Citations (Scopus)

Termination of cycle rewriting by transformation and matrix interpretation

Sabel, D. & Zantema, H., 1 Jan 2017, In : Logical Methods in Computer Science. 13, 1, 11.

Research output: Contribution to journalArticleAcademicpeer-review

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

The human factor

Carver, J., Penzenstadler, B., Serebrenik, A. & Yamashita, A., 2017, In : IEEE Software. 34, 5, p. 90-92 3 p., 8048655.

Research output: Contribution to journalArticleProfessional

The impact of continuous integration on other software development practices: a large-scale empirical study

Zhao, Y., Serebrenik, A., Zhou, Y., Filkov, V. & Vasilescu, B. N., 23 Oct 2017, 32nd IEEE/ACM International Conference on Automated Software Engineering. Nguyen, T. N., Rosu, G. & Di Penta, M. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 60-71 12 p. 8115619

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

36 Citations (Scopus)
1 Downloads (Pure)

The mean drift: tailoring the mean field theory of markov processes for real-world applications

Talebi, M., Groote, J. F. & Linnartz, J. P. M. G., 2017, Analytical and Stochastic Modelling Techniques and Applications : 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings. Thomas, N. & Forshaw, M. (eds.). Dordrecht: Springer, p. 196-211 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10378 LNCS).

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

1 Citation (Scopus)
1 Downloads (Pure)

Theory and practice of model transformation: 10th international conference, ICMT 2017 held as part of STAF 2017 Marburg, Germany, July 17–18, 2017 proceedings

Guerra, E. (ed.) & van den Brand, M. (ed.), 2017, Cham: Springer. 183 p. (Lecture Notes in Computer Science; vol. 10374)

Research output: Book/ReportBook editingAcademicpeer-review

The spurs of D. H. Lehmer : Hamiltonian paths in neighbor-swap graphs of permutations

Verhoeff, T., 1 Jul 2017, In : Designs, Codes and Cryptography. 84, 1-2, p. 295-310 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
38 Downloads (Pure)

Tool demonstration track of MODELS'2016

Clarke, P. J., de Lara, J. & van den Brand, M., 1 Dec 2017, In : Science of Computer Programming. 149, p. 1-2 2 p.

Research output: Contribution to journalArticleAcademicpeer-review

Towards industry 4.0: Gap analysis between current automotive MES and industry standards using model-based requirement engineering

Manoj Kannan, S., Suri, K., Cadavid, J., Barosan, I., van den Brand, M., Alferez, M. & Gerard, S., 23 Jun 2017, 2017 IEEE International Conference on Software Architecture Workshops, ICSAW 2017: Side Track Proceedings. Piscataway: Institute of Electrical and Electronics Engineers, p. 29-35 7 p. 7958432

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

15 Citations (Scopus)
1 Downloads (Pure)

Using n-grams for the automated clustering of structural models

Babur, Ö. & Cleophas, L., 2017, SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Springer, p. 510-524 15 p. (Lecture Notes in Computer Science; vol. 10139).

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

8 Citations (Scopus)
1 Downloads (Pure)

Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations

Zhang, D., Bošnački, D., van den Brand, M. G. J., Huizing, C., Jacobs, B., Kuiper, R. & Wijs, A., 2017, Model-Driven Engineering and Software Development - 4th International Conference, MODELSWARD 2016, Revised Selected Papers. Hammoudi, S., Pires, L. F., Selic, B. & Desfray, P. (eds.). Springer, p. 249-273 25 p. (Communications in Computer and Information Science; vol. 692).

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

2 Citations (Scopus)
2 Downloads (Pure)
Open Access
File
116 Downloads (Pure)
2016

A blueprint for system-level performance modeling of software-intensive embedded systems

Hendriks, M., Basten, T., Verriet, J. H., Brasse, M. H. H. & Somers, L. J. A. M., 2016, In : International Journal on Software Tools for Technology Transfer. 18, 1, p. 21-40

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)
4 Downloads (Pure)

A categorization of GSN-based safety cases and patterns

Luo, Y., Li, Z. & van den Brand, M. G. J., 2016, Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, February 19-21, 2016, in Rome, Italy . Hammoudi, S., Pires, LF., Selic, B. & Desfray, P. (eds.). p. 509-516

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

11 Citations (Scopus)
3 Downloads (Pure)

A complete operator library for DSL evolution specification

Mengerink, J. G. M., Serebrenik, A., Schiffelers, R. R. H. & van den Brand, M. G. J., 2016, International Conference on Software Maintenance and Evolution (ICSME), Raleigh, USA. p. 144-154

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

8 Citations (Scopus)

A fast estimator of performance with respect to the design parameters of self re-entrant flowshops

Waqas, U., Geilen, M. C. W., Stuijk, S., van Pinxten, J. H. H., Basten, A. A., Somers, L. J. A. M. & Corporaal, H., 27 Oct 2016, Euromicro Conference on Digital System Design (DSD) 2016, 31 August - 2 September 2016, Limassol, Cyprus. Piscataway: Institute of Electrical and Electronics Engineers, p. 215 - 221 7 p.

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

3 Citations (Scopus)
2 Downloads (Pure)

An empirical study on the usage of the swift programming language

Reboucas, M., Pinto, G., Ebert, F., Torres, W., Serebrenik, A. & Castor, F., 2016, IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016, Suita, Osaka, Japan, March 14-18, 2016. Brussels: IEEE Computer Society, p. 634-638 5 p.

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

An O(m log n) algorithm for stuttering equivalence and branching bisimulation

Groote, J. F. & Wijs, A. J., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Chechik, M. & Raskin, J-F. (eds.). Dordrecht: Springer, p. 607-624 18 p. (Lecture Notes in Computer Science; vol. 9636).

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

10 Citations (Scopus)
11 Downloads (Pure)

A probabilistic analysis of the Game of the Goose

Groote, J. F., Wiedijk, F. & Zantema, H., 2016, In : SIAM Review. 58, 1, p. 143-155

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
2 Downloads (Pure)

Assessing and improving quality of QVTo model transformations

Gerpheide, C. M., Schiffelers, R. R. H. & Serebrenik, A., Sep 2016, In : Software Quality Journal. 24, 3, p. 797-834

Research output: Contribution to journalArticleAcademicpeer-review

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

Automatische software-analyse in context

Vinju, J., 12 Feb 2016, Eindhoven: Technische Universiteit Eindhoven. 28 p.

Research output: Book/ReportInaugural speechAcademic

Open Access
File
304 Downloads (Pure)

BFS-based model checking of linear-time properties with an application on GPUs

Wijs, A., 2016, Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings. Springer, Vol. 9780. p. 472-493 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9780).

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

12 Citations (Scopus)

Branching bisimulation games

de Frutos Escrig, D., Keiren, J. J. A. & Willemse, T. A. C., 2016, Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Proceedings. Springer, p. 142-157 16 p. (Lecture Notes in Computer Science; vol. 9688).

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

2 Citations (Scopus)
2 Downloads (Pure)

Communication aware multiprocessor binding for shared memory systems

Adyanthaya, S., Geilen, M. C. W., Basten, T., Voeten, J. P. M. & Schiffelers, R. R. H., 2016, 11th IEEE International Symposium on Industrial Embedded Systems (SIES), Krakow, Poland, 23-25 May 2016. Piscataway: Institute of Electrical and Electronics Engineers, p. 1-10 10 p.

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

2 Downloads (Pure)

Compositional specification of functionality and timing of manufacturing systems

van der Sanden, L. J., Nogueira Bastos, J. P., Voeten, J. P. M., Geilen, M. C. W., Reniers, M. A., Basten, T., Jacobs, J. & Schiffelers, R. R. H., Sep 2016, Proceedings of the 2016 Forum on specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016. 8 p.

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

Open Access
File
118 Downloads (Pure)

Correctness-by-construction and post-hoc verification : a marriage of convenience?

Watson, B. W., Kourie, D. G., Schaefer, I. & Cleophas, L. G. W. A., 5 Oct 2016, ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Dordrecht: Springer, p. 730-748 (LNCS; vol. 9952).

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

5 Citations (Scopus)
3 Downloads (Pure)

Correctness-by-construction ∧ taxonomies ⇒ deep comprehension of algorithm families

Cleophas, L., Kourie, D. G., Pieterse, V., Schaefer, I. & Watson, B. W., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Springer, p. 766-783 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9952 LNCS).

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

3 Citations (Scopus)

Dependency safety for Java - implementing failboxes

Bosnacki, D., van den Brand, M. G. J., Denissen, P. E. J. G., Huizing, C., Jacobs, B., Kuiper, R., Wijs, A. J., Wiłkowski, M. & Zhang, D., 2016, PPPJ '16 Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. New York: Association for Computing Machinery, Inc, 6 p. 15

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

5 Downloads (Pure)

Design and base implementation of an automotive applications testbed

Vichas, C., 29 Sep 2016, Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng Thesis

3 Downloads (Pure)

Development of a safety case editor with assessment features

Luo, Y., Li, Z. & van den Brand, M. G. J., 1 Apr 2016, 2016 Workshop on Automotive Systems/Software Architectures (WASA), 5-8 April 2016, Venice, Italy. Piscataway: Institute of Electrical and Electronics Engineers, p. 10-13 4 p.

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

7 Downloads (Pure)
Open Access
File
558 Downloads (Pure)

DSL/Model Co-Evolution in Industrial EMF-Based MDSE Ecosystems

Mengerink, J. G. M., Schiffelers, R. R. H., Serebrenik, A. & van den Brand, M. G. J., 25 Oct 2016, Models and Evolution: Proceedings of the 10th Workshop on Models and Evolution, Saint-Malo, France, October 2, 2016. Mayerhofer, T., Pierantonio, A., Schätz, B. & Tamzalit, D. (eds.). p. 2-7 (CEUR workshop proceedings; vol. 1706).

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

4 Citations (Scopus)
2 Downloads (Pure)

Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components

Wijs, A., Katoen, J-P. & Bošnački, D., 1 Jun 2016, In : Formal Methods in System Design. 48, 3, p. 274-300 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
11 Citations (Scopus)
80 Downloads (Pure)

Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functions

Landman, D., Serebrenik, A., Bouwers, E. & Vinju, J. J., 2016, In : Journal of Software : Evolution and Process. 28, 7, p. 589-618

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
11 Citations (Scopus)
118 Downloads (Pure)

Evaluating the effect of a lightweight formal technique in industry

Osaiweran, A. A. H., Schuts, M. T. W., Hooman, J. J. M., Groote, J. F. & Rijnsoever, van, B. J., 1 Feb 2016, In : International Journal on Software Tools for Technology Transfer. 18, 1, p. 93-108 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

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

Exact real arithmetic with perturbation analysis and proof of correctness

Groote, J. F. & Keshishzadeh, S., 2016, Proceedings Thirteenth International Conference on Computability and Complexity in Analysis (CCA 2016), 15-17 June 2016, Faro, Portugal. p. 24-26

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

Expressiveness modulo bisimilarity of regular expressions with parallel composition

Baeten, J. C. M., Luttik, B., Muller, T. & Tilburg, van, P. J. A., Sep 2016, In : Mathematical Structures in Computer Science. 26, 6, p. 933-968 36 p.

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)
1 Downloads (Pure)

Fixpoint logic, games, and relations of consequence

Gazda, M. W., 15 Mar 2016, Eindhoven: Technische Universiteit Eindhoven. 141 p.

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

Open Access
File
178 Downloads (Pure)

Formal analysis and verification of embedded systems for healthcare

Keshishzadeh, S., 24 Mar 2016, Eindhoven: Technische Universiteit Eindhoven. 179 p.

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

Open Access
File
400 Downloads (Pure)

Formalizing and testing the consistency of DSL transformations

Keshishzadeh, S. & Mooij, A. J., 1 Apr 2016, In : Formal Aspects of Computing. 28, 2, p. 181-206 26 p.

Research output: Contribution to journalArticleAcademicpeer-review

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

From conceptual models to safety assurance : applying model-based techniques to support safety assurance

Luo, Y., 26 Apr 2016, Eindhoven: Technische Universiteit Eindhoven. 142 p.

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

Open Access
File
1797 Downloads (Pure)

GPUexplore : GPU explicit-state model checking

Wijs, A. J., 28 Sep 2016.

Research output: Contribution to conferencePosterAcademic

GPUexplore 2.0: unleashing GPU explicit-state model checking

Wijs, A., Neele, T. & Bosnacki, D., 2016, FM 2016: Formal Methods - 21st International Symposium, Proceedings. Springer, p. 694-701 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9995 ).

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

9 Citations (Scopus)
6 Downloads (Pure)

Hierarchical clustering of metamodels for comparative analysis and visualization

Babur, Ö., Cleophas, L. G. W. A. & van den Brand, M. G. J., 2016, Modelling Foundations and Applications : 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. Wąsowski, A. & Loenn, H. (eds.). Dordrecht: Springer, p. 3-18 (Lecture Notes in Computer Science; vol. 9764).

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

10 Citations (Scopus)
5 Downloads (Pure)

Identifying utility functions using random forests

Mendes, T., Valente, M. T., Hora, A. C. & Serebrenik, A., 2016, IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016, Suita, Osaka, Japan, March 14-18, 2016. Brussels: IEEE Computer Society, p. 614-618 5 p.

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

Infrastructure cost comparison of running web applications in the cloud using AWS lambda and monolithic and microservice architectures

Villamizar, M., Garces, O., Ochoa, L., Castro, H., Salamanca, L., Verano, M., Casallas, R., Gil, S., Valencia, C., Zambrano, A. & Lang, M., 18 Jul 2016, Proceedings - 2016 16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2016. Piscataway: Institute of Electrical and Electronics Engineers, p. 179-182 4 p.

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

61 Citations (Scopus)