From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study.

A. Fantechi, S. Gnesi, и L. Semini. REFSQ Workshops, том 3378 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Stefania Peluso

Stefania Richter

Stefania Castagnetti

Stefania Gori

Stefania Mendelsohn

Другие публикации лиц с тем же именем

A Deontic Logical Framework for Modelling Product Families.P. Asirelli, M. ter Beek, S. Gnesi, и A. Fantechi. VaMoS, том 37 из ICB-Research Report, стр. 37-44. Universität Duisburg-Essen, (2010)Refinement of Behavioural Models for Variability Description.A. Fantechi, и S. Gnesi. From Action Systems to Distributed Systems, Chapman and Hall/CRC, (2016)An Approach to Ambiguity Analysis in Safety-Related Standards.I. Biscoglio, A. Coco, M. Fusani, S. Gnesi, и G. Trentanni. QUATIC, стр. 461-466. IEEE Computer Society, (2010)Statistical model checking of an energy-saving cyber-physical system in the railway domain.D. Basile, F. Giandomenico, и S. Gnesi. SAC, стр. 1356-1363. ACM, (2017)Future Train Control Systems: Challenges for Dependability Assessment.A. Fantechi, S. Gnesi, и G. Gori. ISoLA (4), том 13704 из Lecture Notes in Computer Science, стр. 269-285. Springer, (2022)Supervisory Synthesis of Configurable Behavioural Contracts with Modalities.D. Basile, M. ter Beek, P. Degano, A. Legay, G. Ferrari, S. Gnesi, и F. Giandomenico. FORTE, том 12719 из Lecture Notes in Computer Science, стр. 177-181. Springer, (2021)A case study on the automated verification of groupware protocols.M. ter Beek, M. Massink, D. Latella, S. Gnesi, A. Forghieri, и M. Sebastianis. ICSE, стр. 596-603. ACM, (2005)1st FME workshop on formal methods in software engineering (FormaliSE 2013).S. Gnesi, и N. Plat. ICSE, стр. 1519-1520. IEEE Computer Society, (2013)Verifying Mobile Processes in the HAL Environment.G. Ferrari, S. Gnesi, U. Montanari, M. Pistore, и G. Ristori. CAV, том 1427 из Lecture Notes in Computer Science, стр. 511-515. Springer, (1998)An Automated Based Verification Environment for Mobile Processes.G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore, и G. Ristori. TACAS, том 1217 из Lecture Notes in Computer Science, стр. 275-289. Springer, (1997)

BibSonomy

Disambiguation