CNR Institutional Research Information System

FERRARI, ALESSIO

FERRARI, ALESSIO  

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI  

Mostra records
Risultati 1 - 20 di 38 (tempo di esecuzione: 0.046 secondi).
Titolo Data di pubblicazione Autore(i) File
Editorial for the REFSQ’23 special issue 1-gen-2024 Penzenstadler, B.; Ferrari, A.
Evaluating the understandability and user acceptance of Attack-Defense Trees: original experiment and replication 1-gen-2024 Broccia, G.; ter Beek, M. H.; Lluch Lafuente, A.; Spoletini, P.; Fantechi, A.; Ferrari, A.
Replication in Requirements Engineering: the NLP for RE case 1-gen-2024 Abualhaija, S.; Aydemir, F. B.; Dalpiaz, F.; Dell'Anna, D.; Ferrari, A.; Franch, X.; Fucci, D.
Sustainable mobility: increase of capacity and digitisation of railway transport 1-gen-2024 Basile, Davide; TER BEEK, MAURICE HENRI; Ferrari, Alessio
Using vice and biofeedback to predict user engagement during product feedback interviews 1-gen-2024 Ferrari, A.; Huichapa, T.; Spoletini, P.; Novielli, N.; Fucci, D.; Girardi, D.
Zero-shot learning for requirements classification: an exploratory study 1-gen-2023 Alhoshan, W; Ferrari, A; Zhao, L
Drivers, barriers and impacts of digitalisation in rural areas from the viewpoint of experts 1-gen-2022 Ferrari A.; Bacco M.; Gaber K.; Jedlitschka A.; Hess S.; Kaipainen J.; Koltsida P.; Toli E.; Brunori G.
Empirical formal methods: guidelines for performing empirical studies on formal methods 1-gen-2022 TER BEEK, MAURICE HENRI; Ferrari, A
Empirical software engineering and formal methods for IoT systems 1-gen-2022 Basile, D; TER BEEK, MAURICE HENRI; Broccia, G; Ferrari, A
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods 1-gen-2022 Basile D.; ter Beek M.H.; Ferrari A.; Legay A.
Formal Methods in railways: a systematic mapping study 1-gen-2022 Ferrari A.; ter Beek M.H.
How do requirements evolve during elicitation? An empirical study combining interviews and app store analysis 1-gen-2022 Ferrari, A; Spoletini, P; Debnath, S
On the relationship between similar requirements and similar software: a case study in the railway domain 1-gen-2022 Abbas, M; Ferrari, A; Shatnawi, A; Enoiu, E; Saadatm, M; Sundmark, D
Rethinking requirements engineering for sustainability 1-gen-2022 Ferrari, A.; Bacco, F. M.
CaRE: a refinement calculus for requirements engineering based on argumentation theory 1-gen-2021 Elrakaiby Y.; Borgida A.; Ferrari A.; Mylopoulos J.
Natural Language Processing for Requirements Engineering 1-gen-2021 Zhao L.; Alhoshan W.; Ferrari A.; Letsholo K. J.; Ajagbe M. A.; Chioasca E. V.; BatistaNavarro R. T.
Requirements engineering: foundation for software quality (REFSQ2020) 1-gen-2021 Ferrari A.; Madhavji N. H.; Pasquale L.
Systematic evaluation and usability analysis of formal methods tools for railway signaling system design 1-gen-2021 Ferrari A.; Mazzanti F.; Basile D.; ter Beek M.H.
SaPeer and ReverseSaPeer: teaching requirements elicitation interviews with role-playing and role reversal 1-gen-2020 Ferrari A.; Spoletini P.; Bano M.; Zowghi D.
An NLP approach for cross-domain ambiguity detection in requirements engineering 1-gen-2019 Ferrari A.; Esuli A.