CARNEVALI, LAURA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.670
NA - Nord America 2.793
AS - Asia 297
SA - Sud America 4
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
Totale 6.768
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.790
PL - Polonia 2.770
IT - Italia 290
IE - Irlanda 235
SE - Svezia 184
HK - Hong Kong 91
CN - Cina 77
JO - Giordania 75
DE - Germania 47
GB - Regno Unito 40
FI - Finlandia 29
RU - Federazione Russa 27
IN - India 22
CH - Svizzera 17
TR - Turchia 16
BE - Belgio 10
VN - Vietnam 10
AT - Austria 6
BR - Brasile 4
UA - Ucraina 4
CA - Canada 3
NL - Olanda 3
RO - Romania 3
ES - Italia 2
EU - Europa 2
FR - Francia 2
IR - Iran 2
MA - Marocco 2
PK - Pakistan 2
GR - Grecia 1
ID - Indonesia 1
KR - Corea 1
Totale 6.768
Salva come PNG Salva come JPEG
Città #
Warsaw 2.770
Fairfield 546
Woodbridge 282
Seattle 243
Ashburn 236
Dublin 230
Houston 197
Cambridge 190
Chandler 187
Wilmington 165
Ann Arbor 116
Altamura 91
Lawrence 88
Florence 59
Princeton 54
Beijing 52
Hong Kong 48
Boston 33
Medford 33
San Diego 30
Boardman 26
Kent 24
Bern 17
Jacksonville 17
Izmir 15
Moscow 15
Shanghai 15
Boulder 11
Brussels 10
New York 10
Saint Petersburg 10
Norwalk 9
Dong Ket 8
London 7
Rome 7
Vienna 6
Castelliri 5
Falls Church 5
Hillsboro 5
Andover 4
Buffalo 4
Cagliari 4
Dearborn 4
Fucecchio 4
Jaboatao dos Guararapes 4
Prad am Stilfser Joch 4
Prato 4
San Lazzaro Di Savena 4
Santa Croce Sull' Arno 4
Terlizzi 4
Bovalino 3
Bucharest 3
Forlì 3
Granarolo 3
Phoenix 3
Rufina 3
Torino 3
Toronto 3
Washington 3
Bahawalpur 2
Barcelona 2
Bologna 2
Borgo San Lorenzo 2
Castelfiorentino 2
Chianciano Terme 2
Laurel 2
Liverpool 2
Los Angeles 2
Marrakesh 2
Martellago 2
Milan 2
Nagold 2
Redwood City 2
Rimini 2
Tappahannock 2
Tehran 2
Turin 2
Vadodara 2
West Jordan 2
Xian 2
Athens 1
Bandung 1
Bremen 1
Brooklyn 1
Chengdu 1
Chicago 1
Civitavecchia 1
Dicomano 1
Duncan 1
Düsseldorf 1
Esslingen am Neckar 1
Foggia 1
Frassinello 1
Fuzhou 1
Genova 1
Germantown 1
Grevenbroich 1
Groningen 1
Guangzhou 1
Gunzenhausen 1
Totale 6.005
Salva come PNG Salva come JPEG
Nome #
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software 242
Compositional Verification for Hierarchical Scheduling of Real-Time systems 242
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
Software Rejuvenation Impacts on a Phased-Mission System for Mars Exploration 227
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
Combining UML-MARTE and preemptive Time Petri Nets: An Industrial Case Study 217
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids 212
Non-Markovian Analysis for Model Driven Engineering of Real-Time Software 211
A formal approach to design and verification of two-level Hierarchical Scheduling systems 210
Quantitative Evaluation of Availability Measures of Gas Distribution Networks 210
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis 209
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters 208
A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters 204
Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models 193
Formal methods in the development life cycle of real-time software 192
Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis 192
Sensitization of symbolic runs in Real-Time Testing using the ORIS tool 187
Survivability Evaluation of Gas, Water and Electricity Infrastructures 162
A stochastic model-based approach to online event prediction and response scheduling 155
Analysis of a Road/Tramway Intersection by the ORIS Tool 151
A novel layered approach to evaluate reliability of complex systems 129
Performability evaluation of water distribution systems during maintenance procedures 127
Stochastic modeling and analysis of road–tramway intersections 99
A continuous-time model-based approach for activity recognition in pervasive environments 97
Non-Markovian performability evaluation of ERTMS/ETCS level 3 97
A tailored V-Model exploiting the theory of preemptive Time Petri Nets 95
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems 91
Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks 88
Performability evaluation of the ERTMS/ETCS - Level 3 88
Road repair sequencing for disaster victim evacuation 86
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems 84
Stochastic Fault Trees for cross-layer power management of WSN monitoring systems 82
Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow 80
A tool supporting evaluation of non-MarkovianFault Trees 78
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living 77
Hospital Inventory Management Through Markov Decision Processes @runtime 77
State-density functions over DBM domains in the analysis of non-Markovian models 75
Automatic Code Generation from Real-Time Systems Specifications 73
Exploiting non-deterministic analysis in the integration of transient solution techniques for Markov regenerative processes 72
An inspection-based compositional approach to the quantitative evaluation of assembly lines 70
A heuristic approach for predictive diagnosis of wheel wear based on low-cost track-side equipment 65
Flood resilience of a water distribution sytem 63
Towards Probabilistic Modeling and Analysis of Real-Time Systems 56
Learning marked Markov modulated Poisson processes for online predictive analysis of attack scenarios 51
An introduction to the ORIS tool 50
Quantitative Analysis of the Dynamic Relevance of Systems 49
An efficient library for reliability block diagram evaluation 46
Compositional Safe Approximation of Response Time Distribution of Complex Workflows 37
Compositional Analysis of Hierarchical UML Statecharts 36
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows 26
Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics 24
Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services 23
A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction 19
Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows 9
The ORIS tool: App, library, and toolkit for quantitative evaluation of non-Markovian systems 9
Efficient derivation of optimal signal schedules for multimodal intersections 1
Totale 6.879
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.433
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 15.433
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019380 0 0 0 0 0 0 0 0 0 0 222 158
2019/20201.868 122 201 69 139 236 187 188 224 176 144 155 27
2020/20211.112 99 133 36 123 59 113 64 84 125 201 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/2024351 17 50 62 18 22 41 14 67 6 23 31 0
Totale 6.879