Research Output

Filter
Conference contribution
2020

Action-based recommendation in Pull-request development

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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, p. 1-10 10 p.

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

Open Access
File
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, (Accepted/In press) 4th International Workshop in Artificial Intelligence for Business Process Management. Springer

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Cham: Springer, p. 16-34 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11967 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Springer, p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

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

Open Access
1 Citation (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. (eds.). Springer, p. 411-423 13 p. (Communications in Computer and Information Science; vol. 1194 CCIS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Piscataway: IEEE Computer Society, p. 552-556 5 p. 9054791

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Institute of Electrical and Electronics Engineers, p. 355-366 12 p. 9054868

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

Open Access
File
60 Downloads (Pure)

Automatic Support for Multi-Domain Model Management

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Cham: Springer, p. 155-166 12 p. (Advances in Intelligent Systems and Computing; vol. 1066).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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, (Accepted/In press) IEEE International Conference on Software Maintenance and Evolution. IEEE Computer Society

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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, p. 289-296 8 p. (Proceedings of Bridges).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Springer, p. 25-48 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12018 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). p. 206-216 11 p. 9054859

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 Mar 2020, (Accepted/In press) Proceedings of the 17th International Conference on Mining Software Repositories. p. 362-373

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Springer, p. 307-324 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Springer, p. 241-260 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12122 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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, (Accepted/In press) Proceedings 2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Society ICSE-SEIS 2020. p. 25-34

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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., Mar 2020, Proceedings - 2020 IEEE International Conference on Software Architecture Companion, ICSA-C 2020. Institute of Electrical and Electronics Engineers, p. 55-58 4 p. 9095684

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

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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Springer, p. 482-501 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12077 LNCS).

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

Open Access
1 Citation (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. (eds.). Institute of Electrical and Electronics Engineers, p. 423-434 12 p. 9054818. (SANER 2020 - Proceedings of the 2020 IEEE 27th International Conference on Software Analysis, Evolution, and Reengineering).

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

Open Access
File
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. (eds.). Cham: Springer, p. 285-297 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12011 LNCS).

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

1 Downloads (Pure)

Who (Self) Admits Technical Debt?

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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, (Accepted/In press) ACM/IEEE International Symposium on Empirical Software Engineering and Measurement.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (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

4 Citations (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. (eds.). Cham: Springer, p. 95-110 16 p. (Lecture notes in computer science; vol. 11761).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 p. 8919074

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

2 Citations (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. (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

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

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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Cham: Springer, p. 630-643 14 p. (Communications in Computer and Information Science; vol. 895).

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

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

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

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

Open Access
2 Citations (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, p. 486-493 8 p. 8843327

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

Open Access
File
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 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, p. 49-60 12 p. 8668024

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

9 Citations (Scopus)

Correct and efficient antichain algorithms for refinement checking

Laveaux, M., Groote, J. F. & Willemse, T., 29 May 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. (eds.). Cham: Springer, p. 185-203 19 p. (Lecture Notes in Computer Science; vol. 11535).

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

2 Citations (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. p. 54-68 15 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 300).

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

Open Access
File
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 May 2019, Proceedings of the 16th International Conference on Mining Software Repositories (MSR 2019). Piscataway: IEEE Computer Society, p. 101-104 4 p. 8816762

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

Open Access
File
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. (eds.). Cham: Springer, p. 22-39 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11687 LNCS).

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

1 Citation (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 May 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering in Society, ICSE-SEIS 2019. Piscataway: ACM/IEEE, p. 11-20 10 p. 8797636

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

Open Access
File
6 Citations (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 May 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering, ICSE 2019. Piscataway: IEEE Computer Society, p. 688-699 12 p. 8812044

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

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

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

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

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

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

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, p. 117-127 11 p. 8668018

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

Open Access
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, p. 253-263 11 p. 8668007

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

2 Citations (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. (eds.). Phoenix: Tessellations Publishing, p. 375-378 4 p.

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

Open Access
File
7 Downloads (Pure)

MoCoP: towards a model clone portal

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

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

Open Access
File
30 Downloads (Pure)

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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 p. 8836869

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

2 Citations (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. (eds.). Cham: Springer, p. 410-429 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11724 LNCS).

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

1 Citation (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 p. 8870181

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

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