Gianluca Trentanni

16 papers A* 1Misc 2Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Leveraging Large Language Models for Automated Access Policies Generation: An Agentware Approach.
IEEE Softw.
Maria Teresa Paratore, Eda Marchetti, Antonello Calabrò, Gianluca Trentanni
2019 — conf
Comparing Results of Natural Language Disambiguation Tools with Reports of Manual Reviews of Safety-Related Standards.
From Software Engineering to Formal Methods and Tools, and Back
Isabella Biscoglio, Attilio Ciancabilla, Mario Fusani, Giuseppe Lami, Gianluca Trentanni
2019 — conf
QuARS: A NLP Tool for Requirements Analysis.
REFSQ Workshops
Stefania Gnesi, Gianluca Trentanni
2019 — conf
QuARS: A Pioneer Tool for NL Requirement Analysis.
From Software Engineering to Formal Methods and Tools, and Back
Giuseppe Lami, Mario Fusani, Gianluca Trentanni
2016 — conf
Certification of Cash Registers Software.
MODELSWARD (Revised Selected Papers)
Isabella Biscoglio, Giuseppe Lami, Gianluca Trentanni
2016 — conf
Fiscal Software Certification - An Italian Experience of Certification Against the Fiscal Legislation.
AMARETTO@MODELSWARD
Isabella Biscoglio, Giuseppe Lami, Gianluca Trentanni
2015 — conf
Certification and Legislation - An Italian Experience of Fiscal Software Certification.
ICSOFT-EA
Isabella Biscoglio, Giuseppe Lami, Eda Marchetti, Gianluca Trentanni
2010 Misc conf
An Approach to Ambiguity Analysis in Safety-Related Standards.
QUATIC
Isabella Biscoglio, Alessandro Coco, Mario Fusani, Stefania Gnesi, Gianluca Trentanni
2010 Misc conf
An experience in using a tool for evaluating a large set of natural language requirements.
SAC
Antonio Bucchiarone, Stefania Gnesi, Alessandro Fantechi, Gianluca Trentanni
2010 — conf
Evaluating Web Site Quality: A Statistical Approach.
QSIC
Isabella Biscoglio, Alessandro Coco, Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami, Gianluca Trentanni
2009 J jnl
Assisting the design of a groupware system.
J. Log. Algebraic Methods Program.
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni
2008 J jnl
Assisting the Design of an Industrial Groupware System by Model Checking.
ERCIM News
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni
2008 J jnl
Evaluation of Natural Language Requirements in the MODCONTROL Project.
ERCIM News
Antonio Bucchiarone, Stefania Gnesi, Gianluca Trentanni, Alessandro Fantechi
2008 A* conf
QuARS Express - A Tool Demonstration.
ASE
Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi
2005 J jnl
An automatic tool for the analysis of natural language requirements.
Comput. Syst. Sci. Eng.
Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni
2004 — conf
Verication On The Web Of Mobile Systems.
VVEIS
Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto