3 papers
cs.DC2026
Complex Event Processing in the Edge: A Combined Optimization Approach for Data and Code Placement
Halit Uyanık, Tolga Ovatman
The increasing variety of input data and complexity of tasks that are handled by the devices of internet of things (IoT) environments require solutions that consider the limited ha…
cs.LG2025
Cyber Physical Awareness via Intent-Driven Threat Assessment: Enhanced Space Networks with Intershell Links
Selen Gecgel Cetin, Tolga Ovatman, Gunes Karabulut Kurt
This letter addresses essential aspects of threat assessment by proposing intent-driven threat models that incorporate both capabilities and intents. We propose a holistic framewor…
cs.SE2024
Logical analysis and contradiction detection in high-level requirements during the review process using sat-solver
Simge Yatkın, Tolga Ovatman
DO-178C stands out as a guiding standard for aviation system development processes. This standard not only mandates ensuring the consistency of requirements in the software verific…