Associate Professor Florin Craciun

Associate Professor of Computer Science

Journal Articles

  1. Ait-Ameur, Y., & Craciun, F. (2024). Introduction to the TASE 2022 Special issue. Science Computer Programming, 234(C). https://doi.org/10.1016/j.scico.2024.103092
  2. Costea, A., Chin, W.-N., Craciun, F., & Qin, S. (2021). Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization. CoRR, abs/2109.11802. https://arxiv.org/abs/2109.11802

Proceedings

  1. Ameur Yamine Aı̈t, & Craciun, F. (Eds.). (2022). Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings (Vol. 13299). Springer. https://doi.org/10.1007/978-3-031-10363-6

Conference Papers

  1. Cotor, A., Cantor, A., & Craciun, F. (2025). K-Machinations: Testing and Repairing Machinations Diagrams. In G. Borowik, G. Chmaj, & R. Waszkowski (Eds.), Models and Methods for Systems Engineering (pp. 231–241). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-76440-0_18
  2. Földvári, N., & Crăciun, F. (2025). Advancing Serverless Workflow Efficiency: Integrating Functional Programming Constructs and DAG-Based Execution. Proceedings of the 15th International Conference on Cloud Computing and Services Science - CLOSER, 239–246. https://doi.org/10.5220/0013428200003950
  3. Malancioiu, D.-G., Foldvari, H.-N., & Craciun, F. (2024). Optimizing Cold Start Performance in Serverless Computing Environments. 2024 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 140–148. https://doi.org/10.1109/SYNASC65383.2024.00035
  4. Craciun, F., Chin, W.-N., & Qin, S. (2018). Variant Region Types. 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), 126–135. https://doi.org/10.1109/ICECCS2018.2018.00021
  5. Craciun, F., Motogna, S., & Lazar, I. (2013). Towards Better Testing of fUML Models. 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, 485–486. https://doi.org/10.1109/ICST.2013.67