• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • P.O. Box, Deparment of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

Research Output

Filter
Article
2020

An intelligent transportation system: The quito city case study

Zambrano, A., Zambrano, M., Ortiz, E., Calderón, X. & Botto-Tobar, M., 1 Jan 2020, In : International Journal on Advanced Science, Engineering and Information Technology. 10, 2, p. 507-519 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

Beyond technical aspects: how do community smells influence the intensity of code smells?

Palomba, F., Tamburri, D. A., Fontana, F. A., Oliveto, R., Zaidman, A. & Serebrenik, A., 2020, In : IEEE Transactions on Software Engineering.

Research output: Contribution to journalArticleAcademicpeer-review

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

Compositional model checking with divergence preserving branching bisimilarity is lively

de Putter, S., Lang, F. & Wijs, A., 15 Sep 2020, In : Science of Computer Programming. 196, 23 p., 102493.

Research output: Contribution to journalArticleAcademicpeer-review

Gender diversity and community smells: insights from the trenches

Catolino, G., Palomba, F., Tamburri, D. A., Serebrenik, A. & Ferrucci, F., 3 Jan 2020, In : IEEE Software. 37, 1, p. 10-16 7 p., 8852638.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
1 Downloads (Pure)

How bugs are born: a model to identify how bugs are introduced in software components

Rodríguez-Pérez, G., Robles, G., Serebrenik, A., Zaidman, A., Germán, D. M. & Gonzalez-Barahona, J. M., 1 Mar 2020, In : Empirical Software Engineering. 25, 2, p. 1294-1340 47 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
39 Downloads (Pure)

Impact of industrial SMEs in the environment conservation: A systematic mapping study

Carvajal, C. L. Y., Gil, J. C., Cadena, A. D., Cisneros, J. C., Botto-Tobard, M. & Yagual, F. E. V., 1 Jan 2020, In : International Journal on Advanced Science, Engineering and Information Technology. 10, 2, p. 684-690 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

Interface protocol inference to aid understanding legacy software components

Aslam, K., Cleophas, L., Schiffelers, R. & van den Brand, M., 2020, (Accepted/In press) In : Software and Systems Modeling.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

Is 40 the new 60? How popular media portrays the employability of older software developers

Baltes, S., Park, G. W. A. & Serebrenik, A., 27 Jul 2020, (Accepted/In press) In : IEEE Software.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

Sommen met kwadraten, uit het hoofd

Translated title of the contribution: Sums with Square, MentallyVerhoeff, T., 23 Jun 2020, In : Pythagoras : Wiskundetijdschrift voor Jongeren. 59, 6, p. 18-23 6 p.

Research output: Contribution to journalArticlePopular

Open Access
2019

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems

Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 24 Sep 2019, In : arXiv. 27 p., 1909.10824.

Research output: Contribution to journalArticleAcademic

Open Access
File
5 Downloads (Pure)

Dependency safety for Java: implementing and testing failboxes

Zhang, D., Bošnački, D., van den Brand, M., Huizing, C., Jacobs, B., Kuiper, R. & Wijs, A., 1 Oct 2019, In : Science of Computer Programming. 184, 22 p., 102316.

Research output: Contribution to journalArticleAcademicpeer-review

Discovering community patterns in open-source: a systematic approach and its evaluation

Tamburri, D. A., Palomba, F., Serebrenik, A. & Zaidman, A., 15 Jun 2019, In : Empirical Software Engineering. 24, 3, p. 1369–1417 49 p.

Research output: Contribution to journalArticleAcademicpeer-review

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

Empowering OCL research: a large-scale corpus of open-source data from GitHub

Mengerink, J. G. M., Noten, J. & Serebrenik, A., 15 Jun 2019, In : Empirical Software Engineering. 24, 3, p. 1574–1609 36 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
36 Downloads (Pure)

Gender in software engineering

Carver, J. C. & Serebrenik, A., 1 Nov 2019, In : IEEE Software. 36, 6, p. 76-78 3 p., 8880051.

Research output: Contribution to journalArticleAcademicpeer-review

Nonlinear system identification: a user-oriented road map

Schoukens, J. & Ljung, L., Dec 2019, In : IEEE Control Systems. 39, 6, p. 28-99 72 p., 8897147.

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)

OpenStack gender diversity report

Izquierdo-Cortazar, D., Huesman, N., Serebrenik, A. & Robles, G., 1 Jan 2019, In : IEEE Software. 36, 1, p. 28-33 6 p., 8491276.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
4 Citations (Scopus)

Schedule synthesis for halide pipelines through reuse analysis

Sioutas, S., Stuijk, S., Waeijen, L., Basten, T., Corporaal, H. & Somers, L., 1 Apr 2019, In : ACM Transactions on Architecture and Code Optimization. 16, 2, 22 p., 10.

Research output: Contribution to journalArticleAcademicpeer-review

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

Sentiment and emotion in software engineering

Novielli, N. & Serebrenik, A., 1 Sep 2019, In : IEEE Software. 36, 5, p. 6-9+23 8802324.

Research output: Contribution to journalArticleAcademic

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

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)
76 Downloads (Pure)

Gender, sentiment and emotions, and safety-critical systems

Carver, J., Capilla, R., Penzenstadler, B., Serebrenik, A. & Valdezate, A., 1 Nov 2018, In : IEEE Software. 35, 6, p. 16-19 4 p., 8552648.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
2 Citations (Scopus)

Model checking: recent improvements and applications

Bošnački, D. & Wijs, A., 1 Oct 2018, In : International Journal on Software Tools for Technology Transfer. 20, 5, p. 493–497 5 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
60 Downloads (Pure)

Modular termination verification of single-threaded and multithreaded programs

Jacobs, B., Bosnacki, D. & Kuiper, R., 1 Aug 2018, In : ACM Transactions on Programming Languages and Systems. 40, 3, A12.

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)

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)
2017

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
52 Downloads (Pure)

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)

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

5 Citations (Scopus)
1 Downloads (Pure)
Open Access
File
2 Citations (Scopus)
47 Downloads (Pure)
2016

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)
78 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)
73 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)
113 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)
98 Downloads (Pure)

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

8 Citations (Scopus)
12 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)
339 Downloads (Pure)
2015

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)
2014

Application of supervisory control synthesis to a patient support table of a magnetic resonance imaging scanner

Theunissen, R. J. M., Petreczky, M., Schiffelers, R. R. H., Beek, van, D. A. & Rooda, J. E., 2014, In : IEEE Transactions on Automation Science and Engineering. 11, 1, p. 20-32 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

23 Citations (Scopus)
5 Downloads (Pure)

QVTo model transformations : assessing and improving their quality

Gerpheide, C. M., Schiffelers, R. R. H. & Serebrenik, A., 2014, In : ERCIM News. 99, p. 32-33 2 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
41 Downloads (Pure)
2012

Modelgebaseerd ontwerp van regelaars in lithoscanners

Schiffelers, R. R. H., Alberts, W. & Voeten, J. P. M., 2012, In : Bits & Chips : Nieuwsmagazine voor de Hightechindustrie. 4, p. 34-37

Research output: Contribution to journalArticlePopular

2008

Specification and verification of invariants by exploiting layers in OO designs

Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E. J., 2008, In : Fundamenta Informaticae. 85, 1-4, p. 377-398

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
2 Downloads (Pure)
2005

A framework for the dynamic implementation of finite automata for performance enhancement

Ngassam, E. K., Watson, B. W. & Kourie, D. G., 2005, In : International Journal of Foundations of Computer Science. 16, 6, p. 1193-1206

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
2 Downloads (Pure)

Figuren opknippen en periodieke vlakvullingen

Verhoeff, T., 2005, In : Pythagoras : Wiskundetijdschrift voor Jongeren. 45, 1, p. 18-23

Research output: Contribution to journalArticlePopular

Taxonomy-based software construction of SPARE time : a case study

Cleophas, L. G. W. A. & Watson, B. W., 2005, In : IEE Proceedings - Software Engineering. 152, 1, p. 29-37

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
1 Downloads (Pure)
2004

Cocktail : a tool for deriving correct programs

Franssen, M. G. J. & Swart, de, H. C. M., 2004, In : Revista de la Real Academia Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas. 98, 1, p. 95-111

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
37 Downloads (Pure)

Introduction to Special Issue (Implementation and Application of Automata, Pretoria, South Africa, July 23-25, 2001)

Watson, B. W. & Wood, D., 2004, In : Theoretical Computer Science. 313, 1, p. 1-

Research output: Contribution to journalArticleAcademicpeer-review

Reducing memory requirements in reachability-based finite automata operations

Watson, B. W., 2004, In : Software : Practice and Experience. 34, 3, p. 239-248

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
1 Downloads (Pure)

Settling multiple debts efficiently : an invitation to computing science

Verhoeff, T., 2004, In : Informatics in Education. 3, 1, p. 105-126

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
499 Downloads (Pure)

SPARE Parts : a C++ toolkit for string pattern recognition

Watson, B. W. & Cleophas, L. G. W. A., 2004, In : Software : Practice and Experience. 34, 7, p. 697-710

Research output: Contribution to journalArticleAcademicpeer-review

14 Citations (Scopus)
2 Downloads (Pure)

Taxonomy of directed graph representations

Barla-Szabo, G., Watson, B. W. & Kourie, D. G., 2004, In : IEE Proceedings - Software Engineering. 151, 6, p. 257-264

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
2003

A Boyer-Moore-style algorithm for regular expression pattern matching

Watson, B. W. & Watson, R. E., 2003, In : Science of Computer Programming. 48, 2-3, p. 99-117

Research output: Contribution to journalArticleAcademicpeer-review

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

An efficient incremental DFA minimization algorithm

Watson, B. W. & Daciuk, J., 2003, In : Natural Language Engineering. 9, 1, p. 49-64

Research output: Contribution to journalArticleAcademicpeer-review

32 Citations (Scopus)
2 Downloads (Pure)

A new algorithm for the construction of minimal acyclic DFAs

Watson, B. W., 2003, In : Science of Computer Programming. 48, 2-3, p. 81-97

Research output: Contribution to journalArticleAcademicpeer-review

14 Citations (Scopus)
1 Downloads (Pure)