Marinos Georgiades

My research is primarily centered in the field of Requirements Engineering (RE), while actively extending into early System Design. My core goal is to improve the methods, processes, and tools used to define, document, and maintain software requirements, and to facilitate their seamless transition into design and development. My work is structured around applied target domains, practical tool development, and core technical areas.

Target Application Domains

My primary domains of interest include human health, sustainable living, and environmental safety. Within these areas, I specifically focus on environmental health systems (such as advanced water filtration and indoor air quality management), acoustic isolation, and low-emission, low-EMF environments that prioritize hardware safety and digital well-being.

Use Case Modeling and Specification

I work on the formalization of use case specifications through the development of grammars and patterns. This work moves requirements beyond informal descriptions, producing structured, consistent, and unambiguous engineered artifacts that provide a guided framework for the Requirements Engineering (RE) process.

Automation in Requirements Engineering

A primary focus of my research is the automation of the RE process. I work on developing software tools that can automatically generate various requirements artifacts, such as use case specifications and test cases.

Automation of Software Project Management

I am also interested in extending the automation pipeline from requirements into software project management. This involves researching methods to automatically transform detailed use case specifications into structured development tasks, such as those used in project management tools like Jira, streamlining the workflow from specification to implementation.

Requirements and System Design Integration

My work bridges the gap between requirements and early system design. I have developed a use case grammar that distinguishes between design-free specifications (capturing functional requirements) and design-dependent specifications which incorporate supplementary details related to User Interface (UI) and management of data and data constraints.

NLP and LLMs in Requirements Engineering

I apply Natural Language Processing (NLP) techniques and Large Language Models (LLMs) to process requirements. This involves using AI to understand unstructured text, identify key domain concepts, and automatically generate structured specifications that conform to formal models and grammars.

Applied Software & Tool Development

Beyond theoretical modeling, a critical component of my work is translating research into practice. I direct the conceptualization and oversee the development of functional software applications and automation tools tailored to my target domains. This ensures that advancements in RE and system design are validated through tangible, deployable engineering artifacts, often implemented through supervised student projects.

Chapters in Refereed Volumes

1. Georgiades, M. (2025). An EBNF-Based Grammar for Use Case Specification. In: Marcinkowski, B., et al. Advances in Information Systems Development. Lecture Notes in Information Systems and Organisation, vol 77. Springer, Cham. View Chapter

Refereed Conference Papers

1. Georgiades, M. (2024). A Use Case Grammar for Requirements Specification. In B. Marcinkowski, A. Przybylek, A. Jarzębowicz, N. Iivari, E. Insfran, M. Lang, H. Linger, & C. Schneider (Eds.), Harnessing Opportunities: Reshaping ISD in the post-COVID-19 and Generative AI Era (ISD2024 Proceedings). Gdańsk, Poland: University of Gdańsk. ISBN: 978-83-972632-0-8.
   Rank: CORE A. Selected as one of the best papers of the conference and invited to provide an extended version for Springer. View Paper
2. Georgiades, M. and Andreou, A. 2013. Patterns for Use Case Context and Content. In Proceedings of the 13th International Conference on Software Reuse (ICSR), (Pisa, Italy) (Keynote speaker: Ivar Jacobson). Lecture Notes in Computer Science, Volume 7925, 267-282. Springer, Berlin, Heidelberg.
   Rank: CORE A. View Paper
3. Georgiades, M. and Andreou, A. 2010. Automatic generation of a Software Requirements Specification (SRS) document. In Proceedings of the 10th International Conference on Intelligent Systems Design and Applications (Cairo, Egypt, November). IEEE Xplore, 1095-1100 doi: 10.1109/ISDA.2010.5687039.
   Best Student Paper Award View Paper
4. Georgiades, M., Andreou, A., and Pattichis, C. 2005. A Requirements Engineering Methodology Based On Natural Language Syntax and Semantics. In Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE'05) (Paris, France, August). IEEE Computer Society, Washington, 73-74.
   Rank: CORE A. View Paper
5. Georgiades, M. and Andreou, A. 2012. A Semantic Formalization for Use Case Modeling. In Proceedings of the 14th International Conference on Enterprise Information Systems (ICEIS), (Wroclaw, Poland, June), 172-175. View Paper
6. Georgiades, M. and Andreou, A. 2010. A Novel Software Tool for Supporting and Automating the Requirements Engineering Process With the Use of Natural Language. In Proceedings of the ICSCT International Conference on Software and Computing Technology (Kunming, China, October). IEEE Press, 256-263.
7. Georgiades, M. and Andreou, A. 2010. A Novel Methodology to Formalize the Requirements Engineering Process with the Use of Natural Language. In Proceedings of the IADIS Conference on Applied Computing (Timisoara, Romania, October). IADIS Digital Library, 11-18. View Paper

Refereed Journal Papers

1. Georgiades, M. and Andreou, A. 2013. A Novel Software Tool for Supporting and Automating the Requirements Engineering Process with the Use of Natural Language, International Journal of Computer Theory and Engineering, Vol 5(3), 443-449. View Paper
2. Georgiades, M. and Andreou, A. 2012. Formalizing and Automating Use Case Model Development, The Open Software Engineering Journal, Vol (6), 21-40. View Paper

1. Software Project
2. Software Entrepreneurship Project

Awards

1. Best Student Paper Award
   "Automatic generation of a Software Requirements Specification (SRS) document", IEEE ISDA 2010, Cairo, Egypt. View Paper

Distinguished Papers

1. "A Use Case Grammar for Requirements Specification", ISD 2024 Conference (Rank A).
   Paper selected among Best Papers (non‑award‑winning). View Paper

Invited Publications

1. "An EBNF‑Based Grammar for Use Case Specification"
   Invited book chapter in Springer (Lecture Notes in Information Systems and Organisation). View Chapter

I am actively committed to mentoring the next generation of software engineers and researchers. My supervision philosophy emphasizes the transition from theoretical modeling to practical, domain-specific tool development.

Open Student Opportunities

I am currently looking for highly motivated Bachelor's, Master's, and PhD students to collaborate on innovative software engineering projects. I offer supervision for projects related to my research and development interests as well as to other areas that you may suggest. I highly encourage student-driven innovation and am open to exploring any topics you may wish to propose. If you are interested in collaborating with me, please contact me to discuss potential thesis topics.

Past Supervision Projects

• Andreas-Meus (Bachelor's Thesis, University of Tartu, 2025)
  Thesis: Facilitating the Automation of Use Case Specifications and Test Case Generation by Developing an LLM-Powered Tool
• Tasos Klitou ([Degree] Thesis, Cyprus University of Technology, 2011
  Thesis: [Insert Thesis Title]