


Остановите войну!
for scientists:


default search action
Stefania Gnesi
Person information

- affiliation: National Research Council, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j47]Alessandro Fantechi
, Stefania Gnesi
, Laura Semini
:
VIBE: Looking for Variability In amBiguous rEquirements. J. Syst. Softw. 195: 111540 (2023) - [c165]Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi:
The 4SECURail Case Study on Rigorous Standard Interface Specifications. FMICS 2023: 22-39 - [c164]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study. REFSQ Workshops 2023 - [e23]Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Miguel R. Luaces, Christa Schwanninger, Shaukat Ali, Mahsa Varshosaz, Angelo Gargantini, Stefania Gnesi, Malte Lochau, Laura Semini, Hironori Washizaki:
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. ACM 2023 [contents] - 2022
- [c163]Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
:
Formal Methods for Distributed Control Systems of Future Railways. ISoLA (4) 2022: 243-245 - [c162]Alessandro Fantechi
, Stefania Gnesi
, Gloria Gori
:
Future Train Control Systems: Challenges for Dependability Assessment. ISoLA (4) 2022: 269-285 - [e22]Arnd Hartmanns, Ina Schaefer, Stefania Gnesi, Nico Plat:
10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022. ACM 2022, ISBN 978-1-4503-9287-7 [contents] - 2021
- [c161]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Language and Communication Problems in Formalization: A Natural Language Approach. Logic, Computation and Rigorous Methods 2021: 121-134 - [c160]Davide Basile
, Maurice H. ter Beek
, Pierpaolo Degano
, Axel Legay
, Gian-Luigi Ferrari
, Stefania Gnesi
, Felicita Di Giandomenico
:
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. FORTE 2021: 177-181 - [c159]Alessandro Fantechi, Stefania Gnesi, Samuele Livi, Laura Semini:
A spaCy-based tool for extracting variability from NL requirements. SPLC (B) 2021: 32-35 - [e21]Simon Bliudze, Stefania Gnesi, Nico Plat, Laura Semini:
9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021. IEEE 2021, ISBN 978-1-6654-3913-8 [contents] - 2020
- [j46]Davide Basile
, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari
, Stefania Gnesi, Felicita Di Giandomenico:
Controller synthesis of service contracts with variability. Sci. Comput. Program. 187: 102344 (2020) - [c158]Davide Basile
, Maurice H. ter Beek
, Felicita Di Giandomenico
, Alessandro Fantechi
, Stefania Gnesi
, Giorgio Oronzo Spagnolo
:
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. ISoLA (1) 2020: 368-384 - [c157]Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
:
Formal Methods for Distributed Computing in Future Railway Systems. ISoLA (3) 2020: 389-392 - [c156]Davide Basile
, Maurice H. ter Beek
, Alessandro Fantechi
, Alessio Ferrari
, Stefania Gnesi
, Laura Masullo, Franco Mazzanti
, Andrea Piattino, Daniele Trentini:
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. ISoLA (3) 2020: 467-485 - [c155]Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini:
An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements. QUATIC 2020: 488-498 - [c154]Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini:
A comparison of NLP Tools for RE to extract Variation Points. REFSQ Workshops 2020 - [p8]Eleonora Arganese, Alessandro Fantechi, Stefania Gnesi, Laura Semini
:
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents. Integrating Research and Practice in Software Engineering 2020: 125-143 - [e20]Kyungmin Bae, Domenico Bianculli, Stefania Gnesi, Nico Plat:
FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020. ACM 2020, ISBN 978-1-4503-7071-4 [contents] - [e19]Nazim H. Madhavji, Liliana Pasquale, Alessio Ferrari, Stefania Gnesi:
Requirements Engineering: Foundation for Software Quality - 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings [REFSQ 2020 was postponed]. Lecture Notes in Computer Science 12045, Springer 2020, ISBN 978-3-030-44428-0 [contents]
2010 – 2019
- 2019
- [j45]Stefania Gnesi, Ana Cavalcanti, John S. Fitzgerald
, Constance L. Heitmeyer:
Editorial. Formal Aspects Comput. 31(2): 131-132 (2019) - [j44]Maurice H. ter Beek
, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
:
On the expressiveness of modal transition systems with variability constraints. Sci. Comput. Program. 169: 1-17 (2019) - [c153]Stefania Gnesi
, Maurice H. ter Beek
:
From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTL. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 219-235 - [c152]Maurice H. ter Beek
, Arne Borälv, Alessandro Fantechi
, Alessio Ferrari
, Stefania Gnesi
, Christer Löfving, Franco Mazzanti
:
Adopting Formal Methods in an Industrial Setting: The Railways Case. FM 2019: 762-772 - [c151]Maurice H. ter Beek
, Ferruccio Damiani
, Stefania Gnesi
, Franco Mazzanti
, Luca Paolini
:
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. IFM 2019: 542-546 - [c150]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
From Generic Requirements to Variability. REFSQ Workshops 2019 - [c149]Stefania Gnesi, Gianluca Trentanni:
QuARS: A NLP Tool for Requirements Analysis. REFSQ Workshops 2019 - [c148]Alessio Ferrari
, Maurice H. ter Beek
, Franco Mazzanti
, Davide Basile
, Alessandro Fantechi
, Stefania Gnesi
, Andrea Piattino, Daniele Trentini:
Survey on Formal Methods and Tools in Railways: The ASTRail Approach. RSSRail 2019: 226-241 - [c147]Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Applying the QuARS tool to detect variability. SPLC (B) 2019: 62:1-62:4 - [e18]Stefania Gnesi, Nico Plat, Nancy A. Day, Matteo Rossi:
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. IEEE / ACM 2019, ISBN 978-1-7281-3373-7 [contents] - [i11]Felicita Di Giandomenico, Stefania Gnesi, Giorgio Oronzo Spagnolo, Alessandro Fantechi:
Smart Services for Railways. ERCIM News 2019(117) (2019) - 2018
- [j43]Alessio Ferrari
, Hans Friedrich Witschel, Giorgio Oronzo Spagnolo, Stefania Gnesi:
Improving the quality of business process descriptions of public administrations: Resources and research challenges. Bus. Process. Manag. J. 24(1): 49-66 (2018) - [j42]Flavio Corradini, Alessio Ferrari
, Fabrizio Fornari
, Stefania Gnesi, Andrea Polini
, Barbara Re, Giorgio Oronzo Spagnolo
:
A Guidelines framework for understandable BPMN models. Data Knowl. Eng. 113: 129-154 (2018) - [j41]Alessio Ferrari
, Gloria Gori, Benedetta Rosadini, Iacopo Trotta, Stefano Bacherini, Alessandro Fantechi, Stefania Gnesi:
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain. Empir. Softw. Eng. 23(6): 3684-3733 (2018) - [j40]Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini
, Barbara Re:
Business process flexibility - a systematic literature review with a software systems perspective. Inf. Syst. Frontiers 20(2): 343-371 (2018) - [j39]Guglielmo De Angelis
, Alessio Ferrari
, Stefania Gnesi
, Andrea Polini
:
Requirements elicitation and refinement in collaborative research projects. J. Softw. Evol. Process. 30(12) (2018) - [j38]Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp:
Formal methods for transport systems. Int. J. Softw. Tools Technol. Transf. 20(3): 237-241 (2018) - [j37]Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp:
Formal methods and automated verification of critical systems. Int. J. Softw. Tools Technol. Transf. 20(4): 355-358 (2018) - [c146]Maurice H. ter Beek
, Alessandro Fantechi
, Stefania Gnesi
, Franco Mazzanti
:
States and Events in KandISTI - A Retrospective. Models, Mindsets, Meta 2018: 110-128 - [c145]Davide Basile
, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari
:
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. IFM 2018: 20-29 - [c144]Alessio Ferrari
, Andrea Esuli, Stefania Gnesi:
Identification of Cross-Domain Ambiguity with Language Models. AIRE@RE 2018: 31-38 - [c143]Alessandro Fantechi, Alessio Ferrari
, Stefania Gnesi, Laura Semini
:
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP. RE 2018: 418-423 - [c142]Stefania Gnesi, Alessio Ferrari:
Research on NLP for RE at CNR-ISTI: a Report. REFSQ Workshops 2018 - [c141]Paola Spoletini, Alessio Ferrari
, Muneera Bano
, Didar Zowghi
, Stefania Gnesi:
Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews. REFSQ 2018: 101-118 - [c140]Davide Basile
, Maurice H. ter Beek, Stefania Gnesi:
Modelling and analysis with featured modal contract automata. SPLC (2) 2018: 11-16 - [c139]Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Product line models of large cyber-physical systems: the case of ERTMS/ETCS. SPLC 2018: 208-214 - [c138]Alessandro Fantechi, Alessio Ferrari
, Stefania Gnesi, Laura Semini
:
Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report. VaMoS 2018: 43-50 - [e17]Stefania Gnesi, Nico Plat, Paola Spoletini, Patrizio Pelliccione:
Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018. ACM 2018 [contents] - [i10]Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Riccardo Scopigno:
Formal Methods for the Railway Sector. ERCIM News 2018(112) (2018) - 2017
- [j36]Davide Bacciu, Antonio Carta
, Stefania Gnesi, Laura Semini
:
An experience in using machine learning for short-term predictions in smart transportation systems. J. Log. Algebraic Methods Program. 87: 52-66 (2017) - [j35]Alessio Ferrari
, Felice Dell'Orletta
, Andrea Esuli, Vincenzo Gervasi
, Stefania Gnesi:
Natural Language Requirements Processing: A 4D Vision. IEEE Softw. 34(6): 28-35 (2017) - [c137]Fabrizio Fornari, Stefania Gnesi, Marcello La Rosa, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo:
Checking Business Process Modeling Guidelines in Apromore. BPM (Demos) 2017 - [c136]Alessandro Fantechi, Stefania Gnesi, Laura Semini
:
Optimizing Feature Interaction Detection. FMICS-AVoCS 2017: 201-216 - [c135]Stefania Gnesi, Nico Plat
, Hernán C. Melgratti:
5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017). FormaliSE@ICSE 2017: 1 - [c134]Davide Basile
, Felicita Di Giandomenico, Stefania Gnesi:
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain. MODELSWARD 2017: 679-686 - [c133]Yehia Elrakaiby
, Alessio Ferrari
, Paola Spoletini
, Stefania Gnesi, Bashar Nuseibeh
:
Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews. RE 2017: 51-60 - [c132]Alessio Ferrari
, Beatrice Donati, Stefania Gnesi:
Detecting Domain-Specific Ambiguities: An NLP Approach Based on Wikipedia Crawling and Word Embeddings. RE Workshops 2017: 393-399 - [c131]Alessio Ferrari
, Paola Spoletini, Beatrice Donati, Didar Zowghi
, Stefania Gnesi:
Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process. RE 2017: 400-405 - [c130]Alessio Ferrari
, Giorgio Oronzo Spagnolo
, Stefania Gnesi:
PURE: A Dataset of Public Requirements Documents. RE 2017: 502-505 - [c129]Beatrice Donati, Alessio Ferrari
, Paola Spoletini, Stefania Gnesi:
Common Mistakes of Student Analysts in Requirements Elicitation Interviews. REFSQ 2017: 148-164 - [c128]Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi:
Towards a Dataset for Natural Language Requirements Processing. REFSQ Workshops 2017 - [c127]Benedetta Rosadini, Alessio Ferrari
, Gloria Gori, Alessandro Fantechi, Stefania Gnesi, Iacopo Trotta, Stefano Bacherini:
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain. REFSQ 2017: 344-360 - [c126]Davide Basile
, Felicita Di Giandomenico, Stefania Gnesi:
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming. RSSRail 2017: 221-237 - [c125]Alessio Ferrari
, Mario Fusani, Stefania Gnesi:
Are Standards an Ambiguity-Free Reference for Product Validation? RSSRail 2017: 251-264 - [c124]Davide Basile
, Felicita Di Giandomenico, Stefania Gnesi:
Statistical model checking of an energy-saving cyber-physical system in the railway domain. SAC 2017: 1356-1363 - [c123]Davide Basile
, Felicita Di Giandomenico, Stefania Gnesi:
A Refinement Approach to Analyse Critical Cyber-Physical Systems. SEFM Workshops 2017: 267-283 - [c122]Davide Basile
, Felicita Di Giandomenico, Stefania Gnesi:
FMCAT: Supporting Dynamic Service-based Product Lines. SPLC (B) 2017: 3-8 - [c121]Davide Basile
, Maurice H. ter Beek, Felicita Di Giandomenico, Stefania Gnesi:
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata. SPLC (B) 2017: 117-122 - [c120]Alessandro Fantechi, Stefania Gnesi, Laura Semini
:
Ambiguity defects as variation points in requirements. VaMoS 2017: 13-19 - [c119]Davide Basile
, Felicita Di Giandomenico, Stefania Gnesi, Pierpaolo Degano, Gian-Luigi Ferrari
:
Specifying variability in service contracts. VaMoS 2017: 20-27 - 2016
- [j34]Maurice H. ter Beek
, Alessandro Fantechi
, Stefania Gnesi, Franco Mazzanti:
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. J. Log. Algebraic Methods Program. 85(2): 287-315 (2016) - [j33]Davide Basile
, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi:
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems. J. Rail Transp. Plan. Manag. 6(2): 163-181 (2016) - [j32]Alessio Ferrari
, Paola Spoletini
, Stefania Gnesi:
Ambiguity and tacit knowledge in requirements elicitation interviews. Requir. Eng. 21(3): 333-355 (2016) - [c118]Ulf Sanne, Hans Friedrich Witschel, Alessio Ferrari, Stefania Gnesi:
Ensuring Action: Identifying Unclear Actor Specifications in Textual Business Process Descriptions. KMIS 2016: 140-147 - [c117]Alessandro Fantechi, Alessio Ferrari
, Stefania Gnesi:
Formal Methods and Safety Certification: Challenges in the Railways Domain. ISoLA (2) 2016: 261-265 - [c116]Davide Basile
, Felicita Di Giandomenico, Stefania Gnesi:
Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach. ISoLA (2) 2016: 315-330 - [c115]Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi, Laura Semini
:
Variability-Based Design of Services for Smart Transportation Systems. ISoLA (2) 2016: 465-481 - [c114]Alessio Ferrari
, Paola Spoletini
, Stefania Gnesi:
Ambiguity Cues in Requirements Elicitation Interviews. RE 2016: 56-65 - [c113]Guglielmo De Angelis, Alessio Ferrari
, Stefania Gnesi, Andrea Polini:
Collaborative requirements elicitation in a european research project. SAC 2016: 1282-1289 - [c112]Giorgio Oronzo Spagnolo
, Eda Marchetti
, Alessandro Coco, Paolo Scarpellini, Antonella Querci, Fabrizio Fabbrini, Stefania Gnesi:
An Experience on Applying Process Mining Techniques to the Tuscan Port Community System. SWQD 2016: 49-60 - [p7]Alessandro Fantechi, Stefania Gnesi:
Refinement of Behavioural Models for Variability Description. From Action Systems to Distributed Systems 2016: 155-169 - [e16]John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, Anna Philippou:
FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Lecture Notes in Computer Science 9995, 2016, ISBN 978-3-319-48988-9 [contents] - [e15]Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp:
Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings. Lecture Notes in Computer Science 9933, Springer 2016, ISBN 978-3-319-45942-4 [contents] - [i9]Davide Bacciu, Antonio Carta, Stefania Gnesi, Laura Semini:
Adopting a Machine Learning Approach in the Design of Smart Transportation Systems. ERCIM News 2016(105) (2016) - [i8]Giorgio Oronzo Spagnolo, Eda Marchetti, Alessandro Coco, Stefania Gnesi:
Modelling and Validating an Import/Export Shipping Process. ERCIM News 2016(105) (2016) - 2015
- [j31]Stefania Gnesi
, Stan Jarzabek:
Special section on the 17th International Software Product Line Conference. Int. J. Softw. Tools Technol. Transf. 17(5): 555-557 (2015) - [c111]Muneera Bano
, Alessio Ferrari
, Didar Zowghi
, Vincenzo Gervasi
, Stefania Gnesi:
Automated Service Selection Using Natural Language Processing. APRES 2015: 3-17 - [c110]Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti:
From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI. Software, Services, and Systems 2015: 312-328 - [c109]Stefania Gnesi, Nico Plat
:
3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015). ICSE (2) 2015: 977-978 - [c108]Alessio Ferrari
, Paola Spoletini, Stefania Gnesi:
Ambiguity as a resource to disclose tacit knowledge. RE 2015: 26-35 - [c107]Maurice H. ter Beek
, Stefania Gnesi, Diego Latella
, Mieke Massink
:
Towards Automatic Decision Support for Bike-Sharing System Design. SEFM Workshops 2015: 266-280 - [c106]Maurice H. ter Beek
, Ferruccio Damiani
, Stefania Gnesi
, Franco Mazzanti
, Luca Paolini
:
From Featured Transition Systems to Modal Transition Systems with Variability Constraints. SEFM 2015: 344-359 - [c105]Davide Basile
, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi, Franco Mazzanti:
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System. SERENE 2015: 82-98 - [c104]Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi:
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. SPLC 2015: 321-326 - [c103]Alessio Ferrari
, Giorgio Oronzo Spagnolo
, Stefania Gnesi, Felice Dell'Orletta
:
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams. SPLC 2015: 402-410 - [c102]Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
Using FMC for family-based analysis of software product lines. SPLC 2015: 432-439 - [c101]Davide Bacciu, Stefania Gnesi, Laura Semini
:
Using a Machine Learning Approach to Implement and Evaluate Product Line Features. WWV 2015: 75-83 - [e14]Stefania Gnesi, Nico Plat:
3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7043-1 [contents] - [e13]Joanne M. Atlee, Stefania Gnesi:
Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015. EPTCS 182, 2015 [contents] - 2014
- [j30]Alessandro Fantechi, Francesco Flammini
, Stefania Gnesi
:
Formal methods for railway control systems. Int. J. Softw. Tools Technol. Transf. 16(6): 643-646 (2014) - [c100]Stefania Gnesi, Ilaria Matteucci, Corrado Moiso, Paolo Mori
, Marinella Petrocchi, Michele Vescovi:
My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data. APF 2014: 154-171 - [c99]Maurice H. ter Beek
, Stefania Gnesi
, Franco Mazzanti
:
Model Checking Value-Passing Modal Specifications. Ershov Memorial Conference 2014: 304-319 - [c98]Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. ISoLA (1) 2014: 351-367 - [c97]Alessio Ferrari
, Giuseppe Lipari, Stefania Gnesi
, Giorgio Oronzo Spagnolo
:
Pragmatic ambiguity detection in natural language requirements. AIRE 2014: 1-8 - [c96]Paola Spoletini
, Alessio Ferrari
, Stefania Gnesi
:
Context transformations for goal models. MoDRE 2014: 17-26 - [c95]Alessio Ferrari
, Felice Dell'Orletta
, Giorgio Oronzo Spagnolo
, Stefania Gnesi:
Measuring and Improving the Completeness of Natural Language Requirements. REFSQ 2014: 23-38 - [c94]Riccardo Cognini, Flavio Corradini, Stefania Gnesi
, Andrea Polini, Barbara Re
:
Research challenges in business process adaptability. SAC 2014: 1049-1054 - [e12]Stefania Gnesi
, Arend Rensink:
Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Lecture Notes in Computer Science 8411, Springer 2014, ISBN 978-3-642-54803-1 [contents] - [e11]Stefania Gnesi, Nico Plat:
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014. ACM 2014, ISBN 978-1-4503-2853-1 [contents] - [e10]Stefania Gnesi, Alessandro Fantechi, Patrick Heymans, Julia Rubin, Krzysztof Czarnecki, Deepak Dhungana:
18th International Software Product Line Conference, SPLC '14, Florence, Italy, September 15-19, 2014. ACM 2014, ISBN 978-1-4503-2740-4 [contents] - [e9]Stefania Gnesi, Alessandro Fantechi, Maurice H. ter Beek, Goetz Botterweck, Martin Becker:
18th International Software Product Lines Conference - Companion Volume for Workshop, Tools and Demo papers, SPLC '14, Florence, Italy, September 15-19, 2014. ACM 2014, ISBN 978-1-4503-2739-8 [contents] - [i7]Maurice H. ter Beek, Luca Bortolussi, Vincenzo Ciancia, Stefania Gnesi, Jane Hillston, Diego Latella,