Content available in repository
Content available in repository
- 100 - 150 out of 1,209 results
Search results
-
2023
A GPU Tree Database for Many-Core Explicit State Space Exploration
Wijs, A. & Osama, M., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). p. 684-703 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13993 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access3 Citations (Scopus) -
A Graph Database Design for Multi-Domain Model Management
Ibrahim, M., 25 Jan 2023, Eindhoven: Technische Universiteit Eindhoven. 58 p.Research output: Thesis › EngD Thesis
Open AccessFile229 Downloads (Pure) -
An Empirical Analysis of Newcomers’ Contributions to Software-Engineering Conferences
Alchokr, R., Krüger, J., Shakeel, Y., Saake, G. & Leich, T., 30 Nov 2023, Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration: 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4–7, 2023, Proceedings. Goh, D. H., Chen, S.-J. & Tuarob, S. (eds.). Springer, Vol. 1. p. 231-247 17 p. (Lecture Notes in Computer Science; vol. 14457).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile44 Downloads (Pure) -
An Exploratory Study on the Evidence of Hackathons' Role in Solving OSS Newcomers' Challenges
Mahmoud, A. S. I., Nolte, A. & Pfahl, D., 2023, Proceedings of the 18th International Conference on Software Technologies (ICSOFT) 2023, Rome, Italy, July 10-12, 2023. p. 420-427 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
An interview study about the use of logs in embedded software engineering
Yang, N. (Corresponding author), Cuijpers, P., Hendriks, D., Schiffelers, R., Lukkien, J. & Serebrenik, A., 11 Feb 2023, In: Empirical Software Engineering. 28, 2, 56 p., 43.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile4 Citations (Scopus)219 Downloads (Pure) -
A personal retrospective on language workbenches
van den Brand, M. (Corresponding author), Jun 2023, In: Software and Systems Modeling. 22, 3, p. 847-850 4 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile1 Citation (Scopus)41 Downloads (Pure) -
A Product-Line-Engineering Framework for Secure Enterprise-Resource-Planning Systems
May, R., Biermann, C., Kenner, A., Krüger, J. & Leich, T., 2023.Research output: Contribution to conference › Paper › Academic
Open AccessFile48 Downloads (Pure) -
Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots
Ghorbani, A., Cassee, N. W., Robinson, D., Alami, A., Ernst, N., Serebrenik, A. & Wasowski, A., 17 May 2023, Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering, ICSE 2023. Melbourne, Australia: IEEE Computer Society, p. 1405-1417 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile8 Citations (Scopus)115 Downloads (Pure) -
A Vision on Intentions in Software Engineering
Krüger, J., Li, Y., Zhu, C., Chechik, M., Berger, T. & Rubin, J., 30 Nov 2023, ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Chandra, S., Blincoe, K. & Tonella, P. (eds.). Association for Computing Machinery, Inc, p. 2117-2121 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile4 Citations (Scopus)28 Downloads (Pure) -
Boekbespreking - Hans Zantema: Spelen met oneindigheid: verrasende figuren en patronen
Verhoeff, T., 2 Jun 2023, In: Nieuw Archief voor Wiskunde. 5/24, 2, p. 124-125 2 p.Research output: Contribution to journal › Book review › Academic
Open Access -
Break the Code? Breaking Changes and Their Impact on Software Evolution
Ochoa Venegas, L. M., 29 Mar 2023, Eindhoven: Eindhoven University of Technology. 248 p.Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)
Open AccessFile999 Downloads (Pure) -
CarEs: An Emotional Model of a Car With the Stress Factor
Manrique Negrin, D. A. (Corresponding author), Barosan, I. & Chouhan, S. G. R., Dec 2023, In: Journal of Software Engineering for Autonomous Systems. 1, 1-2, p. 3-16 14 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile34 Downloads (Pure) -
Challenges in Software Architecting
Chaudron, M. R. V., 24 Mar 2023, Eindhoven: Technische Universiteit Eindhoven. 28 p.Research output: Book/Report › Inaugural/farewell speech › Popular
Open AccessFile225 Downloads (Pure) -
Co-Evolving Meta-Models and View Types in View-Based Development.
Muctadir, H. M., König, L., Weber, T., Amrani, M. & Cleophas, L., 22 Dec 2023, 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023. Institute of Electrical and Electronics Engineers, p. 954-963 10 p. 10350552Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile -
Competencies for Code Review
Wurzel Gonçalves, P., Çalikli, G., Serebrenik, A. & Bacchelli, A., 16 Apr 2023, In: Proceedings of the ACM on Human-Computer Interaction. 7, CSCW1, p. 1-33 33 p., 38.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile4 Citations (Scopus)40 Downloads (Pure) -
Componentization of Product Knowledge of Production Print Systems: Case Study: Fixation
Akhter, S., 11 Oct 2023, Eindhoven: Technische Universiteit Eindhoven. 64 p.Research output: Thesis › EngD Thesis
Open AccessFile59 Downloads (Pure) -
Conceptual Design of a DC Electric Vehicle Charging System and Implementation of its Energy Meter
Galli, F., 3 Oct 2023, Eindhoven: Technische Universiteit Eindhoven. 131 p.Research output: Thesis › EngD Thesis
-
Concise Guide to Software Verification: From Model Checking to Annotation Checking
Huisman, M. & Wijs, A., 2023, Springer. 234 p. (Texts in Computer Science)Research output: Book/Report › Book › Academic
-
Current Trends in Digital Twin Development, Maintenance, and Operation: An Interview Study
Muctadir, H. M., Manrique Negrin, D. A., Gunasekaran, R., Cleophas, L., Brand, M. V. D. & Haverkort, B. R., 16 Jun 2023, arXiv.org.Research output: Working paper › Preprint › Academic
Open AccessFile122 Downloads (Pure) -
Design and evaluation of a user interface concept for prescriptive process monitoring
Kubrak, K., Milani, F., Nolte, A. & Dumas, M., 2023, International Conference on Advanced Information Systems Engineering. Indulska, M., Reinhartz-Berger, I., Cetina, C. & Pastor, O. (eds.). p. 347-363 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13901 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access2 Citations (Scopus) -
Designing a Reference Architecture for the C-ITS Services
Karkhanis, P. (Corresponding author), Dajsuren, Y. & van den Brand, M., 8 Sept 2023, Software Architecture: 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18–22, 2023, Proceedings. Tekinerdogan, B., Trubiani, C., Tibermacine, C., Scandurra, P. & Cuesta, C. E. (eds.). Cham: Springer, p. 117-132 16 p. (Lecture Notes in Computer Science (LNCS); vol. 14212).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile -
Design thinking and creativity of colocated versus globally distributed software developers
Jolak, R. (Corresponding author), Wortmann, A., Liebel, G., Umuhoza, E. & Chaudron, M. R. V., May 2023, In: Journal of Software : Evolution and Process. 35, 5, 25 p., e2377.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile4 Citations (Scopus)75 Downloads (Pure) -
Diversity and Inclusion in Software Engineering
Serebrenik, A., 22 Feb 2023.Research output: Contribution to conference › Other › Academic
-
Do Attention and Memory Explain the Performance of Software Developers?
Piantadosi, V. (Corresponding author), Scalabrino, S., Serebrenik, A., Novielli, N. & Oliveto, R., Sept 2023, In: Empirical Software Engineering. 28, 5, 112.Research output: Contribution to journal › Article › Academic › peer-review
Open Access1 Citation (Scopus) -
Domain-Driven Design in Software Development: A Systematic Literature Review on Implementation, Challenges, and Effectiveness
Özkan, O., Babur, Ö. & Brand, M. V. D., 3 Oct 2023.Research output: Working paper › Preprint › Academic
File185 Downloads (Pure) -
Domain-Specific Languages for Efficient Composition of Paths in 3D
Bakker, A. & Verhoeff, T., 17 Jul 2023, Proceedings of Bridges 2023: Mathematics, Art, Music, Architecture, Culture. Holdener, J., Torrence, E., Fong, C. & Seaton, K. (eds.). Tessellations Publishing, p. 259-266 8 p. (Proceedings of Bridges).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access -
DSDGen: Extracting Documentation to Comprehend Fork Merges
Krüger, J., Mikulinski, A., Schulze, S., Leich, T. & Saake, G., 28 Aug 2023, SPLC '23: Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B. Arcaini, P., ter Beek, M. H., Perrouin, G., Reinhartz-Berger, I., Machado, I., Vergilio, S. R., Rabiser, R., Yue, T., Devroey, X., Pinto, M. & Washizaki, H. (eds.). Association for Computing Machinery, Inc, p. 47-56 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile3 Citations (Scopus)26 Downloads (Pure) -
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit
Fokkink, W. J., Goorden, M. A., Hendriks, D., Beek, D. A. V., Hofkamp, A. T., Reijnen, F. F. H., Etman, L. F. P., Moormann, L., Mortel-Fronczak, J. M. V. D., Reniers, M. A., Rooda, J. E., Sanden, L. J. V. D., Schiffelers, R. R. H., Thuijsman, S. B., Verbakel, J. J. & Vogel, J. A., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer, p. 44-52 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13994 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile6 Citations (Scopus)145 Downloads (Pure) -
Een wiskundige doet de afwas 10: Vaatwasser vullen
Verhoeff, I. & Verhoeff, T., 9 Mar 2023, In: Pythagoras : Wiskundetijdschrift voor Jongeren. 62, 4, p. 6-7 2 p.Research output: Contribution to journal › Article › Popular
Open Access -
Een wiskundige doet de afwas 11: Vaatwasser verder vullen
Verhoeff, T. & Verhoeff, I., 7 May 2023, In: Pythagoras : Wiskundetijdschrift voor Jongeren. 62, 5, p. 8-9 2 p.Research output: Contribution to journal › Article › Popular
Open Access -
Een wiskundige doet de afwas 12: Vakantie-vaatwasser vierkant
Verhoeff, I. & Verhoeff, T., 5 Jul 2023, In: Pythagoras : Wiskundetijdschrift voor Jongeren. 62, 6, p. 6-7 2 p.Research output: Contribution to journal › Article › Popular
Open Access -
Een wiskundige doet de afwas 13: Het SOS spel
Verhoeff, T. & Verhoeff, I., 3 Oct 2023, In: Pythagoras : Wiskundetijdschrift voor Jongeren. 63, 1, p. 6-7 2 p.Research output: Contribution to journal › Article › Popular
Open Access -
Een wiskundige doet de afwas 14: Het SOS-spel: Analyse
Verhoeff, T. & Verhoeff, I., 1 Nov 2023, In: Pythagoras : Wiskundetijdschrift voor Jongeren. 63, 2, p. 8-10 3 p.Research output: Contribution to journal › Article › Popular
Open Access -
Een wiskundige doet de afwas 9: Veters vast
Verhoeff, T. & Verhoeff, I., 10 Jan 2023, In: Pythagoras : Wiskundetijdschrift voor Jongeren. 62, 3, p. 6-7 2 p.Research output: Contribution to journal › Article › Popular
Open Access -
Electrics/Electronics Platforms in the Automotive Industry: Challenges and Directions for Variant-Rich Systems Engineering.
Holsten, L., Frank, C., Krüger, J. & Leich, T., 25 Jan 2023, Proceedings - VaMoS 2023: 17th International Working Conference on Variability Modelling of Software-Intensive Systems. Cohen, M., Thum, T. & Mauro, J. (eds.). Association for Computing Machinery, Inc, p. 50-59 10 p. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile7 Citations (Scopus)38 Downloads (Pure) -
Emotion Analysis in Software Ecosystems
Novielli, N. & Serebrenik, A., 10 Oct 2023, Software Ecosystems: Tooling and Analytics. Mens, T., De Roover, C. & Cleve, A. (eds.). Springer Nature, p. 105-127 23 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
Open Access1 Citation (Scopus) -
Event Log Analysis on Realistic Queue Qualification Tests: Developing a Graph Theory-based Diagnostic Tool
Sattari, F., 9 Oct 2023, Eindhoven: Technische Universiteit Eindhoven. 53 p.Research output: Thesis › EngD Thesis
Open AccessFile68 Downloads (Pure) -
Evolutionary Feature Dependencies: Analyzing Feature Co-Changes in C Systems
Schulze, S., Engelke, P. & Krüger, J., 20 Dec 2023, 2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation, SCAM 2023. Moonen, L., Newman, C. & Gorla, A. (eds.). Institute of Electrical and Electronics Engineers, p. 84-95 12 p. 10356699Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile1 Citation (Scopus)37 Downloads (Pure) -
Focusing on Developers in the Era of AI and ML
Abrahão, S., Staron, M., Serebrenik, A., Penzenstadler, B., Prikladnicki, R. & Muccini, H., 5 Dec 2023, In: IEEE Software. 40, 6, p. 126-129 4 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile10 Downloads (Pure) -
Forecasting Publication’s Success Using Machine Learning
Alchokr, R., Haider, R., Shakeel, Y., Leich, T., Saake, G. & Krüger, J., 2023, International Workshop on Bibliometric-Enhanced Information (BIR). CEUR-WS.org, p. 1-13Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile133 Downloads (Pure) -
From the War in Ukraine to Cannabis Use: Exploring a Diverse Set of Papers
Penzenstadler, B. (Corresponding author), Serebrenik, A. (Corresponding author), Staron, M. (Corresponding author) & Hochstein, L. (Corresponding author), 1 Mar 2023, In: IEEE Software. 40, 2, p. 99-102 4 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile40 Downloads (Pure) -
GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data.
Wijs, A. & Osama, M., 2023, Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). p. 188-197 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13872 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
3 Citations (Scopus) -
High Accuracy and High-Speed Crop Root Position Detection for Green-on-Green Mechanical Weeding
Teurlinx, B., Ruigrok, T., Tamminga, F., IJsselmuiden, J., Bennin, K. & Babur, Ö., 2023, LAND.TECHNIK AgEng 2023: The Forum for Agricultural Engineering Innovations. VDI-Verlag, p. 69-78 (VDI-Berichte; vol. 2427).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
-
How do Microservices Evolve? An Empirical Analysis of Changes in Open-Source Microservice Repositories
Assunção, W. K. G. (Corresponding author), Krüger, J., Mosser, S. & Selaoui, S., Oct 2023, In: Journal of Systems and Software. 204, 14 p., 111788.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile11 Citations (Scopus)174 Downloads (Pure) -
How to Retire and Replace a Software Product Line
Cortiñas, A., Krüger, J., Lamas, V., Pedreira, O. & Luaces, M. R., 28 Aug 2023, 27th ACM International Systems and Software Product Line Conference, SPLC 2023 - Proceedings. Arcaini, P., ter Beek, M. H., Perrouin, G., Reinhartz-Berger, I., Luaces, M. R., Schwanninger, C., Ali, S., Varshosaz, M., Gargantini, A., Gnesi, S., Lochau, M., Semini, L. & Washizaki, H. (eds.). Association for Computing Machinery, Inc, p. 275-286 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile40 Downloads (Pure) -
Innermost many-sorted term rewriting on GPUs
van Eerd, J., Groote, J. F., Hijma, P., Martens, J., Osama, M. & Wijs, A. (Corresponding author), Jan 2023, In: Science of Computer Programming. 225, 19 p., 102910.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile3 Citations (Scopus)76 Downloads (Pure) -
Investigating the Relation between Authors’ Academic Age and their Citations
Alchokr, R. (Corresponding author), Joshi, S. V., Saake, G., Leich, T. & Krüger, J., 22 Sept 2023, Linking Theory and Practice of Digital Libraries: 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26–29, 2023, Proceedings. Alonso, O., Cousijn, H., Silvello, G., Marrero, M., Teixeira Lopes, C. & Marchesin, S. (eds.). Cham: Springer, p. 106-113 8 p. (Lecture Notes in Computer Science (LNCS); vol. 14241).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile21 Downloads (Pure) -
Investigating the Resolution of Vulnerable Dependencies with Dependabot Security Updates
Mohayeji, H., Agaronian, A., Constantinou, E., Zannone, N. & Serebrenik, A., 12 Jul 2023, 2023 IEEE/ACM 20th International Conference on Mining Software Repositories, MSR 2023. Institute of Electrical and Electronics Engineers, p. 234-246 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile2 Citations (Scopus) -
Kairos: A Tool for Prescriptive Monitoring of Business Processes
Kubrak, K., Botchorishvili, L., Milani, F., Dumas, M., Nolte, A., Shoush, M. & Qu, Z., 2023, Doctoral Consortium and Demo Track 2023 at the International Conference on Process Mining 2023.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
LaMa: a thematic labelling web application
Bogachenkova, V., Costa Martins, E., Jansen, J., Olteniceanu, A.-M., Henkemans, B., Lavin, C., Nguyen, L., Bradley, T., Fürst, V., Muctadir, H. M. (Corresponding author), van den Brand, M. G. J., Cleophas, L. G. W. A. & Serebrenik, A., 8 May 2023, In: Journal of Open Source Software. 8, 85, 3 p., 5135.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile144 Downloads (Pure)