IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

ARCAINI, PAOLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.367
NA - Nord America 1.216
AS - Asia 557
SA - Sud America 21
OC - Oceania 7
AF - Africa 4
Totale 3.172
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.197
GB - Regno Unito 443
IT - Italia 316
CN - Cina 266
SG - Singapore 121
SE - Svezia 103
DE - Germania 96
RU - Federazione Russa 85
IE - Irlanda 62
FR - Francia 53
DK - Danimarca 40
PL - Polonia 32
KR - Corea 28
IN - India 27
TR - Turchia 26
JP - Giappone 25
NL - Olanda 25
ID - Indonesia 24
EU - Europa 22
UA - Ucraina 21
FI - Finlandia 20
CZ - Repubblica Ceca 17
BR - Brasile 13
BE - Belgio 11
HN - Honduras 9
IR - Iran 9
AU - Australia 7
CH - Svizzera 7
HK - Hong Kong 7
CA - Canada 6
CO - Colombia 6
AT - Austria 5
BG - Bulgaria 5
ES - Italia 5
PH - Filippine 5
PK - Pakistan 5
GR - Grecia 4
LU - Lussemburgo 4
BZ - Belize 3
MY - Malesia 3
NO - Norvegia 3
AF - Afghanistan, Repubblica islamica di 2
AL - Albania 2
HR - Croazia 2
MG - Madagascar 2
PT - Portogallo 2
RS - Serbia 2
TW - Taiwan 2
VN - Vietnam 2
AM - Armenia 1
CU - Cuba 1
DZ - Algeria 1
EE - Estonia 1
KG - Kirghizistan 1
KZ - Kazakistan 1
MN - Mongolia 1
MO - Macao, regione amministrativa speciale della Cina 1
PE - Perù 1
SC - Seychelles 1
SM - San Marino 1
VE - Venezuela 1
Totale 3.194
Salva come PNG Salva come JPEG
Città #
Southend 410
Milan 119
Singapore 96
Santa Clara 93
Fairfield 92
Wilmington 87
Chandler 72
Seattle 66
Beijing 65
Ashburn 60
Princeton 58
Ann Arbor 51
Mountain View 47
Woodbridge 46
Cambridge 45
Dublin 39
Houston 35
Nanjing 31
Warsaw 30
Guangzhou 29
Redwood City 28
Council Bluffs 25
Des Moines 24
Redmond 23
Dearborn 22
Medford 21
Jakarta 20
Bengaluru 19
Sunnyvale 18
Serra 17
Boardman 15
Sakarya 15
Shenyang 15
Eitensheim 14
Buffalo 12
Jinan 12
San Diego 12
Tokyo 12
Hangzhou 11
Brussels 10
Bergamo 9
Phoenix 9
Prague 9
Rancio Valcuvia 9
Changsha 8
Shanghai 8
Somerville 8
Tianjin 8
Dalmine 7
Los Angeles 7
Falls Church 6
Munich 6
Naples 6
Andover 5
Bogotá 5
Borås 5
Hebei 5
Jacksonville 5
Rome 5
Sofia 5
Cagliari 4
Fremont 4
Fuzhou 4
Hamburg 4
Jiaxing 4
London 4
Menlo Park 4
Seoul 4
Sotto Il Monte 4
Tübingen 4
Zhengzhou 4
Athens 3
Bari 3
Belize City 3
Berlin 3
Calcio 3
Campinas 3
Chengdu 3
Hong Kong 3
Manila 3
Nanchang 3
Ningbo 3
Norwalk 3
Sammichele di Bari 3
Toulouse 3
Washington 3
Xiamen 3
Ansar 2
Antananarivo 2
Austin 2
Birmingham 2
Cisano Bergamasco 2
Copenhagen 2
Curno 2
Dortmund 2
Esch-sur-Alzette 2
Frankfurt am Main 2
General Trias 2
Grafing 2
Grosio 2
Totale 2.169
Salva come PNG Salva come JPEG
Nome #
TOOL-ASSISTED VALIDATION AND VERIFICATION TECHNIQUES FOR STATE-BASED FORMAL METHODS 393
Automatic review of Abstract State Machines by meta-property verification 263
AsmetaF: A flattener for the ASMETA framework 160
Integrating formal methods into medical software development : the ASM approach 158
Components monitoring through formal specifications 146
Formal Semantics for Metamodel-Based Domain Specific Languages 145
Closing the gap between the specification and the implementation: the ASMETA way 144
AsmetaSMV : a model checker for AsmetaL models. Tutorial 139
CoMA : Conformance Monitoring of Java Programs by Abstract State Machines 138
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions 136
Equivalence checking of NuSMV specifications 127
AsmetaSMV : a way to link high-level ASM models to low-level nuSMV specifications 113
Test Generation for Sequential Nets of Abstract State Machines 111
MSL: A pattern language for engineering self-adaptive systems 104
Interactive testing and repairing of regular expressions 101
A model-driven process for engineering a toolset for a formal method 100
Runtime monitoring of Java programs by Abstract State Machines 97
The ASMETA framework 95
Model-Based Testing for MAPE-K adaptation control loops 93
A model advisor for NuSMV specifications 91
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions 90
A DSL for MAPE patterns representation in self-adapting systems 90
SMT for state-based formal methods: the ASM case study 85
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism 77
epop : an Eclipse-based Extensible Research Evaluator 71
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control 64
NuSeen: A Tool Framework for the NuSMV Model Checker 56
Totale 3.387
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.364
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 9.364
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020224 0 0 0 0 0 0 0 29 93 73 11 18
2020/2021327 23 14 25 5 38 23 35 19 27 30 66 22
2021/2022430 22 34 28 47 26 28 41 11 14 37 57 85
2022/2023343 63 24 50 26 41 76 5 13 24 2 13 6
2023/2024180 11 17 2 8 34 16 0 10 12 21 24 25
2024/2025396 21 109 7 54 96 34 7 68 0 0 0 0
Totale 3.387