4 citations · 8 across the 4 of their papers we have counts for
3 papers · 1 filter
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…
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…