Verication On The Web Of Mobile Systems. - Gian-Luigi Ferrari 002; Stefania Gnesi; Ugo Montanari; Roberto Raggi; Gianluca Trentanni; Emilio Tuosto (VVEIS, 2004)

An automatic tool for the analysis of natural language requirements. - Stefania Gnesi; Giuseppe Lami; Gianluca Trentanni (Comput. Syst. Sci. Eng., 2005)

QuARS Express - A Tool Demonstration. - Antonio Bucchiarone; Stefania Gnesi; Giuseppe Lami; Gianluca Trentanni; Alessandro Fantechi (ASE, 2008)

Assisting the Design of an Industrial Groupware System by Model Checking. - Maurice H. ter Beek; Stefania Gnesi; Diego Latella; Mieke Massink; Maurizio Sebastianis; Gianluca Trentanni (ERCIM News, 2008)

Evaluation of Natural Language Requirements in the MODCONTROL Project. - Antonio Bucchiarone; Stefania Gnesi; Gianluca Trentanni; Alessandro Fantechi (ERCIM News, 2008)

Assisting the design of a groupware system. - Maurice H. ter Beek; Stefania Gnesi; Diego Latella; Mieke Massink; Maurizio Sebastianis; Gianluca Trentanni (J. Log. Algebraic Methods Program., 2009)

Evaluating Web Site Quality: A Statistical Approach. - Isabella Biscoglio; Alessandro Coco; Fabrizio Fabbrini; Mario Fusani; Giuseppe Lami; Gianluca Trentanni (QSIC, 2010)

An Approach to Ambiguity Analysis in Safety-Related Standards. - Isabella Biscoglio; Alessandro Coco; Mario Fusani; Stefania Gnesi; Gianluca Trentanni (QUATIC, 2010)

An experience in using a tool for evaluating a large set of natural language requirements. - Antonio Bucchiarone; Stefania Gnesi; Alessandro Fantechi; Gianluca Trentanni (SAC, 2010)

Certification and Legislation - An Italian Experience of Fiscal Software Certification. - Isabella Biscoglio; Giuseppe Lami; Eda Marchetti; Gianluca Trentanni (ICSOFT-EA, 2015)

Fiscal Software Certification - An Italian Experience of Certification Against the Fiscal Legislation. - Isabella Biscoglio; Giuseppe Lami; Gianluca Trentanni (AMARETTO@MODELSWARD, 2016)

Certification of Cash Registers Software. - Isabella Biscoglio; Giuseppe Lami; Gianluca Trentanni (MODELSWARD (Revised Selected Papers), 2016)

Comparing Results of Natural Language Disambiguation Tools with Reports of Manual Reviews of Safety-Related Standards. - Isabella Biscoglio; Attilio Ciancabilla; Mario Fusani; Giuseppe Lami; Gianluca Trentanni (From Software Engineering to Formal Methods and Tools, and Back, 2019)

QuARS: A Pioneer Tool for NL Requirement Analysis. - Giuseppe Lami; Mario Fusani; Gianluca Trentanni (From Software Engineering to Formal Methods and Tools, and Back, 2019)

QuARS: A NLP Tool for Requirements Analysis. - Stefania Gnesi; Gianluca Trentanni (REFSQ Workshops, 2019)