publications:
- title: "CAN-Bus Attack Detection With Deep Learning"
  author:
  - name: "Flora Amato"
    link: "https://researchr.org/alias/flora-amato"
  - name: "Luigi Coppolino"
    link: "https://researchr.org/alias/luigi-coppolino"
  - name: "Francesco Mercaldo"
    link: "https://researchr.org/alias/francesco-mercaldo"
  - name: "Francesco Moscato 0001"
    link: "https://researchr.org/alias/francesco-moscato-0001"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Antonella Santone"
    link: "https://researchr.org/alias/antonella-santone"
  year: "2021"
  doi: "https://doi.org/10.1109/TITS.2020.3046974"
  links:
    doi: "https://doi.org/10.1109/TITS.2020.3046974"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tits/AmatoCMMNS21"
  researchr: "https://researchr.org/publication/AmatoCMMNS21"
  cites: 0
  citedby: 0
  journal: "IEEE Transactions on Intelligent Transportation Systems"
  volume: "22"
  number: "8"
  pages: "5081-5090"
  kind: "article"
  key: "AmatoCMMNS21"
- title: "Towards Model-Driven V&V assessment of railway control systems"
  author:
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Francesco Flammini"
    link: "https://researchr.org/alias/francesco-flammini"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/s10009-014-0320-7"
  links:
    doi: "http://dx.doi.org/10.1007/s10009-014-0320-7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sttt/MarroneFMNV14"
  researchr: "https://researchr.org/publication/MarroneFMNV14"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "16"
  number: "6"
  pages: "669-683"
  kind: "article"
  key: "MarroneFMNV14"
- title: "Advancements in knowledge elicitation for computer-based critical systems"
  author:
  - name: "Simona Bernardi"
    link: "https://researchr.org/alias/simona-bernardi"
  - name: "Ugo Gentile"
    link: "https://researchr.org/alias/ugo-gentile"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Stefano Marrone 0001"
    link: "https://researchr.org/alias/stefano-marrone-0001"
  year: "2020"
  doi: "https://doi.org/10.1016/j.future.2020.03.035"
  links:
    doi: "https://doi.org/10.1016/j.future.2020.03.035"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/fgcs/BernardiGNM20"
  researchr: "https://researchr.org/publication/BernardiGNM20"
  cites: 0
  citedby: 0
  journal: "Future Generation Comp. Syst."
  volume: "110"
  pages: "311-313"
  kind: "article"
  key: "BernardiGNM20"
- title: "A model-driven approach for vulnerability evaluation of modern physical protection systems"
  author:
  - name: "Annarita Drago"
    link: "https://researchr.org/alias/annarita-drago"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Annarita Tedesco"
    link: "https://researchr.org/alias/annarita-tedesco"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2019"
  doi: "https://doi.org/10.1007/s10270-016-0572-7"
  links:
    doi: "https://doi.org/10.1007/s10270-016-0572-7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sosym/DragoMMNTV19"
  researchr: "https://researchr.org/publication/DragoMMNTV19"
  cites: 0
  citedby: 0
  journal: "Software and Systems Modeling"
  volume: "18"
  number: "1"
  pages: "523-556"
  kind: "article"
  key: "DragoMMNTV19"
- title: "A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods"
  author:
  - name: "Rupert Schlick"
    link: "https://researchr.org/alias/rupert-schlick"
  - name: "Michael Felderer"
    link: "https://researchr.org/alias/michael-felderer"
  - name: "István Majzik"
    link: "https://researchr.org/alias/istv%C3%A1n-majzik"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Alexander Raschke"
    link: "https://researchr.org/alias/alexander-raschke"
  - name: "Colin F. Snook"
    link: "https://researchr.org/alias/colin-f.-snook"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2018"
  doi: "https://doi.org/10.1007/978-3-030-03427-6_20"
  links:
    doi: "https://doi.org/10.1007/978-3-030-03427-6_20"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/isola/SchlickFMNRSV18"
  researchr: "https://researchr.org/publication/SchlickFMNRSV18"
  cites: 0
  citedby: 0
  pages: "249-272"
  booktitle: "Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV"
  editor:
  - name: "Tiziana Margaria"
    link: "https://researchr.org/alias/tiziana-margaria"
  - name: "Bernhard Steffen"
    link: "https://researchr.org/alias/bernhard-steffen"
  volume: "11247"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-030-03427-6"
  kind: "inproceedings"
  key: "SchlickFMNRSV18"
- title: "Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective"
  author:
  - name: "Francesco Flammini"
    link: "https://researchr.org/alias/francesco-flammini"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-34032-1_20"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-34032-1_20"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/isola/FlamminiMMNV12"
  researchr: "https://researchr.org/publication/FlamminiMMNV12"
  cites: 0
  citedby: 0
  pages: "190-204"
  booktitle: "Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II"
  editor:
  - name: "Tiziana Margaria"
    link: "https://researchr.org/alias/tiziana-margaria"
  - name: "Bernhard Steffen"
    link: "https://researchr.org/alias/bernhard-steffen"
  volume: "7610"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-34031-4"
  kind: "inproceedings"
  key: "FlamminiMMNV12"
- title: "A routing algorithm increasing the transmission availability in smart grids"
  author:
  - name: "Francesco Buccafurri"
    link: "https://researchr.org/alias/francesco-buccafurri"
  - name: "Lorenzo Musarella"
    link: "https://researchr.org/alias/lorenzo-musarella"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  year: "2019"
  doi: "https://dl.acm.org/citation.cfm?id=3374185"
  links:
    doi: "https://dl.acm.org/citation.cfm?id=3374185"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/scsc/BuccafurriMN19"
  researchr: "https://researchr.org/publication/BuccafurriMN19-0"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 2019 Summer Simulation Conference, SummerSim 2019, Berlin, Germany, July 22-24, 2019"
  editor:
  - name: "Umut Durak"
    link: "https://researchr.org/alias/umut-durak"
  publisher: "ACM"
  kind: "inproceedings"
  key: "BuccafurriMN19-0"
- title: "A Model-Based Evaluation Methodology for Smart Energy Systems"
  author:
  - name: "Alessandra De Benedictis"
    link: "https://researchr.org/alias/alessandra-de-benedictis"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Salvatore Venticinque"
    link: "https://researchr.org/alias/salvatore-venticinque"
  year: "2018"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SMARTCOMP.2018.00090"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SMARTCOMP.2018.00090"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/smartcomp/BenedictisMNV18"
  researchr: "https://researchr.org/publication/BenedictisMNV18"
  cites: 0
  citedby: 0
  pages: "187-194"
  booktitle: "2018 IEEE International Conference on Smart Computing, SMARTCOMP 2018, Taormina, Sicily, Italy, June 18-20, 2018"
  publisher: "IEEE Computer Society"
  isbn: "978-1-5386-4705-9"
  kind: "inproceedings"
  key: "BenedictisMNV18"
- title: "Dynamic state machines for modelling railway control systems"
  author:
  - name: "Massimo Benerecetti"
    link: "https://researchr.org/alias/massimo-benerecetti"
  - name: "Renato De Guglielmo"
    link: "https://researchr.org/alias/renato-de-guglielmo"
  - name: "Ugo Gentile"
    link: "https://researchr.org/alias/ugo-gentile"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Adriano Peron"
    link: "https://researchr.org/alias/adriano-peron"
  - name: "Luigi Velardi"
    link: "https://researchr.org/alias/luigi-velardi"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2017"
  doi: "http://dx.doi.org/10.1016/j.scico.2016.09.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2016.09.002"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/BenerecettiGGMM17"
  researchr: "https://researchr.org/publication/BenerecettiGGMM17"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "133"
  pages: "116-153"
  kind: "article"
  key: "BenerecettiGGMM17"
- title: "Automatic generation of formal models for diagnosability of DES"
  author:
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Gianmaria De Tommasi"
    link: "https://researchr.org/alias/gianmaria-de-tommasi"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  - name: "Alfredo Pironti 0002"
    link: "https://researchr.org/alias/alfredo-pironti-0002"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2018"
  doi: "https://doi.org/10.1109/ETFA.2018.8502565"
  links:
    doi: "https://doi.org/10.1109/ETFA.2018.8502565"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/etfa/NardoneTM0V18"
  researchr: "https://researchr.org/publication/NardoneTM0V18"
  cites: 0
  citedby: 0
  pages: "43-48"
  booktitle: "23rd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2018, Torino, Italy, September 4-7, 2018"
  publisher: "IEEE"
  isbn: "978-1-5386-7108-5"
  kind: "inproceedings"
  key: "NardoneTM0V18"
- title: "Modeling Railway Control Systems in Promela"
  author:
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Ugo Gentile"
    link: "https://researchr.org/alias/ugo-gentile"
  - name: "Massimo Benerecetti"
    link: "https://researchr.org/alias/massimo-benerecetti"
  - name: "Adriano Peron"
    link: "https://researchr.org/alias/adriano-peron"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-319-29510-7_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-29510-7_7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ftscs/NardoneGBPVMM15"
  researchr: "https://researchr.org/publication/NardoneGBPVMM15"
  cites: 0
  citedby: 0
  pages: "121-136"
  booktitle: "Formal Techniques for Safety-Critical Systems - Fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers"
  editor:
  - name: "Cyrille Artho"
    link: "https://researchr.org/alias/cyrille-artho"
  - name: "Peter Csaba Ölveczky"
    link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky"
  volume: "596"
  series: "Communications in Computer and Information Science"
  publisher: "Springer"
  isbn: "978-3-319-29509-1"
  kind: "inproceedings"
  key: "NardoneGBPVMM15"
- title: "An integrated lifetime and network quality model of large WSNs"
  author:
  - name: "Ermanno Battista"
    link: "https://researchr.org/alias/ermanno-battista"
  - name: "Valentina Casola"
    link: "https://researchr.org/alias/valentina-casola"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2013"
  doi: "https://doi.org/10.1109/IWMN.2013.6663791"
  links:
    doi: "https://doi.org/10.1109/IWMN.2013.6663791"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iwmn/BattistaCMMNV13"
  researchr: "https://researchr.org/publication/BattistaCMMNV13"
  cites: 0
  citedby: 0
  pages: "132-137"
  booktitle: "2nd IEEE International Workshop on Measurements & Networking, M&N 2013, Naples, Italy, October 7-8, 2013"
  publisher: "IEEE"
  isbn: "978-1-4673-2873-9"
  kind: "inproceedings"
  key: "BattistaCMMNV13"
- title: "Security modelling and formal verification of survivability properties: Application to cyber-physical systems"
  author:
  - name: "Simona Bernardi 0001"
    link: "https://researchr.org/alias/simona-bernardi-0001"
  - name: "Ugo Gentile"
    link: "https://researchr.org/alias/ugo-gentile"
  - name: "Stefano Marrone 0001"
    link: "https://researchr.org/alias/stefano-marrone-0001"
  - name: "José Merseguer"
    link: "https://researchr.org/alias/jos%C3%A9-merseguer"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  year: "2021"
  doi: "https://doi.org/10.1016/j.jss.2020.110746"
  links:
    doi: "https://doi.org/10.1016/j.jss.2020.110746"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jss/BernardiGMMN21"
  researchr: "https://researchr.org/publication/BernardiGMMN21"
  cites: 0
  citedby: 0
  journal: "Journal of Systems and Software"
  volume: "171"
  pages: "110746"
  kind: "article"
  key: "BernardiGMMN21"
- title: "A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework"
  author:
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Roberta Presta"
    link: "https://researchr.org/alias/roberta-presta"
  - name: "Simon Pietro Romano"
    link: "https://researchr.org/alias/simon-pietro-romano"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-35179-2_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-35179-2_13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/topnoc/MarroneMNPRV12"
  researchr: "https://researchr.org/publication/MarroneMNPRV12"
  cites: 0
  citedby: 0
  journal: "T. Petri Nets and Other Models of Concurrency"
  volume: "6"
  pages: "308-333"
  kind: "article"
  key: "MarroneMNPRV12"
- title: "Towards Model-Based Security Assessment of Cloud Applications"
  author:
  - name: "Valentina Casola"
    link: "https://researchr.org/alias/valentina-casola"
  - name: "Alessandra De Benedictis"
    link: "https://researchr.org/alias/alessandra-de-benedictis"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  year: "2017"
  doi: "http://dx.doi.org/10.1007/978-3-319-57186-7_56"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-57186-7_56"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpc/CasolaBN17"
  researchr: "https://researchr.org/publication/CasolaBN17"
  cites: 0
  citedby: 0
  pages: "773-785"
  booktitle: "Green, Pervasive, and Cloud Computing - 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings"
  editor:
  - name: "Man Ho Allen Au"
    link: "https://researchr.org/alias/man-ho-allen-au"
  - name: "Arcangelo Castiglione"
    link: "https://researchr.org/alias/arcangelo-castiglione"
  - name: "Kim-Kwang Raymond Choo"
    link: "https://researchr.org/alias/kim-kwang-raymond-choo"
  - name: "Francesco Palmieri"
    link: "https://researchr.org/alias/francesco-palmieri"
  - name: "Kuan-Ching Li"
    link: "https://researchr.org/alias/kuan-ching-li"
  volume: "10232"
  series: "Lecture Notes in Computer Science"
  isbn: "978-3-319-57186-7"
  kind: "inproceedings"
  key: "CasolaBN17"
- title: "An Interoperable Testing Environment for ERTMS/ETCS Control Systems"
  author:
  - name: "Gregorio Barberio"
    link: "https://researchr.org/alias/gregorio-barberio"
  - name: "Beniamino Di Martino"
    link: "https://researchr.org/alias/beniamino-di-martino"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  - name: "Luigi Velardi"
    link: "https://researchr.org/alias/luigi-velardi"
  - name: "Aniello Amato"
    link: "https://researchr.org/alias/aniello-amato"
  - name: "Renato De Guglielmo"
    link: "https://researchr.org/alias/renato-de-guglielmo"
  - name: "Ugo Gentile"
    link: "https://researchr.org/alias/ugo-gentile"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Adriano Peron"
    link: "https://researchr.org/alias/adriano-peron"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-319-10557-4_18"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-10557-4_18"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/safecomp/BarberioMMVAGGMNPV14"
  researchr: "https://researchr.org/publication/BarberioMMVAGGMNPV14"
  cites: 0
  citedby: 0
  pages: "147-156"
  booktitle: "Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings"
  editor:
  - name: "Andrea Bondavalli"
    link: "https://researchr.org/alias/andrea-bondavalli"
  - name: "Andrea Ceccarelli"
    link: "https://researchr.org/alias/andrea-ceccarelli"
  - name: "Frank Ortmeier"
    link: "https://researchr.org/alias/frank-ortmeier"
  volume: "8696"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-10556-7"
  kind: "inproceedings"
  key: "BarberioMMVAGGMNPV14"
- title: "Improving code coverage in android apps testing by exploiting patterns and automatic test case generation"
  author:
  - name: "Domenico Amalfitano"
    link: "https://researchr.org/alias/domenico-amalfitano"
  - name: "Nicola Amatucci"
    link: "https://researchr.org/alias/nicola-amatucci"
  - name: "Anna Rita Fasolino"
    link: "https://researchr.org/alias/anna-rita-fasolino"
  - name: "Ugo Gentile"
    link: "https://researchr.org/alias/ugo-gentile"
  - name: "Gianluca Mele"
    link: "https://researchr.org/alias/gianluca-mele"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2647648.2656426"
  links:
    doi: "http://doi.acm.org/10.1145/2647648.2656426"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/kbse/AmalfitanoAFGMNVM14"
  researchr: "https://researchr.org/publication/AmalfitanoAFGMNVM14"
  cites: 0
  citedby: 0
  pages: "29-34"
  booktitle: "WISE'14, Proceedings of the 2014 ACM International Workshop on Long-term Industrial Collaboration on Software Engineering, Vasteras, Sweden, September 16, 2014"
  editor:
  - name: "Radu Dobrin"
    link: "https://researchr.org/alias/radu-dobrin"
  - name: "Peter Wallin"
    link: "https://researchr.org/alias/peter-wallin"
  - name: "Ana C. R. Paiva"
    link: "https://researchr.org/alias/ana-c.-r.-paiva"
  - name: "Myra B. Cohen"
    link: "https://researchr.org/alias/myra-b.-cohen"
  publisher: "ACM"
  isbn: "978-1-4503-3045-9"
  kind: "inproceedings"
  key: "AmalfitanoAFGMNVM14"
- title: "A Model-Driven Approach to Quantitative Analysis of Critical Systems"
  author:
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  year: "2013"
  doi: "https://www.base-search.net/Record/027292ea4c705ae483510b04f40a65f2c54f3da884b425ddd6f7a87783f7beb5"
  note: "base-search.net (ftunivnapoli:oai:fedoa.unina.it:9445)"
  links:
    doi: "https://www.base-search.net/Record/027292ea4c705ae483510b04f40a65f2c54f3da884b425ddd6f7a87783f7beb5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/phd/basesearch/Nardone13"
  researchr: "https://researchr.org/publication/basesearch-8447"
  cites: 0
  citedby: 0
  school: "University of Naples Federico II, Italy"
  kind: "phdthesis"
  key: "basesearch-8447"
- title: "Estimation of the Energy Consumption of Mobile Sensors in WSN Environmental Monitoring Applications"
  author:
  - name: "Maurizio D'Arienzo"
    link: "https://researchr.org/alias/maurizio-d%27arienzo"
  - name: "Mauro Iacono"
    link: "https://researchr.org/alias/mauro-iacono"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  year: "2013"
  doi: "http://doi.ieeecomputersociety.org/10.1109/WAINA.2013.33"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/WAINA.2013.33"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/aina/DArienzoIMN13"
  researchr: "https://researchr.org/publication/DArienzoIMN13"
  cites: 0
  citedby: 0
  pages: "1588-1593"
  booktitle: "27th International Conference on Advanced Information Networking and Applications Workshops, WAINA 2013, Barcelona, Spain, March 25-28, 2013"
  editor:
  - name: "Leonard Barolli"
    link: "https://researchr.org/alias/leonard-barolli"
  - name: "Fatos Xhafa"
    link: "https://researchr.org/alias/fatos-xhafa"
  - name: "Makoto Takizawa"
    link: "https://researchr.org/alias/makoto-takizawa"
  - name: "Tomoya Enokido"
    link: "https://researchr.org/alias/tomoya-enokido"
  - name: "Hui-Huang Hsu"
    link: "https://researchr.org/alias/hui-huang-hsu"
  publisher: "IEEE Computer Society"
  isbn: "978-1-4673-6239-9"
  kind: "inproceedings"
  key: "DArienzoIMN13"
- title: "A Compositional Modelling Approach for Large Sensor Networks Design"
  author:
  - name: "Ermanno Battista"
    link: "https://researchr.org/alias/ermanno-battista"
  - name: "Valentina Casola"
    link: "https://researchr.org/alias/valentina-casola"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  year: "2013"
  doi: "http://dx.doi.org/10.1109/3PGCIC.2013.71"
  links:
    doi: "http://dx.doi.org/10.1109/3PGCIC.2013.71"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/3pgcic/BattistaCMNM13"
  researchr: "https://researchr.org/publication/BattistaCMNM13"
  cites: 0
  citedby: 0
  pages: "422-429"
  booktitle: "Eighth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2013, Compiegne, France, October 28-30, 2013"
  editor:
  - name: "Fatos Xhafa"
    link: "https://researchr.org/alias/fatos-xhafa"
  - name: "Leonard Barolli"
    link: "https://researchr.org/alias/leonard-barolli"
  - name: "Dritan Nace"
    link: "https://researchr.org/alias/dritan-nace"
  - name: "Salvatore Venticinque"
    link: "https://researchr.org/alias/salvatore-venticinque"
  - name: "Alain Bui"
    link: "https://researchr.org/alias/alain-bui"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "BattistaCMNM13"
- title: "Securing MQTT by Blockchain-Based OTP Authentication"
  author:
  - name: "Francesco Buccafurri"
    link: "https://researchr.org/alias/francesco-buccafurri"
  - name: "Vincenzo De Angelis"
    link: "https://researchr.org/alias/vincenzo-de-angelis"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  year: "2020"
  doi: "https://doi.org/10.3390/s20072002"
  links:
    doi: "https://doi.org/10.3390/s20072002"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sensors/BuccafurriAN20"
  researchr: "https://researchr.org/publication/BuccafurriAN20"
  cites: 0
  citedby: 0
  journal: "Sensors"
  volume: "20"
  number: "7"
  pages: "2002"
  kind: "article"
  key: "BuccafurriAN20"
- title: "Automatic Resource Allocation for High Availability Cloud Services"
  author:
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  year: "2015"
  doi: "http://dx.doi.org/10.1016/j.procs.2015.05.176"
  links:
    doi: "http://dx.doi.org/10.1016/j.procs.2015.05.176"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ant/MarroneN15"
  researchr: "https://researchr.org/publication/MarroneN15"
  cites: 0
  citedby: 0
  pages: "980-987"
  booktitle: "Proceedings of the 6th International Conference on Ambient Systems, Networks and Technologies (ANT 2015), the 5th International Conference on Sustainable Energy Information Technology (SEIT-2015), London, UK, June 2-5, 2015"
  editor:
  - name: "Elhadi M. Shakshuki"
    link: "https://researchr.org/alias/elhadi-m.-shakshuki"
  volume: "52"
  series: "Procedia Computer Science"
  publisher: "Elsevier"
  kind: "inproceedings"
  key: "MarroneN15"
- title: "On synergies of cyber and physical security modelling in vulnerability assessment of railway systems"
  author:
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Ricardo J. Rodríguez"
    link: "https://researchr.org/alias/ricardo-j.-rodr%C3%ADguez"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Francesco Flammini"
    link: "https://researchr.org/alias/francesco-flammini"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2015"
  doi: "http://dx.doi.org/10.1016/j.compeleceng.2015.07.011"
  links:
    doi: "http://dx.doi.org/10.1016/j.compeleceng.2015.07.011"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cee/MarroneRNFV15"
  researchr: "https://researchr.org/publication/MarroneRNFV15"
  cites: 0
  citedby: 0
  journal: "Computers & Electrical Engineering"
  volume: "47"
  pages: "275-285"
  kind: "article"
  key: "MarroneRNFV15"
- title: "ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis"
  author:
  - name: "Carlo Di Meo"
    link: "https://researchr.org/alias/carlo-di-meo"
  - name: "Marco Di Vaio"
    link: "https://researchr.org/alias/marco-di-vaio"
  - name: "Francesco Flammini"
    link: "https://researchr.org/alias/francesco-flammini"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Stefania Santini"
    link: "https://researchr.org/alias/stefania-santini"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2020"
  doi: "https://doi.org/10.1109/TITS.2019.2920290"
  links:
    doi: "https://doi.org/10.1109/TITS.2019.2920290"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tits/MeoVFNSV20"
  researchr: "https://researchr.org/publication/MeoVFNSV20"
  cites: 0
  citedby: 0
  journal: "IEEE Transactions on Intelligent Transportation Systems"
  volume: "21"
  number: "6"
  pages: "2545-2556"
  kind: "article"
  key: "MeoVFNSV20"
- title: "Improving Verification Process in Driverless Metro Systems: The MBAT Project"
  author:
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Antonio Orazzo"
    link: "https://researchr.org/alias/antonio-orazzo"
  - name: "Ida Petrone"
    link: "https://researchr.org/alias/ida-petrone"
  - name: "Luigi Velardi"
    link: "https://researchr.org/alias/luigi-velardi"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-34032-1_23"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-34032-1_23"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/isola/MarroneNOPV12"
  researchr: "https://researchr.org/publication/MarroneNOPV12"
  cites: 0
  citedby: 0
  pages: "231-245"
  booktitle: "Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II"
  editor:
  - name: "Tiziana Margaria"
    link: "https://researchr.org/alias/tiziana-margaria"
  - name: "Bernhard Steffen"
    link: "https://researchr.org/alias/bernhard-steffen"
  volume: "7610"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-34031-4"
  kind: "inproceedings"
  key: "MarroneNOPV12"
- title: "Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study"
  author:
  - name: "Francesco Flammini"
    link: "https://researchr.org/alias/francesco-flammini"
  - name: "Stefano Marrone 0001"
    link: "https://researchr.org/alias/stefano-marrone-0001"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Mauro Caporuscio"
    link: "https://researchr.org/alias/mauro-caporuscio"
  - name: "Mirko D'Angelo"
    link: "https://researchr.org/alias/mirko-d%27angelo"
  year: "2020"
  doi: "https://doi.org/10.1016/j.future.2020.06.036"
  links:
    doi: "https://doi.org/10.1016/j.future.2020.06.036"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/fgcs/FlamminiMNCD20"
  researchr: "https://researchr.org/publication/FlamminiMNCD20"
  cites: 0
  citedby: 0
  journal: "Future Generation Comp. Syst."
  volume: "112"
  pages: "965-981"
  kind: "article"
  key: "FlamminiMNCD20"
- title: "Cost-energy modelling and profiling of smart domestic grids"
  author:
  - name: "Ugo Gentile"
    link: "https://researchr.org/alias/ugo-gentile"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  year: "2016"
  doi: "http://dx.doi.org/10.1504/IJGUC.2016.10001950"
  links:
    doi: "http://dx.doi.org/10.1504/IJGUC.2016.10001950"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ijguc/GentileMMN16"
  researchr: "https://researchr.org/publication/GentileMMN16"
  cites: 0
  citedby: 0
  journal: "IJGUC"
  volume: "7"
  number: "4"
  pages: "257-271"
  kind: "article"
  key: "GentileMMN16"
- title: "An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers"
  author:
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Stefano Marrone 0001"
    link: "https://researchr.org/alias/stefano-marrone-0001"
  - name: "Ugo Gentile"
    link: "https://researchr.org/alias/ugo-gentile"
  - name: "Aniello Amato"
    link: "https://researchr.org/alias/aniello-amato"
  - name: "Gregorio Barberio"
    link: "https://researchr.org/alias/gregorio-barberio"
  - name: "Massimo Benerecetti"
    link: "https://researchr.org/alias/massimo-benerecetti"
  - name: "Renato De Guglielmo"
    link: "https://researchr.org/alias/renato-de-guglielmo"
  - name: "Beniamino Di Martino"
    link: "https://researchr.org/alias/beniamino-di-martino"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  - name: "Adriano Peron"
    link: "https://researchr.org/alias/adriano-peron"
  - name: "Gaetano Pisani"
    link: "https://researchr.org/alias/gaetano-pisani"
  - name: "Luigi Velardi"
    link: "https://researchr.org/alias/luigi-velardi"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2020"
  doi: "https://doi.org/10.1016/j.jss.2019.110478"
  links:
    doi: "https://doi.org/10.1016/j.jss.2019.110478"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jss/NardoneMGABBGMM20"
  researchr: "https://researchr.org/publication/NardoneMGABBGMM20"
  cites: 0
  citedby: 0
  journal: "Journal of Systems and Software"
  volume: "161"
  kind: "article"
  key: "NardoneMGABBGMM20"
- title: "Formal security assessment of Modbus protocol"
  author:
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Ricardo J. Rodríguez"
    link: "https://researchr.org/alias/ricardo-j.-rodr%C3%ADguez"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  year: "2016"
  doi: "http://dx.doi.org/10.1109/ICITST.2016.7856685"
  links:
    doi: "http://dx.doi.org/10.1109/ICITST.2016.7856685"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icitst/NardoneRM16"
  researchr: "https://researchr.org/publication/NardoneRM16"
  cites: 0
  citedby: 0
  pages: "142-147"
  booktitle: "11th International Conference for Internet Technology and Secured Transactions, ICITST 2016, Barcelona, Spain, December 5-7, 2016"
  publisher: "IEEE"
  isbn: "978-1-908320-73-5"
  kind: "inproceedings"
  key: "NardoneRM16"
- title: "Enabling propagation in web of trust by Ethereum"
  author:
  - name: "Francesco Buccafurri"
    link: "https://researchr.org/alias/francesco-buccafurri"
  - name: "Lorenzo Musarella"
    link: "https://researchr.org/alias/lorenzo-musarella"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  year: "2019"
  doi: "https://doi.org/10.1145/3331076.3331108"
  links:
    doi: "https://doi.org/10.1145/3331076.3331108"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ideas/BuccafurriMN19"
  researchr: "https://researchr.org/publication/BuccafurriMN19"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 23rd International Database Applications & Engineering Symposium, IDEAS 2019, Athens, Greece, June 10-12, 2019"
  editor:
  - name: "Bipin C. Desai"
    link: "https://researchr.org/alias/bipin-c.-desai"
  - name: "Dimosthenis Anagnostopoulos"
    link: "https://researchr.org/alias/dimosthenis-anagnostopoulos"
  - name: "Yannis Manolopoulos"
    link: "https://researchr.org/alias/yannis-manolopoulos"
  - name: "Mara Nikolaidou"
    link: "https://researchr.org/alias/mara-nikolaidou"
  publisher: "ACM"
  isbn: "978-1-4503-6249-8"
  kind: "inproceedings"
  key: "BuccafurriMN19"
- title: "Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems"
  author:
  - name: "Ugo Gentile"
    link: "https://researchr.org/alias/ugo-gentile"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Francesco De Paola"
    link: "https://researchr.org/alias/francesco-de-paola"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  - name: "Maurizio Giugni"
    link: "https://researchr.org/alias/maurizio-giugni"
  year: "2015"
  doi: "http://doi.ieeecomputersociety.org/10.1109/3PGCIC.2015.97"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/3PGCIC.2015.97"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/3pgcic/GentileMPNMG15"
  researchr: "https://researchr.org/publication/GentileMPNMG15"
  cites: 0
  citedby: 0
  pages: "527-532"
  booktitle: "10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2015, Krakow, Poland, November 4-6, 2015"
  editor:
  - name: "Fatos Xhafa"
    link: "https://researchr.org/alias/fatos-xhafa"
  - name: "Leonard Barolli"
    link: "https://researchr.org/alias/leonard-barolli"
  - name: "Fabrizio Messina"
    link: "https://researchr.org/alias/fabrizio-messina"
  - name: "Marek R. Ogiela"
    link: "https://researchr.org/alias/marek-r.-ogiela"
  publisher: "IEEE Computer Society"
  isbn: "978-1-4673-9473-4"
  kind: "inproceedings"
  key: "GentileMPNMG15"
- title: "From Dynamic State Machines to Promela"
  author:
  - name: "Massimo Benerecetti"
    link: "https://researchr.org/alias/massimo-benerecetti"
  - name: "Ugo Gentile"
    link: "https://researchr.org/alias/ugo-gentile"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Adriano Peron"
    link: "https://researchr.org/alias/adriano-peron"
  - name: "Luigi L. L. Starace"
    link: "https://researchr.org/alias/luigi-l.-l.-starace"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2019"
  doi: "https://doi.org/10.1007/978-3-030-30923-7_4"
  links:
    doi: "https://doi.org/10.1007/978-3-030-30923-7_4"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/spin/BenerecettiGMNP19"
  researchr: "https://researchr.org/publication/BenerecettiGMNP19"
  cites: 0
  citedby: 0
  pages: "56-73"
  booktitle: "Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings"
  editor:
  - name: "Fabrizio Biondi"
    link: "https://researchr.org/alias/fabrizio-biondi"
  - name: "Thomas Given-Wilson"
    link: "https://researchr.org/alias/thomas-given-wilson"
  - name: "Axel Legay"
    link: "https://researchr.org/alias/axel-legay"
  volume: "11636"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-030-30923-7"
  kind: "inproceedings"
  key: "BenerecettiGMNP19"
- title: "Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review"
  author:
  - name: "Nijat Rajabli"
    link: "https://researchr.org/alias/nijat-rajabli"
  - name: "Francesco Flammini"
    link: "https://researchr.org/alias/francesco-flammini"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2021"
  doi: "https://doi.org/10.1109/ACCESS.2020.3048047"
  links:
    doi: "https://doi.org/10.1109/ACCESS.2020.3048047"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/access/RajabliFNV21"
  researchr: "https://researchr.org/publication/RajabliFNV21"
  cites: 0
  citedby: 0
  journal: "IEEE Access"
  volume: "9"
  pages: "4797-4819"
  kind: "article"
  key: "RajabliFNV21"
- title: "A Novel Query Language for Data Extraction from Social Networks"
  author:
  - name: "Francesco Buccafurri"
    link: "https://researchr.org/alias/francesco-buccafurri"
  - name: "Gianluca Lax"
    link: "https://researchr.org/alias/gianluca-lax"
  - name: "Lorenzo Musarella"
    link: "https://researchr.org/alias/lorenzo-musarella"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  year: "2019"
  doi: "https://doi.org/10.5220/0008362503650371"
  links:
    doi: "https://doi.org/10.5220/0008362503650371"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/webist/BuccafurriLMN19"
  researchr: "https://researchr.org/publication/BuccafurriLMN19"
  cites: 0
  citedby: 0
  pages: "365-371"
  booktitle: "Proceedings of the 15th International Conference on Web Information Systems and Technologies, WEBIST 2019, Vienna, Austria, September 18-20, 2019"
  editor:
  - name: "Alessandro Bozzon"
    link: "https://researchr.org/alias/alessandro-bozzon"
  - name: "Francisco José Domínguez-Mayo"
    link: "https://researchr.org/alias/francisco-jos%C3%A9-dom%C3%ADnguez-mayo"
  - name: "Joaquim Filipe"
    link: "https://researchr.org/alias/joaquim-filipe"
  publisher: "ScitePress"
  isbn: "978-989-758-386-5"
  kind: "inproceedings"
  key: "BuccafurriLMN19"
- title: "A simulation framework for supporting design and real-time decisional phases in railway systems"
  author:
  - name: "Egidio Quaglietta"
    link: "https://researchr.org/alias/egidio-quaglietta"
  - name: "Luca D'Acierno"
    link: "https://researchr.org/alias/luca-d%27acierno"
  - name: "Vincenzo Punzo"
    link: "https://researchr.org/alias/vincenzo-punzo"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  year: "2011"
  doi: "http://dx.doi.org/10.1109/ITSC.2011.6082913"
  links:
    doi: "http://dx.doi.org/10.1109/ITSC.2011.6082913"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/itsc/QuagliettaDPNM11"
  researchr: "https://researchr.org/publication/QuagliettaDPNM11"
  cites: 0
  citedby: 0
  pages: "846-851"
  booktitle: "14th International IEEE Conference on Intelligent Transportation Systems, ITSC 2011, Washington, DC, USA, October 5-7, 2011"
  publisher: "IEEE"
  isbn: "978-1-4577-2198-4"
  kind: "inproceedings"
  key: "QuagliettaDPNM11"
- title: "A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems"
  author:
  - name: "Francesco Flammini"
    link: "https://researchr.org/alias/francesco-flammini"
  - name: "Ugo Gentile"
    link: "https://researchr.org/alias/ugo-gentile"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-319-10506-2_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-10506-2_16"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/safecomp/FlamminiGMNV14"
  researchr: "https://researchr.org/publication/FlamminiGMNV14"
  cites: 0
  citedby: 0
  pages: "230-245"
  booktitle: "Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings"
  editor:
  - name: "Andrea Bondavalli"
    link: "https://researchr.org/alias/andrea-bondavalli"
  - name: "Felicita Di Giandomenico"
    link: "https://researchr.org/alias/felicita-di-giandomenico"
  volume: "8666"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-10505-5"
  kind: "inproceedings"
  key: "FlamminiGMNV14"
- title: "Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks"
  author:
  - name: "Francesco Flammini"
    link: "https://researchr.org/alias/francesco-flammini"
  - name: "Stefano Marrone 0001"
    link: "https://researchr.org/alias/stefano-marrone-0001"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2021"
  doi: "https://doi.org/10.1007/s00165-021-00560-5"
  links:
    doi: "https://doi.org/10.1007/s00165-021-00560-5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/fac/FlamminiMNV21"
  researchr: "https://researchr.org/publication/FlamminiMNV21"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "33"
  number: "6"
  pages: "989-1007"
  kind: "article"
  key: "FlamminiMNV21"
- title: "Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project"
  author:
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Antonio M. Rinaldi"
    link: "https://researchr.org/alias/antonio-m.-rinaldi"
  - name: "Stefano Marrone 0001"
    link: "https://researchr.org/alias/stefano-marrone-0001"
  year: "2014"
  doi: "https://doi.org/10.5220/0006156500310049"
  links:
    doi: "https://doi.org/10.5220/0006156500310049"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/eups/VittoriniNRM14"
  researchr: "https://researchr.org/publication/VittoriniNRM14"
  cites: 0
  citedby: 0
  booktitle: "European Project Space on Computational Intelligence, Knowledge Discovery and Systems Engineering for Health and Sports, Rome, Italy, October 21-26, 2014"
  publisher: "SciTePress"
  isbn: "978-989-758-154-0"
  kind: "inproceedings"
  key: "VittoriniNRM14"
- title: "A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS"
  author:
  - name: "Roberto Canonico"
    link: "https://researchr.org/alias/roberto-canonico"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2017"
  doi: "https://doi.org/10.1007/978-3-319-68499-4_3"
  links:
    doi: "https://doi.org/10.1007/978-3-319-68499-4_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rssrail/CanonicoMNV17"
  researchr: "https://researchr.org/publication/CanonicoMNV17"
  cites: 0
  citedby: 0
  pages: "34-50"
  booktitle: "Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings"
  editor:
  - name: "Alessandro Fantechi"
    link: "https://researchr.org/alias/alessandro-fantechi"
  - name: "Thierry Lecomte"
    link: "https://researchr.org/alias/thierry-lecomte"
  - name: "Alexander Romanovsky"
    link: "https://researchr.org/alias/alexander-romanovsky"
  volume: "10598"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-68499-4"
  kind: "inproceedings"
  key: "CanonicoMNV17"
- title: "Test Specification Patterns for Automatic Generation of Test Sequences"
  author:
  - name: "Ugo Gentile"
    link: "https://researchr.org/alias/ugo-gentile"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Gianluca Mele"
    link: "https://researchr.org/alias/gianluca-mele"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Adriano Peron"
    link: "https://researchr.org/alias/adriano-peron"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-319-10702-8_12"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-10702-8_12"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fmics/GentileMMNP14"
  researchr: "https://researchr.org/publication/GentileMMNP14"
  cites: 0
  citedby: 0
  pages: "170-184"
  booktitle: "Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings"
  editor:
  - name: "Frédéric Lang"
    link: "https://researchr.org/alias/fr%C3%A9d%C3%A9ric-lang"
  - name: "Francesco Flammini"
    link: "https://researchr.org/alias/francesco-flammini"
  volume: "8718"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-10701-1"
  kind: "inproceedings"
  key: "GentileMMNP14"
- title: "An Integrated Approach for Availability and QoS Evaluation in Railway Systems"
  author:
  - name: "Antonino Mazzeo"
    link: "https://researchr.org/alias/antonino-mazzeo"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Luca D'Acierno"
    link: "https://researchr.org/alias/luca-d%27acierno"
  - name: "Bruno Montella"
    link: "https://researchr.org/alias/bruno-montella"
  - name: "Vincenzo Punzo"
    link: "https://researchr.org/alias/vincenzo-punzo"
  - name: "Egidio Quaglietta"
    link: "https://researchr.org/alias/egidio-quaglietta"
  - name: "Immacolata Lamberti"
    link: "https://researchr.org/alias/immacolata-lamberti"
  - name: "Pietro Marmo"
    link: "https://researchr.org/alias/pietro-marmo"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-24270-0_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-24270-0_13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/safecomp/MazzeoMNDMPQLM11"
  researchr: "https://researchr.org/publication/MazzeoMNDMPQLM11"
  cites: 0
  citedby: 0
  pages: "171-184"
  booktitle: "Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings"
  editor:
  - name: "Francesco Flammini"
    link: "https://researchr.org/alias/francesco-flammini"
  - name: "Sandro Bologna"
    link: "https://researchr.org/alias/sandro-bologna"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  volume: "6894"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-24269-4"
  kind: "inproceedings"
  key: "MazzeoMNDMPQLM11"
- title: "Dynamic State Machines for Formalizing Railway Control System Specifications"
  author:
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Ugo Gentile"
    link: "https://researchr.org/alias/ugo-gentile"
  - name: "Adriano Peron"
    link: "https://researchr.org/alias/adriano-peron"
  - name: "Massimo Benerecetti"
    link: "https://researchr.org/alias/massimo-benerecetti"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Renato De Guglielmo"
    link: "https://researchr.org/alias/renato-de-guglielmo"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  - name: "Luigi Velardi"
    link: "https://researchr.org/alias/luigi-velardi"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-319-17581-2_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-17581-2_7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ftscs/NardoneGPBVMGMV14"
  researchr: "https://researchr.org/publication/NardoneGPBVMGMV14"
  cites: 0
  citedby: 0
  pages: "93-109"
  booktitle: "Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers"
  editor:
  - name: "Cyrille Artho"
    link: "https://researchr.org/alias/cyrille-artho"
  - name: "Peter Csaba Ölveczky"
    link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky"
  volume: "476"
  series: "Communications in Computer and Information Science"
  publisher: "Springer"
  isbn: "978-3-319-17580-5"
  kind: "inproceedings"
  key: "NardoneGPBVMGMV14"
- title: "Enabling the usage of UML in the verification of railway systems: The DAM-rail approach"
  author:
  - name: "Simona Bernardi"
    link: "https://researchr.org/alias/simona-bernardi"
  - name: "Francesco Flammini"
    link: "https://researchr.org/alias/francesco-flammini"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  - name: "José Merseguer"
    link: "https://researchr.org/alias/jos%C3%A9-merseguer"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2013"
  doi: "http://dx.doi.org/10.1016/j.ress.2013.06.032"
  links:
    doi: "http://dx.doi.org/10.1016/j.ress.2013.06.032"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ress/BernardiFMMMNV13"
  researchr: "https://researchr.org/publication/BernardiFMMMNV13"
  cites: 0
  citedby: 0
  journal: "Rel. Eng. & Sys. Safety"
  volume: "120"
  pages: "112-126"
  kind: "article"
  key: "BernardiFMMMNV13"
- title: "Computer-aided security assessment of water networks monitoring platforms"
  author:
  - name: "Ugo Gentile"
    link: "https://researchr.org/alias/ugo-gentile"
  - name: "Stefano Marrone 0001"
    link: "https://researchr.org/alias/stefano-marrone-0001"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Emanuele Bellini 0001"
    link: "https://researchr.org/alias/emanuele-bellini-0001"
  year: "2020"
  doi: "https://doi.org/10.1016/j.ijcip.2020.100390"
  links:
    doi: "https://doi.org/10.1016/j.ijcip.2020.100390"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ijcip/GentileMNB20"
  researchr: "https://researchr.org/publication/GentileMNB20"
  cites: 0
  citedby: 0
  journal: "IJCIP"
  volume: "31"
  pages: "100390"
  kind: "article"
  key: "GentileMNB20"
- title: "Petri net based evaluation of energy consumption in wireless sensor nodes"
  author:
  - name: "Maurizio D'Arienzo"
    link: "https://researchr.org/alias/maurizio-d%27arienzo"
  - name: "Mauro Iacono"
    link: "https://researchr.org/alias/mauro-iacono"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  year: "2013"
  doi: "http://dx.doi.org/10.3233/JHS-130482"
  links:
    doi: "http://dx.doi.org/10.3233/JHS-130482"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jhsn/DArienzoIMN13"
  researchr: "https://researchr.org/publication/DArienzoIMN13-0"
  cites: 0
  citedby: 0
  journal: "J. High Speed Networks"
  volume: "19"
  number: "4"
  pages: "339-358"
  kind: "article"
  key: "DArienzoIMN13-0"
- title: "Vulnerability modeling and analysis for critical infrastructure protection applications"
  author:
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Annarita Tedesco"
    link: "https://researchr.org/alias/annarita-tedesco"
  - name: "Pasquale D'amore"
    link: "https://researchr.org/alias/pasquale-d%27amore"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  - name: "Roberto Setola"
    link: "https://researchr.org/alias/roberto-setola"
  - name: "Francesca De Cillis"
    link: "https://researchr.org/alias/francesca-de-cillis"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  year: "2013"
  doi: "http://dx.doi.org/10.1016/j.ijcip.2013.10.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.ijcip.2013.10.001"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ijcip/MarroneNTDVSCM13"
  researchr: "https://researchr.org/publication/MarroneNTDVSCM13"
  cites: 0
  citedby: 0
  journal: "IJCIP"
  volume: "6"
  number: "3-4"
  pages: "217-227"
  kind: "article"
  key: "MarroneNTDVSCM13"
- title: "Enhancing random forest classification with NLP in DAMEH: A system for DAta Management in eHealth Domain"
  author:
  - name: "Flora Amato"
    link: "https://researchr.org/alias/flora-amato"
  - name: "Luigi Coppolino"
    link: "https://researchr.org/alias/luigi-coppolino"
  - name: "Giovanni Cozzolino"
    link: "https://researchr.org/alias/giovanni-cozzolino"
  - name: "Giovanni Mazzeo"
    link: "https://researchr.org/alias/giovanni-mazzeo"
  - name: "Francesco Moscato 0001"
    link: "https://researchr.org/alias/francesco-moscato-0001"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  year: "2021"
  doi: "https://doi.org/10.1016/j.neucom.2020.08.091"
  links:
    doi: "https://doi.org/10.1016/j.neucom.2020.08.091"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ijon/AmatoCCMMN21"
  researchr: "https://researchr.org/publication/AmatoCCMMN21"
  cites: 0
  citedby: 0
  journal: "Neurocomputing"
  volume: "444"
  pages: "79-91"
  kind: "article"
  key: "AmatoCCMMN21"
- title: "Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism"
  author:
  - name: "Simona Bernardi"
    link: "https://researchr.org/alias/simona-bernardi"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "José Merseguer"
    link: "https://researchr.org/alias/jos%C3%A9-merseguer"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2019"
  doi: "https://doi.org/10.1007/s10270-018-0663-8"
  links:
    doi: "https://doi.org/10.1007/s10270-018-0663-8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sosym/BernardiMMNV19"
  researchr: "https://researchr.org/publication/BernardiMMNV19"
  cites: 0
  citedby: 0
  journal: "Software and Systems Modeling"
  volume: "18"
  number: "3"
  pages: "2241-2264"
  kind: "article"
  key: "BernardiMMNV19"
- title: "A Cost-Energy Trade-Off Model in Smart Energy Grids"
  author:
  - name: "Ugo Gentile"
    link: "https://researchr.org/alias/ugo-gentile"
  - name: "Stefano Marrone"
    link: "https://researchr.org/alias/stefano-marrone"
  - name: "Nicola Mazzocca"
    link: "https://researchr.org/alias/nicola-mazzocca"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  year: "2014"
  doi: "http://dx.doi.org/10.1109/3PGCIC.2014.83"
  links:
    doi: "http://dx.doi.org/10.1109/3PGCIC.2014.83"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/3pgcic/GentileMMN14"
  researchr: "https://researchr.org/publication/GentileMMN14"
  cites: 0
  citedby: 0
  pages: "394-399"
  booktitle: "2014 Ninth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, Guangdong, China, November 8-10, 2014"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "GentileMMN14"
- title: "Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways"
  author:
  - name: "Ruth Dirnfeld"
    link: "https://researchr.org/alias/ruth-dirnfeld"
  - name: "Francesco Flammini"
    link: "https://researchr.org/alias/francesco-flammini"
  - name: "Stefano Marrone 0002"
    link: "https://researchr.org/alias/stefano-marrone-0002"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  year: "2020"
  doi: "https://doi.org/10.1109/ITSC45102.2020.9294535"
  links:
    doi: "https://doi.org/10.1109/ITSC45102.2020.9294535"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/itsc/DirnfeldFMNV20"
  researchr: "https://researchr.org/publication/DirnfeldFMNV20"
  cites: 0
  citedby: 0
  pages: "1-7"
  booktitle: "23rd IEEE International Conference on Intelligent Transportation Systems, ITSC 2020, Rhodes, Greece, September 20-23, 2020"
  publisher: "IEEE"
  isbn: "978-1-7281-4149-7"
  kind: "inproceedings"
  key: "DirnfeldFMNV20"
- title: "Dependable Computing - EDCC 2020 Workshops - AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings"
  year: "2020"
  doi: "https://doi.org/10.1007/978-3-030-58462-7"
  links:
    doi: "https://doi.org/10.1007/978-3-030-58462-7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/edcc/2020w"
  researchr: "https://researchr.org/publication/edcc-2020w"
  cites: 0
  citedby: 0
  booktitle: "Dependable Computing - EDCC 2020 Workshops - AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings"
  conference: "edcc"
  editor:
  - name: "Simona Bernardi 0001"
    link: "https://researchr.org/alias/simona-bernardi-0001"
  - name: "Valeria Vittorini"
    link: "https://researchr.org/alias/valeria-vittorini"
  - name: "Francesco Flammini"
    link: "https://researchr.org/alias/francesco-flammini"
  - name: "Roberto Nardone"
    link: "https://www.uniparthenope.it/ugov/person/51342"
  - name: "Stefano Marrone 0002"
    link: "https://researchr.org/alias/stefano-marrone-0002"
  - name: "Rasmus Adler"
    link: "https://researchr.org/alias/rasmus-adler"
  - name: "Daniel Schneider 0001"
    link: "https://researchr.org/alias/daniel-schneider-0001"
  - name: "Philipp Schleiß"
    link: "https://researchr.org/alias/philipp-schlei%C3%9F"
  - name: "Nicola Nostro"
    link: "https://researchr.org/alias/nicola-nostro"
  - name: "Rasmus Løvenstein Olsen"
    link: "https://researchr.org/alias/rasmus-l%C3%B8venstein-olsen"
  - name: "Amleto Di Salle"
    link: "https://researchr.org/alias/amleto-di-salle"
  - name: "Paolo Masci"
    link: "https://researchr.org/alias/paolo-masci"
  volume: "1279"
  series: "Communications in Computer and Information Science"
  publisher: "Springer"
  isbn: "978-3-030-58462-7"
  kind: "proceedings"
  key: "edcc-2020w"