3 citations · 3 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018
The content correlation of multiple streaming edges
Michel de Rougemont, Guillaume Vimont
We study how to detect clusters in a graph defined by a stream of edges, without storing the entire graph. We extend the approach to dynamic graphs defined by the most recent edges…
cs.LO2013★ 3 cited
Some approximations in Model Checking and Testing
M. C. Gaudel, R. Lassaigne, F. Magniez +1
Model checking and testing are two areas with a similar goal: to verify that a system satisfies a property. They start with different hypothesis on the systems and develop many tec…