CNR Institutional Research Information System

FERRARI, ALESSIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 4.365
NA - Nord America 3.596
EU - Europa 1.525
SA - Sud America 736
Continente sconosciuto - Info sul continente non disponibili 152
AF - Africa 78
OC - Oceania 8
Totale 10.460
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.390
SG - Singapore 1.755
CN - Cina 1.134
IT - Italia 638
BR - Brasile 566
VN - Vietnam 433
HK - Hong Kong 339
FR - Francia 195
KR - Corea 182
JP - Giappone 147
DE - Germania 113
CA - Canada 112
RU - Federazione Russa 103
FI - Finlandia 91
IN - India 80
GB - Regno Unito 76
BD - Bangladesh 74
NL - Olanda 69
AR - Argentina 52
AT - Austria 45
EC - Ecuador 45
MX - Messico 39
ID - Indonesia 36
IE - Irlanda 33
CO - Colombia 28
ES - Italia 27
IL - Israele 27
ZA - Sudafrica 21
IQ - Iraq 19
PK - Pakistan 19
PL - Polonia 17
SA - Arabia Saudita 17
SE - Svezia 17
TR - Turchia 16
VE - Venezuela 15
UA - Ucraina 14
CH - Svizzera 12
CR - Costa Rica 11
MA - Marocco 11
UZ - Uzbekistan 11
CL - Cile 10
EG - Egitto 10
NG - Nigeria 10
HU - Ungheria 9
PH - Filippine 9
MY - Malesia 8
PE - Perù 8
AE - Emirati Arabi Uniti 7
AU - Australia 7
JM - Giamaica 7
RS - Serbia 7
TW - Taiwan 7
AL - Albania 6
BE - Belgio 6
CZ - Repubblica Ceca 6
GR - Grecia 6
HN - Honduras 6
KE - Kenya 6
KZ - Kazakistan 6
TH - Thailandia 6
TT - Trinidad e Tobago 6
JO - Giordania 5
LV - Lettonia 5
PR - Porto Rico 5
PY - Paraguay 5
TN - Tunisia 5
DO - Repubblica Dominicana 4
EE - Estonia 4
LK - Sri Lanka 4
PT - Portogallo 4
AO - Angola 3
AZ - Azerbaigian 3
BS - Bahamas 3
CY - Cipro 3
DZ - Algeria 3
HR - Croazia 3
LT - Lituania 3
RO - Romania 3
SV - El Salvador 3
UY - Uruguay 3
BB - Barbados 2
BG - Bulgaria 2
BN - Brunei Darussalam 2
BO - Bolivia 2
CI - Costa d'Avorio 2
GP - Guadalupe 2
KG - Kirghizistan 2
LU - Lussemburgo 2
MM - Myanmar 2
MT - Malta 2
NI - Nicaragua 2
NP - Nepal 2
OM - Oman 2
PA - Panama 2
SK - Slovacchia (Repubblica Slovacca) 2
XK - ???statistics.table.value.countryCode.XK??? 2
AM - Armenia 1
BW - Botswana 1
BY - Bielorussia 1
DK - Danimarca 1
Totale 10.289
Salva come PNG Salva come JPEG
Città #
Singapore 1.202
Santa Clara 607
Hefei 496
San Jose 473
Dallas 450
Hong Kong 327
Ashburn 263
Ho Chi Minh City 179
Seoul 178
Beijing 158
Lauterbourg 156
Pisa 133
Tokyo 115
Los Angeles 112
Hanoi 104
Milan 75
New York 63
Florence 51
Moscow 48
São Paulo 48
Montreal 47
Lappeenranta 43
Helsinki 39
Rome 38
Cascina 37
Council Bluffs 32
Naples 32
Amsterdam 30
Buffalo 30
Chicago 29
Frankfurt am Main 26
Nuremberg 25
Bengaluru 24
Guangzhou 24
Minamishinagawa 24
Phoenix 23
Brooklyn 21
Dublin 21
Vienna 21
Houston 20
Orem 19
Atlanta 18
Philadelphia 16
Brasília 15
Haiphong 15
Toronto 15
Guayaquil 14
Quito 14
Rio de Janeiro 14
Bari 13
Chennai 13
Livorno 13
Queens 13
Johannesburg 12
Manchester 12
Mexico City 12
Belo Horizonte 11
Bologna 11
Istanbul 11
The Bronx 11
Turin 11
Warsaw 11
Birmingham 10
Curitiba 10
Da Nang 10
Jakarta 10
London 10
Mainz 10
Naas 10
San Giuliano Terme 10
Tashkent 10
The Dalles 10
Washington 10
Biên Hòa 9
Cleveland 9
Dhaka 9
Newark 9
Porto Alegre 9
Riyadh 9
Boardman 8
Charlotte 8
Denver 8
Kyiv 8
San José 8
Stockholm 8
Baghdad 7
Baltimore 7
Jacksonville 7
Juiz de Fora 7
Las Vegas 7
Miami 7
Mumbai 7
Piombino 7
Thái Nguyên 7
Turku 7
Berlin 6
Budapest 6
Detroit 6
Elk Grove Village 6
Genoa 6
Totale 6.430
Salva come PNG Salva come JPEG
Nome #
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams 252
Measuring and improving the completeness of natural language requirements 226
Predictive maintenance for railways: a case study 214
Mining commonalities and variabilities from natural language documents 178
Natural language requirements processing: a 4D vision 177
HumAInFlow : a no-code platform for modelling and simulating Human-AI workflows 172
ISTI-day 2025 Proceedings 172
Using NLP to support terminology extraction and domain scoping: report on the H2020 DESIRA project 128
Needs, challenges and opportunities of digital livestock farming in a cheese supply chain 120
DESIRA - D3.5 Third set of practice abstracts 111
PURE: A Dataset of Public Requirements Documents 105
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect - Complementary data 99
An experience report on leveraging LLMs for GUI generation: automating coding to prioritise creativity 99
Ten diverse formal models for a CBTC automatic train supervision system 93
Formal requirements engineering and large language models: a two-way roadmap 90
An NLP approach for cross-domain ambiguity detection in requirements engineering 89
QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions 87
Message from the Chairs: FormaliSE 2023 85
Model transformation and property preservation in rigorous software development: a systematic literature review 85
Formal Methods in railways: a systematic mapping study 84
Identifying maintenance needs with machine learning: a case study in railways 83
Assessing computational thinking skills through artefacts: the case of modeLLer 83
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect 81
Evaluating the understandability and user acceptance of Attack-Defense Trees: original experiment and replication 81
DESIRA - D1.3: Synthesis report on the taxonomy and inventory of digital game changers 80
Improving the quality of business process descriptions of public administrations: resources and research challenges 80
Detecting domain-specific ambiguities: An NLP approach based on wikipedia crawling and word embeddings 76
The return of formal requirements engineering in the era of large language models 76
Rethinking requirements engineering for sustainability 75
Eliciting the double-edged impact of digitalisation: a case study in rural areas 73
A Guidelines framework for understandable BPMN models 73
Requirements classification for smart allocation: a case study in the railway industry 72
Designing a deadlock-free train scheduler: A model checking approach 71
Towards formal methods diversity in railways: an experience report with seven frameworks 71
Digitalising agriculture: design and development of a modelling web environment for end-users 70
ISTI Young Researcher Award "Matteo Dellepiane" - Edition 2019 70
Formal modeling for railway signaling using commercial tools 69
Systematic evaluation and usability analysis of formal tools for railway system design 69
Evaluating a language workbench: from working memory capacity to comprehension to acceptance 69
Systematic evaluation and usability analysis of formal methods tools for railway signaling system design 69
4SECURail - D.2.1: Specification of formal development demonstrator 68
Assessing the understandability and acceptance of attack-defense trees for modelling security requirements 68
Comparing formal tools for system design: a judgment study 67
ModeLLer – Enabling end-users to model systems: a case study in digital agriculture 67
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods 67
Data mining in railway diagnostic data for predictive maintenance 66
A methodology for process modelling in living labs to foster agricultural digitalisation 66
Replication in Requirements Engineering: the NLP for RE case 65
Towards a method for modelling socio-technical process transformation in digital agriculture 65
ASTrail - Deliverable D4.3 - Validation Report 64
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 64
Designing a demonstrator of formal methods for railways infrastructure managers 64
Teaching requirements elicitation interviews: an empirical study of learning from mistakes 63
SaPeer and ReverseSaPeer: teaching requirements elicitation interviews with role-playing and role reversal 63
Natural Language Processing for Requirements Engineering: A Systematic Mapping Study 62
Sustainable mobility: increase of capacity and digitisation of railway transport 61
Formal methods for railway systems: a survey of research and technology transfer projects 60
Zero-shot learning for requirements classification: an exploratory study 60
LEARN PAD - Platform prototype early validation results 59
Using voice and biofeedback to predict user engagement during product feedback interviews 59
Foreword to MO2RE 2024 59
On the impact of requirements smells in prompts: the case of automated traceability 59
AIRE 2022: 9th international workshop on Artificial Intelligence and Requirements Engineering 58
Adopting Formal Methods in an Industrial Setting: The Railways Case 57
Empirical software engineering and formal methods for IoT systems 57
Model-based evaluation of the availability of a CBTC system. 57
Formal methods in railways: a systematic mapping study 56
ModeLLer - a prototype to support requirements elicitation in co-design environments 56
CBTC preliminary report 55
Are Standards an Ambiguity-Free Reference for Product Validation? 54
Model generation with LLMs: from requirements to {UML} sequence diagrams 54
End-user requirements modelling: an experience report from digital agriculture 54
ASTRail D4.2 - Preliminary Trial Report 53
LEARN PAD - Demonstrators populated learning platform 53
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions 53
On the relationship between similar requirements and similar software: a case study in the railway domain 53
Research on NLP for RE at CNR-ISTI: A report 52
Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews 52
Co-design and e-governance tools for sustainable land and water management in rural areas: the experience within the DESIRA H2020 project 52
Foreword to the 2nd Workshop on multi-disciplinary, open, and integrated requirements engineering (MO2RE’25) 51
User interface for content analysis component 51
Preface: 7th workshop on Natural Language Processing for Requirements Engineering (NLP4RE'24) 51
Remote sensing and machine learning for riparian vegetation detection and classification 51
Preface: 4th Workshop on Natural Language Processing for Requirements Engineering (NLP4RE 2021) 51
REFSQ 2023: joint proceedings of workshops, doctoral symposium, posters & tools track, and journal early feedback track - Preface 51
DESIRA - D3.3 Use cases report 50
Software requirements elicitation in the context of a collaborative research project: technical report 50
Safe and secure future AI-driven railway technologies: challenges for formal methods in railway 50
Ambiguity and tacit knowledge in requirements elicitation interviews 49
Ambiguity as a resource to disclose tacit knowledge 49
Lessons learnt from the adoption of formal model-based development. 49
Editorial for the REFSQ’23 special issue 49
A clustering-based approach for discovering flaws in requirements specifications 48
Product Line Engineering Applied to CBTC Systems Development 47
How do requirements evolve during elicitation? An empirical study combining interviews and app store analysis 47
ISTI Young Research Award 2017 47
Using clustering to improve the structure of natural language requirements documents 45
Towards a dataset for natural language requirements processing 44
Automatic analysis of multimodal requirements: a research preview. 44
Pragmatic ambiguity detection in natural language requirements 44
Totale 7.497
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.016
article - articoli 8.561
book - libri 86
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.605
Totale 45.268
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202447 0 0 0 0 0 0 0 0 6 3 34 4
2024/20252.763 11 11 257 106 493 179 22 98 138 113 681 654
2025/20266.292 353 566 841 810 788 333 887 352 427 432 246 257
2026/20271.358 476 256 626 0 0 0 0 0 0 0 0 0
Totale 10.460