Research Output

2016

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

62 Citations (Scopus)

Language workbench challenge 2016: the JetBrains meta programming system

Schindler, E., Schindler, K., Tomassetti, F. & Sutii, A. M., 2 Nov 2016, LWC@SLE 2016 Language Workbench Challenge. 13 p.

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

Open Access
File
105 Downloads (Pure)

Logical characterization of bisimulation for transition relations over probability distributions with internal actions

Lee, M. & de Vink, E. P., 2016, 41st International Symposium on Mathematical Foundations of Computer Science (MFCS-2016), 22-26 August 2016, Krakow, Poland . Faliswewski, P., Muschall, A. & Niedermeier, R. (eds.). (Leibniz International Proceedings in Informatics (LIPIcs); vol. 58).

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

3 Citations (Scopus)

Maintenance of specification models in industry using Edapt

Vissers, Y., Mengerink, J. G. M., Schiffelers, R. R. H., Serebrenik, A. & Reniers, M. A., 2016, 2016 Forum on specification and Design Languages (FDL), 14-16 September, 2016, Bremen, Germany. 6 p.

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

Open Access
File
7 Citations (Scopus)
103 Downloads (Pure)

Many-core on-the-fly model checking of safety properties using GPUs

Wijs, A. J. & Bosnacki, D., 1 Apr 2016, In : International Journal on Software Tools for Technology Transfer. 18, 2, p. 169-185 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
12 Citations (Scopus)
102 Downloads (Pure)

Metamodel-independent modularisation of models with MetaMod

Sutii, A. M., Verhoeff, T. & van den Brand, M. G. J., 12 Sep 2016. 3 p.

Research output: Contribution to conferencePosterAcademic

Open Access

Metrics design for safety assessment

Luo, Y. & van den Brand, M. G. J., 24 Mar 2016, In : Information and Software Technology. 73, p. 151-163

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)
12 Downloads (Pure)

Minimization of finite state automata through partition aggregation

Bjorklund, J. & Cleophas, L., 2016, Logical aspects of computational linguistics: celebrating 20 years of LACL (1996-2016). Amblard, M., de Groote, P., Pogodalla, S. & Retoré, C. (eds.). Berlin: Springer, p. 328-328 (Lecture Notes in Computer Science; vol. 10054).

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

Model checking software: 23rd international symposium, SPIN 2016 co-located with ETAPS 2016 Eindhoven, the Netherlands, April 7-8, 2016

Bošnački, D. (ed.) & Wijs, A. J. (ed.), 2016, Berlin: Springer. 245 p. (Lecture Notes in Computer Science; vol. 9641)

Research output: Book/ReportBook editingAcademicpeer-review

Modeling the dynamics of requirements process improvement

Zawedde, A., 24 Oct 2016, Eindhoven: Technische Universiteit Eindhoven. 192 p.

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

Open Access
File
495 Downloads (Pure)

Modelling information routing with noninterference

Koolen, R. P. J. & Schmaltz, J., 19 Jan 2016, International Workshop on MILS: Architecture and Assurance for Secure Systems, Prague, 19 January 2016. 7 p.

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

Open Access
File
11 Downloads (Pure)

Modularity for (meta)modeling

Sutii, A. M., 21 Jan 2016. 1 p.

Research output: Contribution to conferenceAbstractAcademic

Modular modeling with a computational twist in Metamod

Sutii, A-M., Verhoeff, T. & Van Den Brand, M. G. J., 14 Mar 2016, MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity, Malaga, Spain. New York: Association for Computing Machinery, Inc, p. 4-7 4 p.

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

2 Downloads (Pure)

Modular multilevel metamodeling with metaMod

Sutii, A-M., Verhoeff, T. & Van Den Brand, M. G. J., 14 Mar 2016, MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity, Malaga, Spain. Association for Computing Machinery, Inc, p. 212-217 6 p.

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

1 Citation (Scopus)
1 Downloads (Pure)

On parity game preorders and the logic of matching plays

Gazda, M. W. & Willemse, T. A. C., 2016, SOFSEM 2016: theory and practice of computer science. Freivalds, R. M., Engels, G. & Catania, B. (eds.). Springer, p. 277-289 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9587).

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

2 Citations (Scopus)

On the executability of interactive computation

Luttik, B. & Yang, F., 2016, Pursuit of the Universal: Proceedings of the 12th Conference on Computability in Europe, Paris, France, June 27 - July 1, 2016 (CiE 2016).. Beckmann, A., Bienvenue, L. & Jonoska, N. (eds.). Springer, p. 312-322 10 p. (Lecture Notes in Computer Science; vol. 9709).

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

2 Citations (Scopus)
1 Downloads (Pure)

On the random structure of behavioural transition systems

Groote, J. F., van der Hofstad, R. W. & Raffelsieper, M., 15 Oct 2016, In : Science of Computer Programming. 128, p. 51-67 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Parity game reductions

Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., 21 Mar 2016, In : arXiv. 1603.06422v1, 52 p.

Research output: Contribution to journalArticleAcademic

File
13 Downloads (Pure)

Parity games

Willemse, T. A. C. & Gazda, M. W., 2016, Encyclopedia of algorithms. Kao, M-Y. (ed.). 2nd ed. Berlin: Springer, p. 1532-1537

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

Partial-order reduction for GPU model checking

Neele, T. S., Wijs, A. J., Bošnački, D. & van de Pol, J. C., 2016, Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Proceedings. Springer, p. 357-374 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9938).

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

6 Citations (Scopus)
2 Downloads (Pure)

Pattern specification and application in metamodels in Ecore

Zhang, J., van den Brand, M. G. J., Sutii, A. M. & Hamilton, M. A. M., 1 Nov 2016, ITSLE 2016 Proceedings of the 1st Industry Track on Software Language Engineering, Amsterdam, October 31, 2016. New York: Association for Computing Machinery, Inc, p. 3-12

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

1 Downloads (Pure)

Performance analysis framework for a complex financial data warehouse

Mikovski Iotov, V. G., 28 Sep 2016, Eindhoven: Technische Universiteit Eindhoven. 99 p.

Research output: ThesisPd Eng Thesis

Open Access
File
167 Downloads (Pure)

Platforms for ICME

Babur, Ö., Hashibon, A., Hanzich, M., Houzeaux, G. & Patzák, B., 2016, Handbook of software solutions for ICME. Schmitz, G. J. & Prahi, U. (eds.). Chichester: Wiley-VCH Verlag, p. 533-564 32 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Preface

Corradini, A., Fernández, M., Mackie, I., Plump, D., van Raamsdonk, F. & Zantema, H., 10 Sep 2016, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 225, 1 p.

Research output: Contribution to journalEditorialAcademicpeer-review

Open Access

Preface to special issue on EXPRESS 2011

Luttik, B. & Valencia, F. D., 2016, In : Mathematical Structures in Computer Science. 26, 8, p. 1351 1 p.

Research output: Contribution to journalEditorialAcademicpeer-review

Open Access
File
35 Downloads (Pure)

Problem solving, presenting, and programming: a matter of giving and taking

Verhoeff, T., 2016, International Olympiad in Informatics (IOI) Conference 2016, 14-16 August 2016, Kazan, Russian Federation. p. 231-235 5 p.

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

Proceedings Second Graphs as Models Workshop, Eindhoven, The Netherlands, April 2-3, 2016

Heußner, A. (ed.), Kissinger, A. (ed.) & Wijs, A. (ed.), 4 Dec 2016, EPTCS. (Electronic Proceedings in Theoretical Computer Science; vol. 231)

Research output: Book/ReportBook editingAcademicpeer-review

Open Access

Recognizing gender of stack overflow users

Lin, B. & Serebrenik, A., 2016, Proceedings of the 13th International Conference on Mining Software Repositories, MSR 2016, Austin, Texas, USA, May 14-22, 2016. Kim, M., Robbes, R. & Bird, C. (eds.). New York: Association for Computing Machinery, Inc, p. 425-429 5 p.

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

16 Citations (Scopus)
1 Downloads (Pure)

Searching for optimal configurations within large-scale models: a cloud computing domain

Ochoa, L., González-Rojas, O., Verano, M. & Castro, H., 2016, Advances in Conceptual Modeling: ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14–17, 2016, Proceedings. Link, S. & Trujillo, J. C. (eds.). Dordrecht: Springer, p. 65-75 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9975 LNCS).

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

5 Citations (Scopus)

Software that meets its intent

Huisman, M., Bos, H., Brinkkemper, S., van Deursen, A., Groote, J. F., Lago, P., van de Pol, J. & Visser, E., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Dordrecht: Springer, p. 609-625 17 p. (Lecture Notes in Computer Science; vol. 9953).

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

1 Citation (Scopus)

Solving the bank with Rebel: On the design of the Rebel specification language and its application inside a bank

Stoel, J., van der Storm, T., Vinju, J. & Bosman, J., 31 Oct 2016, ITSLE 2016 - Proceedings of the 1st Industry Track on Software Language Engineering, co-located with SPLASH 2016. Dajsuren, Y. & Kourzanov, P. (eds.). Association for Computing Machinery, Inc, p. 13-20 8 p.

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

3 Citations (Scopus)

Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014) Preface

Bosnacki, D., Edelkamp, S., Lafuente, A. L. & Wijs, A., 15 Nov 2016, In : Science of Computer Programming. 130, 15 November, p. 1-1 1 p.

Research output: Contribution to journalEditorialAcademicpeer-review

Statistical analysis of large sets of models

Babur, Ö., 2016, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 3-7 September 2016, Singapore. New York: Association for Computing Machinery, Inc, p. 888-891 4 p.

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

5 Citations (Scopus)

Supervisory controller synthesis for product lines using CIF3

ter Beek, M. H., Reniers, M. A. & de Vink, E. P., 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. Magaria, T. & Steffen, B. (eds.). Dordrecht: Springer, p. 856-873 (LNCS; vol. 9952).

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

15 Citations (Scopus)
4 Downloads (Pure)

Surveying challenges in software ecosystems research

Serebrenik, A. & Mens, T., 2016, Proceedings of the European Workshop on Software Ecosystems 2015. Popp, K. M., Buxmann, P., Curran, T. A., Eichler, G., Jansen, S. & Kude, T. (eds.). Norderstedt: Books on Demand GmbH

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

Survey of approaches for handling static analysis alarms

Muske, T. & Serebrenik, A., 2016, 2016 IEEE 16th International Working Conference on Source Code Analysis and Manipulation (SCAM) . Piscataway: Institute of Electrical and Electronics Engineers, p. 157-166

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

20 Citations (Scopus)

System for code generation for testing amplifiers at NXP Mobile Audio Department

Anastasovski, F., 28 Sep 2016, Eindhoven: Technische Universiteit Eindhoven. 77 p.

Research output: ThesisPd Eng Thesis

Open Access
File
452 Downloads (Pure)

Tailoring complexity metrics for simulink models

Olszewska, M., Dajsuren, Y., Altinger, H., Serebrenik, A., Walden, M. & van den Brand, M. G. J., 2016, 10th European Conference on Software Architecture. Companion Volume: Women in Software Architecture. New York: Association for Computing Machinery, Inc, p. 1-7 7 p. 5

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

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

Taming the herd : statistical analysis of large sets of models

Babur, Ö., 2016, p. 24-26.

Research output: Contribution to conferencePosterAcademic

Open Access
File
15 Downloads (Pure)

Tax-PLEASE—towards taxonomy-based software product line engineering

Schaefer, I., Seidl, C., Cleophas, L. G. W. A. & Watson, B. W., 10 May 2016, Software reuse: bridging with social-awareness. Kapitsaki, G. M. & de Almeida, E. S. (eds.). Springer, p. 63-70 (Lecture Notes in Computer Science; vol. 9679).

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

3 Citations (Scopus)
4 Downloads (Pure)

The impact of deadline misses on the control performance of high-end motion control systems

Geelen, W., Antunes, D., Voeten, J. P. M., Schiffelers, R. R. H. & Heemels, W. P. M. H., 1 Feb 2016, In : IEEE Transactions on Industrial Electronics. 63, 2, p. 1218-1229 12 p., 7339675.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
9 Citations (Scopus)
344 Downloads (Pure)