Research Output

2016

Using human computation in dead-zone based 2D pattern matching

Cleophas, L. G. W. A., Watson, B. W. & Awid, K., 2016, Proceedings of the Prague Stringology Conference 2016, August 29-31, 2016, Prague, Czech Republic . s.l.: s.n., p. 22-32 11 p.

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

Open Access
File
30 Downloads (Pure)

Verification of atomicity preservation in model-to-code transformations using generic Java code

Zhang, D., Bosnacki, D., Van Den Brand, M., Huizing, C., Kuiper, R., Jacobs, B. & Wijs, A., 2016, MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS-Science and Technology Publications, Lda., p. 578-588 11 p.

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

2 Citations (Scopus)
2 Downloads (Pure)

Verification of interconnects

Joosten, S., 24 Feb 2016, Eindhoven: Technische Universiteit Eindhoven. 128 p.

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

Open Access
File
235 Downloads (Pure)

Verifying a verifier: on the formal correctness of an LTS transformation verification technique

de Putter, S. M. J. & Wijs, A. J., 2016, Fundamental Approaches to Software Engineering. Dordrecht: Springer, p. 383-400 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9633).

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

3 Citations (Scopus)
2 Downloads (Pure)

Visualization of formal specifications for understanding and debugging an industrial DSL

Tikhonova, U., Manders, M. W. & Boudewijns, R. C., 2016, Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers . Milazzo, P., Varró, D. & Wimmer, M. (eds.). Dordrecht: Springer, p. 179-195 (LNCS; vol. 9946).

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

3 Citations (Scopus)

Why developers are slacking off: understanding how software teams use slack

Lin, B., Zagalsky, A., Storey, M-AD. & Serebrenik, A., 27 Feb 2016, Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing, CSCW 2015, San Francisco, CA, USA, February 27 - March 2, 2016, Companion Volume. Association for Computing Machinery, Inc, p. 333-336 4 p.

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

32 Citations (Scopus)
2 Downloads (Pure)

Abstraction in fixpoint logic

Cranen, S., Gazda, M. W., Wesselink, J. W. & Willemse, T. A. C., 2015, In : ACM Transactions on Computational Logic. 16, 4, p. 29/1-39 39 p.

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)
1 Downloads (Pure)

A data set for social diversity studies of GitHub teams

Vasilescu, B. N., Serebrenik, A. & Filkov, V., 2015, 12th Working Conference on Mining Software Repositories (MSR'15), May 16-17, 2015, Florence, Italy . Piscataway: Institute of Electrical and Electronics Engineers, p. 514-517

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

40 Citations (Scopus)

A definition scheme for quantitative bisimulation

Latella, D., Massink, M. & Vink, de, E. P., 2015, Thirteenth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015, London, UK, April 11-12, 2015). Bertrand, N. & Tribastone, M. (eds.). EPTCS, p. 63-78 (Electronic Proceedings in Theoretical Computer Science; vol. 194).

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

3 Citations (Scopus)

A modeling approach to support safety assurance in the automotive domain

Luo, Y., van den Brand, M. G. J., Engelen, L. J. P. & Klabbers, M. D., 2015, Progress in Systems Engineering (Twenty-Third International Conference on Systems Engineering, ICSEng'14, Las Vegas NV, USA, August 19-21, 2014). Selvaraj, H., Zydek, D. & Chmaj, G. (eds.). Cham: Springer, p. 339-345 (Advances in Intelligent Systems and Computing; vol. 1089).

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

7 Citations (Scopus)
3 Downloads (Pure)

An Aho-Corasick based assessment of algorithms generating failure deterministic finite automata

Nxumalo, M., Kourie, D. G., Cleophas, L. & Watson, B. W., 2015, Proceedings of the Twelfth International Conference on Concept Lattices and Their Applications, October 13-16, 2015, Clermont-Ferrand, France . Ben Yahia, S. & Konecny, J. (eds.). CEUR-WS.org, p. 87-98 12 p. (CEUR Workshop Proceedings; vol. 1466).

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

Analysis of ISO 26262 compliant techniques for the automotive domain

S., M. K., Dajsuren, Y., Luo, Y. & Barosan, I., 2015, International Workshop on Modelling in Automotive Software Engineering (MASE 2015, Ottawa, Canada, September 27, 2015; co-located with MODELS'15). Antkiewicz, M., Atlee, J., Dingel, J. & S, R. (eds.). CEUR-WS.org, p. 33-42 (CEUR Workshop Proceedings; vol. 1487).

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

1 Citation (Scopus)
7 Downloads (Pure)

An approach for functional safety improvement of an existing automotive system

Khabbaz Saberi, A., Luo, Y., Cichosz, F. P., van den Brand, M. G. J. & Jansen, S. T. H., 2015, 2015 9th Annual IEEE International Systems Conference (SysCom, Vancouver BC, Canada, April 13-16, 2015). Piscataway : Institute of Electrical and Electronics Engineers, p. 277-282

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

6 Citations (Scopus)
4 Downloads (Pure)

A new DBS card with spot sizes independent of the hematocrit value of blood

Mengerink, Y., Mommers, J., Qiu, J., Mengerink, J., Steijger, O. & Honing, M., 1 Jan 2015, In : Bioanalysis. 7, 16, p. 2095-2104 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

15 Citations (Scopus)

An exploratory study on exception handling bugs in Java programs

Ebert, F., Castor, F. & Serebrenik, A., 2015, In : Journal of Systems and Software. 106, p. 82-101

Research output: Contribution to journalArticleAcademicpeer-review

33 Citations (Scopus)
4 Downloads (Pure)

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

Groote, J. F. & Wijs, A., 2015, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computer science reports; vol. 1506)

Research output: Book/ReportReportAcademic

Open Access
File
104 Downloads (Pure)

A novel industry grade dataset for fault prediction based on model-driven developed automotive embedded software

Altinger, H., Siegl, S., Dajsuren, Y. & Wotawa, F., 2015, 12th Working Conference on Mining Software Repositories (MSR'15, Florence, Italy, May 16-17, 2015). Piscataway: IEEE Press, p. 494-497

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

10 Citations (Scopus)
1 Downloads (Pure)

A polynomial time algorithm for checking regularity of totally normed process algebra

Yang, F. & Huang, H., 1 Jun 2015, In : Journal of Shanghai Jiaotong University (Science). 20, 3, p. 273-280

Research output: Contribution to journalArticleAcademicpeer-review

A re-entrant flowshop heuristic for online scheduling of the paper path in a large scale printer

Waqas, U., Geilen, M. C. W., Kandelaars, J., Somers, L. J. A. M., Basten, T., Stuijk, S., Vestjens, P. G. H. & Corporaal, H., 2015, Proceedings of the Conference on Design, Automation and Test in Europe (DATE 15) 9-13 March 2015, Grenoble, France. Piscataway: Institute of Electrical and Electronics Engineers, p. 573-578

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

7 Citations (Scopus)
10 Downloads (Pure)

A survey of open source multiphysics frameworks in engineering

Babur, O., Smilauer, V., Verhoeff, T. & Brand, van den, M. G. J., 2015, ICCS 2015 International Conference On Computational Science (Reykjavik, Iceland, June 1-3, 2015). p. 1088-1097 (Procedia Computer Science; vol. 51).

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

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

A systematic approach for safety evidence collection in the safety-critical domain

Lin, H., Wu, J., Yuan, C., Luo, Y., Brand, van den, M. G. J. & Engelen, L. J. P., 2015, 9th Annual IEEE International Systems Conference (SysCon 2015, Vancouver BC, Canada, April 13-16, 2015). Piscataway: Institute of Electrical and Electronics Engineers, p. 194-199

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

2 Citations (Scopus)
4 Downloads (Pure)

Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs

Joosten, S. J. C. & Schmaltz, J., 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE, Grenoble, France, March 9-13, 2015). Piscataway NJ: Institute of Electrical and Electronics Engineers, p. 1413-1418

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

5 Citations (Scopus)
4 Downloads (Pure)

Backward linearised tree pattern matching

Trávníček, J., Janoušek, J., Melichar, B. & Cleophas, L., 2015, Language and Automata Theory and Applications: 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings. Dediu, A-H., Formenti, E., Martin-Vide, C. & Truthe, B. (eds.). Berlin: Springer, p. 599-610 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8977).

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

3 Citations (Scopus)

Bisimulation of labelled state-to-function transition systems coalgebraically

Latella, D., Massink, M. & de Vink, E. P., 2015, In : Logical Methods in Computer Science. 11, 4, p. 1-40

Research output: Contribution to journalArticleAcademicpeer-review

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

Building blocks for the internet of things

Stolikj, M., 2015, Eindhoven: Technische Universiteit Eindhoven. 218 p.

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

Open Access
File
6206 Downloads (Pure)

Chains of antiprisms

Verhoeff, T. & Stoel, M., 2015, Bridges Baltimore 2015 : Mathematics, Music, Art, Architecture, Culture, Baltimore, MD, USA, July 29 - August 1, 2015. The Bridges Organization, p. 347-350 4 p.

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

Open Access
File
3736 Downloads (Pure)

Challenges in software ecosystems research

Serebrenik, A. & Mens, T., 2015, 2015 European Conference on Software Architecture Workshops (ECSAW'15, Cavtat, Croatia, September 7-11, 2015). Crnkovic, I. (ed.). New York NY: Association for Computing Machinery, Inc, p. 1-6 40

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

7 Citations (Scopus)

Choosing your weapons : on sentiment analysis tools for software engineering research

Jongeling, R. M., Datta, S. & Serebrenik, A., 2015, 2015 IEEE 31st International Conference on Software Maintenance and Evolution (ICSME) : September 29 - October 1, 2015, Bremen, Gemany. Koschke, R., Krinke, J. & Robillard, M. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 531-535

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

49 Citations (Scopus)
9 Downloads (Pure)

Coherent branching feature bisimulation

Belder, T., Beek, ter, M. H. & Vink, de, E. P., 2015, s.n. 17 p. (arXiv; vol. 1504.03474 [cs.LO])

Research output: Book/ReportReportAcademic

Open Access
File
72 Downloads (Pure)

Coherent branching feature bisimulation

Belder, T., Beek, ter, M. H. & Vink, de, E. P., 2015, Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering (FMSPLE 2015, London, UK, April 11, 2015). Atlee, J. M. & Gnesi, S. (eds.). p. 14-30 (Electronic Proceedings in Theoretical Computer Science; vol. 182).

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

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

Communication patterns in mean field models for wireless sensor networks

Talebi, M., Groote, J. F. & Linnartz, J. P. M. G., 2015, arXiv.org. 22 p. (arXiv.org; vol. 1503.07693 [cs.PF])

Research output: Book/ReportReportAcademic

Open Access
File
58 Downloads (Pure)

Conceptual model of the globalization for domain-specific languages

Clark, T., van den Brand, M., Combemale, B. & Rumpe, B., 2015, Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers. Combemale, B. (ed.). Berlin: Springer, p. 7-20 14 p. (Lecture Notes in Computer Science; vol. 9400).

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

21 Citations (Scopus)

Confluence detection for transformations of labelled transition systems

Wijs, A. J., 2015, Proceedings Graphs as Models (London, UK, April 11-12, 2015). Rensink, A. & Zambon, E. (eds.). p. 1-15 (Electronic Proceedings in Theoretical Computer Science; vol. 181).

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

Open Access
File
68 Downloads (Pure)

Continuous approximation of stochastic models for wireless sensor networks

Talebi, M., Groote, J. F. & Linnartz, J-P., 24 Nov 2015, 2015 IEEE Symposium on Communications and Vehicular Technology in the Benelux (SCVT), 24 November 2015, Luxembourg City. Piscataway: Institute of Electrical and Electronics Engineers, p. 1-6 6 p.

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

1 Citation (Scopus)
5 Downloads (Pure)

Coordination control of complex machines

Baeten, J. C. M., Beek, van, D. A., Markovski, J. & Somers, L. J. A. M., 2015, Coordination Control of Distributed Systems. Schuppen, van, J. H. & Villa, T. (eds.). Cham: Springer, p. 61-68 (Lecture Notes in Control and Information Sciences; vol. 456).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

5 Downloads (Pure)

Designing and describing QVTo model transformations

Tikhonova, U. & Willemse, T. A. C., 2015, ICSOFT 2015 : proceedings of the 10th International Joint Conference on Software Technologies : Colmar, Alsace, France, 20-22 July, 2015. Piscataway: Institute of Electrical and Electronics Engineers, p. 401-406

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

3 Citations (Scopus)
1 Downloads (Pure)

Developer initiation and social interactions in OSS : a case study of the Apache software foundation

Gharehyazie, M., Posnett, D., Vasilescu, B. & Filkov, V., 4 Oct 2015, In : Empirical Software Engineering. 20, 5, p. 1318-1353 36 p.

Research output: Contribution to journalArticleAcademicpeer-review

18 Citations (Scopus)

Documenting and designing QVTo model transformations through mathematics

Tikhonova, U. & Willemse, T. A. C., 2015, Software Technologies : 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Lorenz, P., Cardoso, J., Maciaszek, L. A. & van Sinderen, M. (eds.). Dordrecht: Springer, p. 349-364 (Communications in Computer and Information Science; vol. 586).

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

Eclipse API usage : the good and the bad

Businge, J., Serebrenik, A. & Brand, van den, M. G. J., 2015, In : Software Quality Journal. 23, 1, p. 107-141 35 p.

Research output: Contribution to journalArticleAcademicpeer-review

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

Effect of daylight on atmosphere perception: comparison of a real space and visualizations

Stokkermans, M. G. M., Chen, Y., Murdoch, M. J., Vogels, I. M. L. C. & Heynderickx, I. E. J., 2015, Human Vision and Electronic Imaging XX, San Francisco, California, United States | February 08, 2015. Rogowitz, B. E., Pappas, T. N. & Ridder, de, H. (eds.). Bellingham, WA: SPIE, 9 p. 93940O. (Proceedings of SPIE; vol. 9394).

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

2 Citations (Scopus)
11 Downloads (Pure)

Evidence for Fixpoint Logic

Cranen, S., Luttik, S. P. & Willemse, T. A. C., 2015, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), September 7-10, 2015, Berlin, Germany. Kreutzer, S. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 78-93 (Leibniz International Proceedings in Informatics (LIPIcs); vol. 41).

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

3 Citations (Scopus)

Evolution specification evaluation in industrial MDSE ecosystems

Mengerink, J. G. M., Schiffelers, R. R. H., Serebrenik, A. & Brand, van den, M. G. J., 2015, Eindhoven: Technische Universiteit Eindhoven. 10 p. (Computer science reports; vol. 1504)

Research output: Book/ReportReportAcademic

Open Access
File
166 Downloads (Pure)

Exact real arithmetic with perturbation analysis and proof of correctness

Keshishzadeh, S. & Groote, J. F., 2015, Eindhoven: Technische Universiteit Eindhoven. 58 p. (Computer science reports; vol. 1505)

Research output: Book/ReportReportAcademic

Open Access
File
34 Downloads (Pure)

Executable behaviour and the π-calculus (extended abstract)

Luttik, B. & Yang, F., 2015, 8th Interaction and Concurrency Experience (ICE 2015, Grenoble, France, June 4-5, 2015). Knight, S., Lanese, I., Lluch Lafuente, A. & Torres Vieira, H. (eds.). EPTCS, p. 37-52 (Electronic Proceedings in Theoretical Computer Science; vol. 189).

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

2 Citations (Scopus)
2 Downloads (Pure)

Experience with correctness-by-construction

Watson, B. W., Kourie, D. G. & Cleophas, L., 2015, In : Science of Computer Programming. 97, part 1, p. 55-58 4 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Formal API specification of the PikeOS separation kernel

Verbeek, F., Havle, O., Schmaltz, J., Tverdyshev, S., Blasum, H., Langenstein, B., Stephan, W., Wolff, B. & Nemouchi, Y., 2015, NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Berlin: Springer, p. 375-389 (Lecture Notes in Computer Science; vol. 9058).

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

14 Citations (Scopus)
6 Downloads (Pure)

Functional and cost-based automatic generator for hybrid vehicles topologies

Silvas, E., Hofman, T., Serebrenik, A. & Steinbuch, M., Aug 2015, In : IEEE/ASME Transactions on Mechatronics. 20, 4, p. 1561-1572

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
33 Citations (Scopus)
175 Downloads (Pure)

Functional safety measurement in the automotive domain : adaptation of PSM

Luo, Y., Stelma, J. & Brand, van den, M. G. J., 2015, First International Workshop on Automotive Software Architecture (WASA'15, Montreal, Canada, May 4, 2015). New York NY: Association for Computing Machinery, Inc, p. 11-17

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

2 Citations (Scopus)
2 Downloads (Pure)

Gender and tenure diversity in GitHub teams

Vasilescu, B. N., Posnett, D., Ray, B., Brand, van den, M. G. J., Serebrenik, A., Devanbu, P. & Filkov, V., 2015, 33rd Annual ACM Conference on Human Factors in Computing Systems (CHI'15, Seoul, Korea, April 18-23, 2015). New York NY: Association for Computing Machinery, Inc, p. 3789-3798

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

109 Citations (Scopus)
2 Downloads (Pure)