CNR Institutional Research Information System

FERRARI, ALESSIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 632
AS - Asia 321
EU - Europa 114
SA - Sud America 2
Totale 1.069
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 632
SG - Singapore 293
IT - Italia 69
FI - Finlandia 34
CN - Cina 25
DE - Germania 6
NL - Olanda 3
BR - Brasile 2
TW - Taiwan 2
AT - Austria 1
HU - Ungheria 1
KR - Corea 1
Totale 1.069
Salva come PNG Salva come JPEG
Città #
Santa Clara 578
Singapore 237
Helsinki 34
Guangzhou 22
Pisa 14
Cascina 9
Livorno 9
Falkenstein 4
Los Angeles 3
Rome 3
Altopascio 2
Ashburn 2
Brescia 2
Crispano 2
Frascati 2
Genoa 2
Jaguaruana 2
Milan 2
Phoenix 2
Amsterdam 1
Beijing 1
Bologna 1
Budapest 1
Cesenatico 1
Elk Creek 1
Florence 1
Forest City 1
Naples 1
Nuremberg 1
Palermo 1
Pontedera 1
Prineville 1
Santa Croce sull'Arno 1
Seoul 1
Seregno 1
Springfield 1
Zwolle 1
Totale 949
Salva come PNG Salva come JPEG
Nome #
Sustainable mobility: increase of capacity and digitisation of railway transport 16
Identifying maintenance needs with machine learning: a case study in railways 15
Towards formal methods diversity in railways: an experience report with seven frameworks 14
The return of formal requirements engineering in the era of large language models 13
A Guidelines framework for understandable BPMN models 13
Predictive maintenance for railways: a case study 13
Foreword to MO2RE 2024 13
DESIRA - D3.5 Third set of practice abstracts 12
4SECURail - D.2.1: Specification of formal development demonstrator 12
Assessing the understandability and acceptance of attack-defense trees for modelling security requirements 12
Evaluating the understandability and user acceptance of Attack-Defense Trees: original experiment and replication 12
Ten diverse formal models for a CBTC automatic train supervision system 11
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect - Complementary data 11
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect 11
SaPeer and ReverseSaPeer: teaching requirements elicitation interviews with role-playing and role reversal 11
Evaluating a language workbench: from working memory capacity to comprehension to acceptance 11
REFSQ 2023: joint proceedings of workshops, doctoral symposium, posters & tools track, and journal early feedback track - Preface 11
Editorial for the REFSQ’23 special issue 11
QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions 10
Designing a deadlock-free train scheduler: A model checking approach 10
Rethinking requirements engineering for sustainability 10
Requirements classification for smart allocation: a case study in the railway industry 10
Improving the quality of business process descriptions of public administrations: resources and research challenges 10
Replication in Requirements Engineering: the NLP for RE case 10
Message from the Chairs: FormaliSE 2023 10
Deadlock avoidance in train scheduling: A model checking approach 10
Adopting Formal Methods in an Industrial Setting: The Railways Case 10
Empirical software engineering and formal methods for IoT systems 10
ModeLLer – Enabling end-users to model systems: a case study in digital agriculture 10
Using vice and biofeedback to predict user engagement during product feedback interviews 10
ModeLLer - a prototype to support requirements elicitation in co-design environments 10
Are Standards an Ambiguity-Free Reference for Product Validation? 10
ASTrail - Deliverable D4.3 - Validation Report 10
On the relationship between similar requirements and similar software: a case study in the railway domain 10
CBTC.ATS.0001_00_05 Specifica preliminare di sistema 10
PURE: A Dataset of Public Requirements Documents 10
The KandIStI/UMC Online Open-Access Verification Framework 10
Artificial Intelligence in Engineering and society: blue skies, black holes, and the job of Requirements Engineers (Keynote) 10
Co-design and e-governance tools for sustainable land and water management in rural areas: the experience within the DESIRA H2020 project 10
ASTRail D4.2 - Preliminary Trial Report 9
Systematic evaluation and usability analysis of formal tools for railway system design 9
DESIRA - D3.3 Use cases report 9
Measuring and improving the completeness of natural language requirements 9
Preface: 7th workshop on Natural Language Processing for Requirements Engineering (NLP4RE'24) 9
Deadlock free dispatching for fleets of vehicles 9
LEARN PAD - Platform prototype early validation results 9
Software requirements elicitation in the context of a collaborative research project: technical report 9
Completeness assistant for requirements 9
Model generation with LLMs: from requirements to {UML} sequence diagrams 9
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams 9
Pragmatic ambiguity detection in natural language requirements 9
Verification component understandability BPMN 9
Survey on formal methods and tools in railways: the ASTRail approach 9
ASTRail - Survey on formal methods and tools in railways technical report on the activities performed within ASTRail, Deliverable D4.1 9
Designing a demonstrator of formal methods for railways infrastructure managers 9
Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles 9
A methodology for process modelling in living labs to foster agricultural digitalisation 9
DESIRA - D1.3: Synthesis report on the taxonomy and inventory of digital game changers 8
Eliciting the double-edged impact of digitalisation: a case study in rural areas 8
Product Line Engineering Applied to CBTC Systems Development 8
CBTC.ATS.0003_00_03 ATS Specifica dei requisiti di Sistema 8
Applications of formal methods, modeling, and testing strategies for safe software development 8
Co-design of technological solutions for agriculture and rural areas: methodology and cases for responsible innovation 8
Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer 8
Zero-shot learning for requirements classification: an exploratory study 8
Systematic evaluation and usability analysis of formal methods tools for railway signaling system design 8
CBTC.ATS.006_00_03 Documentazione prototipo ATS 8
Mining commonalities and variabilities from natural language documents 8
Product line engineering applied to CBTC systems development. 8
Prototipo schedurer ATS 8
ISTI Young Research Award 2017 8
Formal modeling for railway signaling using commercial tools 7
Detecting domain-specific ambiguities: An NLP approach based on wikipedia crawling and word embeddings 7
Ambiguity in Requirements Engineering: Towards a Unifying Framework 7
Comparing formal tools for system design: a judgment study 7
AIRE 2022: 9th international workshop on Artificial Intelligence and Requirements Engineering 7
Ambiguity as a resource to disclose tacit knowledge 7
Identification of Cross-Domain Ambiguity with Language Models 7
2nd workshop on natural language processing for requirements engineering (NLP4RE'19) and NLP tool showcase 7
The Metrô Rio ATP case study 7
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods 7
Requirements elicitation and refinement in collaborative research projects 7
Towards a dataset for natural language requirements processing 7
Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer 7
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions 7
Collaborative requirements elicitation in a European research project 7
Drivers, barriers and impacts of digitalisation in rural areas from the viewpoint of experts 7
Experiments in formal modelling of a deadlock avoidance algorithm for a CBTC system 7
An NLP approach for cross-domain ambiguity detection in requirements engineering 7
ISTI Young Researcher Award "Matteo Dellepiane" - Edition 2019 7
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 7
Model-based evaluation of the availability of a CBTC system. 7
Model based testing and abstract interpretation in the railway signaling context 7
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain 7
1st workshop on natural language processing for requirements engineering (NLP4RE'18) 7
A clustering-based approach for discovering flaws in requirements specifications 7
Formal Methods in railways: a systematic mapping study 6
User interface for content analysis component 6
LEARN PAD - Demonstrators populated learning platform 6
Digitalising agriculture: design and development of a modelling web environment for end-users 6
Totale 905
Salva come PNG Salva come JPEG
Categoria #
all - tutte 4.950
article - articoli 1.207
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 258
Totale 6.415
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/20251.065 11 11 257 106 493 179 8 0 0 0 0 0
Totale 1.112