Model Driven Software Engineering W&I

Onderzoeksoutput

Filter
Conferentiebijdrage
2020

Action-based recommendation in Pull-request development

Azeem, M. I., Panichella, S., Di Sorbo, A., Serebrenik, A. & Wang, Q., 28 feb 2020, (Geaccepteerd/In druk) Proceedings of ICSSP 2020: International Conference on Software And System Processes. blz. 115-124

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access

Active Learning of Decomposable Systems

al Duhaiby, O. & Groote, J. F., 13 jul 2020, 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE). Seoul, Republic of Korea: ACM/IEEE, blz. 1-10 10 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
12 Downloads (Pure)

Analyzing Comments in Ticket Resolution to Capture Underlying Process Interactions

Gupta, M., Agarwal, P., Tater, T., Dechu, S. & Serebrenik, A., 7 jul 2020, (Geaccepteerd/In druk) 4th International Workshop in Artificial Intelligence for Business Process Management. Springer

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

An authorization framework for cooperative intelligent transport systems

Ravidas, S., Karkhanis, P., Dajsuren, Y. & Zannone, N., 1 jan 2020, Emerging Technologies for Authorization and Authentication - 2nd International Workshop, ETAA 2019, Proceedings. Saracino, A. & Mori, P. (redactie). Cham: Springer, blz. 16-34 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11967 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Downloads (Pure)

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

Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 1 jan 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (redactie). Springer, blz. 3-20 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
1 Citaat (Scopus)

Application of a Heuristic-Diffuse Model to Support Decision-Making in Assessing the Post-seismic Structural Damage of a Building

Cevallos-Torres, L., Botto-Tobar, M., León-Granizo, O. & Cortez-Lara, A., 1 jan 2020, Applied Technologies - 1st International Conference, ICAT 2019, Proceedings. Botto-Tobar, M., Zambrano Vizuete, M., Torres-Carrión, P., Montes León, S., Pizarro Vásquez, G. & Durakovic, B. (redactie). Springer, blz. 411-423 13 blz. (Communications in Computer and Information Science; vol. 1194 CCIS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

A reflection on "an exploratory study on exception handling bugs in java programs"

Ebert, F., Castor, F. & Serebrenik, A., 6 feb 2020, SANER 2020 - Proceedings of the 2020 IEEE 27th International Conference on Software Analysis, Evolution, and Reengineering. Kontogiannis, K., Khomh, F., Chatzigeorgiou, A., Fokaefs, M-E. & Zhou, M. (redactie). Piscataway: IEEE Computer Society, blz. 552-556 5 blz. 9054791

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access

Automatically learning patterns for self-admitted technical debt removal

Zampetti, F., Serebrenik, A. & Di Penta, M., 6 feb 2020, 27th IEEE International Conference on Software Analysis, Evolution and Reengineering. Kontogiannis, K., Khomh, F., Chatzigeorgiou, A., Fokaefs, M-E. & Zhou, M. (redactie). Institute of Electrical and Electronics Engineers, blz. 355-366 12 blz. 9054868

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
60 Downloads (Pure)

Automatic Support for Multi-Domain Model Management

Torres, W., van den Brand, M. G. J. & Serebrenik, A., 24 jul 2020, (Geaccepteerd/In druk) IEEE International Conference on Software Maintenance and Evolution: Doctoral Symposium.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access

Automation of the municipal inspection process in Ecuador applying mobile-D for android

Guevara-Vega, C., Hernández-Rojas, J., Botto-Tobar, M., García-Santillán, I., Basantes Andrade, A. & Quiña-Mera, A., 1 jan 2020, Advances in Emerging Trends and Technologies Volume 1. Botto-Tobar, M., León-Acurio, J., Díaz Cadena, A. & Montiel Díaz, P. (redactie). Cham: Springer, blz. 155-166 12 blz. (Advances in Intelligent Systems and Computing; vol. 1066).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Effects of Adopting Code Review Bots on Pull Requests to OSS Projects

Wessel, M., Serebrenik, A., Scaliante Wiese, I., Steinmacher, I. & Gerosa, M. A., 4 aug 2020, (Geaccepteerd/In druk) IEEE International Conference on Software Maintenance and Evolution. IEEE Computer Society

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Four Mathematical Designs for EGMO 2020, the European Girls' Mathematical Olympiad in the Netherlands

Verhoeff, T., jul 2020, Proceedings of Bridges 2020: Mathematics, Art, Music, Architecture, Education, Culture. Phoenix, Arizona, USA, blz. 289-296 8 blz. (Proceedings of Bridges).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access

Modelling and Analysing Software in mCRL2

Groote, J. F., Keiren, J. J. A., Luttik, B., de Vink, E. P. & Willemse, T. A. C., 1 jan 2020, Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings. Arbab, F. & Jongmans, S-S. (redactie). Springer, blz. 25-48 24 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12018 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

On the Adoption of Kotlin on Android Development: A Triangulation Study

Oliveira, V., Teixeira, L. & Ebert, F., feb 2020, International Conference on Software Analysis, Evolution and Reengineering (SANER). Kontogiannis, K., Khomh, F., Chatzigeorgiou, A., Fokaefs, M-E. & Zhou, M. (redactie). blz. 206-216 11 blz. 9054859

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Painting flowers: reasons for using single-state state machines in model-driven engineering

Yang, N., Cuijpers, P. J. L., Schiffelers, R. R. H., Lukkien, J. J. & Serebrenik, A., 2 mrt 2020, (Geaccepteerd/In druk) Proceedings of the 17th International Conference on Mining Software Repositories. blz. 362-373

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access

Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems

Neele, T., Willemse, T. A. C. & Wesselink, W., 17 apr 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (redactie). Springer, blz. 307-324 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access

Predictive analytics to prevent voice over ip international revenue sharing fraud

Meijaard, Y. J., Cappers, B. C. M., Mengerink, J. G. M. & Zannone, N., 2020, Data and Applications Security and Privacy - 34th Annual IFIP WG 11.3 Conference, DBSec 2020, Proceedings. Singhal, A. & Vaidya, J. (redactie). Springer, blz. 241-260 20 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12122 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access

Refactoring community smells in the wild: the practitioner’s field manual

Catolino, G., Palomba, F., Tamburri, D., Serebrenik, A. & Ferrucci, F., 16 jan 2020, (Geaccepteerd/In druk) Proceedings 2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Society ICSE-SEIS 2020. blz. 25-34

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access

Semi-automatic Architectural Suggestions for the Functional Safety of Cooperative Driving Systems

Kochanthara, S., Rood, N., Cleophas, L., Dajsuren, Y. & van den Brand, M., mrt 2020, Proceedings - 2020 IEEE International Conference on Software Architecture Companion, ICSA-C 2020. Institute of Electrical and Electronics Engineers, blz. 55-58 4 blz. 9095684

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Suitability of Optical Character Recognition (OCR) for Multi-domain Model Management

Torres, W., van den Brand, M. G. J. & Serebrenik, A., 29 mei 2020, (Geaccepteerd/In druk) International Conference on Systems Modelling and Management. Springer, (Communications in Computer and Information Science).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

Neele, T., Valmari, A. & Willemse, T. A. C., 17 apr 2020, Foundations of Software Science and Computation Structures- 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Goubault-Larrecq, J. & König, B. (redactie). Springer, blz. 482-501 20 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12077 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
1 Citaat (Scopus)

The silent helper: the impact of continuous integration on code reviews

Cassee, N., Vasilescu, B. & Serebrenik, A., 6 feb 2020, SANER 2020 - Proceedings of the 2020 IEEE 27th International Conference on Software Analysis, Evolution, and Reengineering. Kontogiannis, K., Khomh, F., Chatzigeorgiou, A., Fokaefs, M-E. & Zhou, M. (redactie). Institute of Electrical and Electronics Engineers, blz. 423-434 12 blz. 9054818. (SANER 2020 - Proceedings of the 2020 IEEE 27th International Conference on Software Analysis, Evolution, and Reengineering).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
98 Downloads (Pure)

Up-to techniques for branching bisimilarity

Erkens, R., Rot, J. & Luttik, B., 17 jan 2020, SOFSEM 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Proceedings. Chatzigeorgiou, A., Dondi, R., Herodotou, H., Kapoutsis, C., Manolopoulos, Y., Papadopoulos, G. A. & Sikora, F. (redactie). Cham: Springer, blz. 285-297 13 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12011 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)

Who (Self) Admits Technical Debt?

Fucci, G., Zampetti, F., Serebrenik, A. & Di Penta, M., 31 jul 2020, (Geaccepteerd/In druk) International Conference on Software Maintenance and Evolution. IEEE Computer Society

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Work Practices and Perceptions from Women Core Developers in OSS Communities

Dias Canedo, E., Bonifácio de Almeida, R., Okimoto, M. V., Serebrenik, A., Pinto, G. & Monteiro, E., 7 jul 2020, (Geaccepteerd/In druk) ACM/IEEE International Symposium on Empirical Software Engineering and Measurement.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
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. (redactie). Tehran: Institute for Studies in Theoretical Physics and Mathematics (IPM), School of Mathematics, blz. 51-65 14 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)

Active learning of industrial software with data

Groote, J. F., Sanchez, L. & Schiffelers, R., 2019, Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Revised Selected Papers. Hojjat, H. & Massink, M. (redactie). Cham: Springer, blz. 95-110 16 blz. (Lecture notes in computer science; vol. 11761).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

A longitudinal analysis of bug handling across eclipse releases

Abou Khalil, Z., Constantinou, E., Mens, T., Duchien, L. & Quinton, C., sep 2019, A Longitudinal Analysis of Bug Handling Across Eclipse Releases. Institute of Electrical and Electronics Engineers, 12 blz. 8919074

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

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. (redactie). Cham: Springer, blz. 644-658 15 blz. (Communications in Computer and Information Science; vol. 895).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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. (redactie). Cham: Springer, blz. 410-419 10 blz. (Communications in Computer and Information Science; vol. 895).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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

Brants, W. M. G., Sharif, B. & Serebrenik, A., 13 mei 2019, The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019. New York: Association for Computing Machinery, Inc, blz. 419-423 5 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access

Balanced scorecard as evaluation tool with sterilization processes by using fuzzy logic

Cevallos-Torres, L. J., Botto-Tobar, M., Nuñez-Gaibor, J., Cardenas-Giler, D., Wilches-Medina, A. & León-Acurio, J., 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. (redactie). Cham: Springer, blz. 630-643 14 blz. (Communications in Computer and Information Science; vol. 895).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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

Ford, D., Behroozi, M., Serebrenik, A. & Parnin, C., 28 mei 2019, Proceedings 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering in Society ICSE-SEIS 2019. Piscataway: IEEE Computer Society, blz. 51-60 10 blz. 8797633

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
2 Citaten (Scopus)

Computational effort of BDD-based supervisor synthesis of extended finite automata

Thuijsman, S., Hendriks, D., Theunissen, R. J. M., Reniers, M. & Schiffelers, R., aug 2019, 2019 IEEE 15th International Conference on Automation Science and Engineering, CASE 2019. Piscataway: Institute of Electrical and Electronics Engineers, blz. 486-493 8 blz. 8843327

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
36 Downloads (Pure)

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

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)

Correct and efficient antichain algorithms for refinement checking

Laveaux, M., Groote, J. F. & Willemse, T., 29 mei 2019, Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings. Yoshida, N. & Pérez, J. A. (redactie). Cham: Springer, blz. 185-203 19 blz. (Lecture Notes in Computer Science; vol. 11535).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Distribution of behaviour into parallel communicating subsystems

Alduhaiby, O. & Groote, J. F., 26 aug 2019, Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics. blz. 54-68 15 blz. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 300).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
18 Downloads (Pure)

Does UML modeling associate with lower defect proneness? a preliminary empirical investigation

Raghuraman, A., Ho-Quang, T., Chaudron, M. R. V., Serebrenik, A. & Vasilescu, B., 1 mei 2019, Proceedings of the 16th International Conference on Mining Software Repositories (MSR 2019). Piscataway: IEEE Computer Society, blz. 101-104 4 blz. 8816762

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
33 Downloads (Pure)

Formal modelling and verification of an interlocking using mCRL2

Bouwman, M., Janssen, B. & Luttik, B., 1 jan 2019, Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Proceedings. Larsen, K. G. & Willemse, T. (redactie). Cham: Springer, blz. 22-39 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11687 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

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

Catolino, G., Palomba, F., Tamburri, D. A., Serebrenik, A. & Ferrucci, F., 28 mei 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering in Society, ICSE-SEIS 2019. Piscataway: ACM/IEEE, blz. 11-20 10 blz. 8797636

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
6 Citaten (Scopus)
87 Downloads (Pure)

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., 28 mei 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering, ICSE 2019. Piscataway: IEEE Computer Society, blz. 688-699 12 blz. 8812044

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
12 Citaten (Scopus)
62 Downloads (Pure)

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

Ford, D., Milewicz, R. & Serebrenik, A., 27 mei 2019, Proceedings - 2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering, GE 2019. Piscataway: Institute of Electrical and Electronics Engineers, blz. 9-12 4 blz. 8819552

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
2 Citaten (Scopus)
45 Downloads (Pure)

How stable are Eclipse application framework internal interfaces?

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
1 Citaat (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 mrt 2019, 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019). Shihab, E., Lo, D. & Wang, X. (redactie). Piscataway: Institute of Electrical and Electronics Engineers, blz. 253-263 11 blz. 8668007

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)
1 Downloads (Pure)

Lehmer's dance: a lecture performance

Verhoeff, T. & van Berkel, R., jul 2019, Proceedings of Bridges 2019: Mathematics, Art, Music, Architecture, Education, Culture. Goldstine, S., McKenna, D. & Fenyvesi, K. (redactie). Phoenix: Tessellations Publishing, blz. 375-378 4 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
7 Downloads (Pure)

MoCoP: towards a model clone portal

Babur, Ö. & Stephan, M., 26 mei 2019, Proceedings - 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering, MiSE 2019. Piscataway: IEEE Press, blz. 78-81 4 blz. 8877032

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
30 Downloads (Pure)

Model-based simulation and threat analysis of in-vehicle networks

Lekidis, A. & Barosan, I., 1 mei 2019, 2019 15th IEEE International Workshop on Factory Communication Systems, WFCS 2019. Piscataway: Institute of Electrical and Electronics Engineers, 8 blz. 8757968

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Downloads (Pure)

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

Silva Torres, W., van den Brand, M. G. J. & Serebrenik, A., 16 sep 2019, SysCon 2019 - 13th Annual IEEE International Systems Conference, Proceedings. Piscataway: Institute of Electrical and Electronics Engineers, 8 blz. 8836869

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)
1 Downloads (Pure)

Modular indirect push-button formal verification of multi-threaded code generators

Wijs, A. & Wiłkowski, M., 2019, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Proceedings. Ölveczky, P. C. & Salaün, G. (redactie). Cham: Springer, blz. 410-429 20 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11724 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)
2 Downloads (Pure)

On the abandonment and survival of open source projects: an empirical investigation

Amaral Avelino, G., Constantinou, E., Valente, M. T. & Serebrenik, A., 20 sep 2019, Proceedings - 13th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2019. Piscataway: IEEE Computer Society, 12 blz. 8870181

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
2 Citaten (Scopus)
26 Downloads (Pure)