Formal Methods and Patterns for Microservices

Larisa Safina

Research output: Thesis › Ph.D. thesis

  • 1 Book chapter
  • 1 Article in proceedings
  • 1 Journal article

Search results

  • 2022

    Ephemeral data handling in microservices with Tquery

    Giallorenzo, S., Montesi, F., Safina, L. & Zingaro, S. P., Jul 2022, In: PeerJ Computer Science. 8, e1037.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    48 Downloads (Pure)
  • 2019

    Ephemeral data handling in microservices

    Giallorenzo, S., Montesi, F., Safina, L. & Zingaro, S. P., 2019, Proceedings of the 2019 IEEE International Conference on Services Computing, SCC 2019 - Part of the 2019 IEEE World Congress on Services. Bertino, E., Chang, C. K., Chen, P., Damiani, E., Damiani, E., Goul, M. & Oyama, K. (eds.). IEEE, p. 234-236 (IEEE International Conference on Services Computing (SCC), Vol. 2019).

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

    Open Access
    File
    180 Downloads (Pure)
  • 2017

    Microservices: Yesterday, today, and tomorrow

    Dragoni, N., Giallorenzo, S., Lafuente, A. L., Mazzara, M., Montesi, F., Mustafin, R. & Safina, L., 1. Nov 2017, Present and Ulterior Software Engineering. Mazzara, M. & Meyer, B. (eds.). Springer, p. 195-216

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

    File
    601 Downloads (Pure)