Marinos Georgiades

My research is primarily centered in the field of Requirements Engineering (RE), while extending into other areas such as System Design and Software Project Management. 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 core research areas, development, and specific target domains.

Core Research Areas & Development

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.

Target Application Domains

My core research in Requirements Engineering is inherently domain-agnostic, designed for broad applicability across diverse Information Systems. While I remain fully open to applying my work to any domain, my current strategic focus explores the application of RE tools and modeling techniques to human health (including health information systems and preventative wellness), and environmental health (including advanced water filtration, indoor air quality management, acoustic isolation, and low-emission, low-EMF environments).

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 invite highly motivated Bachelor's, Master's, and PhD students to pursue innovative software engineering projects under my supervision. I offer guidance 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 working together, please contact me to discuss potential thesis topics.

Call for Expression of Interest: Fully Funded PhD Position

I am currently preparing a proposal for a state-funded doctoral position at the Institute of Computer Science and am seeking a highly motivated candidate to include in the application.

Proposed Topic & Abstract:
To be announced soon. Please check back for updates.

The Opportunity:
This is an Expression of Interest to develop a project proposal that I will submit to the Faculty by the end of 2026. Selected candidates will have the opportunity to discuss and refine the research scope with me, ensuring the final application aligns with both my core research methodologies and the candidate's strengths.

Who Should Apply:
Candidates must hold an MSc degree and demonstrate a strong background in software engineering.

To Express Interest:
Please email me with your CV, academic transcripts, and a brief (max 1-page) statement explaining your background and how your research interests align with my core areas of focus.

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