ARCAINI, Paolo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 8.768
NA - Nord America 3.238
AS - Asia 854
Continente sconosciuto - Info sul continente non disponibili 11
SA - Sud America 9
AF - Africa 7
OC - Oceania 4
Totale 12.891
Salva come PNG Salva come JPEG
Nazione #
GB - Regno Unito 4.420
US - Stati Uniti d'America 3.126
IE - Irlanda 2.016
IT - Italia 681
CN - Cina 678
DE - Germania 353
SE - Svezia 353
FR - Francia 329
RU - Federazione Russa 205
UA - Ucraina 135
CA - Canada 107
PL - Polonia 88
RO - Romania 49
KR - Corea 47
FI - Finlandia 40
SG - Singapore 36
IN - India 35
EU - Europa 33
AT - Austria 26
VN - Vietnam 26
CZ - Repubblica Ceca 15
NL - Olanda 15
BE - Belgio 13
JP - Giappone 11
TR - Turchia 8
BR - Brasile 7
BG - Bulgaria 5
CH - Svizzera 5
ES - Italia 5
MX - Messico 5
AU - Australia 4
DZ - Algeria 4
GR - Grecia 4
BY - Bielorussia 3
IR - Iran 3
TH - Thailandia 3
HU - Ungheria 2
NO - Norvegia 2
PK - Pakistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AR - Argentina 1
AZ - Azerbaigian 1
BD - Bangladesh 1
CO - Colombia 1
DK - Danimarca 1
ET - Etiopia 1
ID - Indonesia 1
IL - Israele 1
KE - Kenya 1
KZ - Kazakistan 1
LU - Lussemburgo 1
PT - Portogallo 1
SI - Slovenia 1
TZ - Tanzania 1
Totale 12.914
Salva come PNG Salva come JPEG
Città #
Southend 4.303
Dublin 2.004
Jacksonville 443
Chandler 305
Mountain View 195
Princeton 185
Rancio Valcuvia 173
Ann Arbor 151
Nanjing 145
Sunnyvale 134
Ashburn 130
Dalmine 124
Toronto 98
Warsaw 88
Dearborn 85
Beijing 83
Bergamo 83
Wilmington 77
Washington 63
Altamura 56
Nanchang 53
San Mateo 53
Shanghai 47
Atlanta 46
Milan 40
Zhengzhou 40
Woodbridge 36
Boardman 34
Andover 33
Seattle 31
Fairfield 30
Houston 29
Shenyang 29
Redwood City 27
Dong Ket 25
Kunming 25
Vienna 24
New York 22
Tianjin 22
Sayreville 21
Ogden 20
Duelmen 19
London 19
Ratingen 17
Jiaxing 15
Cambridge 14
Hebei 14
Lanzhou 13
Rome 13
Seoul 13
Stuttgart 13
Brussels 11
Prague 11
Hangzhou 10
Verona 10
Changsha 9
Hefei 9
Kiez 9
Ottawa 9
Hamburg 8
Los Angeles 8
Guangzhou 6
Hounslow 6
Norwalk 6
Karlsruhe 5
Kilburn 5
Lovere 5
Philadelphia 5
Sofia 5
Turin 5
Acton 4
Busto Arsizio 4
Changchun 4
Falls Church 4
Kocaeli 4
Redmond 4
Sakarya 4
Tappahannock 4
Valencia 4
Vimercate 4
Aachen 3
Auburn Hills 3
Bangkok 3
Bari 3
Berlin 3
Bern 3
Brindisi 3
Campeche 3
Kemerovo 3
Kharkov 3
Luft 3
Needham Heights 3
Phoenix 3
Pune 3
Recife 3
San Diego 3
Santa Clara 3
Sotto Il Monte 3
Wandsworth 3
Affi 2
Totale 10.003
Salva come PNG Salva come JPEG
Nome #
Formal Semantics for Metamodel-Based Domain Specific Languages 386
Components monitoring through formal specifications 382
Validation of Models and Tests for Constrained Combinatorial Interaction Testing 374
A model advisor for NuSMV specifications 351
An abstraction technique for testing decomposable systems by model checking 341
CoMA: Conformance Monitoring of Java programs by Abstract State Machines 341
epop: an Eclipse-based extensible research evaluator 335
Test generation for sequential nets of Abstract State Machines with information passing 318
Offline model-based testing and runtime monitoring of the sensor voting module 317
Online Testing of LTL Properties for Java Code 313
The ASMETA framework 304
Modeling and analyzing using ASMs: the landing gear system case study 304
A model-driven process for engineering a toolset for a formal method 298
Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism 298
NuSeen: an eclipse-based environment for the NuSMV model checker 293
Automatic review of Abstract State Machines by Meta Property Verification 289
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions 285
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications 275
Flexible querying of volunteered geographic information for risk management 266
Wildfire susceptibility maps flexible querying and answering 254
Visual Notation and Patterns for Abstract State Machines 252
Formal design and verification of self-adaptive systems with decentralized control 247
Decomposition-Based Approach for Model-Based Test Generation 244
Using mutation to assess fault detection capability of model review 242
Integrating formal methods into medical software development: The ASM approach 233
Rigorous development process of a safety-critical system: from ASM models to Java code 233
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts 231
A novel use of equivalent mutants for static anomaly detection in software artifacts 230
Using SMT for dealing with nondeterminism in ASM-based runtime verification 226
Generating Tests for Detecting Faults in Feature Models 222
Automated repairing of variability models 220
How to optimize the use of SAT and SMT solvers for test generation of Boolean expressions 219
NuSeen: A Tool Framework for the NuSMV Model Checker 207
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation 201
A DSL for MAPE patterns representation in self-adapting systems 199
Automatic Detection and Removal of Conformance Faults in Feature Models 198
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions 196
Unified syntax for abstract state machines 194
Modeling and validating self-adaptive service-oriented applications 183
SMT-based automatic Proof of ASM model refinement 180
Achieving change requirements of feature models by an evolutionary approach 178
How to assure correctness and safety of medical software: The hemodialysis machine case study 176
An evolutionary process for product-driven updates of feature models 176
Repairing Timed Automata Clock Guards through Abstraction and Testing 168
Fault-based test generation for regular expressions by mutation 165
Achieving change requirements of feature models by an evolutionary approach 165
A process for fault-driven repair of constraints among features 147
Efficient and guaranteed detection of t-Way failure-inducing combinations 139
Dealing with Robustness of Convolutional Neural Networks for Image Classification 134
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems 130
The ASMETA Approach to Safety Assurance of Software Systems 130
Addressing usability in a formal development environment 127
Regular Expression Learning with Evolutionary Testing and Repair 123
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA 119
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation 119
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers 102
Intelligent Autonomous Systems 98
Introduction to the 2nd workshop on "Formal Approaches for Advanced Computing Systems" (FAACS@ECSA 2018) 98
Efficient Computation of Robustness of Convolutional Neural Networks 82
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources 26
Totale 13.283
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.711
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 32.711
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019330 0 0 0 0 0 0 0 0 0 0 206 124
2019/2020977 140 23 121 77 72 75 107 97 112 51 32 70
2020/20211.864 204 80 41 88 75 177 235 55 234 196 357 122
2021/20221.603 155 168 94 158 138 235 74 46 88 177 161 109
2022/20231.274 195 164 171 171 118 154 4 58 100 22 57 60
2023/20242.425 48 50 37 43 77 505 1.533 89 35 6 2 0
Totale 13.283