ARCAINI, Paolo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 8.872
NA - Nord America 3.243
AS - Asia 874
Continente sconosciuto - Info sul continente non disponibili 11
SA - Sud America 9
AF - Africa 7
OC - Oceania 4
Totale 13.020
Salva come PNG Salva come JPEG
Nazione #
GB - Regno Unito 4.420
US - Stati Uniti d'America 3.131
IE - Irlanda 2.016
IT - Italia 684
CN - Cina 682
DE - Germania 353
SE - Svezia 353
FR - Francia 329
RU - Federazione Russa 305
UA - Ucraina 135
CA - Canada 107
PL - Polonia 88
SG - Singapore 52
RO - Romania 49
KR - Corea 47
FI - Finlandia 40
IN - India 35
EU - Europa 33
AT - Austria 26
VN - Vietnam 26
CZ - Repubblica Ceca 16
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 13.043
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 51
Atlanta 46
Milan 40
Zhengzhou 40
Woodbridge 36
Boardman 35
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
Ogden 20
Duelmen 19
London 19
Ratingen 17
Jiaxing 15
Cambridge 14
Hebei 14
Lanzhou 13
Rome 13
Seoul 13
Stuttgart 13
Brussels 11
Los Angeles 11
Prague 11
Singapore 11
Hangzhou 10
Verona 10
Changsha 9
Hefei 9
Kiez 9
Ottawa 9
Hamburg 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
Totale 10.052
Salva come PNG Salva come JPEG
Nome #
Formal Semantics for Metamodel-Based Domain Specific Languages 388
Components monitoring through formal specifications 384
Validation of Models and Tests for Constrained Combinatorial Interaction Testing 376
A model advisor for NuSMV specifications 353
An abstraction technique for testing decomposable systems by model checking 343
CoMA: Conformance Monitoring of Java programs by Abstract State Machines 342
epop: an Eclipse-based extensible research evaluator 338
Test generation for sequential nets of Abstract State Machines with information passing 321
Offline model-based testing and runtime monitoring of the sensor voting module 319
Online Testing of LTL Properties for Java Code 314
Modeling and analyzing using ASMs: the landing gear system case study 306
The ASMETA framework 304
A model-driven process for engineering a toolset for a formal method 300
Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism 300
NuSeen: an eclipse-based environment for the NuSMV model checker 295
Automatic review of Abstract State Machines by Meta Property Verification 291
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions 290
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications 277
Flexible querying of volunteered geographic information for risk management 269
Wildfire susceptibility maps flexible querying and answering 259
Visual Notation and Patterns for Abstract State Machines 254
Formal design and verification of self-adaptive systems with decentralized control 249
Decomposition-Based Approach for Model-Based Test Generation 246
Using mutation to assess fault detection capability of model review 242
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts 235
Integrating formal methods into medical software development: The ASM approach 235
Rigorous development process of a safety-critical system: from ASM models to Java code 234
A novel use of equivalent mutants for static anomaly detection in software artifacts 231
Using SMT for dealing with nondeterminism in ASM-based runtime verification 227
Generating Tests for Detecting Faults in Feature Models 225
How to optimize the use of SAT and SMT solvers for test generation of Boolean expressions 222
Automated repairing of variability models 222
NuSeen: A Tool Framework for the NuSMV Model Checker 209
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation 202
A DSL for MAPE patterns representation in self-adapting systems 201
Automatic Detection and Removal of Conformance Faults in Feature Models 200
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions 198
Unified syntax for abstract state machines 195
Modeling and validating self-adaptive service-oriented applications 185
SMT-based automatic Proof of ASM model refinement 181
Achieving change requirements of feature models by an evolutionary approach 180
How to assure correctness and safety of medical software: The hemodialysis machine case study 178
An evolutionary process for product-driven updates of feature models 178
Repairing Timed Automata Clock Guards through Abstraction and Testing 172
Achieving change requirements of feature models by an evolutionary approach 168
Fault-based test generation for regular expressions by mutation 166
A process for fault-driven repair of constraints among features 148
Efficient and guaranteed detection of t-Way failure-inducing combinations 140
Dealing with Robustness of Convolutional Neural Networks for Image Classification 138
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems 133
The ASMETA Approach to Safety Assurance of Software Systems 131
Addressing usability in a formal development environment 129
Regular Expression Learning with Evolutionary Testing and Repair 125
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation 123
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA 122
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers 105
Intelligent Autonomous Systems 101
Introduction to the 2nd workshop on "Formal Approaches for Advanced Computing Systems" (FAACS@ECSA 2018) 100
Efficient Computation of Robustness of Convolutional Neural Networks 84
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources 29
Totale 13.412
Salva come PNG Salva come JPEG
Categoria #
all - tutte 34.685
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 34.685
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020837 0 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.467 48 50 37 43 77 505 1.533 89 35 6 4 40
2024/202587 62 25 0 0 0 0 0 0 0 0 0 0
Totale 13.412