ARCAINI, Paolo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 9.148
NA - Nord America 3.334
AS - Asia 947
Continente sconosciuto - Info sul continente non disponibili 11
SA - Sud America 9
AF - Africa 7
OC - Oceania 4
Totale 13.460
Salva come PNG Salva come JPEG
Nazione #
GB - Regno Unito 4.421
US - Stati Uniti d'America 3.220
IE - Irlanda 2.016
IT - Italia 698
CN - Cina 685
RU - Federazione Russa 550
DE - Germania 363
SE - Svezia 353
FR - Francia 330
UA - Ucraina 135
SG - Singapore 111
CA - Canada 109
PL - Polonia 88
RO - Romania 49
KR - Corea 47
FI - Finlandia 43
IN - India 36
EU - Europa 33
AT - Austria 26
VN - Vietnam 26
CZ - Repubblica Ceca 16
NL - Olanda 16
BE - Belgio 14
JP - Giappone 11
ID - Indonesia 8
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
TH - Thailandia 4
BY - Bielorussia 3
IR - Iran 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
HK - Hong Kong 1
IL - Israele 1
KE - Kenya 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LU - Lussemburgo 1
PT - Portogallo 1
SI - Slovenia 1
TZ - Tanzania 1
Totale 13.483
Salva come PNG Salva come JPEG
Città #
Southend 4.303
Dublin 2.004
Jacksonville 443
Chandler 307
Mountain View 195
Princeton 185
Rancio Valcuvia 173
Ann Arbor 151
Nanjing 145
Sunnyvale 134
Ashburn 131
Dalmine 124
Toronto 100
Boardman 95
Warsaw 88
Bergamo 85
Dearborn 85
Beijing 83
Wilmington 77
Washington 63
Singapore 57
Altamura 56
Nanchang 53
San Mateo 53
Shanghai 52
Atlanta 46
Milan 44
Zhengzhou 40
Woodbridge 36
Moscow 35
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
London 20
Ogden 20
Duelmen 19
Ratingen 17
Jiaxing 15
Boydton 14
Cambridge 14
Hebei 14
Lanzhou 13
Rome 13
Seoul 13
Stuttgart 13
Brussels 12
Los Angeles 12
Prague 11
Hangzhou 10
Verona 10
Changsha 9
Hefei 9
Kiez 9
Ottawa 9
Hamburg 8
Jakarta 7
Frankfurt am Main 6
Guangzhou 6
Hounslow 6
Norwalk 6
Helsinki 5
Karlsruhe 5
Kilburn 5
Lovere 5
Philadelphia 5
Sofia 5
Turin 5
Acton 4
Bangkok 4
Busto Arsizio 4
Changchun 4
Falls Church 4
Kocaeli 4
Munich 4
Pune 4
Redmond 4
Sakarya 4
Tappahannock 4
Valencia 4
Vimercate 4
Aachen 3
Auburn Hills 3
Bari 3
Berlin 3
Bern 3
Brindisi 3
Campeche 3
Kemerovo 3
Kharkov 3
Luft 3
Needham Heights 3
Totale 10.196
Salva come PNG Salva come JPEG
Nome #
Formal Semantics for Metamodel-Based Domain Specific Languages 391
Components monitoring through formal specifications 390
Validation of Models and Tests for Constrained Combinatorial Interaction Testing 389
A model advisor for NuSMV specifications 359
CoMA: Conformance Monitoring of Java programs by Abstract State Machines 347
An abstraction technique for testing decomposable systems by model checking 346
epop: an Eclipse-based extensible research evaluator 342
Test generation for sequential nets of Abstract State Machines with information passing 325
Offline model-based testing and runtime monitoring of the sensor voting module 324
Online Testing of LTL Properties for Java Code 320
The ASMETA framework 310
Modeling and analyzing using ASMs: the landing gear system case study 310
NuSeen: an eclipse-based environment for the NuSMV model checker 306
Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism 305
A model-driven process for engineering a toolset for a formal method 304
Automatic review of Abstract State Machines by Meta Property Verification 297
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions 294
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications 282
Flexible querying of volunteered geographic information for risk management 273
Wildfire susceptibility maps flexible querying and answering 264
Visual Notation and Patterns for Abstract State Machines 258
Formal design and verification of self-adaptive systems with decentralized control 258
Decomposition-Based Approach for Model-Based Test Generation 256
Using mutation to assess fault detection capability of model review 247
Integrating formal methods into medical software development: The ASM approach 242
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts 241
A novel use of equivalent mutants for static anomaly detection in software artifacts 240
Rigorous development process of a safety-critical system: from ASM models to Java code 240
Generating Tests for Detecting Faults in Feature Models 235
Using SMT for dealing with nondeterminism in ASM-based runtime verification 234
Automated repairing of variability models 232
How to optimize the use of SAT and SMT solvers for test generation of Boolean expressions 225
NuSeen: A Tool Framework for the NuSMV Model Checker 214
Automatic Detection and Removal of Conformance Faults in Feature Models 209
A DSL for MAPE patterns representation in self-adapting systems 209
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation 205
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions 203
Unified syntax for abstract state machines 199
Modeling and validating self-adaptive service-oriented applications 190
Achieving change requirements of feature models by an evolutionary approach 190
An evolutionary process for product-driven updates of feature models 189
SMT-based automatic Proof of ASM model refinement 186
How to assure correctness and safety of medical software: The hemodialysis machine case study 185
Repairing Timed Automata Clock Guards through Abstraction and Testing 181
Achieving change requirements of feature models by an evolutionary approach 180
A process for fault-driven repair of constraints among features 176
Fault-based test generation for regular expressions by mutation 174
Efficient and guaranteed detection of t-Way failure-inducing combinations 152
Dealing with Robustness of Convolutional Neural Networks for Image Classification 145
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems 140
Addressing usability in a formal development environment 137
The ASMETA Approach to Safety Assurance of Software Systems 137
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation 133
Regular Expression Learning with Evolutionary Testing and Repair 130
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA 130
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers 121
Intelligent Autonomous Systems 111
Introduction to the 2nd workshop on "Formal Approaches for Advanced Computing Systems" (FAACS@ECSA 2018) 105
Efficient Computation of Robustness of Convolutional Neural Networks 95
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources 40
Totale 13.852
Salva come PNG Salva come JPEG
Categoria #
all - tutte 38.281
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 38.281
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020544 0 0 0 0 0 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.467 48 50 37 43 77 505 1.533 89 35 6 4 40
2024/2025527 62 134 49 232 34 16 0 0 0 0 0 0
Totale 13.852