Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
- 1 - 50 van 657 resultaten
Zoekresultaten
-
2025
No Need to Be Stubborn: Partial-Order Reduction for GPU Model Checking Revisited
van Spreuwel, R. & Wijs, A., 2025, Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings. Margaria, T. & Steffen, B. (uitgave). Springer, blz. 353-373 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15221 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
1 Citaat (Scopus) -
2024
A Catalog of Unintended Software Dependencies in Multi-Lingual Systems at ASML
Groot, T., Ochoa Venegas, L., Lazăr, B. & Krüger, J., 31 mei 2024, ICSE-SEIP '24: Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice. New York: Association for Computing Machinery, Inc, blz. 240-251 12 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand1 Citaat (Scopus)128 Downloads (Pure) -
Adaptable Runtime Monitoring for Intermittent Systems
Yildiz, E., Akhunov, K., Riva, L. A., Goknil, A., Kurtev, I. & Yildirim, K. S., 22 apr. 2024, EuroSys '24: Proceedings of the Nineteenth European Conference on Computer Systems. New York: Association for Computing Machinery, Inc, blz. 1175-1191 17 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand1 Downloads (Pure) -
A Foundational Design Methodology for Digital Twins in Local Energy Markets
Wullink, L., Babur, Ö. & Alskaif, T., 4 okt. 2024, 2024 International Conference on Smart Energy Systems and Technologies, SEST 2024. Institute of Electrical and Electronics Engineers, 6 blz. 10694389Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
A Human Behavior Exploration Approach Using LLMs for Cyber-Physical Systems
Burgueño, L., Keet, M., Kienzle, J., Michael, J. & Babur, Ö., 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. 578-586 9 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
A Large-Scale Study of ML-Related Python Projects
Idowu, S., Sens, Y., Berger, T., Krueger, J. & Vierhauser, M., 21 mei 2024, SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. Association for Computing Machinery, Inc, blz. 1272-1281 10 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand2 Citaten (Scopus) -
A MBSE Framework for the Design and Analysis of Complex Automotive Systems Using SysML and PCE
Kaloor, T. & Barosan, I., 21 aug. 2024, 2024 IEEE 21st International Conference on Software Architecture Companion, ICSA-C 2024. Institute of Electrical and Electronics Engineers, blz. 191-198 8 blz. 10628178Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
An Actionable Framework for Understanding and Improving Talent Retention as a Competitive Advantage in IT Organizations
Costa, L. A., Dias, E., Ribeiro, D., Fontão, A., Pinto, G., Pereira dos Santos, R. & Serebrenik, A., 23 mei 2024, ICSE-Companion '24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings. New York: Association for Computing Machinery, Inc, blz. 290-291 2 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand -
An Experience Report on Using Video-Creation Tasks in Requirements-Engineering Education
May, R., Daher, J., Krüger, J. & Leich, T., 24 mei 2024, ICSE-SEET '24: Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training. Association for Computing Machinery, Inc, blz. 201-211 11 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand142 Downloads (Pure) -
Arvisan: an Interactive Tool for Visualisation and Analysis of Low-Code Architecture Landscapes
Kakkenberg, R., Rukmono, S. A., Chaudron, M. R. V., Gerholt, W., Pinto, M. & de Oliveira, C. R., 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. 848-855 8 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand -
ASAP-Repair: API-Specific Automated Program Repair Based on API Usage Graphs
Nielebock, S., Blockhaus, P., Krüger, J. & Ortmeier, F., 11 sep. 2024, APR '24: Proceedings of the 5th ACM/IEEE International Workshop on Automated Program Repair. Association for Computing Machinery, Inc, 4 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand -
Block-Based Platform for Defining Adaptation Rules for Automotive Systems
Altamirano Mollo, L., Verano Merino, M. & Barosan, I., 17 okt. 2024, PAINT '24: Proceedings of the 3rd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments. New York: Association for Computing Machinery, Inc, blz. 1-16 16 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand -
Bridging Gaps, Building Futures: Advancing Software Developer Diversity and Inclusion Through Future-Oriented Research
Hyrynsalmi, S., Baltes, S., Brown, C., Prikladnicki, R., Rodriguez Perez, G., Serebrenik, A., Simmonds, J., Trinkenreich, B., Wang, Y. & Liebel, G., 15 jul. 2024, Software Engineering in 2030.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
Compact Parallel Hash Tables on the GPU
Hegeman, S. (Corresponderende auteur), Wöltgens, D., Wijs, A. & Laarman, A., 26 aug. 2024, Euro-Par 2024: Parallel Processing: 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26–30, 2024, Proceedings, Part II. Carretero, J., Garcia-Blas, J., Shende, S., Brandic, I., Olcoz, K. & Schreiber, M. (uitgave). Springer, blz. 226-241 16 blz. (Lecture Notes in Computer Science (LNC S); vol. 14802).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
Decision Making for Managing Automotive Platforms: An Interview Survey on the State-of-Practice
Zellmer, P., 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. 318-328 11 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand2 Citaten (Scopus)8 Downloads (Pure) -
Deductive Software Architecture Recovery via Chain-of-thought Prompting
Rukmono, S., Ochoa Venegas, L. & Chaudron, M. R. V., 24 mei 2024, ICSE-NIER'24: Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results. Association for Computing Machinery, Inc, blz. 92-96 5 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand2 Citaten (Scopus)248 Downloads (Pure) -
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 AccessBestand2 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. 10795056Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
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. 10732658Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
2 Citaten (Scopus) -
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 AccessBestand2 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 AccessBestand28 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., 15 apr. 2024, 21st International Conference on Mining Software Repositories.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
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
-
Field report for Platform mBox: Designing an Open MMLA Platform
Li, Z., Jensen, M. T., Nolte, A. & Spikol, D., 18 mrt. 2024, Proceedings of the 14th Learning Analytics and Knowledge Conference. blz. 785-791 7 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
3 Citaten (Scopus) -
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 AccessBestand -
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 AccessBestand1 Citaat (Scopus) -
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 AccessBestand2 Citaten (Scopus) -
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 AccessBestand2 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 AccessBestand1 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 AccessBestand2 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. 10421793Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand -
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. 10794828Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
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
-
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. 10803449Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
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. 10371658Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand1 Citaat (Scopus)15 Downloads (Pure) -
Practical Software Development: Leveraging AI for Precise Cost Estimation in Lump-Sum EPC Projects
Dzhusupova, R., Ya-alimadad, M., Shteriyanov, V. I., Bosch, J. & Holmstrom Olsson, H., 2024, 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE, blz. 1023–1033 11 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access -
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 AccessBestand4 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, Proceedings of the 2024 European Symposium on Usable Security, EuroUSEC 2024. Association for Computing Machinery, Inc, blz. 30-43 14 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
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 AccessBestand17 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 AccessBestand3 Downloads (Pure) -
Sentiment of Technical Debt Security Questions on Stack Overflow: A Replication Study
Jansen, J., Cassee, N. W. & Serebrenik, A., 16 jul. 2024, 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024. Institute of Electrical and Electronics Engineers, blz. 821-829 9 blz. 10589854Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
SoK: How Artificial-Intelligence Incidents Can Jeopardize Safety and Security
May, R., Krüger, J. & Leich, T., 30 jul. 2024, ARES '24: Proceedings of the 19th International Conference on Availability, Reliability and Security. Association for Computing Machinery, Inc, 12 blz. 44Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
2 Downloads (Pure) -
The Multifaceted Nature of Mentoring in OSS: Strategies, Qualities, and Ideal Outcomes
Feng, Z., Steinmacher, I., Gerosa, M. A., Menezes, T., Serebrenik, A., Milewicz, R. & Sarma, A., 20 dec. 2024, (Geaccepteerd/In druk) International Conference on Cooperative and Human Aspects of Software Engineering. Institute of Electrical and Electronics EngineersOnderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
Towards a collaborative approach for Digital Twin simulation models comprehension
Fedeli, A. & Manrique Negrin, D. 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. 660-664 5 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand2 Downloads (Pure) -
Use the Forks, Look! Visualizations for Exploring Fork Ecosystems
Chen, S., Cleophas, L. G. W. A., Schulze, S. & Krüger, J., 16 jul. 2024, International Conference on Software Analysis, Evolution and Reengineering, SANER 2024. Institute of Electrical and Electronics Engineers, blz. 993-1004 12 blz. 10589884Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand1 Citaat (Scopus)101 Downloads (Pure) -
Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges
van den Haak, L. B. (Corresponderende auteur), Wijs, A., Huisman, M. & van den Brand, M., 21 aug. 2024, Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings. Haxthausen, A. E. & Serwe, W. (uitgave). Springer, blz. 152-169 18 blz. (Lecture Notes in Computer Science (LNCS); vol. 14952).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
Vulnerably (Mis)Configured? Exploring 10 Years of Developers' Q&As on Stack Overflow
May, R., Biermann, C., Zerweck, X. M., Ludwig, K., Krüger, J. & Leich, T., 7 feb. 2024, VaMoS '24: Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems. Kehrer, T., Huchard, M., Teixeira, L. & Birchler, C. (uitgave). Association for Computing Machinery, Inc, blz. 112-122 11 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand2 Citaten (Scopus)152 Downloads (Pure) -
X-by-Construction Meets AI
ter Beek, M. H. (Corresponderende auteur), Cleophas, L., Dubslaff, C. & Schaefer, I., 26 okt. 2024, Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV. Margaria, T. & Steffen, B. (uitgave). Cham: Springer, blz. 155-161 7 blz. (Lecture Notes in Computer Science (LNCS); vol. 15222).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
2023
3rd International Workshop on Model-Driven Engineering for Digital Twins (MoDDiT 2023).
Clark, T., Cleophas, L., Eramo, R., Kulkarni, V. & Wimmer, M., 2023, MoDELS (Companion). blz. 426-428 3 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
Achieving High-Level Software Component Summarization via Hierarchical Chain-of-Thought Prompting and Static Code Analysis
Rukmono, S., Ochoa Venegas, L. & Chaudron, M. R. V., 27 okt. 2023, 2023 IEEE International Conference on Data and Software Engineering, ICoDSE 2023. Institute of Electrical and Electronics Engineers, blz. 7-12 6 blz. 10292037Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand2 Citaten (Scopus)20 Downloads (Pure)