Dimitrios Milios
Dimitrios Milios
Post Doctoral Fellow, EURECOM
Verified email at eurecom.fr
Title
Cited by
Cited by
Year
Smoothed model checking for uncertain continuous-time Markov chains
L Bortolussi, D Milios, G Sanguinetti
Information and Computation 247, 235-253, 2016
912016
U-check: Model checking and parameter synthesis under uncertainty
L Bortolussi, D Milios, G Sanguinetti
International Conference on Quantitative Evaluation of Systems, 89-104, 2015
342015
Dirichlet-based gaussian processes for large-scale calibrated classification
D Milios, R Camoriano, P Michiardi, L Rosasco, M Filippone
arXiv preprint arXiv:1805.10915, 2018
322018
Studying emergent behaviours in morphogenesis using signal spatio-temporal logic
E Bartocci, L Bortolussi, D Milios, L Nenzi, G Sanguinetti
International Workshop on Hybrid Systems Biology, 156-172, 2015
232015
Probabilistic programming process algebra
A Georgoulas, J Hillston, D Milios, G Sanguinetti
International conference on quantitative evaluation of systems, 249-264, 2014
172014
Global optimization of analogy-based software cost estimation with genetic algorithms
D Milios, I Stamelos, C Chatzibagias
Artificial Intelligence Applications and Innovations, 350-359, 2011
162011
Efficient stochastic simulation of systems with multiple time scales via statistical abstraction
L Bortolussi, D Milios, G Sanguinetti
International Conference on Computational Methods in Systems Biology, 40-51, 2015
152015
Probabilistic model checking for continuous-time Markov chains via sequential Bayesian inference
D Milios, G Sanguinetti, D Schnoerr
International Conference on Quantitative Evaluation of Systems, 289-305, 2018
112018
Probability distributions as program variables
D Milios
Master's thesis, School of Informatics, University of Edinburgh, 2009
112009
Markov chain simulation with fewer random samples
D Milios, S Gilmore
Electronic Notes in Theoretical Computer Science 296, 183-197, 2013
102013
All you need is a good functional prior for bayesian deep learning
BH Tran, S Rossi, D Milios, M Filippone
arXiv preprint arXiv:2011.12829, 2020
72020
Policy learning for time-bounded reachability in continuous-time markov decision processes via doubly-stochastic gradient ascent
E Bartocci, L Bortolussi, T Brázdil, D Milios, G Sanguinetti
International Conference on Quantitative Evaluation of Systems, 244-259, 2016
72016
Policy learning in continuous-time markov decision processes using gaussian processes
E Bartocci, L Bortolussi, T Brázdil, D Milios, G Sanguinetti
Performance Evaluation 116, 84-100, 2017
62017
Component aggregation for PEPA models: An approach based on approximate strong equivalence
D Milios, S Gilmore
Performance Evaluation 94, 43-71, 2015
62015
A genetic algorithm approach to global optimization of software cost estimation by analogy
D Milios, I Stamelos, C Chatzibagias
Intelligent Decision Technologies 7 (1), 45-58, 2013
62013
Property-driven state-space coarsening for continuous time Markov chains
M Michaelides, D Milios, J Hillston, G Sanguinetti
International Conference on Quantitative Evaluation of Systems, 3-18, 2016
52016
Machine learning methods in statistical model checking and system design–tutorial
L Bortolussi, D Milios, G Sanguinetti
Runtime verification, 323-341, 2015
42015
Compositional approximate Markov chain aggregation for PEPA models
D Milios, S Gilmore
Computer Performance Engineering, 96-110, 2012
42012
A data-driven approach to dynamically adjust resource allocation for compute clusters
F Pace, D Milios, D Carra, D Venzano, P Michiardi
arXiv preprint arXiv:1807.00368, 2018
32018
Stochastic modelling of the Kai-based circadian clock
C Banks, A Clark, A Georgoulas, S Gilmore, J Hillston, D Milios, I Stark
Electronic Notes in Theoretical Computer Science 296, 43-60, 2013
32013
The system can't perform the operation now. Try again later.
Articles 1–20