Stefania Gnesi
发表
Mieke Massink,
Maurice H. ter Beek,
Stefania Gnesi,
2012
.
Liliana Pasquale,
Stefania Gnesi,
Nazim Madhavji,
2020
.
Stefania Gnesi,
Amar Bouali,
Salvatore Larosa,
1994,
Bull. EATCS.
Andrea Polini,
Barbara Re,
Stefania Gnesi,
2014,
SAC.
Patrick Heymans,
Stefania Gnesi,
Julia Rubin,
2014
.
Diego Latella,
Mieke Massink,
Stefania Gnesi,
2004,
Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2015,
SEFM.
Stan Jarzabek,
Stefania Gnesi,
2015,
International Journal on Software Tools for Technology Transfer.
Maurice H. ter Beek,
Stefania Gnesi,
Alexander Knapp,
2016,
Lecture Notes in Computer Science.
Corrado Moiso,
Sandro Etalle,
Gabriele Lenzini,
2004
.
Antonio Bucchiarone,
Maurice H. ter Beek,
Stefania Gnesi,
2009,
2009 35th Euromicro Conference on Software Engineering and Advanced Applications.
Marco Pistore,
Gian Luigi Ferrari,
Ugo Montanari,
2003,
TSEM.
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2009,
J. Log. Algebraic Methods Program..
Diego Latella,
Stefania Gnesi,
2001,
Formal Methods Syst. Des..
Stefania Gnesi,
Giuseppe Lami,
Alessandro Fantechi,
2003,
Requirements Engineering.
Stefania Gnesi,
Alessandro Fantechi,
Robert Meolic,
2004,
FORTE.
Antonia Bertolino,
Stefania Gnesi,
2003,
PFE.
Paola Inverardi,
Stefania Gnesi,
Monica Nesi,
1988,
Concurrency.
Tiziana Margaria,
Stefania Gnesi,
T. Margaria,
2012
.
Stefania Gnesi,
Hernán Melgratti,
Nico Plat,
2017,
ICSE 2017.
Stefania Gnesi,
Alessandro Fantechi,
A. Fantechi,
2008,
2008 12th International Software Product Line Conference.
Stefania Gnesi,
Arend Rensink,
A. Rensink,
2014,
Lecture Notes in Computer Science.
José Luiz Fiadeiro,
João Abreu,
Stefania Gnesi,
2009,
FMOODS/FORTE.
Stefania Gnesi,
Alessandro Fantechi,
Cinzia Bernardeschi,
2001,
Reliab. Eng. Syst. Saf..
Maurice H. ter Beek,
Stefania Gnesi,
Alessandro Fantechi,
2018,
SPLC.
Diego Latella,
Stefania Gnesi,
1998,
Formal Aspects of Computing.
Stefania Gnesi,
Alessandro Fantechi,
A. Fantechi,
1991,
Inf. Process. Lett..
Stefania Gnesi,
Gianluca Trentanni,
Giuseppe Lami,
2005,
Comput. Syst. Sci. Eng..
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2007,
FMICS.
Alberto Martelli,
Ugo Montanari,
Stefania Gnesi,
1981,
JACM.
Stefania Gnesi,
2008,
Concurrency, Graphs and Models.
Stefania Gnesi,
Alessandro Fantechi,
Cinzia Bernardeschi,
1996,
EDCC.
Rocco De Nicola,
Stefania Gnesi,
Alessandro Fantechi,
1993,
Comput. Networks ISDN Syst..
Stefania Gnesi,
Franco Mazzanti,
S. Gnesi,
2011,
Results of the SENSORIA Project.
Mieke Massink,
Maurice H. ter Beek,
Stefania Gnesi,
2009
.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2019,
Sci. Comput. Program..
Stefania Gnesi,
Alessio Ferrari,
Alessandro Fantechi,
2018,
VaMoS.
Tiziana Margaria,
Stefania Gnesi,
T. Margaria,
2012
.
Stefania Gnesi,
Gioia Ristori,
2000
.
Stefania Gnesi,
Gianluca Trentanni,
Mario Fusani,
2010,
2010 Seventh International Conference on the Quality of Information and Communications Technology.
Stefania Gnesi,
Alessandro Fantechi,
V. Perticaroli,
1993,
MFCS.
Maurice H. ter Beek,
Stefania Gnesi,
M. Beek,
2019,
Models, Languages, and Tools for Concurrent and Distributed Programming.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2015,
SPLC.
Tiziana Margaria,
Stefania Gnesi,
2012
.
Stefania Gnesi,
Fabrizio Fabbrini,
Mario Fusani,
2004,
IASTED Conf. on Software Engineering and Applications.
John S. Fitzgerald,
Stefania Gnesi,
Dino Mandrioli,
2005,
International Journal on Software Tools for Technology Transfer.
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2017,
MODELSWARD.
Stefania Gnesi,
Gianluca Trentanni,
2019,
REFSQ Workshops.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2011,
PLEASE '11.
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2008,
ERCIM News.
Maurice H. ter Beek,
Stefania Gnesi,
Davide Basile,
2018,
SPLC.
Antonio Bucchiarone,
Roberto Bruni,
Stefania Gnesi,
2008,
GT-VC@CONCUR.
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2017,
SEFM Workshops.
Rocco De Nicola,
Stefania Gnesi,
Alessandro Fantechi,
1991,
CAV.
Corrado Moiso,
Maurice H. ter Beek,
Stefania Gnesi,
2006,
2006 European Conference on Web Services (ECOWS'06).
Stefania Gnesi,
Alessandro Fantechi,
Cinzia Bernardeschi,
1997,
J. Syst. Softw..
Ana Cavalcanti,
John S. Fitzgerald,
Stefania Gnesi,
2019,
Formal Aspects of Computing.
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2017,
SAC.
Stefania Gnesi,
Alessandro Fantechi,
Anne E. Haxthausen,
2020,
ISoLA.
Stefania Gnesi,
Alessandro Fantechi,
Laura Semini,
2017,
FMICS-AVoCS.
Stefania Gnesi,
Alessandro Fantechi,
Michele Banci,
2006,
Trans. SDPS.
Sarfraz Khurshid,
John Derrick,
Michael Leuschel,
2012
.
Nora Koch,
Stefania Gnesi,
Philip Mayer,
2011,
Results of the SENSORIA Project.
Felicita Di Giandomenico,
Maurice H. ter Beek,
Stefania Gnesi,
2017,
SPLC.
Stefania Gnesi,
Paola Spoletini,
Alessio Ferrari,
2017,
2017 IEEE 25th International Requirements Engineering Conference (RE).
Felicita Di Giandomenico,
Gian Luigi Ferrari,
Stefania Gnesi,
2017,
VaMoS.
Davide Bacciu,
Stefania Gnesi,
Laura Semini,
2015,
WWV.
Stefania Gnesi,
Laura Semini,
1999,
PDPTA.
Maurice H. ter Beek,
Stefania Gnesi,
Carlo Montangero,
2009,
ICFI.
Diego Latella,
Stefania Gnesi,
Alessandro Fantechi,
1996,
CONCUR.
Eda Marchetti,
Stefania Gnesi,
Giorgio Oronzo Spagnolo,
2016,
ERCIM News.
Gabriele Lenzini,
Fabio Martinelli,
Stefania Gnesi,
2004,
MEFISTO.
Davide Bacciu,
Stefania Gnesi,
Laura Semini,
2017,
J. Log. Algebraic Methods Program..
Stefania Gnesi,
2013,
Engineering Dependable Software Systems.
Stefania Gnesi,
Alessio Ferrari,
Gabriele Tolomei,
2013,
REFSQ.
Stefania Gnesi,
Alessandro Fantechi,
Laura Semini,
1999
.
Maurice H. ter Beek,
Stefania Gnesi,
Alessandro Fantechi,
2014,
ISoLA.
Stefania Gnesi,
Francesco Tiezzi,
Rosario Pugliese,
2011,
Results of the SENSORIA Project.
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2014,
ERCIM News.
Stefania Gnesi,
Alessandro Fantechi,
Laura Semini,
2019,
REFSQ Workshops.
Andrea Polini,
Stefania Gnesi,
Alessio Ferrari,
2018,
J. Softw. Evol. Process..
Antonio Bucchiarone,
Stefania Gnesi,
Gianluca Trentanni,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Stefania Gnesi,
Anna Philippou,
John Fitzgerald,
2016,
Lecture Notes in Computer Science.
Stefania Gnesi,
Fabrizio Fabbrini,
Mario Fusani,
2007,
International Conference on Software Engineering Advances (ICSEA 2007).
Eda Marchetti,
Stefania Gnesi,
Giorgio Oronzo Spagnolo,
2016,
SWQD.
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2005,
ICSE.
Antonio Bucchiarone,
Stefania Gnesi,
Greg Dennis,
2009,
Electron. Notes Theor. Comput. Sci..
Stefania Gnesi,
Alessandro Fantechi,
Gianluca Mazzarini,
1990,
FORTE.
Gabriele Lenzini,
Stefania Gnesi,
Diego Latella,
2000
.
Antonio Bucchiarone,
Maurice H. ter Beek,
Stefania Gnesi,
2007,
Second International Conference on Internet and Web Applications and Services (ICIW'07).
Diego Latella,
John Derrick,
Stefania Gnesi,
2012
.
Maurice H. ter Beek,
Stefania Gnesi,
Patrizia Asirelli,
2011,
2011 15th International Software Product Line Conference.
Maurice H. ter Beek,
Stefania Gnesi,
Alexander Knapp,
2018,
International Journal on Software Tools for Technology Transfer.
Stefania Gnesi,
Alessandro Fantechi,
Cinzia Bernardeschi,
2002,
Softw. Test. Verification Reliab..
Vincenzo Gervasi,
Stefania Gnesi,
Fabrizio Fabbrini,
1998,
REFSQ.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2011,
Sci. Comput. Program..
Stefania Gnesi,
Alessandro Fantechi,
Michele Carenini,
1994,
Formal Methods Syst. Des..
Felice Dell'Orletta,
Stefania Gnesi,
Alessio Ferrari,
2014,
REFSQ.
Maurice H. ter Beek,
Stefania Gnesi,
Alexander Knapp,
2018,
International Journal on Software Tools for Technology Transfer.
Stefania Gnesi,
Alessandro Fantechi,
2016,
From Action Systems to Distributed Systems.
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2004,
COOP.
Stefania Gnesi,
Joanne M. Atlee,
2015
.
Stefania Gnesi,
Alessio Ferrari,
Alessandro Fantechi,
2018,
2018 IEEE 26th International Requirements Engineering Conference (RE).
Stefania Gnesi,
Alessandro Fantechi,
2007,
ESEC-FSE '07.
Philippe Collet,
Klaus Schmid,
Stefania Gnesi,
2013,
VAMOS 2013.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2018,
IFM.
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2015,
SEFM Workshops.
Stefania Gnesi,
Alessandro Fantechi,
Gioia Ristori,
1994,
Formal Methods Syst. Des..
Diego Latella,
Mieke Massink,
Stefania Gnesi,
2006,
J. Log. Algebraic Methods Program..
Diego Latella,
Mieke Massink,
Roberto Bruni,
2002,
WADT.
Ugo Montanari,
Stefania Gnesi,
Alfonso Catalano,
1978,
Graph-Grammars and Their Application to Computer Science and Biology.
Paola Inverardi,
Nicoletta De Francesco,
Stefania Gnesi,
1995,
TACAS.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2016,
J. Log. Algebraic Methods Program..
Diego Latella,
Mieke Massink,
Stefania Gnesi,
1999,
Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.
Stefania Gnesi,
Alessandro Fantechi,
Giovanni Lombardi,
2008,
ERCIM News.
Arend Rensink,
Stefania Gnesi,
2014
.
Diego Latella,
Mieke Massink,
Stefania Gnesi,
2000,
Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000).
Stefania Gnesi,
Alessio Ferrari,
Alessandro Fantechi,
2017,
REFSQ.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2015,
Software, Services, and Systems.
Antonia Bertolino,
Stefania Gnesi,
Giuseppe Lami,
2006,
Software Product Lines.
Stefania Gnesi,
Alessandro Fantechi,
Adriana Maggiore,
2005,
Electron. Notes Theor. Comput. Sci..
Stefania Gnesi,
Nico Plat,
2016,
FormaliSE@ICSE.
Stefania Gnesi,
Alessandro Fantechi,
Laura Semini,
2019,
SPLC.
Antonia Bertolino,
Stefania Gnesi,
Patrizia Asirelli,
1996
.
Axel Legay,
Felicita Di Giandomenico,
Gian Luigi Ferrari,
2020,
Sci. Comput. Program..
Stefania Gnesi,
S. Gnesi,
2003,
FMICS.
Stefania Gnesi,
Alessandro Fantechi,
Laura Semini,
2006,
RODIN Book.
Antonio Bucchiarone,
Stefania Gnesi,
Gianluca Trentanni,
2010,
SAC '10.
Diego Latella,
Gabriele Lenzini,
Stefania Gnesi,
2003
.
Nora Koch,
Maurice H. ter Beek,
Stefania Gnesi,
2008,
2008 ACM/IEEE 30th International Conference on Software Engineering.
Mauro Pezzè,
Stefania Gnesi,
FormaliSE,
1998,
CEC Workshops.
Stefania Gnesi,
Salvatore Larosa,
Alessandro Fantechi,
1995,
SAFECOMP.
Andrea Esuli,
Felice Dell'Orletta,
Vincenzo Gervasi,
2017,
IEEE Software.
Gabriele Lenzini,
Stefania Gnesi,
Diego Latella,
2000
.
Stefania Gnesi,
Alessio Ferrari,
Alessandro Fantechi,
2018
.
Stefania Gnesi,
Alessandro Fantechi,
Laura Semini,
2020,
QUATIC.
Stefania Gnesi,
Alessandro Fantechi,
Cinzia Bernardeschi,
1996,
SAFECOMP.
Maurice H. ter Beek,
Stefania Gnesi,
Mercy N. Njima,
2011,
WWV.
Stefania Gnesi,
Paola Spoletini,
Alessio Ferrari,
2014,
2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE).
Stefania Gnesi,
Franco Mazzanti,
Francesco Tiezzi,
2012,
TSEM.
Stefania Gnesi,
Tomoji Kishi,
Stan Jarzabek,
2013
.
Felicita Di Giandomenico,
Stefania Gnesi,
Alessandro Fantechi,
2013,
SERENE.
Fabio Martinelli,
Marinella Petrocchi,
Maurice H. ter Beek,
2007,
ERCIM News.
Stefania Gnesi,
Salvatore Larosa,
Alessandro Fantechi,
1998,
Formal Methods Syst. Des..
Stefania Gnesi,
Fabrizio Fabbrini,
Mario Fusani,
2001,
Proceedings 26th Annual NASA Goddard Software Engineering Workshop.
Maurice H. ter Beek,
Stefania Gnesi,
Patrizia Asirelli,
2010,
VaMoS.
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2017,
RSSRail.
Anne Elisabeth Haxthausen,
M. Roveri,
Stefania Gnesi,
2016
.
Tiziana Margaria,
Stefania Gnesi,
2012,
FMICS 2012.
Stefania Gnesi,
José Luiz Fiadeiro,
Andrea Maggiolo Schettini,
2010,
SEFM 2010.
Maurice H. ter Beek,
Stefania Gnesi,
Patrizia Asirelli,
2010,
IFM.
Paola Inverardi,
Ugo Montanari,
Stefania Gnesi,
1987,
ESEC.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2014,
Ershov Memorial Conference.
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2016,
ISoLA.
Diego Latella,
Mieke Massink,
Stefania Gnesi,
2002,
J. Log. Algebraic Methods Program..
Gianluigi Zavattaro,
Maurice H. ter Beek,
Stefania Gnesi,
2010,
ACoTA.
Marco Pistore,
Gian Luigi Ferrari,
Ugo Montanari,
1997,
TACAS.
Stefania Gnesi,
Alessio Ferrari,
Gabriele Tolomei,
2012,
SAC '12.
Felicita Di Giandomenico,
Maurice H. ter Beek,
Stefania Gnesi,
2020,
ISoLA.
Stefania Gnesi,
Alessandro Fantechi,
Cinzia Bernardeschi,
1999,
SAFECOMP.
Didar Zowghi,
Stefania Gnesi,
Paola Spoletini,
2017,
2017 IEEE 25th International Requirements Engineering Conference (RE).
Andrea Polini,
Barbara Re,
Stefania Gnesi,
2017,
Data Knowl. Eng..
Enrico Tronci,
Stefania Gnesi,
Franco Mazzanti,
1998,
FM-Trends.
Allan Clark,
Stephen Gilmore,
Nora Koch,
2022,
Leveraging Applications of Formal Methods.
José Luiz Fiadeiro,
Maurice H. ter Beek,
Stefania Gnesi,
2011,
2011 IEEE 34th Software Engineering Workshop.
Hans Friedrich Witschel,
Stefania Gnesi,
Alessio Ferrari,
2017,
Bus. Process. Manag. J..
Stefania Gnesi,
Dino Mandrioli,
荒木 啓二郎,
2003,
Lecture Notes in Computer Science.
Diego Latella,
Gabriele Lenzini,
Stefania Gnesi,
2000,
Proceeding International Conference on Dependable Systems and Networks. DSN 2000.
Stefania Gnesi,
Giuseppe Lami,
Alessandro Fantechi,
2004,
SPLC.
Andrea Polini,
Barbara Re,
Stefania Gnesi,
2018,
Inf. Syst. Frontiers.
Francesco Flammini,
Stefania Gnesi,
Alessandro Fantechi,
2014,
International Journal on Software Tools for Technology Transfer.
Rocco De Nicola,
Stefania Gnesi,
Salvatore Larosa,
1995,
CHARME.
Stefania Gnesi,
Paola Spoletini,
Alessio Ferrari,
2016,
2016 IEEE 24th International Requirements Engineering Conference (RE).
Stefania Gnesi,
Alessandro Fantechi,
A. Fantechi,
2011,
SAFECOMP.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2013,
ERCIM News.
Stefania Gnesi,
Alessandro Fantechi,
Gioia Ristori,
1990,
PSTV.
Antonio Bucchiarone,
Stefania Gnesi,
Pierluigi Pierini,
2005,
13th IEEE International Conference on Requirements Engineering (RE'05).
Antonio Bucchiarone,
Stefania Gnesi,
Gianluca Trentanni,
2008,
ERCIM News.
Diego Latella,
Gabriele Lenzini,
Stefania Gnesi,
2000
.
Antonella Santone,
Stefania Gnesi,
Alessandro Fantechi,
1998
.
Stefania Gnesi,
Alessandro Fantechi,
Laura Semini,
2017,
VaMoS.
Emilio Tuosto,
Gian Luigi Ferrari,
Ugo Montanari,
2004,
VVEIS.
Stefania Gnesi,
Alessio Ferrari,
Alessio Ferrari,
2012,
2012 20th IEEE International Requirements Engineering Conference (RE).
Andrea Esuli,
Stefania Gnesi,
Alessio Ferrari,
2018,
2018 5th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE).
Stefania Gnesi,
Joanne M. Atlee,
2015,
FMSPLE@ETAPS.
Maurice H. ter Beek,
Stefania Gnesi,
Alessandro Fantechi,
2015,
SPLC.
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2005,
Electron. Notes Theor. Comput. Sci..
Stefania Gnesi,
Franco Mazzanti,
S. Gnesi,
1999,
PDPTA.
Gabriele Lenzini,
Fabio Martinelli,
Ilaria Matteucci,
2009,
WADS.
Stefania Gnesi,
Paola Spoletini,
Alessio Ferrari,
2015,
2015 IEEE 23rd International Requirements Engineering Conference (RE).
Stefania Gnesi,
Alessio Ferrari,
Mario Fusani,
2017,
RSSRail.
Antonella Santone,
Stefania Gnesi,
Alessandro Fantechi,
1998
.
Stefania Gnesi,
Alessandro Fantechi,
Giovanni Lombardi,
2007,
SDL Forum.
Massimo Coppola,
Stefania Gnesi,
Gianluca Amato,
2006,
Electron. Notes Theor. Comput. Sci..
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2018,
Models, Mindsets, Meta.
Diego Latella,
Stefania Gnesi,
1998,
Formal Methods Syst. Des..
Stefania Gnesi,
Alessandro Fantechi,
F. Leggio,
1991,
SIGP.
Antonio Bucchiarone,
Roberto Bruni,
Stefania Gnesi,
2008,
Concurrency, Graphs and Models.
Maurice H. ter Beek,
Stefania Gnesi,
Patrizia Asirelli,
2011,
FMOODS/FORTE.
Stefania Gnesi,
Alessio Ferrari,
Alessandro Fantechi,
2016,
ISoLA.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2009,
SAC '09.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2012,
SPLC '12.
Davide Bacciu,
Stefania Gnesi,
Laura Semini,
2016,
ERCIM News.
Silvano Chiaradonna,
Felicita Di Giandomenico,
Stefania Gnesi,
2015,
SERENE.
Stefania Gnesi,
Alessandro Fantechi,
Giovanni Lombardi,
2008,
Comput. Syst. Sci. Eng..
Francesco Flammini,
Stefania Gnesi,
Alessandro Fantechi,
2012,
ISoLA.
Marinella Petrocchi,
Stefania Gnesi,
M. Petrocchi,
2012,
SPLC '12.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2019,
FM.
Stefania Gnesi,
Amar Bouali,
Salvatore Larosa,
1994
.
Stefania Gnesi,
Fabrizio Fabbrini,
Mario Fusani,
2001
.
Gabriele Lenzini,
Fabio Martinelli,
Stefania Gnesi,
2005,
SVV@ICLP.
Giuseppe Lipari,
Stefania Gnesi,
Alessio Ferrari,
2014,
2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering (AIRE).
Corrado Moiso,
Sandro Etalle,
Gabriele Lenzini,
2005,
FMOODS.
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity
Dániel Varró,
Allan Clark,
Stephen Gilmore,
2008,
ISoLA.
Tiziana Margaria,
Stefania Gnesi,
T. Margaria,
2012
.
Stefania Gnesi,
Alessandro Fantechi,
G. Mazzarini,
1991
.
Stefania Gnesi,
Giuseppe Lami,
Alessandro Fantechi,
2002,
Proceedings IEEE Joint International Conference on Requirements Engineering.
Tiziana Margaria,
Stefania Gnesi,
T. Margaria,
2012
.
Felice Dell'Orletta,
Stefania Gnesi,
Alessio Ferrari,
2015,
SPLC.
Andrea Polini,
Barbara Re,
Stefania Gnesi,
2017,
BPM.
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2017
.
Stefania Gnesi,
Fabrizio Fabbrini,
Mario Fusani,
2005
.
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2017,
SPLC.
Nora Koch,
Stefania Gnesi,
Philip Mayer,
2011,
Results of the SENSORIA Project.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2020,
Leveraging Applications of Formal Methods.
Antonio Bucchiarone,
Henry Muccini,
Antonia Bertolino,
2005,
QoSA/SOQUA.
Stefania Gnesi,
Franco Mazzanti,
Francesco Tiezzi,
2008,
FASE.
Maurice H. ter Beek,
Stefania Gnesi,
Patrizia Asirelli,
2012,
ISoLA.
Stefania Gnesi,
Alessio Ferrari,
Alessandro Fantechi,
2018,
Empirical Software Engineering.
Stefania Gnesi,
Alessandro Fantechi,
R. Sacchelli,
1994,
FORTE.
Stefania Gnesi,
Alessandro Fantechi,
Giovanni Lombardi,
2007,
EFTS '07.
Stefania Gnesi,
Alessio Ferrari,
Alessandro Fantechi,
2012,
NASA Formal Methods.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2019,
IFM.
Stefania Gnesi,
Alessio Ferrari,
Alessandro Fantechi,
2013,
IEEE Software.
Stefania Gnesi,
Alessandro Fantechi,
2007,
ESEC/SIGSOFT FSE.
Maurice H. ter Beek,
Stefania Gnesi,
Alessio Ferrari,
2018,
ERCIM News.
Ina Schieferdecker,
Stefania Gnesi,
Hubert Garavel,
2003,
Sci. Comput. Program..
Stefania Gnesi,
Alessandro Fantechi,
Laura Semini,
2020,
REFSQ Workshops.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2019,
RSSRail.
Goetz Botterweck,
Maurice H. ter Beek,
Stefania Gnesi,
2014,
SPLC 2014.
Stefania Gnesi,
Alessandro Fantechi,
Laura Semini,
2020,
Integrating Research and Practice in Software Engineering.
Stefania Gnesi,
Alessio Ferrari,
Beatrice Donati,
2017,
2017 IEEE 25th International Requirements Engineering Conference Workshops (REW).
Stefan Gruner,
Stefania Gnesi,
Nico Plat,
2012,
ICSE 2012.
Tiziana Margaria,
Stefania Gnesi,
T. Margaria,
2012
.
Antonia Bertolino,
Stefania Gnesi,
A. Bertolino,
2003,
ESEC/FSE-11.
Paola Inverardi,
Nicoletta De Francesco,
Stefania Gnesi,
2001,
Comput. J..
Tiziana Margaria,
Stefania Gnesi,
T. Margaria,
2012
.
Alan Wassyng,
Stefania Gnesi,
Tom Maibaum,
2006
.
Stefania Gnesi,
Nico Plat,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Vincenzo Gervasi,
Stefania Gnesi,
Fabrizio Fabbrini,
1998
.
Stefania Gnesi,
Alessandro Fantechi,
Cinzia Bernadeschi,
2001
.
Corrado Moiso,
Ilaria Matteucci,
Marinella Petrocchi,
2014,
APF.
Maurice H. ter Beek,
Stefania Gnesi,
Alessandro Fantechi,
2016,
ISoLA.
Stefania Gnesi,
Alessio Ferrari,
Giorgio Oronzo Spagnolo,
2017,
2017 IEEE 25th International Requirements Engineering Conference (RE).
Diego Latella,
Gabriele Lenzini,
Stefania Gnesi,
2002
.
Felicita Di Giandomenico,
Stefania Gnesi,
Giorgio Oronzo Spagnolo,
2019,
ERCIM News.
Stefania Gnesi,
Alessio Ferrari,
2018,
REFSQ Workshops.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2014,
ERCIM News.
Stefania Gnesi,
Nico Plat,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Stefania Gnesi,
Patrizia Asirelli,
Maria Cristina Rossi,
1996,
SOFSEM.
Marco Pistore,
Gian Luigi Ferrari,
Ugo Montanari,
1998,
CAV.
Stefania Gnesi,
Alessio Ferrari,
Giorgio Oronzo Spagnolo,
2017,
REFSQ Workshops.
Tiziana Margaria,
Stefania Gnesi,
2012
.
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems
Silvano Chiaradonna,
Felicita Di Giandomenico,
Stefania Gnesi,
2016,
J. Rail Transp. Plan. Manag..
Stefania Gnesi,
Eric Madelaine,
Gioia Ristori,
1995
.
Cosimo Laneve,
Stefania Gnesi,
Alessandro Fantechi,
1989,
FORTE.
Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews
Muneera Bano,
Didar Zowghi,
Stefania Gnesi,
2018,
REFSQ.
Sven Apel,
Stefania Gnesi,
Ulrich W. Eisenecker,
2012
.
Stefania Gnesi,
Paola Spoletini,
Alessio Ferrari,
2017,
REFSQ.
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2019
.
Hans Friedrich Witschel,
Stefania Gnesi,
Alessio Ferrari,
2016,
KMIS.
Andrea Polini,
Stefania Gnesi,
Alessio Ferrari,
2016,
SAC.
Stefania Gnesi,
Paola Spoletini,
Alessio Ferrari,
2016,
Requirements Engineering.
Diego Latella,
Gabriele Lenzini,
Stefania Gnesi,
2000,
TACAS.
Stefania Gnesi,
Hernán C. Melgratti,
Nico Plat,
2017,
FormaliSE@ICSE.
Stefania Gnesi,
Giuseppe Lami,
Jörg Dörr,
2003,
PFE.
Muneera Bano,
Didar Zowghi,
Vincenzo Gervasi,
2015,
APRES.
Stefania Gnesi,
Alessandro Fantechi,
C. Laneve,
1989
.
Axel Legay,
Felicita Di Giandomenico,
Gian Luigi Ferrari,
2021,
FORTE.
Stefania Gnesi,
Alessandro Fantechi,
Laura Semini,
2021,
SPLC.
Stefania Gnesi,
Alessandro Fantechi,
Laura Semini,
2021,
Logic, Computation and Rigorous Methods.
Antonio Bucchiarone,
Stefania Gnesi,
Gianluca Trentanni,
2006
.
Maurice H. ter Beek,
Stefania Gnesi,
M. Beek,
2011
.
Felicita Di Giandomenico,
Gian Luigi Ferrari,
Maurice H. ter Beek,
2017
.
Krzysztof Czarnecki,
Stefania Gnesi,
K. Czarnecki,
2019
.