Dipolar SLEs

We present basic properties of Dipolar SLEs, a new version of stochastic Loewner evolutions (SLE) in which the critical interfaces end randomly on an interval of the boundary of a planar domain. We present a general argument explaining why correlation functions of models of statistical mechanics are expected to be martingales and we give a relation between dipolar SLEs and CFTs. We compute SLE excursion and/or visiting probabilities, including the probability for a point to be on the left/right of the SLE trace or that to be inside the SLE hull. These functions, which turn out to be harmonic, have a simple CFT interpretation. We also present numerical simulations of the ferromagnetic Ising interface that confirm both the probabilistic approach and the CFT mapping.Comment: 22 pages, 4 figure

Runtime Verification of Temporal Properties over Out-of-order Data Streams

We present a monitoring approach for verifying systems at runtime. Our approach targets systems whose components communicate with the monitors over unreliable channels, where messages can be delayed or lost. In contrast to prior works, whose property specification languages are limited to propositional temporal logics, our approach handles an extension of the real-time logic MTL with freeze quantifiers for reasoning about data values. We present its underlying theory based on a new three-valued semantics that is well suited to soundly and completely reason online about event streams in the presence of message delay or loss. We also evaluate our approach experimentally. Our prototype implementation processes hundreds of events per second in settings where messages are received out of order.Comment: long version of the CAV 2017 pape