VICARIO, ENRICO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.316
EU - Europa 8.069
AS - Asia 1.147
OC - Oceania 79
AF - Africa 40
SA - Sud America 14
Continente sconosciuto - Info sul continente non disponibili 4
Totale 18.669
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.302
PL - Polonia 4.432
RU - Federazione Russa 1.582
IT - Italia 535
IE - Irlanda 475
SE - Svezia 435
HK - Hong Kong 282
SG - Singapore 279
CN - Cina 200
JO - Giordania 164
DE - Germania 137
FI - Finlandia 129
UA - Ucraina 118
GB - Regno Unito 110
IN - India 98
AU - Australia 78
TR - Turchia 42
ID - Indonesia 39
FR - Francia 29
CI - Costa d'Avorio 28
BE - Belgio 22
VN - Vietnam 19
CH - Svizzera 18
CA - Canada 14
ES - Italia 12
BR - Brasile 10
AT - Austria 9
NL - Olanda 7
RO - Romania 7
TH - Thailandia 6
ZA - Sudafrica 6
EU - Europa 4
GR - Grecia 3
KG - Kirghizistan 3
KR - Corea 3
SC - Seychelles 3
BG - Bulgaria 2
EC - Ecuador 2
IR - Iran 2
JP - Giappone 2
MA - Marocco 2
PE - Perù 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
BD - Bangladesh 1
BY - Bielorussia 1
DK - Danimarca 1
DZ - Algeria 1
EE - Estonia 1
GE - Georgia 1
HR - Croazia 1
IL - Israele 1
LV - Lettonia 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
TJ - Tagikistan 1
TW - Taiwan 1
Totale 18.669
Salva come PNG Salva come JPEG
Città #
Warsaw 4.430
Santa Clara 3.178
Fairfield 1.024
Woodbridge 492
Dublin 470
Chandler 468
Seattle 466
Ashburn 444
Cambridge 408
Houston 388
Wilmington 329
Ann Arbor 260
Singapore 224
Hong Kong 186
Jacksonville 183
Altamura 140
Lawrence 132
Princeton 123
Florence 113
Medford 78
Melbourne 78
Mumbai 70
Boardman 69
Beijing 66
Boston 59
Shanghai 57
San Diego 51
Moscow 48
Helsinki 44
Kent 40
Izmir 38
Jakarta 38
Buffalo 32
Abidjan 28
Rome 23
Brussels 22
Norwalk 22
Dong Ket 19
New York 19
Bern 18
London 17
Andover 13
Hillsboro 13
Barcelona 12
Los Angeles 12
Saint Petersburg 12
West Jordan 12
Granarolo 11
Phoenix 10
Toronto 9
Vienna 9
Falls Church 8
Frankfurt Am Main 8
Livorno 8
Milan 8
Prato 8
Castelliri 7
Guangzhou 7
Tappahannock 7
Verona 7
Yubileyny 7
Boulder 6
Bremen 6
Philadelphia 6
Dearborn 5
Edinburgh 5
Falkenstein 5
Redwood City 5
Scandicci 5
Arezzo 4
Cape Town 4
Chiang Mai 4
Eching 4
Fucecchio 4
Jaboatao dos Guararapes 4
North Bergen 4
San Mateo 4
Santa Croce Sull' Arno 4
Shenzhen 4
Terlizzi 4
Thiene 4
Uzzano 4
Bishkek 3
Bologna 3
Bovalino 3
Incisa 3
Leawood 3
Massa e Cozzile 3
Prad am Stilfser Joch 3
Rende 3
Salford 3
Saronno 3
Timisoara 3
Washington 3
Athens 2
Bagnolet 2
Borgo San Lorenzo 2
Brugherio 2
Castelfiorentino 2
Chennai 2
Totale 14.725
Salva come PNG Salva come JPEG
Nome #
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm 304
Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems 291
Compositional Verification for Hierarchical Scheduling of Real-Time systems 290
Putting preemptive Time Petri Nets to work in a V-Model SW life cycle 288
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software 282
Transient analysis of non-Markovian models using stochastic state classes 282
An Ontological Sw Architecture For The Development Of Cooperative Web Portals 281
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems 277
ORIS: A TOOL FOR STATE-SPACE ANALYSIS OF REAL-TIME PREEMPTIVE SYSTEMS 274
INTRODUCING PROBABILITY WITHIN STATE CLASS ANALYSIS OF DENSE-TIME-DEPENDENT SYSTEMS 271
Combining UML-MARTE and preemptive Time Petri Nets: An Industrial Case Study 271
Engineering the Performance of a Meta-modeling Architecture 267
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models 264
PREDICTING TIMELINESS OF REACTIVE SYSTEMS UNDER FLEXIBLE SCHEDULING 263
Transient analysis of generalised semi-Markov processes using transient stochastic state classes 263
Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets 260
Weighted Walkthroughs between Extended Entities for Retrieval by Spatial Arrangement 260
Temporal Logic Bounded Model-Checking for Recognition of Activities of Daily Living 260
Non-Markovian Analysis for Model Driven Engineering of Real-Time Software 258
Efficient Matching and Indexing of Graph Models in Content Based Retrieval 257
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis 256
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters 255
Quantitative Evaluation of Availability Measures of Gas Distribution Networks 255
A formal approach to design and verification of two-level Hierarchical Scheduling systems 252
A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters 250
Modelling Spatial Relationships between Colour Clusters 248
Potenzialità del paradigma ontologico nello sviluppo di applicazioni di eGovernment 241
Sirio: A framework for simulation and symbolic state space analysis of non-Markovian models 241
Spatial Arrangement of Color in Retrieval by Visual Similarity 238
Flood impacts on a water distribution network 234
Sensitization of symbolic runs in Real-Time Testing using the ORIS tool 224
An On-line system for automated recognition of human activities 213
Analysis of a Road/Tramway Intersection by the ORIS Tool 209
A stochastic model-based approach to online event prediction and response scheduling 201
Survivability Evaluation of Gas, Water and Electricity Infrastructures 199
Job scheduler for electromechanical system for biological analyses 175
Performability evaluation of water distribution systems during maintenance procedures 172
Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers 158
A continuous-time model-based approach for activity recognition in pervasive environments 148
Non-Markovian performability evaluation of ERTMS/ETCS level 3 148
A DISCRETE TIME MODEL FOR PERFORMANCE EVALUATION AND CORRECTNESS VERIFICATION OF REAL TIME SYSTEMS 146
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems 145
Stochastic modeling and analysis of road–tramway intersections 144
A LOOK-AHEAD STRATEGY FOR GRAPH MATCHING IN RETRIEVAL BY SPATIAL ARRANGEMENT 141
An Ontological SW Architecture supporting contribution and retrieval of service and process models 139
Experimental Performance Evaluation of Different Data Models for a Reflection Software Architecture over NoSQL Persistence Layers 139
Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks 138
Performability evaluation of the ERTMS/ETCS - Level 3 138
Performance evaluation of Fischer's protocol through steady-state analysis of Markov regenerative processes 138
A tailored V-Model exploiting the theory of preemptive Time Petri Nets 136
WEIGHTING SPATIAL ARRANGEMENT OF COLORS IN CONTENT BASED IMAGE RETRIEVAL 134
Guest Editorial: Special issue on formal modeling and analysis of timed systems 133
A TOOL SET FOR MODELING AND SIMULATION OF ROBOTIC WORKCELLS 132
Combining simulation and mean field analysis in quantitative evaluation of crowd evacuation scenarios 132
Stochastic Fault Trees for cross-layer power management of WSN monitoring systems 132
Deploying Digital Twins in a Lambda Architecture for Industry 4.0 132
MODELING FLEXIBLE REAL TIME SYSTEMS WITH PREEMPTIVE TIME PETRI NETS 131
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living 129
Probabilistic Model Checking of Regenerative Concurrent Systems 129
Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow 129
An adaptable patient-centric electronic health record system for personalized home care 126
Hospital Inventory Management Through Markov Decision Processes @runtime 125
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems 124
JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems 124
A tool supporting evaluation of non-MarkovianFault Trees 124
Exploiting non-deterministic analysis in the integration of transient solution techniques for Markov regenerative processes 124
An inspection-based compositional approach to the quantitative evaluation of assembly lines 124
Timed state space analysis of real-time preemptive systems 123
MANAGING THE COMPLEXITY OF MATCH IN RETRIEVAL BY SPATIAL ARRANGEMENT 122
Using 3D and ancillary media to train construction workers 121
Ontologies and Bayesian Networks in MedicalDiagnosis 121
Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living 120
Analysis of Relevance and Importance of Components in System Reliability 120
Probabilistic Model Checking of Regenerative Concurrent Systems 120
Automatic Code Generation from Real-Time Systems Specifications 118
MODELING SPATIAL RELATIONSHIPS BETWEEN COLOR SETS 116
Engineering the Usability of a Visual Formalism for Real-time Temporal Logic 116
Recommendations for the creation of datasets in support of data driven activity recognition models 116
Symbolic representation and visual querying of left ventricular image sequences 116
Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions 116
THE COMPUTATIONAL ASPECT OF RETRIEVAL BY SPATIAL ARRANGEMENT 115
State-density functions over DBM domains in the analysis of non-Markovian models 112
Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes 111
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems 107
Compositional validation of time-critical systems using Communicating Petri Nets 106
An Ontological SW Architecture Supporting Agile Development of Semantic Portals 106
Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets 106
An introduction to the ORIS tool 103
Flood resilience of a water distribution sytem 102
Integrating metrics in an ontological framework supporting SW-FMEA 101
Learning marked Markov modulated Poisson processes for online predictive analysis of attack scenarios 101
A framework for Model-Driven Engineering of resilient software-controlled systems 100
Compositional Safe Approximation of Response Time Distribution of Complex Workflows 98
Approximating distributions and transient probabilities of Markov chains by Bernstein expolynomial functions 96
MODELING AND VALIDATING TIMED SYSTEMS USING STANDARD SDL TOOLS 94
Quantitative Analysis of the Dynamic Relevance of Systems 93
Test coverage analysis for object oriented programs 93
An Ontological Approach to Systematization of SW-FMEA 92
Compositional Analysis of Hierarchical UML Statecharts 92
Static Analysis and Dynamic Steering of Time-Dependent Systems Using Time Petri Nets 91
Totale 16.932
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.360
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 42.360
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.601 0 0 0 0 0 0 336 414 312 220 261 58
2020/20212.051 181 215 88 231 106 207 126 147 197 393 64 96
2021/2022876 68 31 84 20 89 28 29 57 55 57 143 215
2022/20232.240 193 367 119 124 206 351 288 99 360 27 67 39
2023/2024688 34 104 130 38 39 57 30 107 15 43 58 33
2024/20255.910 232 581 428 855 2.441 1.359 14 0 0 0 0 0
Totale 18.828