CARNEVALI, LAURA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.769
NA - Nord America 2.798
AS - Asia 377
SA - Sud America 5
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
Totale 6.953
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.795
PL - Polonia 2.770
IT - Italia 302
IE - Irlanda 235
SE - Svezia 184
CN - Cina 119
RU - Federazione Russa 101
HK - Hong Kong 91
JO - Giordania 75
DE - Germania 48
GB - Regno Unito 41
SG - Singapore 36
FI - Finlandia 35
IN - India 22
CH - Svizzera 17
TR - Turchia 16
BE - Belgio 10
VN - Vietnam 10
AT - Austria 7
FR - Francia 6
BR - Brasile 4
IR - Iran 4
UA - Ucraina 4
CA - Canada 3
NL - Olanda 3
RO - Romania 3
ES - Italia 2
EU - Europa 2
MA - Marocco 2
PK - Pakistan 2
EC - Ecuador 1
GR - Grecia 1
ID - Indonesia 1
KR - Corea 1
Totale 6.953
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 63
Princeton 54
Beijing 53
Hong Kong 48
Boston 33
Medford 33
San Diego 30
Boardman 26
Kent 24
Shanghai 24
Singapore 23
Bern 17
Jacksonville 17
Izmir 15
Moscow 15
Boulder 11
Brussels 10
New York 10
Saint Petersburg 10
Norwalk 9
Rome 9
Dong Ket 8
Helsinki 7
London 7
Vienna 7
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
Guangzhou 3
Los Angeles 3
Macerata Campania 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
Des Moines 2
Hefei 2
Laurel 2
Liverpool 2
Marrakesh 2
Martellago 2
Milan 2
Nagold 2
Nanjing 2
Redwood City 2
Rimini 2
Tappahannock 2
Tehran 2
Turin 2
Vadodara 2
West Jordan 2
Xian 2
Ambato 1
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
Totale 6.058
Salva come PNG Salva come JPEG
Nome #
Compositional Verification for Hierarchical Scheduling of Real-Time systems 246
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software 245
Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems 242
Putting preemptive Time Petri Nets to work in a V-Model SW life cycle 240
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems 229
Software Rejuvenation Impacts on a Phased-Mission System for Mars Exploration 229
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models 224
Combining UML-MARTE and preemptive Time Petri Nets: An Industrial Case Study 218
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids 214
Non-Markovian Analysis for Model Driven Engineering of Real-Time Software 213
Quantitative Evaluation of Availability Measures of Gas Distribution Networks 213
A formal approach to design and verification of two-level Hierarchical Scheduling systems 211
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis 211
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters 210
A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters 207
Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models 196
Formal methods in the development life cycle of real-time software 195
Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis 195
Sensitization of symbolic runs in Real-Time Testing using the ORIS tool 190
Survivability Evaluation of Gas, Water and Electricity Infrastructures 164
A stochastic model-based approach to online event prediction and response scheduling 156
Analysis of a Road/Tramway Intersection by the ORIS Tool 156
A novel layered approach to evaluate reliability of complex systems 132
Performability evaluation of water distribution systems during maintenance procedures 130
Stochastic modeling and analysis of road–tramway intersections 103
A continuous-time model-based approach for activity recognition in pervasive environments 100
Non-Markovian performability evaluation of ERTMS/ETCS level 3 100
A tailored V-Model exploiting the theory of preemptive Time Petri Nets 96
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems 93
Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks 91
Performability evaluation of the ERTMS/ETCS - Level 3 91
Road repair sequencing for disaster victim evacuation 88
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems 86
Stochastic Fault Trees for cross-layer power management of WSN monitoring systems 84
Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow 82
Hospital Inventory Management Through Markov Decision Processes @runtime 82
A tool supporting evaluation of non-MarkovianFault Trees 81
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living 80
State-density functions over DBM domains in the analysis of non-Markovian models 78
Exploiting non-deterministic analysis in the integration of transient solution techniques for Markov regenerative processes 78
Automatic Code Generation from Real-Time Systems Specifications 77
An inspection-based compositional approach to the quantitative evaluation of assembly lines 73
A heuristic approach for predictive diagnosis of wheel wear based on low-cost track-side equipment 70
Flood resilience of a water distribution sytem 65
Towards Probabilistic Modeling and Analysis of Real-Time Systems 60
Learning marked Markov modulated Poisson processes for online predictive analysis of attack scenarios 54
An introduction to the ORIS tool 53
Quantitative Analysis of the Dynamic Relevance of Systems 50
An efficient library for reliability block diagram evaluation 47
Compositional Safe Approximation of Response Time Distribution of Complex Workflows 40
Compositional Analysis of Hierarchical UML Statecharts 40
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows 32
Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics 31
Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services 27
A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction 21
Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows 15
The ORIS tool: App, library, and toolkit for quantitative evaluation of non-Markovian systems 13
A Quantitative Approach to Coordinated Scaling of Resources in Complex Cloud Computing Workflows 9
An observation metamodel for dependability tools 5
Efficient derivation of optimal signal schedules for multimodal intersections 5
Totale 7.066
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.016
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 17.016
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.746 0 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/2024376 17 50 62 18 22 41 14 67 6 23 37 19
2024/2025162 116 46 0 0 0 0 0 0 0 0 0 0
Totale 7.066