Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
- 11 resultaten
Zoekresultaten
-
2024
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 AccessBestand37 Downloads (Pure) -
2023
RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications
Wesselink, B., de Vos, K., Kurtev, I., Reniers, M. & Torta, E., 2 jun. 2023, 2023 IEEE International Conference on Robotics and Automation (ICRA). Institute of Electrical and Electronics Engineers, blz. 9090-9096 7 blz. 10161436Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand11 Downloads (Pure) -
2021
Testing code generators: A case study on applying USE, EFinder and tracts in practice
Chen, Z., Alberts, W. & Kurtev, I., 2021, STAF-WS 2021 : STAF 2021 Workshop Proceedings: STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model–Driven Engineering, International workshop on MDE for Smart IoT Systems, 4th International Workshop on (Meta)Modeling for Healthcare Systems, and 20th International Workshop on OCL and Textual Modeling co-located with Software Technologies: Applications and Foundations, Federation of Conferences (STAF 2021). Iovino, L. & Kristensen, L. M. (uitgave). CEUR-WS.org, blz. 169-177 (CEUR Workshop Proceedings; vol. 2999).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand -
2018
Reverse engineering of legacy software interfaces to a model-based approach
Schuts, M., Hooman, J., Kurtev, I. & Swagerman, D. J., 26 okt. 2018, Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018. Ganzha, M., Maciaszek, L., Maciaszek, L. & Paprzycki, M. (uitgave). Institute of Electrical and Electronics Engineers, blz. 867-876 10 blz. 8511291Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access4 Citaten (Scopus) -
2017
Integrating interface modeling and analysis in an industrial setting
Kurtev, I., Schuts, M., Hooman, J. & Swagerman, D. J., 2017, MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. Pires, L. F., Hammoudi, S. & Selic, B. (uitgave). SciTePress Digital Library, blz. 345-352 8 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access20 Citaten (Scopus) -
Language architecture: an architecture language for model-driven engineering
Brouwers, N., Hamilton, M., Kurtev, I. & Luo, Y., 1 jan. 2017, MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. SciTePress Digital Library, Vol. 2017-January. blz. 147-156 10 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
1 Citaat (Scopus)5 Downloads (Pure) -
Runtime monitoring based on interface specifications
Kurtev, I., Hooman, J. & Schuts, M., 2017, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J.-P., Katoen, J.-P., Langerak, R. & Rensink, A. (uitgave). Springer, blz. 335-356 22 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10500 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
9 Citaten (Scopus) -
2013
A metamodeling approach for reasoning on multiple requirements models
Goknil, A., Kurtev, I. & Millo, J. V., 2013, -. blz. 159-166 8 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access10 Citaten (Scopus) -
2011
Performance in model transformations: experiments with ATL and QVT
Amstel, van, M. F., Bosems, S., Kurtev, I. & Ferreira Pires, L., 2011, Theory and Practice of Model Transformations (4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings). Cabot, J. & Visser, E. (uitgave). Berlin: Springer, blz. 198-212 (Lecture Notes in Computer Science; vol. 6707).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
61 Citaten (Scopus) -
2003
UML to XML-Schema Transformation: a Case Study in Managing Alternative Model Transformations in MDA
Kurtev, I., van den Berg, K. & Aksit, M., 26 sep. 2003, Forum on specification and Design Languages (FDL 2003). ECSI, 12 blz.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
1999
SMILE Maker: A Web-Based Tool for Problem Solving
Stoyanov, S., Aroyo, L., Kommers, P. & Kurtev, I., 1999, WebNet 99 : proceedings of WebNet 99 - World Conference on the WWW and Internet, Honolulu, Hawaii, October 24-30, 1999. De Bra, P. M. E. & Leggett, J. (uitgave). Charlottesville: Association for the Advancement of Computing in Education, blz. 1006-1011Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review