Software Engineering and Technology

Onderzoeksoutput

Onderzoeksoutput per jaar 1973 2014 2018 2019 2020 2021 2022 2023 2024 2025

• 656 Conferentiebijdrage
• 279 Tijdschriftartikel
• 79 EngD Thesis
• 50 Rapport
• 215 Meer
  • 42 Hoofdstuk
  • 42 Paper
  • 35 Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
  • 22 Boekredactie
  • 14 Editorial
  • 9 Voorwoord/editorial
  • 7 Poster
  • 6 Congresartikel
  • 5 computerprogramma software
  • 5 Preprint
  • 3 Boek
  • 3 Inaugurale/afscheids rede
  • 3 Abstract
  • 3 Other
  • 3 Boek bespreking
  • 3 Artikel recenseren
  • 3 Overige bijdrage
  • 2 Dissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)
  • 1 Commentaar/Brief aan de redacteur
  • 1 Literatuurrecensie
  • 1 Web publicatie / site
  • 1 Dissertatie 2 (Onderzoek NIET TU/e / Promotie TU/e)
  • 1 Werkdocument

Onderzoeksoutput per jaar

Onderzoeksoutput per jaar

Zoekresultaten

• 2024

  Een wiskundige doet de afwas 20: Speelkaarten splitsen

  Verhoeff, I. & Verhoeff, T., 18 nov. 2024, In: Pythagoras : Wiskundetijdschrift voor Jongeren. 64, 2, blz. 12-14 3 blz.

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Populair

  Open Access

• Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview

  Wijs, A. (Corresponderende auteur), 13 jan. 2024, Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers. Cámara, J. & Jongmans, S.-S. (uitgave). Cham: Springer, blz. 206-227 22 blz. (Lecture Notes in Computer Science (LNCS); vol. 14485).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Formal Verification 100%
  • Software Engineering 100%
  • Communicating Object 100%
  • Driven Software 100%
  • Research Conduct 33%
  2 Downloads (Pure)

• Encoding Domain Knowledge in Log Analysis

  Zamfirov, F., Dams, D. R., Seraj, M. & Serebrenik, A., 19 dec. 2024, 40th IEEE International Conference on Software Maintenance and Evolution, ICSME 2024. Institute of Electrical and Electronics Engineers, blz. 224-236 13 blz. 10795056

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Log Analysis 100%
  • Domain Knowledge 100%
  • Software Developer 33%
  • Usability Questionnaire 33%
  • Case Study 33%

• Equity, Diversity, and Inclusion in Software Engineering: Best Practices and Insights

  Damian, D. (Redacteur), Blincoe, K. (Redacteur), Ford, D. (Redacteur), Serebrenik, A. (Redacteur) & Masood, Z. (Redacteur), 21 sep. 2024, Apress, Inc. 559 blz.

  Onderzoeksoutput: Boek/rapport › Boekredactie › Academic › peer review

  Open Access

  • Best Practice 100%
  • Software Engineering 100%
  • Software Development 33%
  • Software Developer 33%
  • Development Environment 33%

• Evaluating Open-source tools for heterogeneous model-based digital twin development: a micro-brewery case study

  Lee, A., Manrique Negrin, D. A. & Cleophas, L. G. W. A., 29 okt. 2024, Annual Modeling and Simulation Conference (ANNSIM). Ruiz-Martin, C., Oakes, B. & Cárdenas, C. (uitgave). Institute of Electrical and Electronics Engineers, 13 blz. 10732658

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Digital Twin 100%
  • Open Source Tool 100%
  • Case Study 100%
  • Support Integration 33%
  • Simulation Mode 16%
  2 Citaten (Scopus)

• Evolution patterns of software-architecture smells: An empirical study of intra- and inter-version smells

  Gnoyke, P. (Corresponding author), Schulze, S. & Krüger, J., nov. 2024, In: Journal of Systems and Software. 217, 28 blz., 112170.

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

  Open Access

  Bestand

  • Software Architecture 100%
  • Architecture Smell 100%
  • Software Design 14%
  • Software Systems 14%
  • Open Source System 14%
  25 Downloads (Pure)

• Experimentation in Software Ecosystems: a Systematic Literature Review

  Hegazy, S., Elsner, C., Bosch, J. & Olsson, H. H., 30 aug. 2024, 2024 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE/LEOS, blz. 88-96 9 blz. 10803456

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Secondary Research 100%
  • Design Experiment 100%

• Explainable predictive process monitoring: a user evaluation

  Rizzi, W., Comuzzi, M. (Corresponding author), Di Francescomarino, C., Ghidini, C., Lee, S., Maggi, F. M. & Nolte, A., dec. 2024, In: Process Science. 1, 1, 28 blz., 3.

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

  Open Access

  Bestand

  • Process Monitoring 100%
  • Decision-Making 33%
  • Business Process Management 16%
  • Machine Learning Technique 16%
  • Machine Learning Approach 16%
  10 Downloads (Pure)

• Explanatory Capabilities of Large Language Models in Prescriptive Process Monitoring

  Kubrak, K., Botchorishvili, L., Milani, F., Nolte, A. & Dumas, M. (Corresponderende auteur), 2 sep. 2024, Business Process Management: 22nd International Conference, BPM 2024, Krakow, Poland, September 1–6, 2024, Proceedings. Marrella, A., Resinas, M., Jans, M. & Rosemann, M. (uitgave). Cham: Springer, blz. 403-420 18 blz. (Lecture Notes in Computer Science (LNCS); vol. 14940).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Process Monitoring 100%
  • Large Language Model 100%
  • Monitoring System 60%
  • Dialog System 40%
  • Business Process 20%
  2 Downloads (Pure)

• Exploring the Current Landscape of Open Research Software in Room Acoustics

  Hornikx, M. C. J., Wang, H., Fichera, I., Paganini, L., Nolte, A. & Serebrenik, A., 4 okt. 2024, Proceedings of 53rd International Congress & Exposition on Noise Control Engineering, inter.noise24. Institute of Noise Control Engineering of the USA, blz. 5875-5884 10 blz.

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Room Acoustics 100%
  • Open Research 100%
  • Open Source 40%
  • Reproducibility 20%
  • Impulse Response 20%
  30 Downloads (Pure)

• Exploring the Effect of Multiple Natural Languages on Code Suggestion Using GitHub Copilot

  Koyanagi, K., Wang, D., Noguchi, K., Kondo, M., Serebrenik, A., Kamei, Y. & Ubayashi, N., 2 jul. 2024, MSR '24: Proceedings of the 21st International Conference on Mining Software Repositories. New York: Association for Computing Machinery, Inc, blz. 481-486 6 blz.

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Artificial Intelligence 100%
  • Software Engineering 100%
  • Task Programming 100%
  • Program Synthesis 100%
  • Difficulty Level 100%

• FacultyHack Events: Faculty-Focused Hackathons for High-Performance Computing Curriculum Development

  Holmen, J. K., Powell, J. A., Nolte, A., Elijah, M., Dey, C., Vergara Larrea, V. G., Parete-Koon, S. & Hayden, L. B., 4 dec. 2024, ICGJ '24: Proceedings of the 8th International Conference on Game Jams, Hackathons and Game Creation Events. ACM, blz. 67-71 5 blz.

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • High-Performance Computing 100%
  • Underrepresented Group 100%
  • Student Engagement 100%
  • Curriculum Development 100%
  • Work Environment 100%

• Feasibility of Low-Code Development Platforms in Precision Agriculture: Opportunities, Challenges, and Future Directions

  Guresci, E., Tekinerdogan, B. (Corresponding author), Babur, Ö. & Liu, Q., nov. 2024, In: Land. 13, 11, 31 blz., 1758.

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

  Open Access

  Bestand

  • Development Platform 100%
  • Future Direction 100%
  • Extensibility 14%
  • Knowledge Base 14%
  • Time Monitoring 14%
  2 Downloads (Pure)

• Field report for Platform mBox: Designing an Open MMLA Platform

  Li, Z., Jensen, M. T., Nolte, A. & Spikol, D., 18 mrt. 2024, LAK '24: Proceedings of the 14th Learning Analytics and Knowledge Conference. New York: Association for Computing Machinery, Inc, blz. 785-791 7 blz.

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Analytics Platform 100%
  • Learning Analytics 100%
  • Work-Group 75%
  • Open Source 25%
  • Iterative Design Process 25%
  3 Citaten (Scopus)

• For the record, a Construction of an Optimal Non-linear Binary Error-Correcting Code of Length~10 and Minimum Distance~6

  Verhoeff, T., 24 jan. 2024, blz. 1-2, 2 blz.

  Onderzoeksoutput: Werkdocument › Academic

  Open Access

  Bestand

  • Nonlinear 100%
  • Error Correcting Codes 100%
  17 Downloads (Pure)

• Generating domain models from natural language text using NLP: a benchmark dataset and experimental comparison of tools

  Bozyigit, F. (Corresponding author), Bardakci, T., Khalilipour, A., Challenger, M., Ramackers, G., Babur, Ö. & Chaudron, M. R. V., dec. 2024, In: Software and Systems Modeling. 23, 6, blz. 1493-1511 19 blz.

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

  • Software Requirements 100%
  • ChatGPT 66%
  • Requirement Document 66%
  • Software Development 33%
  • Lower Performance 33%
  2 Citaten (Scopus)

• Guidelines for using financial incentives in software-engineering experimentation

  Krüger, J., Çalıklı, G., Bershadskyy, D., Otto, S., Zabel, S. & Heyer, R., aug. 2024, In: Empirical Software Engineering. 29, 5, 53 blz., 135.

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

  Open Access

  Bestand

  • Software Engineering 100%
  • Financial Incentive 100%
  • Payoff Function 28%
  • Human Participant 14%
  • Engineering Research 14%
  5 Downloads (Pure)

• Hack Beyond the Code: Building a Toolbox of Human-Centred Strategies for AI Literacy

  Schulten, C. (Corresponderende auteur), Yuan, L. (Corresponderende auteur), Gama, K. (Corresponderende auteur), Holmes, W. (Corresponderende auteur), Nolte, A. (Corresponderende auteur), Hoel, T. (Corresponderende auteur) & Chounta, I.-A. (Corresponderende auteur), 2 jul. 2024, Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky: 25th International Conference, AIED 2024, Recife, Brazil, July 8–12, 2024, Proceedings, Part II. Olney, A. M., Chounta, I.-A., Liu, Z., Santos, O. C. & Bittencourt, I. I. (uitgave). Springer, Vol. Cham. blz. 467-472 6 blz. (Communications in Computer and Information Science (CCIS); vol. 2151).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Artificial Intelligence 100%
  • Everyday Life 14%
  • 21st Century Skill 14%
  • Chatbot 14%

• HALIVER: Deductive Verification and Scheduling Languages Join Forces

  van den Haak, L. B. (Corresponderende auteur), Wijs, A., Huisman, M. & van den Brand, M., 5 apr. 2024, Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III. Finkbeiner, B. & Kovács, L. (uitgave). Cham: Springer, blz. 71-89 19 blz. (Lecture Notes in Computer Science (LNCS); vol. 14572).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Annotation 100%
  • Image Processing 25%
  1 Citaat (Scopus)

• HaliVer: Deductive Verification and Scheduling Languages Join Forces.

  van den Haak, L. B., Wijs, A., Huisman, M. & van den Brand, M., 2024, (CoRR).

  Onderzoeksoutput: Werkdocument › Preprint › Academic › peer review

• Handling Sub-symmetry in Integer Programming using Activation Handlers

  Hojny, C., Verhoeff, T. & Wessel, S., 2024, Graphs and Combinatorial Optimization: from Theory to Applications. CTW 2023. Springer, blz. 95-107 13 blz. (AIRO Springer Series; vol. 13).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

  Open Access

  • Auxiliaries 100%

• Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking

  Osama, M. & Wijs, A. (Corresponderende auteur), 5 apr. 2024, Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II. Finkbeiner, B. & Kovács, L. (uitgave). Cham: Springer, blz. 23-43 21 blz. (Lecture Notes in Computer Science (LNCS); vol. 14571).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Model Checking 100%
  • linear time temporal logic 100%
  • Graphics Processing Unit 25%
  • Parallel Algorithms 25%
  • model checker 25%
  2 Citaten (Scopus)

• How to Ask About Gender Identity of Software Engineers and "Guess" It from the Archival Data

  Serebrenik, A., 21 sep. 2024, Equity, Diversity, and Inclusion in Software Engineering: Best Practices and Insights. Damian, D., Blincoe, K., Ford, D., Serebrenik, A. & Masood, Z. (uitgave). Apress, Inc., blz. 487-505

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

  • Software Engineer 100%
  • Archival Data 100%
  • Software Engineering 50%
  • Software Repository 50%
  • Conducting Interview 50%

• Human Aspects and Security in Software Development

  Staron, M., Abrahão, S., Penzenstadler, B. & Serebrenik, A., jul. 2024, In: IEEE Software. 41, 4, blz. 171-174 4 blz., 10547629.

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

  Open Access

  Bestand

  • Software Development 100%
  • Software Engineering 50%
  • Technical Aspect 50%
  • Requirement Engineering 50%
  • Security Vulnerability 50%
  1 Downloads (Pure)

• Human factors in model-driven engineering: future research goals and initiatives for MDE

  Liebel, G. (Corresponding author), Klünder, J. (Corresponding author), Hebig, R. (Corresponding author), Lazik, C., Nunes, I., Graßl, I., Steghöfer, J. P., Exelmans, J., Oertel, J., Marquardt, K., Juhnke, K., Schneider, K., Gren, L., Happe, L., Herrmann, M., Wyrich, M., Tichy, M., Goulão, M., Wohlrab, R. & Kalantari, R. & 6 anderen, Heinrich, R., Greiner, S., Rukmono, S. A., Chakraborty, S., Abrahão, S. & Amaral, V., aug. 2024, In: Software and Systems Modeling. 23, 4, blz. 801-819 19 blz.

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

  • Human Teaching 100%
  1 Citaat (Scopus)

• Hunting bugs: Towards an automated approach to identifying which change caused a bug through regression testing

  Maes Bermejo, M. (Corresponding author), Serebrenik, A., Gallego, M., Gortázar, F., Robles, G. & González-Barahona, J. M., mei 2024, In: Empirical Software Engineering. 29, 3, 35 blz., 66.

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

  Open Access

  Bestand

  • Physician 100%
  • Transplantation 100%
  • Regression Test 100%
  • Intensive Process 25%
  • Theoretical Construct 25%
  1 Citaat (Scopus)

  13 Downloads (Pure)

• Insights into Transitioning towards Electrics/Electronics Platform Management in the Automotive Industry

  Holsten, L., Krüger, J. & Leich, T., 10 jul. 2024, FSE 2024: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering. d''Amorim, M. (uitgave). Association for Computing Machinery, Inc, blz. 161-172 12 blz.

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Cyber Physical Systems 100%
  • Automotives 100%
  • Autonomous Driving 50%
  • Software Platform 50%
  • Automotive System 50%
  2 Citaten (Scopus)

  5 Downloads (Pure)

• Investigating Hackathons with Collaboration Analytics

  Spikol, D., Li, Z., Nolte, A., Ohsaki, A. & Rapur, K., 4 dec. 2024, ICGJ '24: Proceedings of the 8th International Conference on Game Jams, Hackathons and Game Creation Events. ACM, 8 blz.

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Iterative Design 100%
  • Traditional Method 100%
  • Log File Analysis 100%
  • Work-Group 100%
  • Related Question 100%
  1 Downloads (Pure)

• Investigating the Barriers that Women Face in Software Development Teams Focusing on the Context of Proprietary Software Ecosystems

  do Outão, J. C. S., Costa, L. A. M., Pereira dos Santos, R. & Serebrenik, A., 9 feb. 2024, Software Business: 14th International Conference, ICSOB 2023, Lahti, Finland, November 27–29, 2023, Proceedings. Hyrynsalmi, S., Münch, J., Smolander, K. & Melegati, J. (uitgave). Cham: Springer, blz. 164-170 7 blz. (Lecture Notes in Business Information Processing (LNBIP); vol. 500).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Software Development 100%
  • Development Team 100%
  • Proprietary Software 100%
  • Positive Effect 25%
  • External Developer 25%
  2 Downloads (Pure)

• Investigating Uncertainty in Behavioral Modeling for C-ITS Services

  Karkhanis, P., Dajsuren, Y. & van den Brand, M. G. J., 13 feb. 2024, 2023 IEEE 26th International Conference on Intelligent Transportation Systems, ITSC 2023. Institute of Electrical and Electronics Engineers, blz. 3653-3658 6 blz. 10421793

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Road User 100%
  • Warning Systems 100%
  • Pedestrian 100%
  • Cyclists 100%
  • Case Study 100%

• Layered BubbleTea Software Architecture Visualisation

  Rukmono, S. A. (Corresponderende auteur), Chaudron, M. R. V. & Jeffrey, C., 18 dec. 2024, 2024 IEEE Working Conference on Software Visualization, VISSOFT 2024. Institute of Electrical and Electronics Engineers, blz. 122-126 5 blz. 10794828

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Mapping Software 100%

• Looking for Lovely Links in Lattices

  Bakker, A. & Verhoeff, T., aug. 2024, Proceedings of Bridges 2024: Mathematics, Art, Music, Architecture, Culture. Verrill, V., Kattchee, K., Gould, S. L. & Torrence, E. (uitgave). Phoenix, Arizona: Tessellations Publishing, blz. 349-352 4 blz. (Bridges Conference Proceedings; vol. 2024).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Lattices 100%
  • Cross Section 50%

• Maintaining Consistency of Digital Twin Models: Exploring the Potential of Graph-Based Approaches

  Muctadir, H. M., Cleophas, L. & van den Brand, M., 27 dec. 2024, 2024 50th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2024. Institute of Electrical and Electronics Engineers, blz. 152-159 8 blz. 10803449

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Digital Twin 100%
  • Case Study 100%
  • Predictive Maintenance 100%
  • Use Case 25%
  • Management Framework 25%

• Mentorship of Women in OSS Projects: A Cross-Disciplinary, Integrative Review

  Jacobs, M., Milewicz, R. & Serebrenik, A., 21 sep. 2024, Equity, Diversity, and Inclusion in Software Engineering: Best Practices and Insights. Damian, D., Blincoe, K., Ford, D., Serebrenik, A. & Masood, Z. (uitgave). Apress, Inc., blz. 337-364

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

  Open Access

  • Face 100%
  • Role Theory 100%
  • Psychosocial Support 11%

• Microbiome Modeling: A Beginner’s Guide

  Lange, E. (Corresponding author), Kranert, L., Krüger, J., Benndorf, D. & Heyer, R. (Corresponding author), 19 jun. 2024, In: Frontiers in Microbiology. 15, 32 blz., 1368377.

  Onderzoeksoutput: Bijdrage aan tijdschrift › Artikel recenseren › peer review

  Open Access

  Bestand

  • Environmental Health 100%
  • Human Health 100%
  • Computational Method 100%
  • Computational Modeling 100%
  • Microbiome 100%
  15 Downloads (Pure)

• ML-based Digital Twin for anomaly detection: a case-study on Turtle soccer robots

  Liu, X., van den Brand, M., Muctadir, H. M. & Molengraft, R. V. D., 1 jan. 2024, 2023 49th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). Institute of Electrical and Electronics Engineers, blz. 179-182 4 blz. 10371658

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Robot 100%
  • Machine Learning 100%
  • Digital Twin 100%
  • Anomaly Detection 100%
  • Case Study 100%
  1 Citaat (Scopus)

  16 Downloads (Pure)

• Model based component development and analysis with ComMA

  Kurtev, I. (Corresponding author), Hooman, J., Schuts, M. & van der Munnik, D., mrt. 2024, In: Science of Computer Programming. 233, 14 blz., 103067.

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

  Open Access

  Bestand

  • Close Collaboration 100%
  • Modeling Framework 100%
  • Support Analysis 100%
  • State Machine 100%
  • Industrial Setting 100%
  1 Downloads (Pure)

• Negativity in Self-Admitted Technical Debt: How Sentiment Influences Prioritization

  Cassee, N. W., Ernst, N., Novielli, N. & Serebrenik, A., 29 dec. 2024, (Geaccepteerd/In druk) In: Empirical Software Engineering. XX, X

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

  Open Access

  Bestand

  • Software Systems 100%
  • Software Engineering 33%
  • Asked Participant 33%
  • Negative Emotion 33%
  25 Downloads (Pure)

• No Need to Be Stubborn: Partial-Order Reduction for GPU Model Checking Revisited

  van Spreuwel, R. & Wijs, A. (Corresponderende auteur), 30 okt. 2024, Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III. Margaria, T. & Steffen, B. (uitgave). Cham: Springer, blz. 353-373 21 blz. (Lecture Notes in Computer Science (LNCS); vol. 15221).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Partial Order Reduction 100%
  • Multicore 100%
  • Model Checking 100%
  • Graphics Processing Unit 100%
  • Speed-up 50%
  1 Citaat (Scopus)

• OIL: an industrial case study in language engineering with Spoofax

  Bunte, O. (Corresponding author), Denkers, J. (Corresponding author), van Gool, L. C. M., Vinju, J. J., Visser, E., Willemse, T. A. C. & Zaidman, A., 3 jun. 2024, (E-publicatie vóór gedrukte publicatie) In: Software and Systems Modeling. XX, XX

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

  Open Access

  • Industrial Case 100%
  • Case Study 100%
  • Domain-specific languages 100%
  • Specific Industry 100%
  • Value Added 50%

• Optimizing Digital Execution Workflow Runs for a Digital Twin Factory of Production Print Systems

  Balakumar, N. K., 1 okt. 2024, Eindhoven: Technische Universiteit Eindhoven. 80 blz.

  Onderzoeksoutput: Scriptie › EngD Thesis

  Open Access

  Bestand
  7 Downloads (Pure)

• Pandemic startup software engineering: An experience report on the development of a COVID-19 certificate verification system

  May, R., Baron, N., Krüger, J. (Corresponding author) & Leich, T., okt. 2024, In: Journal of Systems and Software. 216, 13 blz., 112106.

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

  Open Access

  Bestand

  • Working Property 100%
  1 Citaat (Scopus)

  2 Downloads (Pure)

• Preface

  Neele, T. & Wijs, A., 13 okt. 2024, Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings. Neele, T. & Wijs, A. (uitgave). Springer, blz. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14624).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  Open Access

• Preface

  Herber, P. & Wijs, A., 2024, Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. Herber, P. & Wijs, A. (uitgave). Springer, blz. v-vi (Lecture Notes in Computer Science; vol. 14300).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

• Programming Smart Objects: How Young Learners’ Programming Skills, Attitudes, and Perception Are Influenced

  Seraj, M., Verano Merino, M., Rahimi, E. & Ochoa Venegas, L., 17 okt. 2024, SPLASH-E '24: Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E. Hermans, F. & Bohrer, R. (uitgave). Association for Computing Machinery, Inc, blz. 45-55 11 blz.

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Young learners 100%
  • Positive Attitude 25%
  • Constructionism 25%
  • Literature Education 25%
  4 Downloads (Pure)

• 'Protect and Fight Back': A Case Study on User Motivations to Report Phishing Emails

  Burda, P., Allodi, L., Serebrenik, A. & Zannone, N., 20 nov. 2024, EuroUSEC '24: Proceedings of the 2024 European Symposium on Usable Security. Karegar, F. & Farooq, A. (uitgave). New York: Association for Computing Machinery, Inc, blz. 30-43 14 blz.

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Practical Implication 100%
  • Technical Dimension 100%
  • Security Culture 100%
  • Phishing Attack 100%
  • Case Study 100%

• Rapid interface generation method for heterogeneous models in Digital twins

  Xavier, F., Manrique Negrin, D. A. & Cleophas, L. G. W. A., 31 okt. 2024, MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. New York: Association for Computing Machinery, Inc, blz. 960-969 10 blz.

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Applicability 100%
  • Streamlines 100%
  • Reusability 100%
  • Process Stage 100%
  • Phase Composition 100%
  17 Downloads (Pure)

• Research Highlights in Evidence-based Software Engineering

  Abrahão, S., Staron, M., Baldassarre, M. T., Horkoff, J., Penzenstadler, B., Ralph, P. & Serebrenik, A., 1 jan. 2024, In: IEEE Software. 41, 1, blz. 133-136 4 blz.

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

  • Empirical Research 100%
  • Software Engineering 100%

• Safety of Perception Systems for Automated Driving: A Case Study on Apollo

  Kochanthara, S., Singh, T., Forrai, A. & Cleophas, L., mrt. 2024, In: ACM Transactions on Software Engineering and Methodology. 33, 3, blz. 1-28 28 blz., 64.

  Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

  Open Access

  Bestand

  • Machine Learning 100%
  • Case Study 100%
  • Automotives 100%
  • Open Source 50%
  • Operational Area 50%
  2 Citaten (Scopus)

  32 Downloads (Pure)

• Scholarly Quality Measurements: A Systematic Literature Review

  Alchokr, R. (Corresponderende auteur), Gopalrao, A., Saake, G., Leich, T. & Krüger, J., 26 sep. 2024, Linking Theory and Practice of Digital Libraries: 28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24–27, 2024, Proceedings, Part I. Antonacopoulos, A., Hinze, A., Piwowarski, B., Coustaty, M., Di Nunzio, G. M., Gelati, F. & Vanderschantz, N. (uitgave). Cham: Springer, blz. 178-202 25 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15177 LNCS).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Quality Assessment 100%
  • Scientific Paper 66%
  • Academic Publishing 66%
  3 Downloads (Pure)