Dimitrios Milios
Dimitrios Milios
Post Doctoral Fellow, EURECOM
Email verificata su eurecom.fr
Titolo
Citata da
Citata da
Anno
Smoothed model checking for uncertain continuous-time Markov chains
L Bortolussi, D Milios, G Sanguinetti
Information and Computation 247, 235-253, 2016
842016
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
302015
Dirichlet-based Gaussian processes for large-scale calibrated classification
D Milios, R Camoriano, P Michiardi, L Rosasco, M Filippone
Advances in Neural Information Processing Systems, 6005-6015, 2018
182018
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
172015
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
Probabilistic programming process algebra
A Georgoulas, J Hillston, D Milios, G Sanguinetti
International conference on quantitative evaluation of systems, 249-264, 2014
142014
Probability distributions as program variables
D Milios
Master's thesis, School of Informatics, University of Edinburgh, 2009
132009
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
122015
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
Markov Chain Simulation with Fewer Random Samples.
D Milios, S Gilmore
Electron. Notes Theor. Comput. Sci. 296, 183-197, 2013
112013
Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent
E Bartocci, L Bortolussi, T Brzdil, D Milios, G Sanguinetti
International Conference on Quantitative Evaluation of Systems, 244-259, 2016
72016
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
Policy learning in continuous-time Markov decision processes using Gaussian Processes
E Bartocci, L Bortolussi, T Brzdil, D Milios, G Sanguinetti
Performance Evaluation 116, 84-100, 2017
52017
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
Component aggregation for PEPA models: An approach based on approximate strong equivalence
D Milios, S Gilmore
Performance Evaluation 94, 43-71, 2015
52015
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
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
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
22018
On approximating the stochastic behaviour of Markovian process algebra models
D Milios
The University of Edinburgh, 2014
12014
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–20