Maor Ashkenazi
Papers
1
Total Citations
9
H-Index
1
About
Maor Ashkenazi is a researcher whose work sits at the intersection of formal methods and robotics, with a focus on enabling the rigorous analysis and reuse of existing software components. His key research area centers on developing formal languages and frameworks to describe and verify the expected performance of functional modules—particularly those not originally designed with formal specifications. His most cited work, "Performance level profiles: A formal language for describing the expected performance of functional modules" (2016, 9 citations), addresses a critical challenge in robotics: while powerful formal languages exist for writing robot controllers, most functional modules are written in standard programming languages. This creates a gap that hinders automated analysis, monitoring, and reuse. Ashkenazi’s contribution provides a formal language to bridge this gap, enabling engineers to specify and reason about module behavior without rewriting existing code. Though his citation count is modest, the conceptual impact of his work is significant for practitioners seeking to integrate formal verification into real-world robotic systems. His research is particularly valuable for students and researchers working at the boundary of software engineering and robotics, where practical reuse and formal guarantees must coexist.
Research Focus
Key Achievements
Top Papers
- 1