IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201995 0 0 0 0 0 0 0 0 0 0 44 51
2019/2020495 59 21 35 39 33 37 47 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/2024134 11 17 2 8 34 16 0 10 12 21 3 0
Totale 2.945