FERRARI, ALESSIO
 Distribuzione geografica
Continente #
AS - Asia 29
EU - Europa 23
NA - Nord America 1
Totale 53
Nazione #
IT - Italia 23
CN - Cina 22
SG - Singapore 6
KR - Corea 1
US - Stati Uniti d'America 1
Totale 53
Città #
Guangzhou 22
Pisa 7
Singapore 6
Livorno 4
Rome 3
Altopascio 2
Cesenatico 1
Forest City 1
Milan 1
Naples 1
Santa Croce sull'Arno 1
Seoul 1
Totale 50
Nome #
Sustainable mobility: increase of capacity and digitisation of railway transport 7
Assessing the understandability and acceptance of attack-defense trees for modelling security requirements 4
Ten diverse formal models for a CBTC automatic train supervision system 3
REFSQ 2023: joint proceedings of workshops, doctoral symposium, posters & tools track, and journal early feedback track - Preface 3
Improving the quality of business process descriptions of public administrations: resources and research challenges 2
4SECURail - D.2.1: Specification of formal development demonstrator 2
Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer 2
A Guidelines framework for understandable BPMN models 2
Completeness assistant for requirements 2
1st workshop on natural language processing for requirements engineering (NLP4RE'18) 2
Product line engineering applied to CBTC systems development. 2
A clustering-based approach for discovering flaws in requirements specifications 2
Ambiguity and tacit knowledge in requirements elicitation interviews 1
Ambiguity in Requirements Engineering: Towards a Unifying Framework 1
Product Line Engineering Applied to CBTC Systems Development 1
Message from the Chairs: FormaliSE 2023 1
AIRE 2022: 9th international workshop on Artificial Intelligence and Requirements Engineering 1
7th International Workshop on Artificial Intelligence and Requirements Engineering (AIRE'20) 1
Adopting Formal Methods in an Industrial Setting: The Railways Case 1
Ambiguity as a resource to disclose tacit knowledge 1
2nd workshop on natural language processing for requirements engineering (NLP4RE'19) and NLP tool showcase 1
An industrial application of formal model based development: the Metro Rio ATP case 1
Applications of formal methods, modeling, and testing strategies for safe software development 1
Zero-shot learning for requirements classification: an exploratory study 1
Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer 1
Evaluation of the IBM rhapsody tool for modeling automatic train protection (ATP) systems: the restrictive signal confirmation (RSC) button 1
Remote sensing and machine learning for riparian vegetation detection and classification 1
Drivers, barriers and impacts of digitalisation in rural areas from the viewpoint of experts 1
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 1
A refinement calculus for requirements engineering based on argumentation theory 1
A zero-shot learning approach to classifying requirements: preliminary study 1
Requirements engineering: foundation for software quality (REFSQ2020) 1
On the relationship between similar requirements and similar software: a case study in the railway domain 1
Ambiguity cues in requirements elicitation interviews 1
Verification component understandability BPMN 1
Ensuring action: identifying unclear actor specifications in textual business process descriptions 1
Empirical formal methods: guidelines for performing empirical studies on formal methods 1
Mining commonalities and variabilities from natural language documents 1
A methodology for process modelling in living labs to foster agricultural digitalisation 1
Totale 60
Categoria #
all - tutte 1.572
article - articoli 378
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 93
Totale 2.043


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/202513 11 2 0 0 0 0 0 0 0 0 0 0
Totale 60