All Stories

  1. PureMEM

    Article • April 2019, ACM (Association for Computing Machinery)

    Professor Geylani Kardas

  2. A Domain-specific Modeling Language for Belief-Desire-Intention Software Agents

    Article • IET Software, April 2018, the Institution of Engineering and Technology (the IET)

    Baris Tekin Tezel, Professor Geylani Kardas, MOHARRAM CHALLENGER

  3. A tool for automated reasoning about traces based on configurable formal semantics

    Article • August 2017, ACM (Association for Computing Machinery)

    Professor Geylani Kardas