CARNEVALI, LAURA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.968
EU - Europa 5.364
AS - Asia 3.062
SA - Sud America 452
AF - Africa 89
OC - Oceania 39
Continente sconosciuto - Info sul continente non disponibili 4
Totale 14.978
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.910
PL - Polonia 2.782
RU - Federazione Russa 1.131
CN - Cina 926
SG - Singapore 793
IT - Italia 434
HK - Hong Kong 365
BR - Brasile 330
VN - Vietnam 292
KR - Corea 241
IE - Irlanda 236
DE - Germania 215
SE - Svezia 192
FI - Finlandia 112
IN - India 105
FR - Francia 81
JO - Giordania 80
GB - Regno Unito 68
JP - Giappone 57
AR - Argentina 53
ID - Indonesia 41
AU - Australia 39
TR - Turchia 27
CI - Costa d'Avorio 26
BD - Bangladesh 25
EC - Ecuador 23
MX - Messico 22
CA - Canada 20
IQ - Iraq 19
CH - Svizzera 17
ZA - Sudafrica 15
BE - Belgio 14
NL - Olanda 14
UA - Ucraina 14
PK - Pakistan 12
AT - Austria 11
ES - Italia 11
PY - Paraguay 11
CL - Cile 9
CO - Colombia 9
MA - Marocco 9
NG - Nigeria 9
VE - Venezuela 9
AE - Emirati Arabi Uniti 8
TH - Thailandia 8
TW - Taiwan 7
UZ - Uzbekistan 7
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
JM - Giamaica 4
KE - Kenya 4
RO - Romania 4
AL - Albania 3
BH - Bahrain 3
DZ - Algeria 3
EG - Egitto 3
IL - Israele 3
LT - Lituania 3
LV - Lettonia 3
PE - Perù 3
TN - Tunisia 3
UY - Uruguay 3
AF - Afghanistan, Repubblica islamica di 2
AM - Armenia 2
BO - Bolivia 2
CG - Congo 2
CZ - Repubblica Ceca 2
EE - Estonia 2
ET - Etiopia 2
EU - Europa 2
GT - Guatemala 2
KG - Kirghizistan 2
MY - Malesia 2
PA - Panama 2
SY - Repubblica araba siriana 2
TT - Trinidad e Tobago 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
DK - Danimarca 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
MK - Macedonia 1
MM - Myanmar 1
Totale 14.969
Salva come PNG Salva come JPEG
Città #
Warsaw 2.780
Santa Clara 1.696
Ashburn 598
Singapore 581
Fairfield 546
Hong Kong 315
Woodbridge 282
San Jose 255
Seattle 246
Seoul 236
Dublin 231
Houston 202
Hefei 199
Cambridge 190
Chandler 187
Beijing 167
Wilmington 165
Munich 131
Ann Arbor 116
Florence 96
The Dalles 94
Altamura 91
Ho Chi Minh City 91
Lawrence 89
Helsinki 75
Hanoi 70
Lauterbourg 61
Los Angeles 57
Princeton 54
Tokyo 53
Buffalo 49
Moscow 48
Mumbai 44
Kent 43
Boston 39
Melbourne 37
New York 35
Medford 33
San Diego 31
Shanghai 30
Boardman 26
Dallas 26
Jakarta 25
São Paulo 23
Abidjan 22
Council Bluffs 22
Da Nang 20
Clifton 19
Guangzhou 19
Jacksonville 18
Bern 17
Rome 17
Milan 16
Frankfurt am Main 15
Izmir 15
Chicago 14
London 13
Orem 13
Bengaluru 11
Boulder 11
Brussels 11
Haiphong 11
Porto Alegre 10
Rio de Janeiro 10
Saint Petersburg 10
Abuja 9
Johannesburg 9
Norwalk 9
Tianjin 9
Vienna 9
Brasília 8
Dong Ket 8
Shenzhen 8
Asunción 7
Guayaquil 7
San Francisco 7
Santiago 7
Taipei 7
Tashkent 7
Thái Bình 7
Biên Hòa 6
Chennai 6
Massa e Cozzile 6
New Delhi 6
Phoenix 6
Quito 6
Redondo Beach 6
Stockholm 6
Vancouver 6
Amman 5
Atlanta 5
Baghdad 5
Baku 5
Buenos Aires 5
Castelliri 5
Cotonou 5
Falls Church 5
Goiânia 5
Hillsboro 5
Manchester 5
Totale 10.984
Salva come PNG Salva come JPEG
Nome #
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems 387
Software Rejuvenation Impacts on a Phased-Mission System for Mars Exploration 363
Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems 362
Compositional Verification for Hierarchical Scheduling of Real-Time systems 360
Putting preemptive Time Petri Nets to work in a V-Model SW life cycle 357
A heuristic approach for predictive diagnosis of wheel wear based on low-cost track-side equipment 349
Combining UML-MARTE and preemptive Time Petri Nets: An Industrial Case Study 337
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software 323
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids 322
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis 321
Quantitative Evaluation of Availability Measures of Gas Distribution Networks 320
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models 317
A formal approach to design and verification of two-level Hierarchical Scheduling systems 311
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters 311
Non-Markovian Analysis for Model Driven Engineering of Real-Time Software 309
A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters 296
Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models 295
Formal methods in the development life cycle of real-time software 294
Analysis of a Road/Tramway Intersection by the ORIS Tool 289
Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis 275
Sensitization of symbolic runs in Real-Time Testing using the ORIS tool 262
A stochastic model-based approach to online event prediction and response scheduling 259
A novel layered approach to evaluate reliability of complex systems 236
Survivability Evaluation of Gas, Water and Electricity Infrastructures 230
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems 230
Performability evaluation of water distribution systems during maintenance procedures 227
Learning marked Markov modulated Poisson processes for online predictive analysis of attack scenarios 221
A continuous-time model-based approach for activity recognition in pervasive environments 218
Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow 217
Non-Markovian performability evaluation of ERTMS/ETCS level 3 201
Stochastic modeling and analysis of road–tramway intersections 194
A tailored V-Model exploiting the theory of preemptive Time Petri Nets 189
Performability evaluation of the ERTMS/ETCS - Level 3 189
Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks 187
Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics 186
A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction 185
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living 182
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows 180
Hospital Inventory Management Through Markov Decision Processes @runtime 176
An efficient library for reliability block diagram evaluation 173
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems 171
Road repair sequencing for disaster victim evacuation 169
Automatic Code Generation from Real-Time Systems Specifications 169
A tool supporting evaluation of non-MarkovianFault Trees 169
Exploiting non-deterministic analysis in the integration of transient solution techniques for Markov regenerative processes 169
An inspection-based compositional approach to the quantitative evaluation of assembly lines 168
Stochastic Fault Trees for cross-layer power management of WSN monitoring systems 167
Compositional Analysis of Hierarchical UML Statecharts 166
An observation metamodel for dependability tools 159
An introduction to the ORIS tool 153
Compositional Safe Approximation of Response Time Distribution of Complex Workflows 149
A Quantitative Approach to Coordinated Scaling of Resources in Complex Cloud Computing Workflows 148
The ORIS tool: App, library, and toolkit for quantitative evaluation of non-Markovian systems 148
State-density functions over DBM domains in the analysis of non-Markovian models 147
Flood resilience of a water distribution sytem 146
Quantitative Analysis of the Dynamic Relevance of Systems 145
Neuro-Symbolic Artificial Intelligence for Safety Engineering 135
Towards Probabilistic Modeling and Analysis of Real-Time Systems 135
An Integrated Perspective on the Evaluation of Complex Railway Systems 132
Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services 132
Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows 130
Democratized Learning Enabling Multi-Level Digital Twin Model Integration 129
Cost-Effective Software Rejuvenation Combining Time-Based and Inspection-Based Policies 123
Efficient derivation of optimal signal schedules for multimodal intersections 123
Empirical Application Insights on Industrial Data and Service Aspects of Digital Twin Networks 120
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation 106
Multi-task neural networks for multi-step soil moisture forecasting in vineyards using Internet-of-Things sensors 102
A Compositional Approach to Coordinated Software Rejuvenation of Component-Based Systems 101
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review 92
FaultFlow: an MDE Library for Dependability Evaluation of Component-Based Systems 88
Dynamic MEC resource management for URLLC in Industry X.0 scenarios: A quantitative approach based on digital twin networks 86
The Omnibus Java Library: Efficient Synthesis of Optimal Signal Schedules for Multimodal Intersections 64
Data-Driven Synthesis of Stochastic Fault Trees for Proactive Maintenance of Railway Vehicles 32
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review 30
Efficient Derivation of Optimal Signal Schedules for Multimodal Intersections 26
Time-Sensitive Importance Splitting 22
Quantitative Dependability Evaluation of Train Control Systems: Selected Case Studies 20
Quantitative Modeling and Evaluation of Software Aging and Rejuvenation in Microservices 10
Compositional Coordinated Resource Provisioning in Workflows With Stochastic Durations 6
Totale 15.127
Salva come PNG Salva come JPEG
Categoria #
all - tutte 34.161
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 34.161
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202175 0 0 0 0 0 0 0 0 0 0 34 41
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.238 348 647 460 387 537 208 528 296 356 397 74 0
Totale 15.127