Yoram Moses

ORCID

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 59

Top Venues

Publications

Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Information Flow Guided Synthesis with Unbounded Communication. CAV (3) (2024)
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Information Flow Guided Synthesis with Unbounded Communication. CoRR (2024)
Tal Mizrahi, Michael Schapira, Yoram Moses
The Observer Effect in Computer Networks. ANRW (2024)
Tal Mizrahi, Michael Schapira, Yoram Moses
The Observer Effect in Computer Networks. CoRR (2024)
Ariel Livshits, Yoram Moses
Probable Approximate Coordination. CoRR (2023)
Karthi Srinivasan, Yoram Moses, Rajit Manohar
Opportunistic Mutual Exclusion. CoRR (2023)
Armando Castañeda, Hans van Ditmarsch, Roman Kuznets, Yoram Moses, Ulrich Schmid
Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272). Dagstuhl Reports 13 (7) (2023)
Yannai A. Gonczarowski, Yoram Moses
Common Knowledge, Regained. CoRR (2023)
Guy Goren, Shay Vargaftik, Yoram Moses
Distributed Dispatching in the Parallel Server Model. IEEE/ACM Trans. Netw. 31 (4) (2023)
Guy Goren, Shay Vargaftik, Yoram Moses
Stochastic coordination in heterogeneous load balancing systems. Distributed Comput. 36 (3) (2023)
Raïssa Nataf, Guy Goren, Yoram Moses
Null Messages, Information and Coordination. DISC (2023)
Ariel Livshits, Yoram Moses
Probable Approximate Coordination. OPODIS (2023)
Karthi Srinivasan, Yoram Moses, Rajit Manohar
Opportunistic Mutual Exclusion. ASYNC (2023)
Rajit Manohar, Yoram Moses
Timed Signalling Processes. ASYNC (2023)
Raïssa Nataf, Guy Goren, Yoram Moses
Null Messages, Information and Coordination. CoRR (2022)
Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses
Unbeatable consensus. Distributed Comput. 35 (2) (2022)
Raïssa Nataf, Guy Goren, Yoram Moses
Brief Announcement: Null Messages, Information and Coordination. DISC (2022)
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Information Flow Guided Synthesis. CAV (2) (2022)
Guy Goren, Yoram Moses, Alexander Spiegelman
Probabilistic Indistinguishability and the Quality of Validity in Byzantine Agreement. AFT (2022)
Bernd Finkbeiner, Niklas Metzger, Yoram Moses
Information Flow Guided Synthesis (Full Version). CoRR (2022)
Guy Goren, Shay Vargaftik, Yoram Moses
Stochastic Coordination in Heterogeneous Load Balancing Systems. CoRR (2021)
Guy Goren, Yoram Moses, Alexander Spiegelman
Brief Announcement: Probabilistic Indistinguishability and The Quality of Validity in Byzantine Agreement. DISC (2021)
Guy Goren, Shay Vargaftik, Yoram Moses
Stochastic Coordination in Heterogeneous Load Balancing Systems. PODC (2021)
Guy Goren, Yoram Moses
Optimistically tuning synchronous byzantine consensus: another win for null messages. Distributed Comput. 34 (5) (2021)
Yoram Moses, Nitzan Zamir
Probably Approximately Knowing. PODC (2020)
Guy Goren, Shay Vargaftik, Yoram Moses
Distributed Dispatching in the Parallel Server Model. CoRR (2020)
Nitzan Zamir, Yoram Moses
Probably Approximately Knowing. CoRR (2020)
Guy Goren, Yoram Moses, Alexander Spiegelman
Probabilistic Indistinguishability and the Quality of Validity in Byzantine Agreement. CoRR (2020)
Guy Goren, Yoram Moses
Silence. J. ACM 67 (1) (2020)
Guy Goren, Yoram Moses
Brief Announcement: On Using Null Messages in a Byzantine Setting. PODC (2020)
Guy Goren, Shay Vargaftik, Yoram Moses
Distributed Dispatching in the Parallel Server Model. DISC (2020)
Tal Mizrahi, Yoram Moses
Timing in Software-Defined and Centrally-Managed Networks. CoRR (2019)
Kyrill Winkler, Ulrich Schmid, Yoram Moses
A Characterization of Consensus Solvability for Closed Message Adversaries. OPODIS (2019)
Guy Goren, Yoram Moses
Byzantine Consensus in the Common Case. CoRR (2019)
Rajit Manohar, Yoram Moses
Asynchronous Signalling Processes. ASYNC (2019)
Yoram Moses, Katia Patkin
Mutual exclusion as a matter of priority. Theor. Comput. Sci. 751 (2018)
Guy Goren, Yoram Moses
Silence. PODC (2018)
Yoram Moses
Introduction to the special issue of papers from DISC 2015. Distributed Comput. 31 (4) (2018)
Guy Goren, Yoram Moses
Silence. CoRR (2018)
Asa Dan, Rajit Manohar, Yoram Moses
On Using Time Without Clocks via Zigzag Causality. CoRR (2017)
Armando Castañeda, Yoram Moses, Michel Raynal, Matthieu Roy
Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour. NETYS (2017)
Tal Mizrahi, Ori Rottenstreich, Yoram Moses
TimeFlip: Using Timestamp-Based TCAM Ranges to Accurately Schedule Network Updates. IEEE/ACM Trans. Netw. 25 (2) (2017)
Joseph Y. Halpern, Yoram Moses
Characterizing solution concepts in terms of common knowledge of rationality. Int. J. Game Theory 46 (2) (2017)
Rajit Manohar, Yoram Moses
The Eventual C-Element Theorem for Delay-Insensitive Asynchronous Circuits. ASYNC (2017)
Asa Dan, Rajit Manohar, Yoram Moses
On Using Time Without Clocks via Zigzag Causality. PODC (2017)
Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses
Unbeatable Set Consensus via Topological and Combinatorial Reasoning. CoRR (2016)
Tal Mizrahi, Yoram Moses
Serving time in the cloud: Why time-as-a-service? INFOCOM Workshops (2016)
Tal Mizrahi, Yoram Moses
Software defined networks: It's about time. INFOCOM (2016)
Tal Mizrahi, Efi Saat, Yoram Moses
Timed Consistent Network Updates in Software-Defined Networks. IEEE/ACM Trans. Netw. 24 (6) (2016)
Tal Mizrahi, Yoram Moses
Time4: Time for SDN. IEEE Trans. Netw. Serv. Manag. 13 (3) (2016)
Tal Mizrahi, Yoram Moses
ReversePTP: A clock synchronization scheme for software-defined networks. Int. J. Netw. Manag. 26 (5) (2016)
Tal Mizrahi, Yoram Moses
OneClock to Rule Them All: Using Time in Networked Applications. CoRR (2016)
Tal Mizrahi, Yoram Moses
On the behavior of network delay in the cloud. INFOCOM Workshops (2016)
Tal Mizrahi, Yoram Moses
The Case for Data Plane Timestamping in SDN. CoRR (2016)
Tal Mizrahi, Yoram Moses
OneClock to rule them all: Using time in networked applications. NOMS (2016)
Tal Mizrahi, Yoram Moses
Time Capability in NETCONF. RFC 7758 (2016)
Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses
Unbeatable Set Consensus via Topological and Combinatorial Reasoning. PODC (2016)
Joseph Y. Halpern, Yoram Moses
Characterizing Solution Concepts in Terms of Common Knowledge of Rationality. CoRR (2016)
Tal Mizrahi, Yoram Moses
The case for Data Plane Timestamping in SDN. INFOCOM Workshops (2016)
Tal Mizrahi, Yoram Moses
Time4: Time for SDN. CoRR (2015)
Tal Mizrahi, Ori Rottenstreich, Yoram Moses
TimeFlip: Scheduling network updates with timestamp-based TCAM ranges. INFOCOM (2015)
Yoram Moses, Katia Patkin
Under the Hood of the Bakery Algorithm: Mutual Exclusion as a Matter of Priority. SIROCCO (2015)
Tal Mizrahi, Efi Saat, Yoram Moses
Timed Consistent Network Updates. CoRR (2015)
Rajit Manohar, Yoram Moses
Analyzing Isochronic Forks with Potential Causality. ASYNC (2015)
Tal Mizrahi, Efi Saat, Yoram Moses
Timed consistent network updates. SOSR (2015)
Yoram Moses
Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle. TARK (2015)
Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses
Unbeatable Consensus. DISC (2014)
Ido Ben-Zvi, Yoram Moses
: On Time Bounds and the Ordering of Events in Distributed Systems. J. ACM 61 (2) (2014)
Tal Mizrahi, Yoram Moses
ReversePTP: a software defined networking approach to clock synchronization. HotSDN (2014)
Joseph Y. Halpern, Yoram Moses
A Procedural Characterization of Solution Concepts in Games. J. Artif. Intell. Res. 49 (2014)
Tal Mizrahi, Yoram Moses
On the Necessity of Time-based Updates in SDN. ONS (2014)
Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses
Unbeatable Consensus. CoRR (2014)
Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses
Brief announcement: pareto optimal solutions to consensus and set consensus. PODC (2013)
Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses
Good, Better, Best! - Unbeatable Protocols for Consensus and Set Consensus. CoRR (2013)
Yannai A. Gonczarowski, Yoram Moses
Timely Common Knowledge. TARK (2013)
Ido Ben-Zvi, Yoram Moses
The Shape of Reactive Coordination Tasks. CoRR (2013)
Tal Mizrahi, Yoram Moses
Time-based updates in software defined networks. HotSDN (2013)
Yoram Moses, Marcia Kuskin Shamo
A Knowledge-based Treatment of Human-Automation Systems. CoRR (2013)
Ido Ben-Zvi, Yoram Moses
Agent-Time Epistemics and Coordination. ICLA (2013)
Ido Ben-Zvi, Yoram Moses
The Shape of Reactive Coordination Tasks. TARK (2013)
Yannai A. Gonczarowski, Yoram Moses
Timely Common Knowledge. CoRR (2013)
Yoram Moses, Michel Raynal
No double discount: Condition-based simultaneity yields limited gain. Inf. Comput. 214 (2012)
Yoram Moses
Knowledge as a Window into Distributed Coordination. ICDCIT (2012)
Danny Dolev, Ezra N. Hoch, Yoram Moses
An Optimal Self-Stabilizing Firing Squad. SIAM J. Comput. 41 (2) (2012)
Ido Ben-Zvi, Yoram Moses
Agent-time Epistemics and Coordination CoRR (2012)
Fabian Kuhn, Yoram Moses, Rotem Oshman
Coordinated consensus in dynamic networks. PODC (2011)
Ido Ben-Zvi, Yoram Moses
Known unknowns: time bounds and knowledge of ignorance. TARK (2011)
Maurice Herlihy, Yoram Moses, Mark R. Tuttle
Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions. PODC (2011)
Ido Ben-Zvi, Yoram Moses
On interactive knowledge with bounded communication. J. Appl. Non Class. Logics 21 (3-4) (2011)
Yoram Moses
Behind the Scenes of K&CK: the undelivered speech for the 2009 Dijkstra prize. SIGACT News 41 (1) (2010)
Ido Ben-Zvi, Yoram Moses
: On the Role of Time Bounds in Synchronous Systems. DISC (2010)
Tal Mizrahi, Yoram Moses
Continuous consensus with ambiguous failures. Theor. Comput. Sci. 411 (34-36) (2010)
Danny Dolev, Ezra N. Hoch, Yoram Moses
An Optimal Self-Stabilizing Firing Squad CoRR (2009)
Kai Engelhardt, Yoram Moses
Causing communication closure: safe program composition with reliable non-FIFO channels. Distributed Comput. 22 (2) (2009)
Yoram Moses, Michel Raynal
Revisiting simultaneous consensus with crash failures. J. Parallel Distributed Comput. 69 (4) (2009)
Yoram Moses
Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle. DISC (2009)
Danny Dolev, Ezra N. Hoch, Yoram Moses
An Optimal Self-stabilizing Firing Squad. SSS (2009)
Yoram Moses, Michel Raynal
No Double Discount: Condition-Based Simultaneity Yields Limited Gain. DISC (2008)
Kai Engelhardt, Yoram Moses
Single-bit messages are insufficient for data link over duplicating channels. Inf. Process. Lett. 107 (6) (2008)
Tal Mizrahi, Yoram Moses
Continuous Consensus with Failures and Recoveries. DISC (2008)

Yoram Moses.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yoram Moses