57 citations · 102 across the 18 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Topological Run-time Monitoring for Complex Systems
Matteo Rucco, Luca Tesei, Emanuela Merelli
In this paper we introduce a new data-driven run-time monitoring system for analysing the behaviour of time evolving complex systems. The monitor controls the evolution of the whol…
cs.LO2019
Topological Interpretation of Interactive Computation
Emanuela Merelli, Anita Wasilewska
It is a great pleasure to write this tribute in honor of Scott A. Smolka on his 65th birthday. We revisit Goldin, Smolka hypothesis that persistent Turing machine (PTM) can capture…