4 citations · 14 across the 5 of their papers we have counts for
5 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…
Integrating Static Code Analysis Toolchains
Matthias Kern, Ferhat Erata, Markus Iser +4
This paper proposes an approach for a tool-agnostic and heterogeneous static code analysis toolchain in combination with an exchange format. This approach enhances both traceabilit…
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Ferhat Erata, Arda Goknil, Ivan Kurtev +1
We present AlloyInEcore, a tool for specifying metamodels with their static semantics to facilitate automated, formal reasoning on models. Software development projects require tha…
Classification of Quantum Computer Fault Injection Attacks
Chuanqi Xu, Ferhat Erata, Jakub Szefer
The rapid growth of interest in quantum computing has brought about the need to secure these powerful machines against a range of physical attacks. As qubit counts increase and qua…
Exploration of Quantum Computer Power Side-Channels
Chuanqi Xu, Ferhat Erata, Jakub Szefer
With the rapidly growing interest in quantum computing also grows the importance of securing these quantum computers from various physical attacks. Constantly increasing qubit coun…