4 citations · 8 across the 4 of their papers we have counts for
4 papers
A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
Ferhat Erata, Arda Goknil, Bedir Tekinerdogan +1
We present Tarski, a tool for specifying configurable trace semantics to facilitate automated reasoning about traces. Software development projects require that various types of tr…
ModelWriter: Text & Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali +5
The ModelWriter platform provides a generic framework for automated traceability analysis. In this paper, we demonstrate how this framework can be used to trace the consistency and…
Virtualizing Intermittent Computing
Caglar Durmaz, Kasim Sinan Yildirim, Geylani Kardas
Intermittent computing requires custom programming models to ensure the correct execution of applications despite power failures. However, existing programming models lead to progr…
A Systematic Literature Review on Model-driven Engineering for Cyber-Physical Systems
Mustafa Abshir Mohamed, Geylani Kardas, Moharram Challenger
This technical report presents a Systematic Literature Review (SLR) study that focuses on identifying and classifying the recent research practices pertaining to CPS development th…