CARNEVALI, LAURA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.178
EU - Europa 5.777
AS - Asia 3.144
SA - Sud America 455
AF - Africa 89
OC - Oceania 39
Continente sconosciuto - Info sul continente non disponibili 4
Totale 15.686
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.101
PL - Polonia 2.782
RU - Federazione Russa 1.131
CN - Cina 929
IT - Italia 844
SG - Singapore 797
HK - Hong Kong 367
BR - Brasile 332
VN - Vietnam 292
KR - Corea 241
IE - Irlanda 236
DE - Germania 215
SE - Svezia 192
FI - Finlandia 112
IN - India 107
BD - Bangladesh 95
FR - Francia 81
JO - Giordania 80
GB - Regno Unito 68
JP - Giappone 57
AR - Argentina 53
ID - Indonesia 41
AU - Australia 39
CA - Canada 31
TR - Turchia 27
CI - Costa d'Avorio 26
EC - Ecuador 23
MX - Messico 22
IQ - Iraq 19
CH - Svizzera 17
NL - Olanda 15
ZA - Sudafrica 15
BE - Belgio 14
UA - Ucraina 14
ES - Italia 12
PK - Pakistan 12
AT - Austria 11
PY - Paraguay 11
CO - Colombia 10
CL - Cile 9
MA - Marocco 9
NG - Nigeria 9
VE - Venezuela 9
AE - Emirati Arabi Uniti 8
TH - Thailandia 8
TW - Taiwan 7
UZ - Uzbekistan 7
JM - Giamaica 6
PH - Filippine 6
SA - Arabia Saudita 6
AZ - Azerbaigian 5
BJ - Benin 5
IR - Iran 5
NP - Nepal 5
DO - Repubblica Dominicana 4
GR - Grecia 4
KE - Kenya 4
RO - Romania 4
AL - Albania 3
BH - Bahrain 3
DZ - Algeria 3
EG - Egitto 3
HN - Honduras 3
IL - Israele 3
LT - Lituania 3
LV - Lettonia 3
MY - Malesia 3
PE - Perù 3
TN - Tunisia 3
TT - Trinidad e Tobago 3
UY - Uruguay 3
AF - Afghanistan, Repubblica islamica di 2
AM - Armenia 2
BO - Bolivia 2
CG - Congo 2
CZ - Repubblica Ceca 2
DK - Danimarca 2
EE - Estonia 2
ET - Etiopia 2
EU - Europa 2
GT - Guatemala 2
KG - Kirghizistan 2
PA - Panama 2
SY - Repubblica araba siriana 2
XK - ???statistics.table.value.countryCode.XK??? 2
ZM - Zambia 2
AO - Angola 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BG - Bulgaria 1
BY - Bielorussia 1
BZ - Belize 1
GE - Georgia 1
GP - Guadalupe 1
HU - Ungheria 1
IS - Islanda 1
KH - Cambogia 1
KW - Kuwait 1
LU - Lussemburgo 1
LY - Libia 1
Totale 15.674
Salva come PNG Salva come JPEG
Città #
Warsaw 2.780
Santa Clara 1.719
Ashburn 640
Singapore 584
Fairfield 546
Hong Kong 316
Woodbridge 282
San Jose 273
Seattle 246
Seoul 236
Dublin 231
Houston 202
Hefei 199
Cambridge 190
Chandler 187
Beijing 168
Wilmington 165
Munich 131
Ann Arbor 116
Florence 103
Milan 98
The Dalles 95
Altamura 91
Ho Chi Minh City 91
Lawrence 89
Helsinki 75
Hanoi 70
Rome 70
Los Angeles 62
Lauterbourg 61
Princeton 54
Buffalo 53
Tokyo 53
Moscow 48
Mumbai 44
Kent 43
New York 43
Boston 39
Melbourne 37
Medford 33
San Diego 31
Shanghai 31
Boardman 28
Dallas 27
Council Bluffs 26
Jakarta 25
São Paulo 23
Abidjan 22
Da Nang 20
Clifton 19
Guangzhou 19
Jacksonville 18
Bern 17
Naples 17
Turin 17
Frankfurt am Main 15
Izmir 15
Chicago 14
Bologna 13
London 13
Orem 13
Boulder 12
Figino 12
Bengaluru 11
Brussels 11
Haiphong 11
Padua 10
Porto Alegre 10
Rio de Janeiro 10
Saint Petersburg 10
San Francisco 10
Abuja 9
Johannesburg 9
Norwalk 9
Tianjin 9
Vienna 9
Brasília 8
Dong Ket 8
Shenzhen 8
Toronto 8
Asunción 7
Atlanta 7
Bari 7
Brooklyn 7
Genoa 7
Guayaquil 7
Palermo 7
Phoenix 7
Santiago 7
Taipei 7
Tashkent 7
Thái Bình 7
Verona 7
Biên Hòa 6
Brescia 6
Chennai 6
Massa e Cozzile 6
Modena 6
New Delhi 6
Quito 6
Totale 11.303
Salva come PNG Salva come JPEG
Nome #
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems 398
Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems 374
Putting preemptive Time Petri Nets to work in a V-Model SW life cycle 374
Software Rejuvenation Impacts on a Phased-Mission System for Mars Exploration 374
A heuristic approach for predictive diagnosis of wheel wear based on low-cost track-side equipment 367
Compositional Verification for Hierarchical Scheduling of Real-Time systems 366
Combining UML-MARTE and preemptive Time Petri Nets: An Industrial Case Study 343
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software 336
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids 328
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models 327
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis 326
A formal approach to design and verification of two-level Hierarchical Scheduling systems 325
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters 325
Quantitative Evaluation of Availability Measures of Gas Distribution Networks 324
Non-Markovian Analysis for Model Driven Engineering of Real-Time Software 318
Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models 307
Formal methods in the development life cycle of real-time software 303
A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters 302
Analysis of a Road/Tramway Intersection by the ORIS Tool 296
Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis 288
Sensitization of symbolic runs in Real-Time Testing using the ORIS tool 272
A stochastic model-based approach to online event prediction and response scheduling 262
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems 247
Survivability Evaluation of Gas, Water and Electricity Infrastructures 239
Performability evaluation of water distribution systems during maintenance procedures 239
A novel layered approach to evaluate reliability of complex systems 238
Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow 232
Learning marked Markov modulated Poisson processes for online predictive analysis of attack scenarios 231
A continuous-time model-based approach for activity recognition in pervasive environments 222
Non-Markovian performability evaluation of ERTMS/ETCS level 3 210
Stochastic modeling and analysis of road–tramway intersections 201
An efficient library for reliability block diagram evaluation 198
Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks 197
A tailored V-Model exploiting the theory of preemptive Time Petri Nets 196
Performability evaluation of the ERTMS/ETCS - Level 3 192
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living 191
A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction 188
Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics 187
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows 182
Hospital Inventory Management Through Markov Decision Processes @runtime 182
Stochastic Fault Trees for cross-layer power management of WSN monitoring systems 181
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems 178
Automatic Code Generation from Real-Time Systems Specifications 177
Compositional Analysis of Hierarchical UML Statecharts 176
A tool supporting evaluation of non-MarkovianFault Trees 175
Exploiting non-deterministic analysis in the integration of transient solution techniques for Markov regenerative processes 175
Road repair sequencing for disaster victim evacuation 174
An inspection-based compositional approach to the quantitative evaluation of assembly lines 171
An observation metamodel for dependability tools 161
State-density functions over DBM domains in the analysis of non-Markovian models 161
Compositional Safe Approximation of Response Time Distribution of Complex Workflows 159
The ORIS tool: App, library, and toolkit for quantitative evaluation of non-Markovian systems 156
An introduction to the ORIS tool 156
Quantitative Analysis of the Dynamic Relevance of Systems 153
Flood resilience of a water distribution sytem 152
A Quantitative Approach to Coordinated Scaling of Resources in Complex Cloud Computing Workflows 148
Neuro-Symbolic Artificial Intelligence for Safety Engineering 141
Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows 138
Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services 137
Towards Probabilistic Modeling and Analysis of Real-Time Systems 136
An Integrated Perspective on the Evaluation of Complex Railway Systems 134
Democratized Learning Enabling Multi-Level Digital Twin Model Integration 132
Cost-Effective Software Rejuvenation Combining Time-Based and Inspection-Based Policies 126
Multi-task neural networks for multi-step soil moisture forecasting in vineyards using Internet-of-Things sensors 124
Efficient derivation of optimal signal schedules for multimodal intersections 123
Empirical Application Insights on Industrial Data and Service Aspects of Digital Twin Networks 122
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation 118
A Compositional Approach to Coordinated Software Rejuvenation of Component-Based Systems 101
FaultFlow: an MDE Library for Dependability Evaluation of Component-Based Systems 96
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review 93
Dynamic MEC resource management for URLLC in Industry X.0 scenarios: A quantitative approach based on digital twin networks 91
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review 82
Data-Driven Synthesis of Stochastic Fault Trees for Proactive Maintenance of Railway Vehicles 68
The Omnibus Java Library: Efficient Synthesis of Optimal Signal Schedules for Multimodal Intersections 67
Quantitative Dependability Evaluation of Train Control Systems: Selected Case Studies 55
Quantitative Modeling and Evaluation of Software Aging and Rejuvenation in Microservices 32
Efficient Derivation of Optimal Signal Schedules for Multimodal Intersections 29
Time-Sensitive Importance Splitting 23
Compositional Coordinated Resource Provisioning in Workflows With Stochastic Durations 7
Totale 15.835
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.432
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 36.432
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022418 38 18 35 17 40 15 21 24 24 38 44 104
2022/20231.031 84 211 56 47 84 149 139 42 156 15 22 26
2023/2024376 17 50 62 18 22 41 14 67 6 23 37 19
2024/20253.985 116 312 220 463 1.292 770 84 225 177 48 94 184
2025/20264.863 348 647 460 387 537 208 528 296 356 397 129 570
2026/202783 83 0 0 0 0 0 0 0 0 0 0 0
Totale 15.835