Itay Cohen

According to our database, Itay Cohen authored at least 6 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

The Power of Reframing: Using LLMs in Synthesizing RV Monitors.

Itay Cohen, Klaus Havelund, Doron Peled, Yoav Goldberg

Proceedings of the Runtime Verification - 25th International Conference, 2025

2024

LLM-Based Scheme for Synthesis of Formal Verification Algorithms.

Itay Cohen, Doron Peled

Proceedings of the Bridging the Gap Between AI and Reality, 2024

2023

End-to-End AI Generated Runtime Verification from Natural Language Specification.

Itay Cohen, Doron Peled

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Integrating Distributed Component-Based Systems Through Deep Reinforcement Learning.

Itay Cohen, Doron Peled

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Accelerating Black Box Testing with Light-Weight Learning.

Roi Fogler, Itay Cohen, Doron Peled

Proceedings of the Model Checking Software - 29th International Symposium, 2023

2022

A Reinforcement-Learning Style Algorithm for Black Box Automata.

Itay Cohen, Roi Fogler, Doron Peled

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022