Tiziana Margaria

View Scopus Profile

Tiziana Margaria

Prof.

1989 …2025

Research activity per year

Filter
Conference contribution

Search results

  • 2025

    Challenges for AI in Healthcare Systems

    Bertl, M., Lamo, Y., Leucker, M., Margaria, T., Mohammadi, E., Mukhiya, S. K., Pechmann, L., Piho, G. & Rabbi, F., 2025, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Selected Papers. Steffen, B. (ed.). Springer Science and Business Media Deutschland GmbH, p. 165-186 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14129 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Digital Humanities and Cultural Heritage in AI and IT-Enabled Environments

    Breathnach, C. & Margaria, T., 2025, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Selected Papers. Steffen, B. (ed.). Springer Science and Business Media Deutschland GmbH, p. 3-9 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14129 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • From Data Science to Modular Workflows Changing Perspectives from Data to Platform: DBDIrl 1864-1922 Case Study

    O’Shea, E., Krumrey, M., Mitwalli, D. S., Teumert, S. & Margaria, T., 2025, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Selected Papers. Steffen, B. (ed.). Springer Science and Business Media Deutschland GmbH, p. 84-103 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14129 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Interoperating Civil Registration of Death and Census Data: Old Age and Marriage as Categories of Analysis

    Breathnach, C., Murphy, R., Schieweck, A. & Margaria, T., 2025, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Selected Papers. Steffen, B. (ed.). Springer Science and Business Media Deutschland GmbH, p. 65-83 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14129 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Model Driven Development for AI-Based Healthcare Systems: A Review

    Brandon, C., Singh, A. & Margaria, T., 2025, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Selected Papers. Steffen, B. (ed.). Springer Science and Business Media Deutschland GmbH, p. 245-265 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14129 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
  • 2023

    BC4ECO - Using Visual Tools for a Shared Understanding and Pedagogical Approach across an Interdisciplinary Consortium

    Peruccon, A., Lyons, R., De Gotzen, A., Margaria, T. & Simeone, L., 2023, Proceedings - 2023 IEEE 47th Annual Computers, Software, and Applications Conference, COMPSAC 2023. Shahriar, H., Teranishi, Y., Cuzzocrea, A., Sharmin, M., Towey, D., Majumder, A. J. A., Kashiwazaki, H., Yang, J.-J., Takemoto, M., Sakib, N., Banno, R. & Ahamed, S. I. (eds.). IEEE Computer Society, p. 1890-1895 6 p. (Proceedings - International Computer Software and Applications Conference; vol. 2023-June).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • CNN-based Human Activity Recognition on Edge Computing Devices

    Singh, A., Margaria, T. & Demrozi, F., 2023, 2023 IEEE International Conference on Omni-Layer Intelligent Systems, COINS 2023. Institute of Electrical and Electronics Engineers Inc., (2023 IEEE International Conference on Omni-Layer Intelligent Systems, COINS 2023).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Curating History Datasets and Training Materials as OER: An Experience

    Breathnach, C., Murphy, R., Schieweck, A., O'Shea, E., Clancy, S. & Margaria, T., 2023, Proceedings - 2023 IEEE 47th Annual Computers, Software, and Applications Conference, COMPSAC 2023. Shahriar, H., Teranishi, Y., Cuzzocrea, A., Sharmin, M., Towey, D., Majumder, A. J. A., Kashiwazaki, H., Yang, J.-J., Takemoto, M., Sakib, N., Banno, R. & Ahamed, S. I. (eds.). IEEE Computer Society, p. 1570-1575 6 p. (Proceedings - International Computer Software and Applications Conference; vol. 2023-June).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Experiences from the first delivery of a new immersive software engineering course: Mathematical foundations and data analytics

    Demrozi, F., Marchisio, M., Margaria, T. & Sacchet, M., 2023, Proceedings - 2023 IEEE 47th Annual Computers, Software, and Applications Conference, COMPSAC 2023. Shahriar, H., Teranishi, Y., Cuzzocrea, A., Sharmin, M., Towey, D., Majumder, A. J. A., Kashiwazaki, H., Yang, J.-J., Takemoto, M., Sakib, N., Banno, R. & Ahamed, S. I. (eds.). IEEE Computer Society, p. 1576-1581 6 p. (Proceedings - International Computer Software and Applications Conference; vol. 2023-June).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2022

    CensusIRL: Historical census data preparation with MDD support

    Doherty, A. J., Murphy, R. A., Schieweck, A., Clancy, S., Breathnach, C. & Margaria, T., 2022, Proceedings - 2022 IEEE International Conference on Big Data, Big Data 2022. Tsumoto, S., Ohsawa, Y., Chen, L., Van den Poel, D., Hu, X., Motomura, Y., Takagi, T., Wu, L., Xie, Y., Abe, A. & Raghavan, V. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 2507-2514 8 p. (Proceedings - 2022 IEEE International Conference on Big Data, Big Data 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Digital Thread in Smart Manufacturing

    Margaria, T., Pesch, D. & McGibney, A., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 179-183 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13704 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • DIME Days (ISoLA 2022 Track Introduction)

    Margaria, T., Wirkner, D., Busch, D., Bainczyk, A., Tegeler, T. & Steffen, B., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 367-373 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13702 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Engineering of Digital Twins for Cyber-Physical Systems

    Fitzgerald, J., Gorm Larsen, P., Margaria, T., Woodcock, J. & Gomes, C., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-8 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13704 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Evolution of the Historian Data Entry Application: Supporting Transcribathons in the Digital Humanities through MDD

    Schieweck, A., Murphy, R., Khan, R., Breathnach, C. & Margaria, T., 2022, Proceedings - 2022 IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022. Va Leong, H., Sarvestani, S. S., Teranishi, Y., Cuzzocrea, A., Kashiwazaki, H., Towey, D., Yang, J.-J. & Shahriar, H. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 177-186 10 p. (Proceedings - 2022 IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Executable Documentation: Test-First in Action

    Smyth, S., Petzold, J., Schürmann, J., Karbus, F., Margaria, T., von Hanxleden, R. & Steffen, B., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 135-156 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13702 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Low-Code Internet of Things Application Development for Edge Analytics

    Chaudhary, H. A. A., Guevara, I., John, J., Singh, A., Margaria, T. & Pesch, D., 2022, Internet of Things. IoT through a Multi-disciplinary Perspective - 5th IFIP International Cross-Domain Conference, IFIPIoT 2022, Proceedings. Camarinha-Matos, L. M., Ribeiro, L. & Strous, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 293-312 20 p. (IFIP Advances in Information and Communication Technology; vol. 665 IFIP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Model-Driven Edge Analytics: Practical Use Cases in Smart Manufacturing

    Guevara, I., Chaudhary, H. A. A. & Margaria, T., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 406-421 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13704 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Model-Driven Engineering in Digital Thread Platforms: A Practical Use Case and Future Challenges

    Chaudhary, H. A. A., Guevara, I., John, J., Singh, A., Ghosal, A., Pesch, D. & Margaria, T., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 195-207 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13704 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
  • 2021

    A GDPR-Compliant Framework for IoT-Based Personal Health Records Using Blockchain

    Alamri, B., Javed, I. T. & Margaria, T., 19 Apr 2021, 2021 11th IFIP International Conference on New Technologies, Mobility and Security, NTMS 2021. Institute of Electrical and Electronics Engineers Inc., 9432661. (2021 11th IFIP International Conference on New Technologies, Mobility and Security, NTMS 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories

    John, J., Ghosal, A., Margaria, T. & Pesch, D., 2021, Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Proceedings. Margaria, T., Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 146-161 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13036 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • DSLs for model driven development of secure interoperable automation systems with EdgeX foundry

    John, J., Ghosal, A., Margaria, T. & Pesch, D., 8 Sep 2021, FDL 2021 - Proceedings of the 2021 Forum on Specification and Design Languages. IEEE Computer Society, (Forum on Specification and Design Languages; vol. 2021-September).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Engineering of Digital Twins for Cyber-Physical Systems

    Fitzgerald, J., Larsen, P. G., Margaria, T. & Woodcock, J., 2021, Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 49-53 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12479 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Integrating External Services in DIME

    Chaudhary, H. A. A. & Margaria, T., 2021, Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Proceedings. Margaria, T., Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 41-54 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13036 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • ONLINE UNIVERSITY ORIENTATION MODELS FOR STUDENT TRANSITION BETWEEN SECONDARY AND TERTIARY EDUCATION

    Floris, F., Marchisio, M., Sacchet, M., Margaria, T. & Rabellino, S., 2021, 18th International Conference on Cognition and Exploratory Learning in Digital Age, CELDA 2021. IADIS Press, p. 155-162 8 p. (18th International Conference on Cognition and Exploratory Learning in Digital Age, CELDA 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS

    Margaria, T., Chaudhary, H. A. A., Guevara, I., Ryan, S. & Schieweck, A., 2021, Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Proceedings. Margaria, T., Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 393-413 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13036 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Towards Living Canvases

    Steffen, B., Möller, F., Rotgang, A., Ryan, S. & Margaria, T., 2021, Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Proceedings. Margaria, T., Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 95-116 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13036 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Transcribathons as practice-based learning for historians and computer scientists

    Breathnach, C., Murphy, R. & Margaria, T., Jul 2021, Proceedings - 2021 IEEE 45th Annual Computers, Software, and Applications Conference, COMPSAC 2021. Chan, W. K., Claycomb, B., Takakura, H., Yang, J.-J., Teranishi, Y., Towey, D., Segura, S., Shahriar, H., Reisman, S. & Ahamed, S. I. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1131-1136 6 p. (Proceedings - 2021 IEEE 45th Annual Computers, Software, and Applications Conference, COMPSAC 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2020

    Automatic Formative Assessment in Computer Science: Guidance to Model-Driven Design

    Marchisio, M., Margaria, T. & Sacchet, M., Jul 2020, Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference, COMPSAC 2020. Chan, W. K., Claycomb, B., Takakura, H., Yang, J.-J., Teranishi, Y., Towey, D., Segura, S., Shahriar, H., Reisman, S. & Ahamed, S. I. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 201-206 6 p. 9202832. (Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference, COMPSAC 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • General controllers evolved through grammatical evolution with a divergent search

    Naredo, E., Ryan, C., Guevara, I., Margaria, T., Urbano, P. & Trujillo, L., 8 Jul 2020, GECCO 2020 Companion - Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, Inc, p. 243-244 2 p. (GECCO 2020 Companion - Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Model-Driven-Design of NREn Bridging Application: Case Study AfgREN

    Saay, S. & Margaria, T., Jul 2020, Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference, COMPSAC 2020. Chan, W. K., Claycomb, B., Takakura, H., Yang, J.-J., Teranishi, Y., Towey, D., Segura, S., Shahriar, H., Reisman, S. & Ahamed, S. I. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1522-1527 6 p. 9202729. (Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference, COMPSAC 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Preserving Patients’ Privacy in Medical IoT Using Blockchain

    Alamri, B., Javed, I. T. & Margaria, T., 2020, Edge Computing – EDGE 2020 - 4th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Proceedings. Katangur, A., Lin, S.-C., Wei, J., Yang, S. & Zhang, L.-J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 103-110 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12407 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Towards Automatic Data Cleansing and Classification of Valid Historical Data An Incremental Approach Based on MDD

    O'Shea, E., Khan, R., Breathnach, C. & Margaria, T., 10 Dec 2020, Proceedings - 2020 IEEE International Conference on Big Data, Big Data 2020. Wu, X., Jermaine, C., Xiong, L., Hu, X. T., Kotevska, O., Lu, S., Xu, W., Aluru, S., Zhai, C., Al-Masri, E., Chen, Z. & Saltz, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1914-1923 10 p. 9378148. (Proceedings - 2020 IEEE International Conference on Big Data, Big Data 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • XMDD as key enabling technology for integration of large scale elearning based on NRENs

    Saay, S. & Margaria, T., Jul 2020, Proceedings - IEEE 20th International Conference on Advanced Learning Technologies, ICALT 2020. Chang, M., Sampson, D. G., Huang, R., Hooshyar, D., Chen, N.-S., Kinshuk, K. & Pedaste, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 45-46 2 p. 9156062. (Proceedings - IEEE 20th International Conference on Advanced Learning Technologies, ICALT 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2019

    OER: Six Perspectives on Global Misconceptions and Challenges

    Towey, D., Reisman, S., Chan, H., Demartini, C., Tovar, E. & Margaria, T., Dec 2019, TALE 2019 - 2019 IEEE International Conference on Engineering, Technology and Education. Institute of Electrical and Electronics Engineers Inc., 9225943. (TALE 2019 - 2019 IEEE International Conference on Engineering, Technology and Education).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • The Digital Thread in Industry 4.0

    Margaria, T. & Schieweck, A., 2019, Integrated Formal Methods - 15th International Conference, IFM 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). Springer, p. 3-24 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11918 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Towards an understanding of value creation in agile software development

    Neto, G. T. G., Santos, W. B., Fagundes, R. A. A. & Margaria, T., 20 May 2019, Proceedings of the 15th Brazilian Symposium on Information Systems: Complexity on Modern Information Systems, SBSI 2019. de Avila e Silva, S., Santos, R., dos Santos, D. V., Gomes da Rocha, F., Vasconcelos, I., Guimaraes, A. P., Boscarioli, C., Vasconcelos, R. O., Siqueira, S., Costa, H., Bernardini, F., Barroso, A., Cabrejos, L. R., Azevedo, L. G., Colaco, M. & Batista, F. S. (eds.). Association for Computing Machinery, 0046. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2018

    Computational Thinking: Learning by Doing with the Cinco Adventure Game Tool

    Gossen, F., Kuhn, D., Margaria, T. & Lamprecht, A. L., 8 Jun 2018, Proceedings - 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018. Lung, C.-H., Conte, T., Liu, L., Akiyama, T., Hasan, K., Tovar, E., Takakura, H., Claycomb, W., Cimato, S., Yang, J.-J., Zhang, Z., Ahamed, S. I., Reisman, S., Demartini, C. & Nakamura, M. (eds.). IEEE Computer Society, p. 990-999 10 p. 8377800. (Proceedings - International Computer Software and Applications Conference; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Domain-specific design of patient classification in cancer-related cachexia research

    Wickert, A., Lamprecht, A. L. & Margaria, T., 2 Jun 2018, Proceedings - 2018 ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018. IEEE Computer Society, p. 60-63 4 p. 3194002. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Domain-specific Design of Patient Classification in Cancer-Related Cachexia Research

    Wickert, A., Lamprecht, A. L. & Margaria, T., 14 Nov 2018, Proceedings - 2018 ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018. Institute of Electrical and Electronics Engineers Inc., p. 60-63 4 p. (Proceedings - 2018 ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • DSLs for decision services: A tutorial introduction to language-driven engineering

    Gossen, F., Margaria, T., Murtovi, A., Naujokat, S. & Steffen, B., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings. Steffen, B. & Margaria, T. (eds.). Springer Verlag, p. 546-564 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11244 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • From computational thinking to constructive design with simple models

    Margaria, T., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings. Steffen, B. & Margaria, T. (eds.). Springer Verlag, p. 261-278 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11244 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds

    Margaria, T., 2018, Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings. Howar, F. & Barnat, J. (eds.). Springer Verlag, p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11119 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Predicate Abstraction and Such..

    Steffen, B. & Margaria, T., 2018, Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings. Howar, F. & Barnat, J. (eds.). Springer Verlag, p. 181-188 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11119 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Towards a definition of simplicity in agile software development: A focus group study

    Santos, W. B., Cunha, J. A. O. G., Moura, H. & Margaria, T., 2018, Agile Methods - 8th Brazilian Workshop, WBMA 2017, Revised Selected Papers. Serra Seca Neto, A. G., dos Santos, V. A. & Lima Pinto, G. H. (eds.). Springer Verlag, p. 3-17 15 p. (Communications in Computer and Information Science; vol. 802).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2017

    A fully model-based approach to the design of the SEcube™ community web app

    Bosselmann, S., Kuhn, D. & Margaria, T., 16 May 2017, Proceedings - 2017 12th IEEE International Conference on Design and Technology of Integrated Systems in Nanoscale Era, DTIS 2017. Institute of Electrical and Electronics Engineers Inc., 7930159. (Proceedings - 2017 12th IEEE International Conference on Design and Technology of Integrated Systems in Nanoscale Era, DTIS 2017).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Analyzing ambient assisted living solutions: A research perspective

    Kunnappilly, A., Legay, A., Margaria, T., Seceleanu, C., Steffen, B. & Traonouez, L. M., 16 May 2017, Proceedings - 2017 12th IEEE International Conference on Design and Technology of Integrated Systems in Nanoscale Era, DTIS 2017. Institute of Electrical and Electronics Engineers Inc., 7930168. (Proceedings - 2017 12th IEEE International Conference on Design and Technology of Integrated Systems in Nanoscale Era, DTIS 2017).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Computing camps for girls – a first-time experience at the university of Limerick

    McInerney, C., Lamprecht, A. L. & Margaria, T., 2017, Tomorrow’s Learning: Involving Everyone. Learning with and about Technologies and Computing - 11th IFIP TC 3 World Conference on Computers in Education, WCCE 2017, Revised Selected Papers. Tatnall, A. & Webb, M. (eds.). Springer New York LLC, p. 494-505 12 p. (IFIP Advances in Information and Communication Technology; vol. 515).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Practical implications from a preliminary theory of simplicity in agile software development based on a qualitative study

    Santos, W. B., Cunha, J. A. O. G., Moura, H. & Margaria, T., 18 Dec 2017, 2017 43rd Latin American Computer Conference, CLEI 2017. Santos, R. & Monteverde, H. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1-10 10 p. (2017 43rd Latin American Computer Conference, CLEI 2017; vol. 2017-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Towards a theory of simplicity in agile software development: A qualitative study

    Santos, W. B., Cunha, J. A. O. G., Moura, H. & Margaria, T., 26 Sep 2017, Proceedings - 43rd Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2017. Skavhaug, A., Olsson, H. H. & Felderer, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 40-43 4 p. 8051325. (Proceedings - 43rd Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2017).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2016

    ALEX: Mixed-mode learning of web applications at ease

    Bainczyk, A., Schieweck, A., Isberner, M., Margaria, T., Neubauer, J. & Steffen, B., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. Steffen, B. & Margaria, T. (eds.). Springer Verlag, p. 655-671 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9953 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Your message has successfully been sent.
Your message was not sent due to an error.