ARCAINI, Paolo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 9.626
NA - Nord America 3.938
AS - Asia 1.808
SA - Sud America 138
AF - Africa 78
Continente sconosciuto - Info sul continente non disponibili 11
OC - Oceania 3
Totale 15.602
Salva come PNG Salva come JPEG
Nazione #
GB - Regno Unito 4.432
US - Stati Uniti d'America 3.803
IE - Irlanda 1.976
CN - Cina 987
RU - Federazione Russa 918
IT - Italia 700
SG - Singapore 560
DE - Germania 383
SE - Svezia 355
FR - Francia 333
UA - Ucraina 138
CA - Canada 119
BR - Brasile 106
PL - Polonia 105
NL - Olanda 99
VN - Vietnam 71
ZA - Sudafrica 60
KR - Corea 54
RO - Romania 50
FI - Finlandia 43
IN - India 41
EU - Europa 33
AT - Austria 31
HK - Hong Kong 22
CZ - Repubblica Ceca 15
JP - Giappone 15
TR - Turchia 15
BE - Belgio 14
AR - Argentina 12
MX - Messico 12
ES - Italia 10
ID - Indonesia 10
EC - Ecuador 9
CH - Svizzera 5
DZ - Algeria 5
IQ - Iraq 5
PK - Pakistan 5
BD - Bangladesh 4
CO - Colombia 4
GR - Grecia 4
PE - Perù 4
TH - Thailandia 4
AU - Australia 3
BY - Bielorussia 3
IR - Iran 3
KE - Kenya 3
LT - Lituania 3
HU - Ungheria 2
KZ - Kazakistan 2
LB - Libano 2
MA - Marocco 2
NO - Norvegia 2
OM - Oman 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AD - Andorra 1
AM - Armenia 1
AZ - Azerbaigian 1
BW - Botswana 1
CL - Cile 1
CR - Costa Rica 1
DK - Danimarca 1
DM - Dominica 1
EG - Egitto 1
ET - Etiopia 1
GA - Gabon 1
GY - Guiana 1
HN - Honduras 1
IL - Israele 1
KG - Kirghizistan 1
LU - Lussemburgo 1
MR - Mauritania 1
NG - Nigeria 1
PA - Panama 1
PH - Filippine 1
PT - Portogallo 1
PY - Paraguay 1
RW - Ruanda 1
SI - Slovenia 1
TW - Taiwan 1
TZ - Tanzania 1
Totale 15.625
Salva come PNG Salva come JPEG
Città #
Southend 4.303
Dublin 1.967
Jacksonville 443
Ashburn 431
Chandler 296
Singapore 231
Moscow 225
Mountain View 195
Princeton 182
Rancio Valcuvia 173
Beijing 159
Ann Arbor 151
Hefei 147
Nanjing 146
Sunnyvale 134
Dalmine 120
Toronto 101
Boardman 93
Warsaw 93
Bergamo 86
Dearborn 85
Wilmington 76
The Dalles 64
Washington 62
Altamura 56
Johannesburg 56
Shanghai 55
Atlanta 54
Nanchang 53
San Mateo 53
Milan 50
Los Angeles 41
Zhengzhou 41
Woodbridge 36
New York 34
Andover 33
Seattle 33
Houston 32
Fairfield 30
Shenyang 29
Redwood City 27
Vienna 27
Dong Ket 25
Kunming 25
Buffalo 24
Tianjin 23
Boydton 22
Hong Kong 22
Munich 22
London 21
Sayreville 21
Ogden 20
Seoul 20
Redondo Beach 19
Jiaxing 15
Cambridge 14
Hebei 14
Guangzhou 13
Lanzhou 13
Rome 13
Stuttgart 13
Brussels 12
Duelmen 12
Ho Chi Minh City 12
Chicago 11
Nuremberg 11
Prague 11
Ratingen 11
Hangzhou 10
Hanoi 10
Verona 10
Changsha 9
Kiez 9
Ottawa 9
Santa Clara 9
Boston 8
Frankfurt am Main 8
Hamburg 8
Jakarta 8
Elk Grove Village 7
Montreal 7
São Paulo 7
Hounslow 6
Norwalk 6
Philadelphia 6
Amsterdam 5
Changchun 5
Denver 5
Helsinki 5
Karlsruhe 5
Kilburn 5
Lovere 5
Phoenix 5
Tokyo 5
Turin 5
Acton 4
Bangkok 4
Berlin 4
Busto Arsizio 4
Falls Church 4
Totale 11.349
Salva come PNG Salva come JPEG
Nome #
Validation of Models and Tests for Constrained Combinatorial Interaction Testing 431
Formal Semantics for Metamodel-Based Domain Specific Languages 419
Components monitoring through formal specifications 418
A model advisor for NuSMV specifications 385
An abstraction technique for testing decomposable systems by model checking 385
CoMA: Conformance Monitoring of Java programs by Abstract State Machines 377
epop: an Eclipse-based extensible research evaluator 376
Offline model-based testing and runtime monitoring of the sensor voting module 362
Test generation for sequential nets of Abstract State Machines with information passing 357
NuSeen: an eclipse-based environment for the NuSMV model checker 355
Online Testing of LTL Properties for Java Code 351
A model-driven process for engineering a toolset for a formal method 348
The ASMETA framework 342
Modeling and analyzing using ASMs: the landing gear system case study 339
Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism 336
Automatic review of Abstract State Machines by Meta Property Verification 329
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications 321
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions 316
Decomposition-Based Approach for Model-Based Test Generation 306
Wildfire susceptibility maps flexible querying and answering 303
Formal design and verification of self-adaptive systems with decentralized control 302
Flexible querying of volunteered geographic information for risk management 300
Integrating formal methods into medical software development: The ASM approach 297
Visual Notation and Patterns for Abstract State Machines 289
A novel use of equivalent mutants for static anomaly detection in software artifacts 286
Using mutation to assess fault detection capability of model review 285
Generating Tests for Detecting Faults in Feature Models 285
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts 283
Rigorous development process of a safety-critical system: from ASM models to Java code 270
Automated repairing of variability models 268
Using SMT for dealing with nondeterminism in ASM-based runtime verification 267
How to optimize the use of SAT and SMT solvers for test generation of Boolean expressions 255
A DSL for MAPE patterns representation in self-adapting systems 255
NuSeen: A Tool Framework for the NuSMV Model Checker 252
Automatic Detection and Removal of Conformance Faults in Feature Models 242
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation 237
A process for fault-driven repair of constraints among features 235
An evolutionary process for product-driven updates of feature models 232
Unified syntax for abstract state machines 231
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions 228
Achieving change requirements of feature models by an evolutionary approach 228
Achieving change requirements of feature models by an evolutionary approach 228
Repairing Timed Automata Clock Guards through Abstraction and Testing 220
Modeling and validating self-adaptive service-oriented applications 219
SMT-based automatic Proof of ASM model refinement 217
Fault-based test generation for regular expressions by mutation 213
How to assure correctness and safety of medical software: The hemodialysis machine case study 212
Efficient and guaranteed detection of t-Way failure-inducing combinations 190
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems 183
The ASMETA Approach to Safety Assurance of Software Systems 183
Dealing with Robustness of Convolutional Neural Networks for Image Classification 180
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA 175
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers 174
Regular Expression Learning with Evolutionary Testing and Repair 171
Addressing usability in a formal development environment 170
Intelligent Autonomous Systems 158
Introduction to the 2nd workshop on "Formal Approaches for Advanced Computing Systems" (FAACS@ECSA 2018) 158
Efficient Computation of Robustness of Convolutional Neural Networks 134
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources 113
Formal semantics for metamodel-based domain specific languages 9
null 4
Totale 15.994
Salva come PNG Salva come JPEG
Categoria #
all - tutte 48.333
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 48.333
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.376 0 0 0 0 0 177 235 55 234 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/20261.281 150 135 246 238 416 96 0 0 0 0 0 0
Totale 15.994