GNESI, STEFANIA
GNESI, STEFANIA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Quantitative dependability evaluation of train control systems in presence of uncertainty: a systematic literature review
2025 Carnevali, L.; Di Giandomenico, F.; Fantechi, A.; Gnesi, S.; Gori, G.
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Quantitative dependability evaluation of train control systems in presence of uncertainty: a systematic literature review | 1-gen-2025 | Carnevali, L.; Di Giandomenico, F.; Fantechi, A.; Gnesi, S.; Gori, G. | |
| Coherent modal transition systems refinement | 1-gen-2024 | Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania | |
| VIBE: looking for Variability In amBiguous rEquirements | 1-gen-2022 | Fantechi, A; Gnesi, S; Semini, L | |
| Controller synthesis of service contracts with variability | 1-gen-2019 | Basile, D; ter Beek, Mh; Degano, P; Legay, A; Ferrari, G L; Gnesi, S; Di Giandomenico, F | |
| Editorial - Formal Aspects of Computing | 1-gen-2019 | Gnesi S.; Cavalcanti A.; Fitzgerald J.; Heitmeyer C. | |
| On the expressiveness of modal transition systems with variability constraints | 1-gen-2019 | ter Beek, M; Damiani, F; Gnesi, S; Mazzanti, F; Paolini, L | |
| Smart Services for Railways | 1-gen-2019 | Di Giandomenico F.; Gnesi S; Spagnolo G. O.; Fantechi A. | |
| A Guidelines framework for understandable BPMN models | 1-gen-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 | 1-gen-2018 | Cognini, R; Corradini, F; Gnesi, S; Polini, A; Re, B | |
| Detecting requirements defects with NLP patterns: an industrial experience in the railway domain | 1-gen-2018 | Ferrari, A; Gori, G; Rosadini, B; Trotta, I; Bacherini, S; Fantechi, A; Gnesi, S | |
| Formal methods and automated verification of critical systems | 1-gen-2018 | ter Beek, Mh; Gnesi, S; Knapp, A | |
| Formal methods for the railway sector | 1-gen-2018 | ter Beek, Mh; Fantechi, A; Ferrari, A; Gnesi, S; Scopigno, R | |
| Formal methods for transport systems | 1-gen-2018 | TER BEEK, MAURICE HENRI; Gnesi, S; Knapp, A | |
| Improving the quality of business process descriptions of public administrations: resources and research challenges | 1-gen-2018 | Ferrari, A; Witschel, Hf; Spagnolo, Go; Gnesi, S | |
| Requirements elicitation and refinement in collaborative research projects | 1-gen-2018 | De Angelis, G; Ferrari, A; Gnesi, S; Polini, A | |
| An experience in using machine learning for short-term predictions in smart transportation systems | 1-gen-2017 | Bacciu, D; Carta, A; Gnesi, S; Semini, L | |
| Natural language requirements processing: a 4D vision | 1-gen-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 | 1-gen-2016 | Basile D.; Chiaradonna S.; Di Giandomenico F.; Gnesi S. | |
| Adopting a Machine Learning Approach in the design of Smart Transportation Systems | 1-gen-2016 | Gnesi S.; Bacciu D.; Carta A.; Semini L. | |
| Ambiguity and tacit knowledge in requirements elicitation interviews | 1-gen-2016 | Ferrari, A; Spoletini, P; Gnesi, S |