Lior Mizrahi

According to our database, Lior Mizrahi authored at least 3 papers between 2013 and 2022.

Collaborative distances:

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

2022

Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure.

Gal Amram, Avi Hayoun, Lior Mizrahi, Gera Weiss

Proceedings of the 36th International Symposium on Distributed Computing, 2022

2015

Simple Executions of Snapshot Implementations.

Gal Amram, Lior Mizrahi, Gera Weiss

CoRR, 2015

2013

On composing and proving the correctness of reactive behavior.

David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss

Proceedings of the International Conference on Embedded Software, 2013