Research Output 1972 2019

Filter
Conference contribution
2019

Active learning of industrial software with data

Sanchez, L., Groote, J. F. & Schiffelers, R., 2019, Preproceedings of Fundamentals of Software Engineering (FSEN) 2019. Hojjat, H. & Massink, M. (eds.). Tehran: Institute for Studies in Theoretical Physics and Mathematics (IPM), School of Mathematics, p. 51-65 14 p.

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

Learning systems
Large scale systems
Problem-Based Learning

An approach to the detection of post-seismic structural damage based on image segmentation methods

Cevallos-Torres, L. J., Minda Gilces, D., Guijarro-Rodriguez, A., Barriga-Diaz, R., Leyva-Vazquez, M. & Botto-Tobar, M., 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. 644-658 15 p. (Communications in Computer and Information Science; vol. 895)

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

Image segmentation
Image Segmentation
Crack Detection
Crack detection
Crack

An overview of multiple sequence alignment methods applied to transmembrane proteins

Zambrano-Vega, C., Oviedo, B., Villamar-Torres, R., Botto-Tobar, M. & Barros-Rodríguez, M., 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. 410-419 10 p. (Communications in Computer and Information Science; vol. 895)

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

Multiple Sequence Alignment
Proteins
Protein
Protein Sequence
Cytology

Assessing the meaning of emojis for emotional awareness - a pilot study

Brants, W. M. G., Sharif, B. & Serebrenik, A., 24 Jan 2019, (Accepted/In press) 2nd International Workshop on Emoji Understanding and Applications in Social Media.

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

Open Access

Confusion in code reviews: reasons, impacts and coping strategies: reasons, Impacts, and Coping Strategies

Ebert, F., Castor, F., Novielli, N. & Serebrenik, A., 15 Mar 2019, SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. Shihab, E., Lo, D. & Wang, X. (eds.). Piscataway: Institute of Electrical and Electronics Engineers (IEEE), p. 49-60 12 p. 8668024

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

Triangulation
Quality assurance
Defects

Does UML modeling associate with higher software quality in open-source software?

Raghuraman, A., Ho-Quang, T., Chaudron, M. R. V., Serebrenik, A. & Vasilescu, B., 1 Mar 2019, (Accepted/In press) Proceedings of the 16th International Conference on Mining Software Repositories (MSR 2019).

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

Open Access

How remote work can foster a more inclusive environment for transgender developers

Ford, D., Milewicz, R. & Serebrenik, A., 1 Mar 2019, (Accepted/In press) Workshop on Gender Equality in Software Engineering.

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

Open Access
1 Citation (Scopus)

How stable are Eclipse application framework internal interfaces?

Businge, J., Kawuma, S., Openja, M., Bainomugisha, E. & Serebrenik, A., 15 Mar 2019, SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. Shihab, E., Lo, D. & Wang, X. (eds.). Piscataway: Institute of Electrical and Electronics Engineers (IEEE), p. 117-127 11 p. 8668018

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

Open Access
Application programming interfaces (API)
Interfaces (computer)
1 Citation (Scopus)

Improving model inference in industry by combining active and passive learning

Yang, N., Aslam, K., Schiffelers, R. R. H., Lensink, L., Hendriks, D., Cleophas, L. G. W. A. & Serebrenik, A., 15 Mar 2019, 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019). Shihab, E., Lo, D. & Wang, X. (eds.). Piscataway: Institute of Electrical and Electronics Engineers (IEEE), p. 253-263 11 p. 8668007

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

Industry
Lithography
Problem-Based Learning
Semiconductor materials

Model management tools for models of different domains: a systematic literature review

Silva Torres, W., van den Brand, M. G. J. & Serebrenik, A., 9 Jan 2019, (Accepted/In press) The 13th Annual IEEE International Systems Conference. Piscataway: Institute of Electrical and Electronics Engineers (IEEE)

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

Model checking
Industry

Parallel SAT simplification on GPU architectures

Osama, M. & Wijs, A., 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. Zhang, L. & Vojnar, T. (eds.). Cham: Springer, p. 21-40 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS)

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

Open Access
File
Graphics Processing Unit
Simplification
Satisfiability Problem
Preprocessing
Solvability

Political-electoral marketing and influencing factors in student representatives’ elections under a fuzzy logic approach

Cevallos-Torres, L., Botto-Tobar, M., Yepez-Holguín, J., Ortiz-Zambrano, J. & Valencia-Martínez, N., 1 Jan 2019, Computer and Communication Engineering - 1st International Conference, ICCCE 2018, Proceedings. Yánez-Pazmiño, W., Barzola-Monteses, J., Santos-Baquerizo, E., Botto-Tobar, M. & Espinoza-Andaluz, M. (eds.). Springer, p. 124-138 15 p. (Communications in Computer and Information Science; vol. 959)

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

Elections
Fuzzy Logic
Fuzzy logic
Marketing
Cognitive Map
1 Citation (Scopus)

RERS 2019: combining synthesis with real-world models

Jasper, M., Mues, M., Murtovi, A., Schlüter, M., Howar, F., Steffen, B., Schordan, M., Hendriks, D., Schiffelers, R., Kuppens, H. & Vaandrager, F. W., 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Steffen, B., Kordon, F., Beyer, D. & Huisman, M. (eds.). Cham: Springer, p. 101-115 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11429 LNCS)

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

Open Access
File
Reactive Systems
Automation
History
Synthesis
Benchmark

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
Concurrent Systems
Graphical user interfaces
Usability
Software Product Lines
Domain-specific Languages

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
Tool Support
Correctness
Specifications
Specification
Refinement

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

Girardi, D., Lanubile, F., Novielli, N., Quaranta, L. & Serebrenik, A., 1 Mar 2019, (Accepted/In press) 4th International Workshop on Emotion Awareness in Software Engineering.

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

Open Access

Verifying system-wide properties of industrial component-based software

Neele, T., Rol, M. H. & Groote, J. F., 2019, Pre proceedings of Fundamentals of Software Engineering 2019. Hojjat, H. & Massink, M. (eds.). Teheran: Institute for Studies in Theoretical Physics and Mathematics (IPM), School of Mathematics, p. 5-20 16 p.

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

Software design
Engines
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. 27)

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

Open Access

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

Automotive industry
Feedback
Hardware
Communication

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

Industry

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

van der Heijden, A., Broasca, C. & Serebrenik, A., 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
Software engineering
Sorting
Testing

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. Botto-Tobar, M., Esparza-Cruz, N., Leon-Acurio, J., Crespo-Torres, N. & Beltran-Mora, M. (eds.). Babahoyo: Springer, Vol. 798, p. 171-184 (Communications in Computer and Information Science; vol. 798)

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

Service oriented architecture (SOA)
Application programs
Software engineering
Costs
Industry

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 (IEEE), Vol. 2018-January, p. 1568-1573 6 p.

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

Specifications
Hardware
Computer hardware description languages
Inclusion
Functionality

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

Merino, M. V., Vinju, J. & van der Storm, T., 2018, Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering. New York: ACM/IEEE, p. 210-214 5 p.

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

Computer systems programming
Learning systems
Engineers

Beyond the code itself: how programmers really look at pull requests

Ford, D., Behroozi, M., Serebrenik, A. & Parnin, C., 17 Dec 2018, (Accepted/In press) 41st International Conference on Software Engineering, Software Engineering in Society. IEEE Computer Society

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

Open Access
4 Citations (Scopus)

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
Vector spaces
Feature extraction
Statistical methods
1 Citation (Scopus)

Communicative intention in code review questions

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

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

Open Access
Communication

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

DSL
Feedback
Modeling languages
1 Citation (Scopus)

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

Computability and decidability
Deadlock
Scheduling
Transition Systems
Decidability

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 (IEEE), p. 148-151 4 p. 8432199

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

Open Access
File
Telecommunication traffic
Demonstrations
Controllers
12 Citations (Scopus)

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 (IEEE), Vol. 2018-March, p. 612-621 10 p.

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

Open Access
Learning systems
Weighing

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 (IEEE), p. 144-147 4 p.

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

Powertrains
Wheels
Product development
MATLAB
Actuators

Dynamic performance analysis of IEEE 802.15.4 networks under intermittent Wi-Fi interference

Talebi, M., Papatsimpa, C. & Linnartz, J. P. M. G., 18 Dec 2018, 2018 IEEE 29th Annual International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2018. Piscataway: Institute of Electrical and Electronics Engineers (IEEE), 7 p. 8580858

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

Wi-Fi
Zigbee
Network performance
Telecommunication traffic
Frequency bands

Efficient extended ABAC evaluation

Morisset, C., Willemse, T. A. C. & Zannone, N., 7 Jun 2018, SACMAT 2018 - Proceedings of the 23rd ACM Symposium on Access Control Models and Technologies. Association for Computing Machinery, Inc, p. 149-160 12 p.

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

Access control
Binary decision diagrams
Specifications
2 Citations (Scopus)

Evidence extraction from parameterised Boolean equation systems

Wesselink, W. & Willemse, T. A. C., 1 Jan 2018, Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018): Oxford, UK, July 18, 2018.. Benzmüller, C. & Otten, J. (eds.). CEUR-WS.org, p. 86-100 15 p. (CEUR Workshop Proceedings; vol. 2095)

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

Open Access
File
Model checking
Feedback
Hardware

Exploiting specification modularity to prune the optimization-space of manufacturing systems

Bastos, J., Stuijk, S., Voeten, J., Schiffelers, R. & Corporaal, H., 28 May 2018, Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018. Stuijk, S. (ed.). New York: Association for Computing Machinery, Inc, p. 1-9 9 p.

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

Specifications
2 Citations (Scopus)

Exploring DSL evolutionary patterns in practice: a study of DSL evolution in a large-scale industrial DSL repository

Mengerink, J. G. M., van der Sanden, B., Cappers, B. C. M., Serebrenik, A., Schiffelers, R. R. H. & van den Brand, M. G. J., 2018, Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD. SCITEPRESS-Science and Technology Publications, Lda., p. 446-453 8 p.

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

Open Access
File
DSL
Automation
Engineers

Formal micro-architectural analysis of on-chip ring networks

van Wesel, P. & Schmaltz, J., 24 Jun 2018, Proceedings of the 55th Annual Design Automation Conference, DAC 2018. Institute of Electrical and Electronics Engineers (IEEE), 6 p. a94

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

Ring Network
Deadlock
Chip
Ring
Formal Modeling

Gender diversity and women in software teams: how do they affect community smells?

Catolino, G., Palomba, F., Tamburri, D. A., Serebrenik, A. & Ferrucci, F., 17 Dec 2018, (Accepted/In press) 41st International Conference on Software Engineering, Software Engineering in Society. ACM/IEEE, 10 p.

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

Open Access
File
gender
community
software development
organizational structure
software

Going farther together: the impact of social capital on sustained participation in open source

Qiu, H. S., Nolte, A., Brown, A., Serebrenik, A. & Vasilescu, B., 12 Dec 2018, (Accepted/In press) International Conference on Software Engineering. IEEE Computer Society, 12 p.

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

Open Access
File
social capital
participation
career advancement
empirical method
disengagement
2 Citations (Scopus)

Hierarchical performance analysis for process mining

Leemans, M., van der Aalst, W. M. P. & van den Brand, M. G. J., 26 May 2018, Proceedings of the 2018 International Conference on Software and System Process, ICSSP 2018. Association for Computing Machinery, Inc, p. 96-105 10 p.

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

Semantics
Scalability
4 Citations (Scopus)

How do community smells influence code smells?

Palomba, F., Tamburri, D. A., Serebrenik, A., Zaidman, A., Fontana, F. A. & Oliveto, R., 27 May 2018, Proceedings - International Conference on Software Engineering. IEEE Computer Society, p. 240-241 2 p.

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

Surveying
Defects
1 Citation (Scopus)

How swift developers handle errors

Cassee, N., Pinto, G., Castor, F. & Serebrenik, A., 28 May 2018, Proceedings - 2018 ACM/IEEE 15th International Conference on Mining Software Repositories, MSR 2018. Piscataway: IEEE Computer Society, p. 292-302 11 p.

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

Open Access
Computer programming languages
Maintainability
Software engineering
Chemical analysis
2 Citations (Scopus)

Identifying bottlenecks in manufacturing systems using stochastic criticality analysis

Nogueira Bastos, J. P., van der Sanden, L. J., Donk, O., Voeten, J. P. M., Stuijk, S., Schiffelers, R. R. H. & Corporaal, H., 27 Feb 2018, FDL 2017 - Proceedings of the 2017 Forum on Specification and Design Languages. Piscataway: IEEE Computer Society, Vol. 2017-September, p. 1-8 8 p. 8303901

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

Critical path analysis
Systems analysis
Specifications
Flexible manufacturing systems
Error analysis
1 Citation (Scopus)

Interface protocol inference to aid understanding legacy software components

Aslam, K., Luo, Y., Schiffelers, R. R. H. & van den Brand, M. G. J., 14 Oct 2018, Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018). Hebig, R. & Berger, T. (eds.). 6 p. (CEUR Workshop Proceedings)

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

Open Access
File
Engineers
Industry
Problem-Based Learning

Is stack overflow in Portuguese attractive for Brazilian users?

Botto-Tobar, M., Torres, W., Lozano, A., van den Brand, M. G. J., Vasilescu, B. & Serebrenik, A., 27 May 2018, Proceedings - 2018 ACM/IEEE 13th International Conference on Global Software Engineering, ICGSE 2018. New York: Association for Computing Machinery, Inc, p. 16-24 9 p.

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

Open Access
Availability
1 Citation (Scopus)

Loop transformations leveraging hardware prefetching

Sioutas, S., Stuijk, S., Corporaal, H., Basten, T. & Somers, L., 24 Feb 2018, CGO 2018 - Proceedings of the 2018 International Symposium on Code Generation and Optimization. Association for Computing Machinery, Inc, p. 254-264 11 p.

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

Loop Transformations
Prefetching
Locality
Compiler
Computer hardware
1 Citation (Scopus)

Model analytics for feature models: case studies for S.P.L.O.T. Repository

Babur, Ö., Cleophas, L. & van den Brand, M., 1 Jan 2018, Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS: Copenhagen, Denmark, October, 14, 2018. . Hebig, R. & Berger, T. (eds.). CEUR-WS.org, p. 787-792 6 p. (CEUR Workshop Proceedings; no. 2245)

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

Open Access
File
Software engineering

Model-based software engineering: a multiple-case study on challenges and development efforts

Jolak, R., Ho-Quang, T., Michel, R. V. & Schiffelers, R. R. H., 14 Oct 2018, Proceedings - 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018. New York: Association for Computing Machinery, Inc, p. 213-223 11 p.

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

Software engineering
Communication
1 Citation (Scopus)

Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset

Bartholomeus, M., Luttik, B. & Willemse, T., 1 Jan 2018, Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings. Howar, F. & Barnat, J. (eds.). Berlin: Springer, p. 98-114 17 p. (Lecture Notes in Computer Science; vol. 11119)

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

Specification
Specifications
Process Algebra
Global system for mobile communications
Railway