Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
- 24 resultaten
Zoekresultaten
-
2024
Certified SAT solving with GPU accelerated inprocessing
Osama, M. (Corresponding author), Wijs, A. & Biere, A., jun. 2024, In: Formal Methods in System Design. 62, 1-3, blz. 79-118 40 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand2 Citaten (Scopus)21 Downloads (Pure) -
Current trends in digital twin development, maintenance, and operation: an interview study
Muctadir, H. M. (Corresponding author), Manrique Negrin, D. A., Gunasekaran, R., Cleophas, L., van den Brand, M. & Haverkort, B. R., 2024, (Geaccepteerd/In druk) In: Software and Systems Modeling. XX, XOnderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open Access3 Citaten (Scopus) -
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., 8 mei 2024, (E-publicatie vóór gedrukte publicatie) In: Software and Systems Modeling. XX, XOnderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
-
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 AccessBestand15 Downloads (Pure) -
2023
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., mei 2023, In: Journal of Software : Evolution and Process. 35, 5, 25 blz., e2377.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand2 Citaten (Scopus)61 Downloads (Pure) -
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., okt. 2023, In: Journal of Systems and Software. 204, 14 blz., 111788.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand8 Citaten (Scopus)164 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 blz., 102910.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand3 Citaten (Scopus)65 Downloads (Pure) -
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 mei 2023, In: Journal of Open Source Software. 8, 85, 3 blz., 5135.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand115 Downloads (Pure) -
Linear parallel algorithms to compute strong and branching bisimilarity
Martens, J. (Corresponding author), Groote, J. F., Haak, L. B. V. D., Hijma, P. & Wijs, A., apr. 2023, In: Software and Systems Modeling. 22, 2, blz. 521-545 25 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand42 Downloads (Pure) -
Tool interoperability for model-based systems engineering
Thuijsman, S. (Corresponding author), Kahraman, G., Mohamadkhani, A., Timmers, F., Cleophas, L., Geilen, M., Groote, J. F., Reniers, M., Schiffelers, R. & Voeten, J., 7 feb. 2023, In: arXiv. 2023, 18 blz., 2302.03503.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic
Open AccessBestand214 Downloads (Pure) -
2022
A Conceptual Model for Unifying Variability in Space and Time: Rationale, Validation, and Illustrative Applications
Ananieva, S. (Corresponding author), Greiner, S., Kehrer, T., Krüger, J., Kühn, T., Linsbauer, L., Grüner, S., Koziolek, A., Lönn, H., Ramesh, S. & Reussner, R. H., 30 mei 2022, In: Empirical Software Engineering. 27, 5, 53 blz., 101.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand9 Citaten (Scopus)73 Downloads (Pure) -
Evaluating the layout quality of UML class diagrams using machine learning
Bergström, G., Hujainah, F., Ho-Quang, T., Jolak, R., Rukmono, S. A. (Corresponding author), Nurwidyantoro, A. & Chaudron, M. R. V., okt. 2022, In: Journal of Systems and Software. 192, 111413.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand5 Citaten (Scopus)81 Downloads (Pure) -
Human values in software development artefacts: A case study on issue discussions in three Android applications
Nurwidyantoro, A. (Corresponding author), Shahin, M., Chaudron, M. R. V., Hussain, W., Shams, R., Perera, H., Oliver, G. & Whittle, J., jan. 2022, In: Information and Software Technology. 141, 16 blz., 106731.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand17 Citaten (Scopus)435 Downloads (Pure) -
Model-Driven Engineering of Digital Twins (Dagstuhl Seminar 22362).
Cleophas, L., Godfrey, T., Khelladi, D. E., Lehner, D., Combemale, B., Rumpe, B. & Zschaler, S., 2022, In: Dagstuhl Reports. 12, 9, blz. 20-40 21 blz., 9.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand61 Downloads (Pure) -
Painting the Landscape of Automotive Software in GitHub
Kochanthara, S., Dajsuren, Y., Cleophas, L. & Brand, M. V. D., 2022, In: CoRR. abs/2203.08936Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic
-
Registered Report: A Laboratory Experiment on Using Different Financial-Incentivization Schemes in Software-Engineering Experimentation.
Krüger, J., Çalikli, G., Bershadskyy, D., Heyer, R., Zabel, S. & Otto, S., 2022, In: CoRR. abs/2202.10985, blz. 1-10Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic
Open Access -
Role stereotypes in software designs and their evolution
Ho-Quang, T., Nurwidyantoro, A., Rukmono, S. A. (Corresponding author), Chaudron, M. R. V., Fröding, F. & Ngoc, D. N., jul. 2022, In: Journal of Systems and Software. 189, 24 blz., 111296.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand1 Citaat (Scopus)128 Downloads (Pure) -
SAMOS - A framework for model analytics and management
Babur, Ö. (Corresponding author), Cleophas, L. & van den Brand, M., 1 nov. 2022, In: Science of Computer Programming. 223, 6 blz., 102877.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand3 Citaten (Scopus)61 Downloads (Pure) -
Understanding the Re-Engineering of Variant-Rich Systems: An Empirical Work on Economics, Knowledge, Traceability, and Practices
Krüger, J. (Corresponding author), 2022, In: Softwaretechnik-Trends. 42, 2, blz. 16-17 2 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand16 Downloads (Pure) -
2021
A functional safety assessment method for cooperative automotive architecture
Kochanthara, S. (Corresponding author), Rood, N., Saberi, A. K., Cleophas, L., Dajsuren, Y. & van den Brand, M., sep. 2021, In: Journal of Systems and Software. 179, blz. 110991 14 blz., 110991.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand11 Citaten (Scopus)159 Downloads (Pure) -
A Functional Safety Assessment Method for Cooperative Automotive Architecture
Kochanthara, S., Rood, N., Saberi, A. K., Cleophas, L., Dajsuren, Y. & Brand, M. V. D., 2021, In: CoRR. abs/2104.13729Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic
-
Aggregation-based minimization of finite state automata
Björklund, J. (Corresponding author) & Cleophas, L., jun. 2021, In: Acta Informatica. 58, 3, blz. 177-194 18 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand3 Citaten (Scopus)57 Downloads (Pure) -
Integration of design smells and role-stereotypes classification dataset
Ogenrwot, D., Nakatumba-Nabende, J. (Corresponding author) & Chaudron, M. R. V., jun. 2021, In: Data in Brief. 36, 9 blz., 107125.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand55 Downloads (Pure) -
2018
Composing Annotations Without Regret? Practical Experiences Using FeatureC
Krüger, J., Pinnecke, M., Kenner, A., Kruczek, C., Benduhn, F., Leich, T. & Saake, G., 2018, In: Software : Practice and Experience. 48, 3, blz. 402-427 26 blz., 3.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open Access13 Citaten (Scopus)