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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.165 0 0 0 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.862 150 135 246 238 416 241 485 171 212 223 183 162
2026/2027907 62 168 479 198 0 0 0 0 0 0 0 0
Totale 18.482