Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
- 1 - 50 van 173 resultaten
Zoekresultaten
-
2024
HALIVER: Deductive Verification and Scheduling Languages Join Forces
van den Haak, L. B., Wijs, A., Huisman, M. & van den Brand, M., 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, Proceedings. Finkbeiner, B. & Kovács, L. (uitgave). Springer, blz. 71-89 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14572 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access1 Citaat (Scopus) -
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
1 Citaat (Scopus)6 Downloads (Pure) -
Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges
van den Haak, L. B., Wijs, A., Huisman, M. & van den Brand, M., 2024, Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Proceedings. Haxthausen, A. E. & Serwe, W. (uitgave). Springer, blz. 152-169 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14952 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
2023
Designing a Reference Architecture for the C-ITS Services
Karkhanis, P., Dajsuren, Y. & van den Brand, M., 2023, Software Architecture - 17th European Conference, ECSA 2023, Proceedings. Tekinerdogan, B., Trubiani, C., Tibermacine, C., Scandurra, P. & Cuesta, C. E. (uitgave). Springer, blz. 117-132 16 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14212 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
Investigating Uncertainty in Behavioral Modeling for C-ITS Services
Karkhanis, P., Dajsuren, Y. & Van Den Brand, M. G. J., 2023, 2023 IEEE 26th International Conference on Intelligent Transportation Systems, ITSC 2023. Institute of Electrical and Electronics Engineers, blz. 3653-3658 6 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
2022
A community-sourced view on engineering digital twins: a report from the EDT.Community.
Cleophas, L., Godfrey, T., Khelladi, D. E., Lehner, D., Combemale, B., Brand, M. V. D., Vierhauser, M., Wimmer, M. & Zschaler, S., 23 okt. 2022, Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings. blz. 481-485 5 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access2 Citaten (Scopus) -
COGENT: A Concurrent Engineering and Generative Engineering Tooling Platform
O'Hara, C., Menu, J. & Van Den Brand, M., 2022, SysCon 2022 - 16th Annual IEEE International Systems Conference, Proceedings. Institute of Electrical and Electronics EngineersOnderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
3 Citaten (Scopus) -
Painting the Landscape of Automotive Software in GitHub
Kochanthara, S., Dajsuren, Y., Cleophas, L. & Brand, M. V. D., 2022, Proceedings - 2022 Mining Software Repositories Conference, MSR 2022. blz. 215-226 12 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access5 Citaten (Scopus) -
2021
MoDDiT 2021: 1st International Workshop on Model-Driven Engineering for Digital Twins
Bordeleau, F., Cleophas, L., Combemale, B., Eramo, R., Van Den Brand, M., Wimmer, M. & Wortmann, A., 20 dec. 2021, 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). Institute of Electrical and Electronics Engineers, blz. 210-211 2 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
Models Meet Data: Challenges to Create Virtual Entities for Digital Twins
Brand, M. V. D., Cleophas, L., Gunasekaran, R., Haverkort, B., Negrin, D. A. M. & Muctadir, H. M., 15 okt. 2021, Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021. IEEE/LEOS, blz. 225-228 4 blz. 9643761Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
12 Citaten (Scopus) -
Summary: A functional safety assessment method for cooperative automotive architecture
Kochanthara, S., Rood, N., Saberi, A. K., Cleophas, L., Dajsuren, Y. & van den Brand, M., 2021, ECSA-C 2021: Companion Proceedings of the 15th European Conference on Software Architecture. CEUR-WS.org, 5 blz. 14. (CEUR Workshop Proceedings; vol. 2978).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand1 Citaat (Scopus)69 Downloads (Pure) -
Summary: A Functional Safety Assessment Method for Cooperative Automotive Architecture (short paper)
Kochanthara, S., Rood, N., Saberi, A. K., Cleophas, L., Dajsuren, Y. & Brand, M. V. D., 2021, ECSA (Companion).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
Using Ptolemy II as a Framework for Virtual Entity Integration and Orchestration in Digital Twins
Manrique Negrin, D. A., Cleophas, L. G. W. A. & van den Brand, M. G. J., 20 dec. 2021, Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021. Fukuoka, Japan: IEEE/LEOS, blz. 233-236 4 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
4 Citaten (Scopus) -
2020
A survey on service composition languages
Saeedi Nikoo, M., Babur, Ö. & Van Den Brand, M., 16 okt. 2020, Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings. Association for Computing Machinery, Inc, blz. 262-266 5 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand3 Citaten (Scopus)48 Downloads (Pure) -
Automatic Support for Multi-Domain Model Management
Torres, W., van den Brand, M. G. J. & Serebrenik, A., 30 sep. 2020, Proceedings - 2020 IEEE International Conference on Software Maintenance and Evolution, ICSME 2020: Doctoral Symposium. Institute of Electrical and Electronics Engineers, blz. 830-833 4 blz. 9240644Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access -
DeepClone: Modeling Clones to Generate Code Predictions
Hammad, M., Babur, Ö., Abdul Basit, H. & Brand, M. V. D., 1 dec. 2020, Reuse in Emerging Software Engineering Practices: 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings. Ben Sassi, S., Ducasse, S. & Mili, H. (uitgave). Springer, blz. 135-151 17 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12541 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
7 Citaten (Scopus) -
Formal Methods for GPGPU Programming: Is the Demand Met?
van den Haak, L., Wijs, A. J., van den Brand, M. G. J. & Huisman, M., 2020, Integrated Formal Methods - 16th International Conference, IFM 2020, Proceedings. Dongol, B. & Troubitsyna, E. (uitgave). Springer, blz. 160-177 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12546 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Bestand3 Citaten (Scopus)196 Downloads (Pure) -
Modelling and Simulating Safety and Efficiency at an Unsignalised Intersection
Karkhanis, P., Dajsuren, Y., van den Brand, M. G. J. & Josten, J., 21 sep. 2020, 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC). Institute of Electrical and Electronics Engineers, blz. 1-6 6 blz. 9294193Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
1 Citaat (Scopus) -
Semi-automatic Architectural Suggestions for the Functional Safety of Cooperative Driving Systems
Kochanthara, S., Rood, N., Cleophas, L., Dajsuren, Y. & van den Brand, M., mrt. 2020, Proceedings - 2020 IEEE International Conference on Software Architecture Companion, ICSA-C 2020. Institute of Electrical and Electronics Engineers, blz. 55-58 4 blz. 9095684Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
4 Citaten (Scopus) -
Suitability of Optical Character Recognition (OCR) for Multi-domain Model Management
Torres, W., van den Brand, M. G. J. & Serebrenik, A., 30 sep. 2020, Systems Modelling and Management - 1st International Conference, ICSMM 2020, Proceedings. Babur, O., Denil, J. & Vogel-Heuser, B. (uitgave). Springer, Vol. 1262. blz. 149-162 14 blz. (Communications in Computer and Information Science; vol. 1262 CCIS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access1 Citaat (Scopus) -
Towards Model-Driven Digital Twin Engineering: Current Opportunities and Future Challenges
Bordeleau, F., Combemale, B., Eramo, R., van den Brand, M. & Wimmer, M., 2020, Systems Modelling and Management - 1st International Conference, ICSMM 2020, Proceedings. Babur, O., Denil, J. & Vogel-Heuser, B. (uitgave). Springer, blz. 43-54 12 blz. (Communications in Computer and Information Science; vol. 1262 CCIS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
61 Citaten (Scopus) -
2019
Analysing Scalability of Communication Protocols for a C-ITS service
Karkhanis, P., Blokpoel, R., Dajsuren, Y. & van den Brand, M. G. J., 11 jun. 2019, 13th ITS Europe Congress 2019. ITS Europe CongressOnderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
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 blz. 8836869Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
13 Citaten (Scopus)1 Downloads (Pure) -
2018
A method for quantitative measurement of safety culture based on ISO 26262
Khabbaz Saberi, A., Benders, F. P. A., Koch, R., Lukkien, J. J. & van den Brand, M. G. J., 6 feb. 2018, Evolution of System Safety: Proceedings of the Twenty-Sixth Safety-Critical Systems Symposium, 6-8 February 2018, York, United Kingdom. Parsons, M. & Kelly, T. (uitgave). s.l.: CreateSpace Independent Publishing Platform, blz. 203-218Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
Defining the C-ITS reference architecture
Karkhanis, P. D., van den Brand, M. G. J. & Rajkarnikar, S., 13 aug. 2018, Proceedings - 2018 IEEE 15th International Conference on Software Architecture Companion, ICSA-C 2018. Institute of Electrical and Electronics Engineers, blz. 148-151 4 blz. 8432199Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand18 Citaten (Scopus)507 Downloads (Pure) -
Exploring DSL evolutionary patterns in practice: a study of DSL evolution in a large-scale industrial DSL repository
Mengerink, J. G. M., van der Sanden, B., Cappers, B. C. M., Serebrenik, A., Schiffelers, R. R. H. & van den Brand, M. G. J., 2018, Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development: Volume 1: MODELSWARD. Hammoudi, S., Pires, L. F. & Selic, B. (uitgave). SciTePress Digital Library, blz. 446-453 8 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand5 Citaten (Scopus)255 Downloads (Pure) -
Hierarchical performance analysis for process mining
Leemans, M., van der Aalst, W. M. P. & van den Brand, M. G. J., 26 mei 2018, Proceedings of the 2018 International Conference on Software and System Process, ICSSP 2018. Association for Computing Machinery, Inc, blz. 96-105 10 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
12 Citaten (Scopus)2 Downloads (Pure) -
Interface protocol inference to aid understanding legacy software components
Aslam, K., Luo, Y., Schiffelers, R. R. H. & van den Brand, M. G. J., 14 okt. 2018, Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018). Hebig, R. & Berger, T. (uitgave). blz. 6-11 6 blz. (CEUR Workshop Proceedings; vol. 2245).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand7 Citaten (Scopus)86 Downloads (Pure) -
Is stack overflow in Portuguese attractive for Brazilian users?
Botto-Tobar, M., Torres, W., Lozano, A., van den Brand, M. G. J., Vasilescu, B. & Serebrenik, A., 27 mei 2018, Proceedings - 2018 ACM/IEEE 13th International Conference on Global Software Engineering, ICGSE 2018. New York: Association for Computing Machinery, Inc, blz. 16-24 9 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access3 Citaten (Scopus) -
Metamodel clone detection with SAMOS (extended abstract)
Babur, O., Cleophas, L. & van den Brand, M., 1 jan. 2018, Belgium-Netherlands Software Evolution Workshop: Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop Delft, the Netherlands, December 10th to 11th, 2018.. Gousios, G. & Hejderup, J. (uitgave). CEUR-WS.org, blz. 21-23 3 blz. (CEUR Workshop Proceedings; vol. 2361).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand111 Downloads (Pure) -
Model analytics for feature models: case studies for S.P.L.O.T. Repository
Babur, Ö., Cleophas, L. & van den Brand, M., 1 jan. 2018, Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS: Copenhagen, Denmark, October, 14, 2018. . Hebig, R. & Berger, T. (uitgave). CEUR-WS.org, blz. 787-792 6 blz. (CEUR Workshop Proceedings; nr. 2245).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand9 Citaten (Scopus)54 Downloads (Pure) -
Models, more models, and then a lot more
Babur, Ö., Cleophas, L., van den Brand, M. G. J., Tekinerdogan, B. & Aksit, M., 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017: revised selected papers. Seidl, M. & Zschaler, S. (uitgave). Cham: Springer, blz. 129-135 7 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
13 Citaten (Scopus)1 Downloads (Pure) -
On functional safety methods: A system of systems approach
Saberi, A. K., Barbier, E., Benders, F. & Van Den Brand, M., 30 mei 2018, 12th Annual IEEE International Systems Conference, SysCon 2018 - Proceedings. Piscataway: Institute of Electrical and Electronics Engineers, 6 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
15 Citaten (Scopus) -
Recursion aware modeling and discovery for hierarchical software event log analysis
Leemans, M., van der Aalst, W. M. P. & van den Brand, M. G. J., 2 apr. 2018, 25th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2018 - Proceedings. Piscataway: Institute of Electrical and Electronics Engineers, blz. 185-196 12 blz. 8330208Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
32 Citaten (Scopus) -
Software process analysis methodology-a methodology based on lessons learned in embracing legacy software
Leemans, M., van der Aalst, W. M. P., van den Brand, M. G. J., Schiffelers, R. R. H. & Lensink, L., 9 nov. 2018, Proceedings - 2018 IEEE International Conference on Software Maintenance and Evolution, ICSME 2018. Piscataway: Institute of Electrical and Electronics Engineers, blz. 665-674 10 blz. 8530079Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
7 Citaten (Scopus)1 Downloads (Pure) -
The Statechart Workbench: Enabling scalable software event log analysis using process mining
Leemans, M., van der Aalst, W. M. P. & van den Brand, M. G. J., 2 apr. 2018, 25th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2018 - Proceedings. Institute of Electrical and Electronics Engineers, blz. 502-506 5 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
19 Citaten (Scopus) -
Tool-support of socio-technical coordination in the context of heterogeneous modeling
Bordeleau, F., van den Brand, M., Combemale, B., Eramo, R. & Wimmer, M., 1 jan. 2018, Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018). Hebig, R. & Berger, T. (uitgave). CEUR-WS.org, blz. 423-425 3 blz. (CEUR Workshop Proceedings; vol. 2245).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand1 Citaat (Scopus)33 Downloads (Pure) -
Towards automated analysis of model-driven artifacts in industry
Schiffelers, R., Luo, Y., Mengerink, J. & van den Brand, M., 1 jan. 2018, MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F. & Selic, B. (uitgave). Setúbal: SciTePress Digital Library, blz. 743-751 9 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access6 Citaten (Scopus)5 Downloads (Pure) -
Towards Distributed Model Analytics with Apache Spark
Babur, Ö., Cleophas, L. & van den Brand, M., 2018, MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F. & Selic, B. (uitgave). SciTePress Digital Library, blz. 767-772 6 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access3 Citaten (Scopus)1 Downloads (Pure) -
2017
A case of industrial vs. open-source OCL: not so different after all
Mengerink, J. G. M., Noten, J. F. H., Schiffelers, R., van den Brand, M. G. J. & Serebrenik, A., 2017, ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017). CEUR-WS.org, blz. 472-474 3 blz. (CEUR Workshop Proceedings; vol. 2019).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand3 Citaten (Scopus)124 Downloads (Pure) -
A Case of Industrial vs. Open-source OCL: Not So Different After All
Mengerink, J. G. M., Noten, J., Schiffelers, R. R. H., Brand, M. G. J. V. D. & Serebrenik, A., 2017, MoDELS (Satellite Events). blz. 472-474 3 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
An architecture pattern for safety critical automated driving applications: design and analysis
Luo, Y., Khabbaz Saberi, A., Bijlsma, T., Lukkien, J. J. & van den Brand, M. G. J., 24 apr. 2017, 11th Annual IEEE International Systems Conference (SysCon 2017), 24-27 April 2017, Montreal, Quebec, Canada. Piscataway: Institute of Electrical and Electronics Engineers, blz. 261-267 7 blz. 7934739Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
13 Citaten (Scopus)5 Downloads (Pure) -
Automated analyses of model-driven artifacts: obtaining insights into industrial application of MDE
Mengerink, J. G. M., Serebrenik, A., Schiffelers, R. R. H. & van den Brand, M. G. J., 25 okt. 2017, Proceedings of the 27th International Workshop on Software Measurement and 12th International Conference on Software Process and Product Measurement: Measurement for Future Software Industry: Driving Value Creation, IWSM Mensura 2017. New York: Association for Computing Machinery, Inc, blz. 116-121 6 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
13 Citaten (Scopus)1 Downloads (Pure) -
Towards industry 4.0: Gap analysis between current automotive MES and industry standards using model-based requirement engineering
Manoj Kannan, S., Suri, K., Cadavid, J., Barosan, I., van den Brand, M., Alferez, M. & Gerard, S., 23 jun. 2017, 2017 IEEE International Conference on Software Architecture Workshops, ICSAW 2017: Side Track Proceedings. Piscataway: Institute of Electrical and Electronics Engineers, blz. 29-35 7 blz. 7958432Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
57 Citaten (Scopus)2 Downloads (Pure) -
Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations
Zhang, D., Bošnački, D., van den Brand, M. G. J., Huizing, C., Jacobs, B., Kuiper, R. & Wijs, A., 2017, Model-Driven Engineering and Software Development - 4th International Conference, MODELSWARD 2016, Revised Selected Papers. Hammoudi, S., Pires, L. F., Selic, B. & Desfray, P. (uitgave). Springer, blz. 249-273 25 blz. (Communications in Computer and Information Science; vol. 692).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
6 Citaten (Scopus)2 Downloads (Pure) -
2016
A categorization of GSN-based safety cases and patterns
Luo, Y., Li, Z. & van den Brand, M. G. J., 2016, Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, February 19-21, 2016, in Rome, Italy . Hammoudi, S., Pires, L., Selic, B. & Desfray, P. (uitgave). blz. 509-516Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
4 Citaten (Scopus)3 Downloads (Pure) -
A complete operator library for DSL evolution specification
Mengerink, J. G. M., Serebrenik, A., Schiffelers, R. R. H. & van den Brand, M. G. J., 2016, International Conference on Software Maintenance and Evolution (ICSME), Raleigh, USA. blz. 144-154Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
12 Citaten (Scopus) -
Dependency safety for Java - implementing failboxes
Bosnacki, D., van den Brand, M. G. J., Denissen, P. E. J. G., Huizing, C., Jacobs, B., Kuiper, R., Wijs, A. J., Wiłkowski, M. & Zhang, D., 2016, PPPJ '16 Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. New York: Association for Computing Machinery, Inc, 6 blz. 15Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
5 Downloads (Pure) -
Development of a safety case editor with assessment features
Luo, Y., Li, Z. & van den Brand, M. G. J., 1 apr. 2016, 2016 Workshop on Automotive Systems/Software Architectures (WASA), 5-8 April 2016, Venice, Italy. Piscataway: Institute of Electrical and Electronics Engineers, blz. 10-13 4 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
7 Downloads (Pure) -
DSL/Model Co-Evolution in Industrial EMF-Based MDSE Ecosystems
Mengerink, J. G. M., Schiffelers, R. R. H., Serebrenik, A. & van den Brand, M. G. J., 25 okt. 2016, Models and Evolution: Proceedings of the 10th Workshop on Models and Evolution, Saint-Malo, France, October 2, 2016. Mayerhofer, T., Pierantonio, A., Schätz, B. & Tamzalit, D. (uitgave). blz. 2-7 (CEUR workshop proceedings; vol. 1706).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
10 Citaten (Scopus)2 Downloads (Pure)