Michalis Michaelides

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 6

Top Topics

Spatio Temporal

Monitoring System

Poisson Distribution

Continuous Time Markov Chains

Top Venues

ACM Trans. Model. Comput. Simul.

Publications

Michalis Michaelides, Jane Hillston, Guido Sanguinetti
Statistical Abstraction for Multi-scale Spatio-temporal Systems. ACM Trans. Model. Comput. Simul. 29 (4) (2019)
Michalis Michaelides, Jane Hillston, Guido Sanguinetti
Geometric fluid approximation for general continuous-time Markov chains. CoRR (2019)
Michalis Michaelides, Jane Hillston, Guido Sanguinetti
Statistical Abstraction for Multi-scale Spatio-Temporal Systems. QEST (2017)
Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti
Property-driven State-Space Coarsening for Continuous Time Markov Chains. CoRR (2016)
Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti
Property-Driven State-Space Coarsening for Continuous Time Markov Chains. QEST (2016)
Giacomo Boracchi, Michalis Michaelides, Manuel Roveri
Detecting Contaminants in Smart Buildings by Exploiting Temporal and Spatial Correlation. SSCI (2015)
Giacomo Boracchi, Michalis Michaelides, Manuel Roveri
A cognitive monitoring system for contaminant detection in intelligent buildings. IJCNN (2014)