ARCAINI, Paolo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 9.739
NA - Nord America 4.837
AS - Asia 2.308
SA - Sud America 186
AF - Africa 92
Continente sconosciuto - Info sul continente non disponibili 11
OC - Oceania 3
Totale 17.176
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.682
GB - Regno Unito 4.441
IE - Irlanda 1.977
CN - Cina 1.069
RU - Federazione Russa 921
SG - Singapore 743
IT - Italia 709
DE - Germania 410
FR - Francia 385
SE - Svezia 355
VN - Vietnam 179
UA - Ucraina 138
BR - Brasile 131
CA - Canada 130
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 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
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
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
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
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
NI - Nicaragua 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.199
Salva come PNG Salva come JPEG
Città #
Southend 4.303
Dublin 1.967
Ashburn 596
Jacksonville 443
San Jose 397
Singapore 316
Chandler 297
Moscow 225
Mountain View 196
Princeton 182
Rancio Valcuvia 173
Beijing 163
Ann Arbor 151
Hefei 147
Nanjing 146
Sunnyvale 134
Dalmine 120
Council Bluffs 111
Toronto 103
Boardman 97
Warsaw 95
Bergamo 86
Dearborn 85
Wilmington 76
The Dalles 64
Washington 63
Shanghai 57
Altamura 56
Atlanta 56
Johannesburg 56
Nanchang 53
San Mateo 53
Lauterbourg 52
Los Angeles 52
Milan 52
Zhengzhou 42
Hanoi 38
Ho Chi Minh City 38
New York 38
Woodbridge 36
Houston 35
Andover 34
Santa Clara 34
Seattle 34
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
Columbus 16
Jiaxing 15
Cambridge 14
Chicago 14
Frankfurt am Main 14
Hebei 14
Rome 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
São Paulo 9
Haiphong 8
Hamburg 8
Philadelphia 8
Biên Hòa 7
Dallas 7
Elk Grove Village 7
Phoenix 7
Quito 7
Amsterdam 6
Helsinki 6
Hounslow 6
Lahore 6
Norwalk 6
Totale 12.359
Salva come PNG Salva come JPEG
Nome #
Validation of Models and Tests for Constrained Combinatorial Interaction Testing 461
Components monitoring through formal specifications 443
Formal Semantics for Metamodel-Based Domain Specific Languages 439
An abstraction technique for testing decomposable systems by model checking 421
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 393
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 386
Offline model-based testing and runtime monitoring of the sensor voting module 385
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 365
Modeling and analyzing using ASMs: the landing gear system case study 355
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications 350
Formal design and verification of self-adaptive systems with decentralized control 349
Automatic review of Abstract State Machines by Meta Property Verification 345
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions 334
Integrating formal methods into medical software development: The ASM approach 332
Decomposition-Based Approach for Model-Based Test Generation 328
A novel use of equivalent mutants for static anomaly detection in software artifacts 326
Generating Tests for Detecting Faults in Feature Models 325
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 323
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 297
Using SMT for dealing with nondeterminism in ASM-based runtime verification 287
How to optimize the use of SAT and SMT solvers for test generation of Boolean expressions 286
Automated repairing of variability models 284
A DSL for MAPE patterns representation in self-adapting systems 283
A process for fault-driven repair of constraints among features 281
NuSeen: A Tool Framework for the NuSMV Model Checker 278
Automatic Detection and Removal of Conformance Faults in Feature Models 270
Achieving change requirements of feature models by an evolutionary approach 261
Achieving change requirements of feature models by an evolutionary approach 255
Unified syntax for abstract state machines 252
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation 249
An evolutionary process for product-driven updates of feature models 247
Repairing Timed Automata Clock Guards through Abstraction and Testing 246
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions 244
SMT-based automatic Proof of ASM model refinement 239
Fault-based test generation for regular expressions by mutation 236
Modeling and validating self-adaptive service-oriented applications 235
How to assure correctness and safety of medical software: The hemodialysis machine case study 233
Efficient and guaranteed detection of t-Way failure-inducing combinations 214
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers 212
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems 211
The ASMETA Approach to Safety Assurance of Software Systems 209
Dealing with Robustness of Convolutional Neural Networks for Image Classification 203
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 192
Introduction to the 2nd workshop on "Formal Approaches for Advanced Computing Systems" (FAACS@ECSA 2018) 174
Intelligent Autonomous Systems 173
Efficient Computation of Robustness of Convolutional Neural Networks 163
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources 139
Formal semantics for metamodel-based domain specific languages 15
null 4
Totale 17.568
Salva come PNG Salva come JPEG
Categoria #
all - tutte 52.823
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 52.823
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021122 0 0 0 0 0 0 0 0 0 0 0 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.855 150 135 246 238 416 241 485 171 212 223 183 155
Totale 17.568