Tiziana Margaria

View Scopus Profile

Tiziana Margaria

Prof.

1989 …2025

Research activity per year

Filter
Chapter

Search results

  • 2023

    Data and Data Management in the Context of Digital Twins

    Margaria, T. & Ryan, S., 1 Jan 2023, The Digital Twin. Springer International Publishing, Vol. 1. p. 253-278 26 p.

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

  • 2021

    Towards Engineering Digital Twins by Active Behaviour Mining

    Margaria, T. & Schieweck, A., 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 138-163 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13030 LNCS).

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

  • 2019

    A model-driven and generative approach to holistic security

    Gossen, F., Margaria, T., Neubauer, J. & Steffen, B., 2019, Advanced Sciences and Technologies for Security Applications. Springer, p. 123-147 25 p. (Advanced Sciences and Technologies for Security Applications).

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

  • Language-driven engineering: From general-purpose to purpose-specific languages

    Steffen, B., Gossen, F., Naujokat, S. & Margaria, T., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 311-344 34 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10000).

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

    Open Access

  • Making Sense of Complex Applications: Constructive Design, Features, and Questions

    Margaria, T., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 129-148 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11200 LNCS).

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

  • Models, Mindsets, Meta: The What, the How, and the Why Not?

    Margaria, T., Graf, S. & Larsen, K. G., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 3-13 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11200 LNCS).

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

  • Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data

    Breathnach, C., Ibrahim, N. M., Clancy, S. & Margaria, T., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 338-364 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

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

  • 2016

    Knowledge management for inclusive system evolution

    Margaria, T., 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 7-21 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9960 LNCS).

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

  • 2012

    Customer-oriented business process management: Vision and obstacles

    Margaria, T., Boßelmann, S., Doedt, M., Floyd, B. D. & Steffen, B., 1 Jan 2012, Conquering Complexity. Springer-Verlag London Ltd, p. 407-429 23 p.

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

  • Design for Verifiability: The OCS Case Study

    Neubauer, J., Margaria, T. & Steffen, B., 29 Nov 2012, Formal Methods for Industrial Critical Systems: A Survey of Applications. John Wiley and Sons, p. 151-177 27 p.

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

  • Practical Aspects of Active Automata Learning

    Howar, F., Merten, M., Steffen, B. & Margaria, T., 29 Nov 2012, Formal Methods for Industrial Critical Systems: A Survey of Applications. John Wiley and Sons, p. 235-267 33 p.

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

  • Service-orientation: Conquering complexity with XMDD

    Margaria, T. & Steffen, B., 1 Jan 2012, Conquering Complexity. Springer-Verlag London Ltd, p. 217-236 20 p.

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

  • The XMDD approach to the semantic web services challenge

    Margaria, T., Kubczak, C. & Steffen, B., 1 Jan 2012, Semantic Web Services: Advancement Through Evaluation. Springer Berlin Heidelberg, p. 233-248 16 p.

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

  • 2009

    Agile IT: Thinking in User-Centric Models

    Margaria, T. & Steffen, B., 2009, Communications in Computer and Information Science. Margaria, T. & Steffen, B. (eds.). p. 490-502 13 p. (Communications in Computer and Information Science; vol. 17).

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

  • Business process modelling in the jABC: The one-thing-approach

    Margaria, T. & Steffen, B., 2009, Handbook of Research on Business Process Modeling. IGI Global, p. 1-26 26 p.

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

  • High Service Availability in MaTRICS for the OCS

    Bajohr, M. & Margaria, T., 2009, Communications in Computer and Information Science. Margaria, T. & Steffen, B. (eds.). p. 572-586 15 p. (Communications in Computer and Information Science; vol. 17).

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

  • Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

    Margaria, T. & Steffen, B., 2009, Communications in Computer and Information Science. Margaria, T. & Steffen, B. (eds.). (Communications in Computer and Information Science; vol. 17).

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

  • SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction

    Jung, G., Margaria, T., Nagel, R., Schubert, W., Steffen, B. & Voigt, H., 2009, Communications in Computer and Information Science. Margaria, T. & Steffen, B. (eds.). p. 139-154 16 p. (Communications in Computer and Information Science; vol. 17).

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

  • The jABC Approach to Rigorous Collaborative Development of SCM Applications

    Hörmann, M., Margaria, T., Mender, T., Nagel, R., Steffen, B. & Trinh, H., 2009, Communications in Computer and Information Science. Margaria, T. & Steffen, B. (eds.). p. 724-737 14 p. (Communications in Computer and Information Science; vol. 17).

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

  • 2006

    Completing and adapting models of biological processes

    Margaria, T., Hinchey, M. G., Harald, R., Rash, J. L., Rouff, C. A. & Steffen, B., 2006, Biologically Inspired Cooperative Computing: IFIP 19th World Computer Congress, TC 10: 1st IFIP International Conference on Biologically Inspired Computing, August 21-24, 2006, Santiago, Chile. Pan, Y., Rammig, F., Schmeck, H. & Solar, M. (eds.). p. 43-54 12 p. (IFIP International Federation for Information Processing; vol. 216).

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

    Open Access
  • 2004

    Components, features, and agents in the ABC

    Margaria, T., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Ryan, M. D., Meyer, J.-J. C. & Ehrich, H.-D. (eds.). Springer Verlag, p. 154-174 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2975).

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

  • Model generation for legacy systems

    Hungar, H., Margaria, T. & Steffen, B., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wirsing, M., Knapp, A. & Balsamo, S. (eds.). Springer Verlag, p. 167-183 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2941).

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

  • 2003

    The electronic tool integration platform (ETI) and the petri net technology

    Braun, V., Margaria, T. & Steffen, B., 2003, Petri Net Technology for Communication-Based Systems: Advances in Petri Nets. Ehrig, H., Reisig, W., Rozenberg, G. & Weber, H. (eds.). p. 363-382 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2472).

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

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