BibTeX records: Gianluca Trentanni

download as .bib file

@inproceedings{DBLP:conf/birthday/LamiFT19,
  author    = {Giuseppe Lami and
               Mario Fusani and
               Gianluca Trentanni},
  editor    = {Maurice H. ter Beek and
               Alessandro Fantechi and
               Laura Semini},
  title     = {QuARS: {A} Pioneer Tool for {NL} Requirement Analysis},
  booktitle = {From Software Engineering to Formal Methods and Tools, and Back -
               Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {11865},
  pages     = {211--219},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-30985-5\_13},
  doi       = {10.1007/978-3-030-30985-5\_13},
  timestamp = {Wed, 09 Oct 2019 10:07:38 +0200},
  biburl    = {https://dblp.org/rec/conf/birthday/LamiFT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BiscoglioCFLT19,
  author    = {Isabella Biscoglio and
               Attilio Ciancabilla and
               Mario Fusani and
               Giuseppe Lami and
               Gianluca Trentanni},
  editor    = {Maurice H. ter Beek and
               Alessandro Fantechi and
               Laura Semini},
  title     = {Comparing Results of Natural Language Disambiguation Tools with Reports
               of Manual Reviews of Safety-Related Standards},
  booktitle = {From Software Engineering to Formal Methods and Tools, and Back -
               Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {11865},
  pages     = {239--249},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-30985-5\_15},
  doi       = {10.1007/978-3-030-30985-5\_15},
  timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/birthday/BiscoglioCFLT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/GnesiT19,
  author    = {Stefania Gnesi and
               Gianluca Trentanni},
  editor    = {Paola Spoletini and
               Patrick M{\"{a}}der and
               Daniel M. Berry and
               Fabiano Dalpiaz and
               Maya Daneva and
               Alessio Ferrari and
               Xavier Franch and
               Sarah Gregory and
               Eduard C. Groen and
               Andrea Herrmann and
               Anne Hess and
               Frank Houdek and
               Oliver Karras and
               Anne Koziolek and
               Kim Lauenroth and
               Cristina Palomares and
               Mehrdad Sabetzadeh and
               Norbert Seyff and
               Marcus Trapp and
               Andreas Vogelsang and
               Thorsten Weyer},
  title     = {QuARS: {A} {NLP} Tool for Requirements Analysis},
  booktitle = {Joint Proceedings of {REFSQ-2019} Workshops, Doctoral Symposium, Live
               Studies Track, and Poster Track co-located with the 25th International
               Conference on Requirements Engineering: Foundation for Software Quality
               {(REFSQ} 2019), Essen, Germany, March 18th, 2019},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2376},
  publisher = {CEUR-WS.org},
  year      = {2019},
  url       = {http://ceur-ws.org/Vol-2376/NLP4RE19\_paper07.pdf},
  timestamp = {Fri, 17 Jul 2020 11:59:20 +0200},
  biburl    = {https://dblp.org/rec/conf/refsq/GnesiT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/BiscoglioLT16,
  author    = {Isabella Biscoglio and
               Giuseppe Lami and
               Gianluca Trentanni},
  editor    = {Antonello Calabr{\`{o}} and
               Francesca Lonetti and
               Eda Marchetti},
  title     = {Fiscal Software Certification - An Italian Experience of Certification
               Against the Fiscal Legislation},
  booktitle = {Proceedings of the International Workshop on domAin specific Model-based
               AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016,
               Rome, Italy, February 19-21, 2016},
  pages     = {54--61},
  publisher = {SciTePress},
  year      = {2016},
  url       = {https://doi.org/10.5220/0005844800540061},
  doi       = {10.5220/0005844800540061},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/modelsward/BiscoglioLT16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/BiscoglioLT16a,
  author    = {Isabella Biscoglio and
               Giuseppe Lami and
               Gianluca Trentanni},
  editor    = {Slimane Hammoudi and
               Lu{\'{\i}}s Ferreira Pires and
               Bran Selic and
               Philippe Desfray},
  title     = {Certification of Cash Registers Software},
  booktitle = {Model-Driven Engineering and Software Development - 4th International
               Conference, {MODELSWARD} 2016, Rome, Italy, February 19-21, 2016,
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {692},
  pages     = {154--167},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-66302-9\_8},
  doi       = {10.1007/978-3-319-66302-9\_8},
  timestamp = {Wed, 07 Mar 2018 14:41:20 +0100},
  biburl    = {https://dblp.org/rec/conf/modelsward/BiscoglioLT16a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/BiscoglioLMT15,
  author    = {Isabella Biscoglio and
               Giuseppe Lami and
               Eda Marchetti and
               Gianluca Trentanni},
  editor    = {Pascal Lorenz and
               Leszek A. Maciaszek},
  title     = {Certification and Legislation - An Italian Experience of Fiscal Software
               Certification},
  booktitle = {{ICSOFT-EA} 2015 - Proceedings of the 10th International Conference
               on Software Engineering and Applications, Colmar, Alsace, France,
               20-22 July, 2015},
  pages     = {174--179},
  publisher = {SciTePress},
  year      = {2015},
  url       = {https://doi.org/10.5220/0005558901740179},
  doi       = {10.5220/0005558901740179},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icsoft/BiscoglioLMT15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/BiscoglioCFFLT10,
  author    = {Isabella Biscoglio and
               Alessandro Coco and
               Fabrizio Fabbrini and
               Mario Fusani and
               Giuseppe Lami and
               Gianluca Trentanni},
  editor    = {Ji Wang and
               W. K. Chan and
               Fei{-}Ching Kuo},
  title     = {Evaluating Web Site Quality: {A} Statistical Approach},
  booktitle = {Proceedings of the 10th International Conference on Quality Software,
               {QSIC} 2010, Zhangjiajie, China, 14-15 July 2010},
  pages     = {332--336},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://doi.org/10.1109/QSIC.2010.72},
  doi       = {10.1109/QSIC.2010.72},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/qsic/BiscoglioCFFLT10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/BiscoglioCFGT10,
  author    = {Isabella Biscoglio and
               Alessandro Coco and
               Mario Fusani and
               Stefania Gnesi and
               Gianluca Trentanni},
  editor    = {Fernando Brito e Abreu and
               Jo{\~{a}}o Pascoal Faria and
               Ricardo Jorge Machado},
  title     = {An Approach to Ambiguity Analysis in Safety-Related Standards},
  booktitle = {Quality of Information and Communications Technology, 7th International
               Conference on the Quality of Information and Communications Technology,
               {QUATIC} 2010, Porto, Portugal, 29 September - 2 October, 2010, Proceedings},
  pages     = {461--466},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://doi.org/10.1109/QUATIC.2010.83},
  doi       = {10.1109/QUATIC.2010.83},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/quatic/BiscoglioCFGT10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BucchiaroneGFT10,
  author    = {Antonio Bucchiarone and
               Stefania Gnesi and
               Alessandro Fantechi and
               Gianluca Trentanni},
  editor    = {Sung Y. Shin and
               Sascha Ossowski and
               Michael Schumacher and
               Mathew J. Palakal and
               Chih{-}Cheng Hung},
  title     = {An experience in using a tool for evaluating a large set of natural
               language requirements},
  booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
               Sierre, Switzerland, March 22-26, 2010},
  pages     = {281--286},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1774088.1774148},
  doi       = {10.1145/1774088.1774148},
  timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
  biburl    = {https://dblp.org/rec/conf/sac/BucchiaroneGFT10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BeekGLMST09,
  author    = {Maurice H. ter Beek and
               Stefania Gnesi and
               Diego Latella and
               Mieke Massink and
               Maurizio Sebastianis and
               Gianluca Trentanni},
  title     = {Assisting the design of a groupware system},
  journal   = {J. Log. Algebraic Methods Program.},
  volume    = {78},
  number    = {4},
  pages     = {191--232},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.jlap.2008.11.004},
  doi       = {10.1016/j.jlap.2008.11.004},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jlp/BeekGLMST09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BucchiaroneGLTF08,
  author    = {Antonio Bucchiarone and
               Stefania Gnesi and
               Giuseppe Lami and
               Gianluca Trentanni and
               Alessandro Fantechi},
  title     = {QuARS Express - {A} Tool Demonstration},
  booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
  pages     = {473--474},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {https://doi.org/10.1109/ASE.2008.77},
  doi       = {10.1109/ASE.2008.77},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/BucchiaroneGLTF08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BeekGLMST08,
  author    = {Maurice H. ter Beek and
               Stefania Gnesi and
               Diego Latella and
               Mieke Massink and
               Maurizio Sebastianis and
               Gianluca Trentanni},
  title     = {Assisting the Design of an Industrial Groupware System by Model Checking},
  journal   = {{ERCIM} News},
  volume    = {2008},
  number    = {73},
  year      = {2008},
  url       = {http://ercim-news.ercim.eu/assisting-the-design-of-an-industrial-groupware-system-by-model-checking},
  timestamp = {Wed, 22 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ercim/BeekGLMST08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BucchiaroneGTF08,
  author    = {Antonio Bucchiarone and
               Stefania Gnesi and
               Gianluca Trentanni and
               Alessandro Fantechi},
  title     = {Evaluation of Natural Language Requirements in the {MODCONTROL} Project},
  journal   = {{ERCIM} News},
  volume    = {2008},
  number    = {75},
  year      = {2008},
  url       = {http://ercim-news.ercim.eu/evaluation-of-natural-language-requirements-in-the-modcontrol-project},
  timestamp = {Wed, 22 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ercim/BucchiaroneGTF08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/GnesiLT05,
  author    = {Stefania Gnesi and
               Giuseppe Lami and
               Gianluca Trentanni},
  title     = {An automatic tool for the analysis of natural language requirements},
  journal   = {Comput. Syst. Sci. Eng.},
  volume    = {20},
  number    = {1},
  year      = {2005},
  timestamp = {Tue, 20 Feb 2007 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/csse/GnesiLT05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/FerrariGMRTT04,
  author    = {Gian Luigi Ferrari and
               Stefania Gnesi and
               Ugo Montanari and
               Roberto Raggi and
               Gianluca Trentanni and
               Emilio Tuosto},
  editor    = {Juan Carlos Augusto and
               Ulrich Ultes{-}Nitsche},
  title     = {Verication On The Web Of Mobile Systems},
  booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
               of the 2nd International Workshop on Verification and Validation of
               Enterprise Information Systems, {VVEIS} 2004, In conjunction with
               {ICEIS} 2004, Porto, Portugal, April 2004},
  pages     = {72--74},
  publisher = {{INSTICC} Press},
  year      = {2004},
  timestamp = {Tue, 18 Jan 2005 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/vveis/FerrariGMRTT04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics