statistiche ricercatore

Continente	#
EU - Europa	1.352
NA - Nord America	804
AS - Asia	72
Continente sconosciuto - Info sul continente non disponibili	2
AF - Africa	1
Totale	2.231

Nome	#
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm	252
Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems	241
Putting preemptive Time Petri Nets to work in a V-Model SW life cycle	237
Transient analysis of non-Markovian models using stochastic state classes	228
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems	226
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models	222
Transient analysis of generalised semi-Markov processes using transient stochastic state classes	209
Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models	193
Job scheduler for electromechanical system for biological analyses	122
Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers	106
Stochastic Fault Trees for cross-layer power management of WSN monitoring systems	82
Automatic Code Generation from Real-Time Systems Specifications	73
Approximating distributions and transient probabilities of Markov chains by Bernstein expolynomial functions	47
Totale	2.238

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2018/2019	131	0	0	0	0	0	0	0	0	0	0	79	52
2019/2020	554	38	56	28	41	64	59	57	69	52	36	49	5
2020/2021	410	36	42	15	45	21	34	36	29	33	78	10	31
2021/2022	121	9	7	15	2	3	3	8	8	5	18	16	27
2022/2023	333	27	73	25	16	36	44	35	16	51	0	6	4
2023/2024	50	4	8	14	4	3	2	1	7	0	1	6	0
Totale													2.238