ARCAINI, Paolo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 9.764
NA - Nord America 4.894
AS - Asia 2.322
Continente sconosciuto - Info sul continente non disponibili 403
SA - Sud America 189
AF - Africa 92
OC - Oceania 3
Totale 17.667
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.734
GB - Regno Unito 4.441
IE - Irlanda 1.977
CN - Cina 1.071
RU - Federazione Russa 921
SG - Singapore 754
IT - Italia 734
DE - Germania 410
FR - Francia 385
SE - Svezia 355
VN - Vietnam 179
UA - Ucraina 138
BR - Brasile 133
CA - Canada 133
PL - Polonia 105
NL - Olanda 102
IN - India 68
ZA - Sudafrica 63
KR - Corea 55
RO - Romania 50
FI - Finlandia 44
EU - Europa 33
HK - Hong Kong 33
AT - Austria 32
JP - Giappone 22
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
VE - Venezuela 5
BY - Bielorussia 4
CR - Costa Rica 4
GR - Grecia 4
KE - Kenya 4
MY - Malesia 4
PE - Perù 4
TN - Tunisia 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
AE - Emirati Arabi Uniti 2
EG - Egitto 2
ET - Etiopia 2
HU - Ungheria 2
JM - Giamaica 2
KG - Kirghizistan 2
KZ - Kazakistan 2
LB - Libano 2
MA - Marocco 2
NI - Nicaragua 2
NO - Norvegia 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
HN - Honduras 1
IL - Israele 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
TT - Trinidad e Tobago 1
TZ - Tanzania 1
UY - Uruguay 1
Totale 17.298
Salva come PNG Salva come JPEG
Città #
Southend 4.303
Dublin 1.967
Ashburn 605
Jacksonville 443
San Jose 414
Singapore 318
Chandler 297
Moscow 225
Mountain View 196
Princeton 182
Rancio Valcuvia 173
Beijing 165
Ann Arbor 151
Hefei 147
Nanjing 146
Sunnyvale 134
Dalmine 120
Council Bluffs 111
Toronto 104
Boardman 97
Warsaw 95
Bergamo 86
Dearborn 85
Wilmington 76
The Dalles 64
Washington 63
Shanghai 57
Altamura 56
Atlanta 56
Johannesburg 56
Milan 53
Nanchang 53
San Mateo 53
Lauterbourg 52
Los Angeles 52
Santa Clara 45
Zhengzhou 42
Hanoi 38
Ho Chi Minh City 38
New York 38
Woodbridge 36
Houston 35
Andover 34
Seattle 34
Hong Kong 31
Fairfield 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
Columbus 16
Jiaxing 15
Rome 15
Cambridge 14
Chicago 14
Frankfurt am Main 14
Hebei 14
Lanzhou 13
Nuremberg 13
Stuttgart 13
Brussels 12
Duelmen 12
Hangzhou 11
Prague 11
Ratingen 11
Montreal 10
Tokyo 10
Verona 10
Boston 9
Changsha 9
Jakarta 9
Kiez 9
Orem 9
Ottawa 9
Philadelphia 9
São Paulo 9
Dallas 8
Haiphong 8
Hamburg 8
Biên Hòa 7
Elk Grove Village 7
Phoenix 7
Quito 7
Amsterdam 6
Catania 6
Helsinki 6
Hounslow 6
Lahore 6
Totale 12.406
Salva come PNG Salva come JPEG
Nome #
Validation of Models and Tests for Constrained Combinatorial Interaction Testing 461
Formal Semantics for Metamodel-Based Domain Specific Languages 449
Components monitoring through formal specifications 443
An abstraction technique for testing decomposable systems by model checking 423
epop: an Eclipse-based extensible research evaluator 421
CoMA: Conformance Monitoring of Java programs by Abstract State Machines 412
A model advisor for NuSMV specifications 401
NuSeen: an eclipse-based environment for the NuSMV model checker 395
A model-driven process for engineering a toolset for a formal method 391
Test generation for sequential nets of Abstract State Machines with information passing 388
Offline model-based testing and runtime monitoring of the sensor voting module 386
Online Testing of LTL Properties for Java Code 375
Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism 367
The ASMETA framework 366
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications 359
Modeling and analyzing using ASMs: the landing gear system case study 355
Formal design and verification of self-adaptive systems with decentralized control 351
Automatic review of Abstract State Machines by Meta Property Verification 346
Integrating formal methods into medical software development: The ASM approach 336
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions 334
A novel use of equivalent mutants for static anomaly detection in software artifacts 330
Decomposition-Based Approach for Model-Based Test Generation 329
Generating Tests for Detecting Faults in Feature Models 326
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts 325
Flexible querying of volunteered geographic information for risk management 324
Wildfire susceptibility maps flexible querying and answering 324
Visual Notation and Patterns for Abstract State Machines 322
Using mutation to assess fault detection capability of model review 307
Rigorous development process of a safety-critical system: from ASM models to Java code 299
Using SMT for dealing with nondeterminism in ASM-based runtime verification 288
How to optimize the use of SAT and SMT solvers for test generation of Boolean expressions 286
A DSL for MAPE patterns representation in self-adapting systems 286
Automated repairing of variability models 285
A process for fault-driven repair of constraints among features 284
NuSeen: A Tool Framework for the NuSMV Model Checker 279
Automatic Detection and Removal of Conformance Faults in Feature Models 271
Unified syntax for abstract state machines 261
Achieving change requirements of feature models by an evolutionary approach 261
Achieving change requirements of feature models by an evolutionary approach 256
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation 251
An evolutionary process for product-driven updates of feature models 249
Repairing Timed Automata Clock Guards through Abstraction and Testing 249
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions 245
SMT-based automatic Proof of ASM model refinement 239
Fault-based test generation for regular expressions by mutation 239
Modeling and validating self-adaptive service-oriented applications 236
How to assure correctness and safety of medical software: The hemodialysis machine case study 235
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems 215
Efficient and guaranteed detection of t-Way failure-inducing combinations 214
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers 212
The ASMETA Approach to Safety Assurance of Software Systems 211
Dealing with Robustness of Convolutional Neural Networks for Image Classification 204
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA 197
Regular Expression Learning with Evolutionary Testing and Repair 194
Addressing usability in a formal development environment 193
Introduction to the 2nd workshop on "Formal Approaches for Advanced Computing Systems" (FAACS@ECSA 2018) 184
Intelligent Autonomous Systems 174
Efficient Computation of Robustness of Convolutional Neural Networks 164
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources 140
Formal semantics for metamodel-based domain specific languages 16
null 4
Totale 17.667
Salva come PNG Salva come JPEG
Categoria #
all - tutte 54.126
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 54.126
Salva come PNG Salva come JPEG


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