S. Gnesi
发表
M. Beek,
A. Bucchiarone,
S. Gnesi,
2006
.
M. Beek,
A. Bucchiarone,
S. Gnesi,
2007
.
S. Gnesi,
F. Mazzanti,
2003
.
S. Gnesi,
F. Mazzanti,
2005
.
A. Bertolino,
A. Fantechi,
G. Lami,
2002
.
Antonia Bertolino,
Stefania Gnesi,
A. Bertolino,
2003,
ESEC/FSE-11.
A. Fantechi,
A. Bertolino,
G. Lami,
2004
.
Stefania Gnesi,
Franco Mazzanti,
S. Gnesi,
1999,
PDPTA.
M. Beek,
A. Bucchiarone,
S. Gnesi,
2007
.
A. Fantechi,
M. Beek,
S. Gnesi,
2009,
VaMoS.
Felicita Di Giandomenico,
Gian Luigi Ferrari,
Maurice H. ter Beek,
2017
.
A. Bucchiarone,
S. Gnesi,
2006
.
S. Gnesi,
G. Trentanni,
2011
.
G. Lami,
A. Bucchiarone,
S. Gnesi,
2008
.
A. Fantechi,
A. Bucchiarone,
S. Gnesi,
2007
.
T. Maibaum,
S. Gnesi,
Alan Wassyng,
2006
.
A. Fantechi,
S. Gnesi,
M. Banci,
2004
.
Antonio Bucchiarone,
Stefania Gnesi,
Gianluca Trentanni,
2006
.
A. Fantechi,
G. Lami,
S. Gnesi,
2003
.
A. Fantechi,
M. Beek,
S. Gnesi,
2007
.
Sarfraz Khurshid,
John Derrick,
Michael Leuschel,
2012
.
Luís Caires,
F. Nielson,
R. Pugliese,
2007
.
Alessio Ferrari,
S. Gnesi,
D. Zowghi,
2016
.
S. Gnesi,
L. Semini,
2007
.
A. Fantechi,
S. Gnesi,
C. Bernadeschi,
2001
.
Marco Pistore,
Gian Luigi Ferrari,
Ugo Montanari,
1998,
CAV.
Allan Clark,
Stephen Gilmore,
Nora Koch,
2022,
Leveraging Applications of Formal Methods.
Ugo Montanari,
Stefania Gnesi,
Alfonso Catalano,
1978,
Graph-Grammars and Their Application to Computer Science and Biology.
Stefania Gnesi,
Alessandro Fantechi,
Cinzia Bernadeschi,
2001
.
M. Beek,
S. Gnesi,
F. Mazzanti,
2022
.
Alessio Ferrari,
A. Fantechi,
S. Gnesi,
2011
.
A. Fantechi,
S. Gnesi,
1994
.
Matthias M. Hölzl,
S. Gilmore,
R. Pugliese,
2018
.
Stefania Gnesi,
Hernán C. Melgratti,
Nico Plat,
2017,
FormaliSE@ICSE.
A. Fantechi,
S. Gnesi,
L. Semini,
2022,
Journal of Systems and Software.
Stefania Gnesi,
Amar Bouali,
Salvatore Larosa,
1994,
Bull. EATCS.
Maurice H. ter Beek,
Stefania Gnesi,
Alessandro Fantechi,
2016,
ISoLA.
Tiziana Margaria,
Stefania Gnesi,
T. Margaria,
2012
.
José Luiz Fiadeiro,
João Abreu,
Stefania Gnesi,
2009,
FMOODS/FORTE.
Hans Friedrich Witschel,
Stefania Gnesi,
Alessio Ferrari,
2017,
Bus. Process. Manag. J..
Felicita Di Giandomenico,
Maurice H. ter Beek,
Stefania Gnesi,
2020,
ISoLA.
Maurice H. ter Beek,
Stefania Gnesi,
Patrizia Asirelli,
2011,
2011 15th International Software Product Line Conference.
Maurice H. ter Beek,
Stefania Gnesi,
Patrizia Asirelli,
2011,
FMOODS/FORTE.
Maurice H. ter Beek,
Stefania Gnesi,
Patrizia Asirelli,
2010,
IFM.
Corrado Moiso,
Maurice H. ter Beek,
Stefania Gnesi,
2006,
2006 European Conference on Web Services (ECOWS'06).
Alberto Martelli,
Ugo Montanari,
Stefania Gnesi,
1981,
JACM.
Nora Koch,
Maurice H. ter Beek,
Stefania Gnesi,
2008,
2008 ACM/IEEE 30th International Conference on Software Engineering.
Stefania Gnesi,
Fabrizio Fabbrini,
Mario Fusani,
2001
.
Alessio Ferrari,
Stefano Bacherini,
A. Fantechi,
2018,
Empirical Software Engineering.
Felice Dell'Orletta,
Stefania Gnesi,
Alessio Ferrari,
2014,
REFSQ.
Stefania Gnesi,
Alessandro Fantechi,
A. Fantechi,
1991,
Inf. Process. Lett..
Alan Wassyng,
Stefania Gnesi,
Tom Maibaum,
2006
.
Maurice H. ter Beek,
Stefania Gnesi,
M. Beek,
2019,
Models, Languages, and Tools for Concurrent and Distributed Programming.
Enrico Tronci,
Stefania Gnesi,
Franco Mazzanti,
1998,
FM-Trends.
Stefania Gnesi,
Alessandro Fantechi,
Gioia Ristori,
1994,
Formal Methods Syst. Des..
Stefania Gnesi,
Alessandro Fantechi,
Michele Banci,
2006,
Trans. SDPS.
Felicita Di Giandomenico,
Stefania Gnesi,
Alessandro Fantechi,
2013,
SERENE.
Stefania Gnesi,
Alessandro Fantechi,
Michele Carenini,
1994,
Formal Methods Syst. Des..
Andrea Polini,
Barbara Re,
Stefania Gnesi,
2014,
SAC.
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2017,
MODELSWARD.
Andrea Polini,
Barbara Re,
Stefania Gnesi,
2017,
Data Knowl. Eng..
Diego Latella,
Mieke Massink,
Stefania Gnesi,
1999,
Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.
Stefania Gnesi,
Alessio Ferrari,
Giorgio Oronzo Spagnolo,
2017,
2017 IEEE 25th International Requirements Engineering Conference (RE).
Alessio Ferrari,
S. Gnesi,
P. Spoletini,
2016,
Requirements Engineering.
Alessio Ferrari,
B. Nuseibeh,
S. Gnesi,
2023
.
Stefania Gnesi,
Paola Spoletini,
Alessio Ferrari,
2017,
2017 IEEE 25th International Requirements Engineering Conference (RE).
Stefania Gnesi,
Paola Spoletini,
Alessio Ferrari,
2016,
2016 IEEE 24th International Requirements Engineering Conference (RE).
Stefania Gnesi,
Paola Spoletini,
Alessio Ferrari,
2015,
2015 IEEE 23rd International Requirements Engineering Conference (RE).
Giuseppe Lipari,
Stefania Gnesi,
Alessio Ferrari,
2014,
2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering (AIRE).
Stefania Gnesi,
Alessio Ferrari,
Alessio Ferrari,
2012,
2012 20th IEEE International Requirements Engineering Conference (RE).
Stefania Gnesi,
Gianluca Trentanni,
Giuseppe Lami,
2005,
Comput. Syst. Sci. Eng..
Andrea Polini,
Barbara Re,
Stefania Gnesi,
2018,
Inf. Syst. Frontiers.
Andrea Esuli,
Stefania Gnesi,
Alessio Ferrari,
2018,
2018 5th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE).
Andrea Esuli,
Felice Dell'Orletta,
Vincenzo Gervasi,
2017,
IEEE Software.
Stefania Gnesi,
Alessio Ferrari,
Beatrice Donati,
2017,
2017 IEEE 25th International Requirements Engineering Conference Workshops (REW).
Stefania Gnesi,
Alessio Ferrari,
Alessandro Fantechi,
2017,
REFSQ.
Stefania Gnesi,
Fabrizio Fabbrini,
Mario Fusani,
2001,
Proceedings 26th Annual NASA Goddard Software Engineering Workshop.
Didar Zowghi,
Stefania Gnesi,
Paola Spoletini,
2017,
2017 IEEE 25th International Requirements Engineering Conference (RE).
Diego Latella,
Mieke Massink,
Stefania Gnesi,
2006,
J. Log. Algebraic Methods Program..
Diego Latella,
Mieke Massink,
Stefania Gnesi,
2004,
Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems.
Stefania Gnesi,
Anna Philippou,
John Fitzgerald,
2016,
Lecture Notes in Computer Science.
Gabriele Lenzini,
Fabio Martinelli,
Stefania Gnesi,
2005,
SVV@ICLP.
Stefania Gnesi,
S. Gnesi,
2003,
FMICS.
Stefania Gnesi,
Alessandro Fantechi,
Cinzia Bernardeschi,
1996,
EDCC.
Antonia Bertolino,
Stefania Gnesi,
Patrizia Asirelli,
1996
.
Stefania Gnesi,
Franco Mazzanti,
Francesco Tiezzi,
2012,
TSEM.
Maurice H. ter Beek,
Stefania Gnesi,
M. Beek,
2011
.
Antonio Bucchiarone,
Maurice H. ter Beek,
Stefania Gnesi,
2007,
Second International Conference on Internet and Web Applications and Services (ICIW'07).
Paola Inverardi,
Nicoletta De Francesco,
Stefania Gnesi,
1995,
TACAS.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2018,
Models, Mindsets, Meta.
Stefania Gnesi,
Gianluca Trentanni,
Mario Fusani,
2010,
2010 Seventh International Conference on the Quality of Information and Communications Technology.
Diego Latella,
Mieke Massink,
Roberto Bruni,
2002,
WADT.
Stefania Gnesi,
Dino Mandrioli,
荒木 啓二郎,
2003,
Lecture Notes in Computer Science.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2018,
IFM.
A. Fantechi,
S. Gnesi,
Francesco Flammini,
2014,
International Journal on Software Tools for Technology Transfer.
M. Massink,
A. Forghieri,
D. Latella,
2005,
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2017
.
Stefania Gnesi,
Alessandro Fantechi,
Cinzia Bernardeschi,
2002,
Softw. Test. Verification Reliab..
Axel Legay,
Felicita Di Giandomenico,
Gian Luigi Ferrari,
2020,
Sci. Comput. Program..
Maurice H. ter Beek,
Stefania Gnesi,
Davide Basile,
2018,
SPLC.
Felicita Di Giandomenico,
Maurice H. ter Beek,
Stefania Gnesi,
2017,
SPLC.
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2017,
SPLC.
Felicita Di Giandomenico,
Gian Luigi Ferrari,
Stefania Gnesi,
2017,
VaMoS.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2016,
J. Log. Algebraic Methods Program..
Diego Latella,
Mieke Massink,
Stefania Gnesi,
2002,
J. Log. Algebraic Methods Program..
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2007,
FMICS.
Felice Dell'Orletta,
Stefania Gnesi,
Alessio Ferrari,
2015,
SPLC.
A. Fantechi,
S. Gnesi,
L. Semini,
2021,
SPLC.
Stefania Gnesi,
Alessandro Fantechi,
Laura Semini,
2021,
Logic, Computation and Rigorous Methods.
Axel Legay,
Felicita Di Giandomenico,
Gian Luigi Ferrari,
2021,
FORTE.
Stefania Gnesi,
Alessandro Fantechi,
F. Leggio,
1991,
SIGP.
Paola Inverardi,
Ugo Montanari,
Stefania Gnesi,
1987,
ESEC.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2011,
Sci. Comput. Program..
Diego Latella,
Gabriele Lenzini,
Stefania Gnesi,
2000,
Proceeding International Conference on Dependable Systems and Networks. DSN 2000.
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2017,
SEFM Workshops.
Gabriele Lenzini,
Fabio Martinelli,
Ilaria Matteucci,
2009,
WADS.
Stefania Gnesi,
Giuseppe Lami,
Alessandro Fantechi,
2002,
Proceedings IEEE Joint International Conference on Requirements Engineering.
Tiziana Margaria,
Stefania Gnesi,
T. Margaria,
2012
.
Stefania Gnesi,
Franco Mazzanti,
S. Gnesi,
2011,
Results of the SENSORIA Project.
Antonio Bucchiarone,
Stefania Gnesi,
Gianluca Trentanni,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews
Muneera Bano,
Didar Zowghi,
Stefania Gnesi,
2018,
REFSQ.
Stefania Gnesi,
Alessio Ferrari,
Gabriele Tolomei,
2013,
REFSQ.
Stefania Gnesi,
Alessio Ferrari,
Gabriele Tolomei,
2012,
SAC '12.
Vincenzo Gervasi,
Stefania Gnesi,
Fabrizio Fabbrini,
1998
.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2019,
RSSRail.
Davide Bacciu,
Stefania Gnesi,
Laura Semini,
2017,
J. Log. Algebraic Methods Program..
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2019,
FM.
M. Beek,
S. Gnesi,
Alexander Knapp,
2018,
International Journal on Software Tools for Technology Transfer.
Stefania Gnesi,
Alessio Ferrari,
Alessandro Fantechi,
2016,
ISoLA.
Stefania Gnesi,
Alessio Ferrari,
Alessandro Fantechi,
2013,
IEEE Software.
Gabriele Lenzini,
Fabio Martinelli,
Stefania Gnesi,
2004,
MEFISTO.
Diego Latella,
Gabriele Lenzini,
Stefania Gnesi,
2000,
TACAS.
A. Fantechi,
S. Gnesi,
L. Semini,
1999,
Dependable Computing for Critical Applications 7.
Stefania Gnesi,
Salvatore Larosa,
Alessandro Fantechi,
1998,
Formal Methods Syst. Des..
Rocco De Nicola,
Stefania Gnesi,
Alessandro Fantechi,
1993,
Comput. Networks ISDN Syst..
Rocco De Nicola,
Stefania Gnesi,
Alessandro Fantechi,
1991,
CAV.
Stefania Gnesi,
Alessandro Fantechi,
Cinzia Bernardeschi,
1999,
SAFECOMP.
Stefania Gnesi,
Alessandro Fantechi,
Giovanni Lombardi,
2007,
SDL Forum.
Antonio Bucchiarone,
Stefania Gnesi,
Pierluigi Pierini,
2005,
13th IEEE International Conference on Requirements Engineering (RE'05).
Maurice H. ter Beek,
Stefania Gnesi,
Alessandro Fantechi,
2015,
SPLC.
Paola Inverardi,
Stefania Gnesi,
Monica Nesi,
1988,
Concurrency.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2020,
Leveraging Applications of Formal Methods.
Stefania Gnesi,
Alessandro Fantechi,
Anne E. Haxthausen,
2020,
ISoLA.
Stefania Gnesi,
Alessio Ferrari,
Alessandro Fantechi,
2018,
Empirical Software Engineering.
Tiziana Margaria,
Stefania Gnesi,
T. Margaria,
2012
.
Antonio Bucchiarone,
Henry Muccini,
Antonia Bertolino,
2005,
QoSA/SOQUA.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2014,
Ershov Memorial Conference.
José Luiz Fiadeiro,
Maurice H. ter Beek,
Stefania Gnesi,
2011,
2011 IEEE 34th Software Engineering Workshop.
Maurice H. ter Beek,
Stefania Gnesi,
Patrizia Asirelli,
2010,
VaMoS.
Gianluigi Zavattaro,
Maurice H. ter Beek,
Stefania Gnesi,
2010,
ACoTA.
Antonio Bucchiarone,
Roberto Bruni,
Stefania Gnesi,
2008,
GT-VC@CONCUR.
A. Fantechi,
S. Gnesi,
C. Bernadeschi,
2001
.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2019,
Sci. Comput. Program..
Maurice H. ter Beek,
Stefania Gnesi,
Alessandro Fantechi,
2018,
SPLC.
F. Corradini,
B. Re,
S. Gnesi,
2016,
Information Systems Frontiers.
S. Jarzabek,
S. Gnesi,
2015,
International Journal on Software Tools for Technology Transfer.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2015,
SEFM.
Maurice H. ter Beek,
Stefania Gnesi,
Patrizia Asirelli,
2012,
ISoLA.
Marinella Petrocchi,
Stefania Gnesi,
M. Petrocchi,
2012,
SPLC '12.
Stefania Gnesi,
Alessandro Fantechi,
A. Fantechi,
2008,
2008 12th International Software Product Line Conference.
Stefania Gnesi,
Alessandro Fantechi,
Laura Semini,
2020,
REFSQ Workshops.
Stefania Gnesi,
Alessandro Fantechi,
Laura Semini,
2020,
Integrating Research and Practice in Software Engineering.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2015,
Software, Services, and Systems.
M. Loreti,
S. Gilmore,
F. Nielson,
2022
.
Tiziana Margaria,
Stefania Gnesi,
T. Margaria,
2012
.
Stefania Gnesi,
Alessandro Fantechi,
Robert Meolic,
2004,
FORTE.
Diego Latella,
Stefania Gnesi,
Alessandro Fantechi,
1996,
CONCUR.
A. Fantechi,
S. Gnesi,
F. Mazzanti,
2007
.
Krzysztof Czarnecki,
Stefania Gnesi,
K. Czarnecki,
2019
.
Antonio Bucchiarone,
Stefania Gnesi,
Gianluca Trentanni,
2010,
SAC '10.
Tiziana Margaria,
Stefania Gnesi,
T. Margaria,
2012
.
Marco Pistore,
Gian Luigi Ferrari,
Ugo Montanari,
2003,
TSEM.
Tiziana Margaria,
Stefania Gnesi,
T. Margaria,
2012
.
Inge van de Weerd,
Camille Salinesi,
Alessio Ferrari,
2014,
Lecture Notes in Computer Science.
G. Lenzini,
F. Martinelli,
S. Gnesi,
2004,
MEFISTO.
Stefania Gnesi,
Alessandro Fantechi,
A. Fantechi,
2011,
SAFECOMP.
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2017,
SAC.
Stefania Gnesi,
Amar Bouali,
Salvatore Larosa,
1994
.
Stefania Gnesi,
Alessandro Fantechi,
V. Perticaroli,
1993,
MFCS.
Tommaso Bolognesi,
Ed Brinksma,
E. Brinksma,
1994,
FORTE.
Stefania Gnesi,
Arend Rensink,
A. Rensink,
2014,
Lecture Notes in Computer Science.
Hans Friedrich Witschel,
Stefania Gnesi,
Alessio Ferrari,
2016,
KMIS.
S. Gnesi,
D. Latella,
M. Massink,
2009,
J. Log. Algebraic Methods Program..
Antonia Bertolino,
Stefania Gnesi,
Giuseppe Lami,
2006,
Software Product Lines.
Davide Bacciu,
Stefania Gnesi,
Laura Semini,
2015,
WWV.