GNESI, STEFANIA
GNESI, STEFANIA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Coherent modal transition systems refinement
2024 Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania
VIBE: looking for Variability In amBiguous rEquirements
2022 Fantechi, A; Gnesi, S; Semini, L
Controller synthesis of service contracts with variability
2019 Basile, D; ter Beek, Mh; Degano, P; Legay, A; Ferrari, G L; Gnesi, S; Di Giandomenico, F
Editorial - Formal Aspects of Computing
2019 Gnesi S.; Cavalcanti A.; Fitzgerald J.; Heitmeyer C.
On the expressiveness of modal transition systems with variability constraints
2019 ter Beek, M; Damiani, F; Gnesi, S; Mazzanti, F; Paolini, L
Smart Services for Railways
2019 Di Giandomenico F.; Gnesi S; Spagnolo G. O.; Fantechi A.
A Guidelines framework for understandable BPMN models
2018 Corradini, F; Ferrari, A; Fornari, F; Gnesi, S; Polini, A; Re, B; Spagnolo, G O
Business process flexibility - a systematic literature review with a software systems perspective
2018 Cognini, R; Corradini, F; Gnesi, S; Polini, A; Re, B
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain
2018 Ferrari, A; Gori, G; Rosadini, B; Trotta, I; Bacherini, S; Fantechi, A; Gnesi, S
Formal methods and automated verification of critical systems
2018 ter Beek, Mh; Gnesi, S; Knapp, A
Formal methods for the railway sector
2018 ter Beek, Mh; Fantechi, A; Ferrari, A; Gnesi, S; Scopigno, R
Formal methods for transport systems
2018 TER BEEK, MAURICE HENRI; Gnesi, S; Knapp, A
Improving the quality of business process descriptions of public administrations: resources and research challenges
2018 Ferrari, A; Witschel, Hf; Spagnolo, Go; Gnesi, S
Requirements elicitation and refinement in collaborative research projects
2018 De Angelis, G; Ferrari, A; Gnesi, S; Polini, A
An experience in using machine learning for short-term predictions in smart transportation systems
2017 Bacciu, D; Carta, A; Gnesi, S; Semini, L
Natural language requirements processing: a 4D vision
2017 Ferrari A.; Dell'Orletta F.; Esuli A.; Gervasi V.; Gnesi S.
A stochastic model-based approach to analyze reliable energy-saving rail road switch heating systems
2016 Basile D.; Chiaradonna S.; Di Giandomenico F.; Gnesi S.
Adopting a Machine Learning Approach in the design of Smart Transportation Systems
2016 Gnesi S.; Bacciu D.; Carta A.; Semini L.
Ambiguity and tacit knowledge in requirements elicitation interviews
2016 Ferrari, A; Spoletini, P; Gnesi, S
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
2016 Ter Beek M. H.; Fantechi A.; Gnesi S.; Mazzanti F.