ARCAINI, Paolo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 9.734
NA - Nord America 4.472
AS - Asia 2.274
SA - Sud America 186
AF - Africa 92
Continente sconosciuto - Info sul continente non disponibili 11
OC - Oceania 3
Totale 16.772
Salva come PNG Salva come JPEG
Nazione #
GB - Regno Unito 4.441
US - Stati Uniti d'America 4.326
IE - Irlanda 1.977
CN - Cina 1.059
RU - Federazione Russa 921
SG - Singapore 721
IT - Italia 704
DE - Germania 410
FR - Francia 385
SE - Svezia 355
VN - Vietnam 179
UA - Ucraina 138
BR - Brasile 131
CA - Canada 124
PL - Polonia 105
NL - Olanda 102
IN - India 68
ZA - Sudafrica 63
KR - Corea 55
RO - Romania 50
FI - Finlandia 44
EU - Europa 33
AT - Austria 32
HK - Hong Kong 32
JP - Giappone 21
BD - Bangladesh 19
TR - Turchia 19
AR - Argentina 17
ID - Indonesia 17
CZ - Repubblica Ceca 16
EC - Ecuador 15
BE - Belgio 14
IQ - Iraq 14
MX - Messico 14
PK - Pakistan 12
ES - Italia 11
SA - Arabia Saudita 9
CO - Colombia 8
DZ - Algeria 7
PH - Filippine 7
TH - Thailandia 6
TW - Taiwan 6
CH - Svizzera 5
BY - Bielorussia 4
CR - Costa Rica 4
GR - Grecia 4
KE - Kenya 4
MY - Malesia 4
PE - Perù 4
TN - Tunisia 4
VE - Venezuela 4
AU - Australia 3
AZ - Azerbaigian 3
CL - Cile 3
IR - Iran 3
LT - Lituania 3
NP - Nepal 3
OM - Oman 3
PT - Portogallo 3
EG - Egitto 2
ET - Etiopia 2
HU - Ungheria 2
KG - Kirghizistan 2
KZ - Kazakistan 2
LB - Libano 2
MA - Marocco 2
NO - Norvegia 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AD - Andorra 1
AE - Emirati Arabi Uniti 1
AL - Albania 1
AM - Armenia 1
BF - Burkina Faso 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BO - Bolivia 1
BW - Botswana 1
DK - Danimarca 1
DM - Dominica 1
GA - Gabon 1
GY - Guiana 1
HN - Honduras 1
IL - Israele 1
JM - Giamaica 1
JO - Giordania 1
LU - Lussemburgo 1
MD - Moldavia 1
MR - Mauritania 1
MU - Mauritius 1
NG - Nigeria 1
PA - Panama 1
PY - Paraguay 1
RW - Ruanda 1
SI - Slovenia 1
TZ - Tanzania 1
UY - Uruguay 1
Totale 16.795
Salva come PNG Salva come JPEG
Città #
Southend 4.303
Dublin 1.967
Ashburn 575
Jacksonville 443
San Jose 311
Singapore 308
Chandler 296
Moscow 225
Mountain View 195
Princeton 182
Rancio Valcuvia 173
Beijing 161
Ann Arbor 151
Hefei 147
Nanjing 146
Sunnyvale 134
Dalmine 120
Toronto 102
Boardman 97
Warsaw 93
Bergamo 86
Dearborn 85
Wilmington 76
The Dalles 64
Washington 63
Shanghai 57
Altamura 56
Johannesburg 56
Atlanta 55
Nanchang 53
San Mateo 53
Lauterbourg 52
Milan 51
Los Angeles 48
Zhengzhou 42
Hanoi 38
Ho Chi Minh City 38
Woodbridge 36
New York 35
Andover 33
Seattle 33
Houston 32
Fairfield 30
Hong Kong 30
Shenyang 29
Tianjin 29
Redwood City 27
Vienna 27
Dong Ket 25
Kunming 25
Buffalo 24
Boydton 22
Munich 22
London 21
Sayreville 21
Seoul 21
Ogden 20
Guangzhou 19
Redondo Beach 19
Langen 17
Jiaxing 15
Cambridge 14
Frankfurt am Main 14
Hebei 14
Lanzhou 13
Nuremberg 13
Rome 13
Santa Clara 13
Stuttgart 13
Brussels 12
Chicago 12
Duelmen 12
Hangzhou 11
Prague 11
Ratingen 11
Tokyo 10
Verona 10
Changsha 9
Jakarta 9
Kiez 9
Ottawa 9
São Paulo 9
Boston 8
Haiphong 8
Hamburg 8
Montreal 8
Orem 8
Biên Hòa 7
Council Bluffs 7
Elk Grove Village 7
Quito 7
Amsterdam 6
Helsinki 6
Hounslow 6
Lahore 6
Norwalk 6
Philadelphia 6
Phoenix 6
Baghdad 5
Changchun 5
Totale 12.075
Salva come PNG Salva come JPEG
Nome #
Validation of Models and Tests for Constrained Combinatorial Interaction Testing 452
Formal Semantics for Metamodel-Based Domain Specific Languages 434
Components monitoring through formal specifications 429
An abstraction technique for testing decomposable systems by model checking 415
epop: an Eclipse-based extensible research evaluator 410
CoMA: Conformance Monitoring of Java programs by Abstract State Machines 399
A model advisor for NuSMV specifications 397
NuSeen: an eclipse-based environment for the NuSMV model checker 387
A model-driven process for engineering a toolset for a formal method 381
Offline model-based testing and runtime monitoring of the sensor voting module 380
Test generation for sequential nets of Abstract State Machines with information passing 371
Online Testing of LTL Properties for Java Code 365
Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism 364
The ASMETA framework 357
Modeling and analyzing using ASMs: the landing gear system case study 351
Formal design and verification of self-adaptive systems with decentralized control 341
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications 339
Automatic review of Abstract State Machines by Meta Property Verification 337
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions 329
Decomposition-Based Approach for Model-Based Test Generation 323
Flexible querying of volunteered geographic information for risk management 319
Wildfire susceptibility maps flexible querying and answering 319
Generating Tests for Detecting Faults in Feature Models 318
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts 318
A novel use of equivalent mutants for static anomaly detection in software artifacts 317
Integrating formal methods into medical software development: The ASM approach 315
Visual Notation and Patterns for Abstract State Machines 313
Using mutation to assess fault detection capability of model review 301
Rigorous development process of a safety-critical system: from ASM models to Java code 291
How to optimize the use of SAT and SMT solvers for test generation of Boolean expressions 282
Using SMT for dealing with nondeterminism in ASM-based runtime verification 280
Automated repairing of variability models 279
A DSL for MAPE patterns representation in self-adapting systems 277
A process for fault-driven repair of constraints among features 276
NuSeen: A Tool Framework for the NuSMV Model Checker 272
Automatic Detection and Removal of Conformance Faults in Feature Models 261
Achieving change requirements of feature models by an evolutionary approach 254
An evolutionary process for product-driven updates of feature models 247
Unified syntax for abstract state machines 246
Achieving change requirements of feature models by an evolutionary approach 246
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation 244
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions 243
Repairing Timed Automata Clock Guards through Abstraction and Testing 241
SMT-based automatic Proof of ASM model refinement 231
Fault-based test generation for regular expressions by mutation 231
Modeling and validating self-adaptive service-oriented applications 230
How to assure correctness and safety of medical software: The hemodialysis machine case study 224
Efficient and guaranteed detection of t-Way failure-inducing combinations 210
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers 204
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems 202
The ASMETA Approach to Safety Assurance of Software Systems 201
Dealing with Robustness of Convolutional Neural Networks for Image Classification 197
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA 189
Regular Expression Learning with Evolutionary Testing and Repair 188
Addressing usability in a formal development environment 188
Intelligent Autonomous Systems 172
Introduction to the 2nd workshop on "Formal Approaches for Advanced Computing Systems" (FAACS@ECSA 2018) 171
Efficient Computation of Robustness of Convolutional Neural Networks 155
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources 133
Formal semantics for metamodel-based domain specific languages 14
null 4
Totale 17.164
Salva come PNG Salva come JPEG
Categoria #
all - tutte 50.327
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 50.327
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021675 0 0 0 0 0 0 0 0 0 196 357 122
2021/20221.582 155 168 94 158 138 235 74 46 88 177 161 88
2022/20231.234 191 162 168 167 117 149 3 56 94 18 51 58
2023/20242.407 43 48 33 42 75 492 1.503 88 35 6 4 38
2024/20251.509 60 131 47 227 34 25 26 62 203 235 225 234
2025/20262.451 150 135 246 238 416 241 485 171 212 157 0 0
Totale 17.164