@article{AmatoCMMNS21,
  title = {CAN-Bus Attack Detection With Deep Learning},
  author = {Flora Amato and Luigi Coppolino and Francesco Mercaldo and Francesco Moscato 0001 and Roberto Nardone and Antonella Santone},
  year = {2021},
  doi = {10.1109/TITS.2020.3046974},
  url = {https://doi.org/10.1109/TITS.2020.3046974},
  researchr = {https://researchr.org/publication/AmatoCMMNS21},
  cites = {0},
  citedby = {0},
  journal = {IEEE Transactions on Intelligent Transportation Systems},
  volume = {22},
  number = {8},
  pages = {5081-5090},
}

@article{MarroneFMNV14,
  title = {Towards Model-Driven V&V assessment of railway control systems},
  author = {Stefano Marrone and Francesco Flammini and Nicola Mazzocca and Roberto Nardone and Valeria Vittorini},
  year = {2014},
  doi = {10.1007/s10009-014-0320-7},
  url = {http://dx.doi.org/10.1007/s10009-014-0320-7},
  researchr = {https://researchr.org/publication/MarroneFMNV14},
  cites = {0},
  citedby = {0},
  journal = {STTT},
  volume = {16},
  number = {6},
  pages = {669-683},
}

@article{BernardiGNM20,
  title = {Advancements in knowledge elicitation for computer-based critical systems},
  author = {Simona Bernardi and Ugo Gentile and Roberto Nardone and Stefano Marrone 0001},
  year = {2020},
  doi = {10.1016/j.future.2020.03.035},
  url = {https://doi.org/10.1016/j.future.2020.03.035},
  researchr = {https://researchr.org/publication/BernardiGNM20},
  cites = {0},
  citedby = {0},
  journal = {Future Generation Comp. Syst.},
  volume = {110},
  pages = {311-313},
}

@article{DragoMMNTV19,
  title = {A model-driven approach for vulnerability evaluation of modern physical protection systems},
  author = {Annarita Drago and Stefano Marrone and Nicola Mazzocca and Roberto Nardone and Annarita Tedesco and Valeria Vittorini},
  year = {2019},
  doi = {10.1007/s10270-016-0572-7},
  url = {https://doi.org/10.1007/s10270-016-0572-7},
  researchr = {https://researchr.org/publication/DragoMMNTV19},
  cites = {0},
  citedby = {0},
  journal = {Software and Systems Modeling},
  volume = {18},
  number = {1},
  pages = {523-556},
}

@inproceedings{SchlickFMNRSV18,
  title = {A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods},
  author = {Rupert Schlick and Michael Felderer and István Majzik and Roberto Nardone and Alexander Raschke and Colin F. Snook and Valeria Vittorini},
  year = {2018},
  doi = {10.1007/978-3-030-03427-6_20},
  url = {https://doi.org/10.1007/978-3-030-03427-6_20},
  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 = {Tiziana Margaria and Bernhard Steffen},
  volume = {11247},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-03427-6},
}

@inproceedings{FlamminiMMNV12,
  title = {Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective},
  author = {Francesco Flammini and Stefano Marrone and Nicola Mazzocca and Roberto Nardone and Valeria Vittorini},
  year = {2012},
  doi = {10.1007/978-3-642-34032-1_20},
  url = {http://dx.doi.org/10.1007/978-3-642-34032-1_20},
  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 = {Tiziana Margaria and Bernhard Steffen},
  volume = {7610},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-34031-4},
}

@inproceedings{BuccafurriMN19-0,
  title = {A routing algorithm increasing the transmission availability in smart grids},
  author = {Francesco Buccafurri and Lorenzo Musarella and Roberto Nardone},
  year = {2019},
  url = {https://dl.acm.org/citation.cfm?id=3374185},
  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 = {Umut Durak},
  publisher = {ACM},
}

@inproceedings{BenedictisMNV18,
  title = {A Model-Based Evaluation Methodology for Smart Energy Systems},
  author = {Alessandra De Benedictis and Nicola Mazzocca and Roberto Nardone and Salvatore Venticinque},
  year = {2018},
  doi = {10.1109/SMARTCOMP.2018.00090},
  url = {http://doi.ieeecomputersociety.org/10.1109/SMARTCOMP.2018.00090},
  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},
}

@article{BenerecettiGGMM17,
  title = {Dynamic state machines for modelling railway control systems},
  author = {Massimo Benerecetti and Renato De Guglielmo and Ugo Gentile and Stefano Marrone and Nicola Mazzocca and Roberto Nardone and Adriano Peron and Luigi Velardi and Valeria Vittorini},
  year = {2017},
  doi = {10.1016/j.scico.2016.09.002},
  url = {http://dx.doi.org/10.1016/j.scico.2016.09.002},
  researchr = {https://researchr.org/publication/BenerecettiGGMM17},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {133},
  pages = {116-153},
}

@inproceedings{NardoneTM0V18,
  title = {Automatic generation of formal models for diagnosability of DES},
  author = {Roberto Nardone and Gianmaria De Tommasi and Nicola Mazzocca and Alfredo Pironti 0002 and Valeria Vittorini},
  year = {2018},
  doi = {10.1109/ETFA.2018.8502565},
  url = {https://doi.org/10.1109/ETFA.2018.8502565},
  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},
}

@inproceedings{NardoneGBPVMM15,
  title = {Modeling Railway Control Systems in Promela},
  author = {Roberto Nardone and Ugo Gentile and Massimo Benerecetti and Adriano Peron and Valeria Vittorini and Stefano Marrone and Nicola Mazzocca},
  year = {2015},
  doi = {10.1007/978-3-319-29510-7_7},
  url = {http://dx.doi.org/10.1007/978-3-319-29510-7_7},
  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 = {Cyrille Artho and Peter Csaba Ölveczky},
  volume = {596},
  series = {Communications in Computer and Information Science},
  publisher = {Springer},
  isbn = {978-3-319-29509-1},
}

@inproceedings{BattistaCMMNV13,
  title = {An integrated lifetime and network quality model of large WSNs},
  author = {Ermanno Battista and Valentina Casola and Stefano Marrone and Nicola Mazzocca and Roberto Nardone and Valeria Vittorini},
  year = {2013},
  doi = {10.1109/IWMN.2013.6663791},
  url = {https://doi.org/10.1109/IWMN.2013.6663791},
  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},
}

@article{BernardiGMMN21,
  title = {Security modelling and formal verification of survivability properties: Application to cyber-physical systems},
  author = {Simona Bernardi 0001 and Ugo Gentile and Stefano Marrone 0001 and José Merseguer and Roberto Nardone},
  year = {2021},
  doi = {10.1016/j.jss.2020.110746},
  url = {https://doi.org/10.1016/j.jss.2020.110746},
  researchr = {https://researchr.org/publication/BernardiGMMN21},
  cites = {0},
  citedby = {0},
  journal = {Journal of Systems and Software},
  volume = {171},
  pages = {110746},
}

@article{MarroneMNPRV12,
  title = {A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework},
  author = {Stefano Marrone and Nicola Mazzocca and Roberto Nardone and Roberta Presta and Simon Pietro Romano and Valeria Vittorini},
  year = {2012},
  doi = {10.1007/978-3-642-35179-2_13},
  url = {http://dx.doi.org/10.1007/978-3-642-35179-2_13},
  researchr = {https://researchr.org/publication/MarroneMNPRV12},
  cites = {0},
  citedby = {0},
  journal = {T. Petri Nets and Other Models of Concurrency},
  volume = {6},
  pages = {308-333},
}

@inproceedings{CasolaBN17,
  title = {Towards Model-Based Security Assessment of Cloud Applications},
  author = {Valentina Casola and Alessandra De Benedictis and Roberto Nardone},
  year = {2017},
  doi = {10.1007/978-3-319-57186-7_56},
  url = {http://dx.doi.org/10.1007/978-3-319-57186-7_56},
  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 = {Man Ho Allen Au and Arcangelo Castiglione and Kim-Kwang Raymond Choo and Francesco Palmieri and Kuan-Ching Li},
  volume = {10232},
  series = {Lecture Notes in Computer Science},
  isbn = {978-3-319-57186-7},
}

@inproceedings{BarberioMMVAGGMNPV14,
  title = {An Interoperable Testing Environment for ERTMS/ETCS Control Systems},
  author = {Gregorio Barberio and Beniamino Di Martino and Nicola Mazzocca and Luigi Velardi and Aniello Amato and Renato De Guglielmo and Ugo Gentile and Stefano Marrone and Roberto Nardone and Adriano Peron and Valeria Vittorini},
  year = {2014},
  doi = {10.1007/978-3-319-10557-4_18},
  url = {http://dx.doi.org/10.1007/978-3-319-10557-4_18},
  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 = {Andrea Bondavalli and Andrea Ceccarelli and Frank Ortmeier},
  volume = {8696},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-10556-7},
}

@inproceedings{AmalfitanoAFGMNVM14,
  title = {Improving code coverage in android apps testing by exploiting patterns and automatic test case generation},
  author = {Domenico Amalfitano and Nicola Amatucci and Anna Rita Fasolino and Ugo Gentile and Gianluca Mele and Roberto Nardone and Valeria Vittorini and Stefano Marrone},
  year = {2014},
  doi = {10.1145/2647648.2656426},
  url = {http://doi.acm.org/10.1145/2647648.2656426},
  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 = {Radu Dobrin and Peter Wallin and Ana C. R. Paiva and Myra B. Cohen},
  publisher = {ACM},
  isbn = {978-1-4503-3045-9},
}

@phdthesis{basesearch-8447,
  title = {A Model-Driven Approach to Quantitative Analysis of Critical Systems},
  author = {Roberto Nardone},
  year = {2013},
  url = {https://www.base-search.net/Record/027292ea4c705ae483510b04f40a65f2c54f3da884b425ddd6f7a87783f7beb5},
  note = {base-search.net (ftunivnapoli:oai:fedoa.unina.it:9445)},
  researchr = {https://researchr.org/publication/basesearch-8447},
  cites = {0},
  citedby = {0},
  school = {University of Naples Federico II, Italy},
}

@inproceedings{DArienzoIMN13,
  title = {Estimation of the Energy Consumption of Mobile Sensors in WSN Environmental Monitoring Applications},
  author = {Maurizio D'Arienzo and Mauro Iacono and Stefano Marrone and Roberto Nardone},
  year = {2013},
  doi = {10.1109/WAINA.2013.33},
  url = {http://doi.ieeecomputersociety.org/10.1109/WAINA.2013.33},
  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 = {Leonard Barolli and Fatos Xhafa and Makoto Takizawa and Tomoya Enokido and Hui-Huang Hsu},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4673-6239-9},
}

@inproceedings{BattistaCMNM13,
  title = {A Compositional Modelling Approach for Large Sensor Networks Design},
  author = {Ermanno Battista and Valentina Casola and Nicola Mazzocca and Roberto Nardone and Stefano Marrone},
  year = {2013},
  doi = {10.1109/3PGCIC.2013.71},
  url = {http://dx.doi.org/10.1109/3PGCIC.2013.71},
  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 = {Fatos Xhafa and Leonard Barolli and Dritan Nace and Salvatore Venticinque and Alain Bui},
  publisher = {IEEE},
}

@article{BuccafurriAN20,
  title = {Securing MQTT by Blockchain-Based OTP Authentication},
  author = {Francesco Buccafurri and Vincenzo De Angelis and Roberto Nardone},
  year = {2020},
  doi = {10.3390/s20072002},
  url = {https://doi.org/10.3390/s20072002},
  researchr = {https://researchr.org/publication/BuccafurriAN20},
  cites = {0},
  citedby = {0},
  journal = {Sensors},
  volume = {20},
  number = {7},
  pages = {2002},
}

@inproceedings{MarroneN15,
  title = {Automatic Resource Allocation for High Availability Cloud Services},
  author = {Stefano Marrone and Roberto Nardone},
  year = {2015},
  doi = {10.1016/j.procs.2015.05.176},
  url = {http://dx.doi.org/10.1016/j.procs.2015.05.176},
  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 = {Elhadi M. Shakshuki},
  volume = {52},
  series = {Procedia Computer Science},
  publisher = {Elsevier},
}

@article{MarroneRNFV15,
  title = {On synergies of cyber and physical security modelling in vulnerability assessment of railway systems},
  author = {Stefano Marrone and Ricardo J. Rodríguez and Roberto Nardone and Francesco Flammini and Valeria Vittorini},
  year = {2015},
  doi = {10.1016/j.compeleceng.2015.07.011},
  url = {http://dx.doi.org/10.1016/j.compeleceng.2015.07.011},
  researchr = {https://researchr.org/publication/MarroneRNFV15},
  cites = {0},
  citedby = {0},
  journal = {Computers & Electrical Engineering},
  volume = {47},
  pages = {275-285},
}

@article{MeoVFNSV20,
  title = {ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis},
  author = {Carlo Di Meo and Marco Di Vaio and Francesco Flammini and Roberto Nardone and Stefania Santini and Valeria Vittorini},
  year = {2020},
  doi = {10.1109/TITS.2019.2920290},
  url = {https://doi.org/10.1109/TITS.2019.2920290},
  researchr = {https://researchr.org/publication/MeoVFNSV20},
  cites = {0},
  citedby = {0},
  journal = {IEEE Transactions on Intelligent Transportation Systems},
  volume = {21},
  number = {6},
  pages = {2545-2556},
}

@inproceedings{MarroneNOPV12,
  title = {Improving Verification Process in Driverless Metro Systems: The MBAT Project},
  author = {Stefano Marrone and Roberto Nardone and Antonio Orazzo and Ida Petrone and Luigi Velardi},
  year = {2012},
  doi = {10.1007/978-3-642-34032-1_23},
  url = {http://dx.doi.org/10.1007/978-3-642-34032-1_23},
  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 = {Tiziana Margaria and Bernhard Steffen},
  volume = {7610},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-34031-4},
}

@article{FlamminiMNCD20,
  title = {Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study},
  author = {Francesco Flammini and Stefano Marrone 0001 and Roberto Nardone and Mauro Caporuscio and Mirko D'Angelo},
  year = {2020},
  doi = {10.1016/j.future.2020.06.036},
  url = {https://doi.org/10.1016/j.future.2020.06.036},
  researchr = {https://researchr.org/publication/FlamminiMNCD20},
  cites = {0},
  citedby = {0},
  journal = {Future Generation Comp. Syst.},
  volume = {112},
  pages = {965-981},
}

@article{GentileMMN16,
  title = {Cost-energy modelling and profiling of smart domestic grids},
  author = {Ugo Gentile and Stefano Marrone and Nicola Mazzocca and Roberto Nardone},
  year = {2016},
  doi = {10.1504/IJGUC.2016.10001950},
  url = {http://dx.doi.org/10.1504/IJGUC.2016.10001950},
  researchr = {https://researchr.org/publication/GentileMMN16},
  cites = {0},
  citedby = {0},
  journal = {IJGUC},
  volume = {7},
  number = {4},
  pages = {257-271},
}

@article{NardoneMGABBGMM20,
  title = {An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers},
  author = {Roberto Nardone and Stefano Marrone 0001 and Ugo Gentile and Aniello Amato and Gregorio Barberio and Massimo Benerecetti and Renato De Guglielmo and Beniamino Di Martino and Nicola Mazzocca and Adriano Peron and Gaetano Pisani and Luigi Velardi and Valeria Vittorini},
  year = {2020},
  doi = {10.1016/j.jss.2019.110478},
  url = {https://doi.org/10.1016/j.jss.2019.110478},
  researchr = {https://researchr.org/publication/NardoneMGABBGMM20},
  cites = {0},
  citedby = {0},
  journal = {Journal of Systems and Software},
  volume = {161},
}

@inproceedings{NardoneRM16,
  title = {Formal security assessment of Modbus protocol},
  author = {Roberto Nardone and Ricardo J. Rodríguez and Stefano Marrone},
  year = {2016},
  doi = {10.1109/ICITST.2016.7856685},
  url = {http://dx.doi.org/10.1109/ICITST.2016.7856685},
  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},
}

@inproceedings{BuccafurriMN19,
  title = {Enabling propagation in web of trust by Ethereum},
  author = {Francesco Buccafurri and Lorenzo Musarella and Roberto Nardone},
  year = {2019},
  doi = {10.1145/3331076.3331108},
  url = {https://doi.org/10.1145/3331076.3331108},
  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 = {Bipin C. Desai and Dimosthenis Anagnostopoulos and Yannis Manolopoulos and Mara Nikolaidou},
  publisher = {ACM},
  isbn = {978-1-4503-6249-8},
}

@inproceedings{GentileMPNMG15,
  title = {Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems},
  author = {Ugo Gentile and Stefano Marrone and Francesco De Paola and Roberto Nardone and Nicola Mazzocca and Maurizio Giugni},
  year = {2015},
  doi = {10.1109/3PGCIC.2015.97},
  url = {http://doi.ieeecomputersociety.org/10.1109/3PGCIC.2015.97},
  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 = {Fatos Xhafa and Leonard Barolli and Fabrizio Messina and Marek R. Ogiela},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4673-9473-4},
}

@inproceedings{BenerecettiGMNP19,
  title = {From Dynamic State Machines to Promela},
  author = {Massimo Benerecetti and Ugo Gentile and Stefano Marrone and Roberto Nardone and Adriano Peron and Luigi L. L. Starace and Valeria Vittorini},
  year = {2019},
  doi = {10.1007/978-3-030-30923-7_4},
  url = {https://doi.org/10.1007/978-3-030-30923-7_4},
  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 = {Fabrizio Biondi and Thomas Given-Wilson and Axel Legay},
  volume = {11636},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-30923-7},
}

@article{RajabliFNV21,
  title = {Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review},
  author = {Nijat Rajabli and Francesco Flammini and Roberto Nardone and Valeria Vittorini},
  year = {2021},
  doi = {10.1109/ACCESS.2020.3048047},
  url = {https://doi.org/10.1109/ACCESS.2020.3048047},
  researchr = {https://researchr.org/publication/RajabliFNV21},
  cites = {0},
  citedby = {0},
  journal = {IEEE Access},
  volume = {9},
  pages = {4797-4819},
}

@inproceedings{BuccafurriLMN19,
  title = {A Novel Query Language for Data Extraction from Social Networks},
  author = {Francesco Buccafurri and Gianluca Lax and Lorenzo Musarella and Roberto Nardone},
  year = {2019},
  doi = {10.5220/0008362503650371},
  url = {https://doi.org/10.5220/0008362503650371},
  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 = {Alessandro Bozzon and Francisco José Domínguez-Mayo and Joaquim Filipe},
  publisher = {ScitePress},
  isbn = {978-989-758-386-5},
}

@inproceedings{QuagliettaDPNM11,
  title = {A simulation framework for supporting design and real-time decisional phases in railway systems},
  author = {Egidio Quaglietta and Luca D'Acierno and Vincenzo Punzo and Roberto Nardone and Nicola Mazzocca},
  year = {2011},
  doi = {10.1109/ITSC.2011.6082913},
  url = {http://dx.doi.org/10.1109/ITSC.2011.6082913},
  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},
}

@inproceedings{FlamminiGMNV14,
  title = {A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems},
  author = {Francesco Flammini and Ugo Gentile and Stefano Marrone and Roberto Nardone and Valeria Vittorini},
  year = {2014},
  doi = {10.1007/978-3-319-10506-2_16},
  url = {http://dx.doi.org/10.1007/978-3-319-10506-2_16},
  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 = {Andrea Bondavalli and Felicita Di Giandomenico},
  volume = {8666},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-10505-5},
}

@article{FlamminiMNV21,
  title = {Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks},
  author = {Francesco Flammini and Stefano Marrone 0001 and Roberto Nardone and Valeria Vittorini},
  year = {2021},
  doi = {10.1007/s00165-021-00560-5},
  url = {https://doi.org/10.1007/s00165-021-00560-5},
  researchr = {https://researchr.org/publication/FlamminiMNV21},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {33},
  number = {6},
  pages = {989-1007},
}

@inproceedings{VittoriniNRM14,
  title = {Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project},
  author = {Valeria Vittorini and Roberto Nardone and Antonio M. Rinaldi and Stefano Marrone 0001},
  year = {2014},
  doi = {10.5220/0006156500310049},
  url = {https://doi.org/10.5220/0006156500310049},
  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},
}

@inproceedings{CanonicoMNV17,
  title = {A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS},
  author = {Roberto Canonico and Stefano Marrone and Roberto Nardone and Valeria Vittorini},
  year = {2017},
  doi = {10.1007/978-3-319-68499-4_3},
  url = {https://doi.org/10.1007/978-3-319-68499-4_3},
  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 = {Alessandro Fantechi and Thierry Lecomte and Alexander Romanovsky},
  volume = {10598},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-68499-4},
}

@inproceedings{GentileMMNP14,
  title = {Test Specification Patterns for Automatic Generation of Test Sequences},
  author = {Ugo Gentile and Stefano Marrone and Gianluca Mele and Roberto Nardone and Adriano Peron},
  year = {2014},
  doi = {10.1007/978-3-319-10702-8_12},
  url = {http://dx.doi.org/10.1007/978-3-319-10702-8_12},
  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 = {Frédéric Lang and Francesco Flammini},
  volume = {8718},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-10701-1},
}

@inproceedings{MazzeoMNDMPQLM11,
  title = {An Integrated Approach for Availability and QoS Evaluation in Railway Systems},
  author = {Antonino Mazzeo and Nicola Mazzocca and Roberto Nardone and Luca D'Acierno and Bruno Montella and Vincenzo Punzo and Egidio Quaglietta and Immacolata Lamberti and Pietro Marmo},
  year = {2011},
  doi = {10.1007/978-3-642-24270-0_13},
  url = {http://dx.doi.org/10.1007/978-3-642-24270-0_13},
  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 = {Francesco Flammini and Sandro Bologna and Valeria Vittorini},
  volume = {6894},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-24269-4},
}

@inproceedings{NardoneGPBVMGMV14,
  title = {Dynamic State Machines for Formalizing Railway Control System Specifications},
  author = {Roberto Nardone and Ugo Gentile and Adriano Peron and Massimo Benerecetti and Valeria Vittorini and Stefano Marrone and Renato De Guglielmo and Nicola Mazzocca and Luigi Velardi},
  year = {2014},
  doi = {10.1007/978-3-319-17581-2_7},
  url = {http://dx.doi.org/10.1007/978-3-319-17581-2_7},
  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 = {Cyrille Artho and Peter Csaba Ölveczky},
  volume = {476},
  series = {Communications in Computer and Information Science},
  publisher = {Springer},
  isbn = {978-3-319-17580-5},
}

@article{BernardiFMMMNV13,
  title = {Enabling the usage of UML in the verification of railway systems: The DAM-rail approach},
  author = {Simona Bernardi and Francesco Flammini and Stefano Marrone and Nicola Mazzocca and José Merseguer and Roberto Nardone and Valeria Vittorini},
  year = {2013},
  doi = {10.1016/j.ress.2013.06.032},
  url = {http://dx.doi.org/10.1016/j.ress.2013.06.032},
  researchr = {https://researchr.org/publication/BernardiFMMMNV13},
  cites = {0},
  citedby = {0},
  journal = {Rel. Eng. & Sys. Safety},
  volume = {120},
  pages = {112-126},
}

@article{GentileMNB20,
  title = {Computer-aided security assessment of water networks monitoring platforms},
  author = {Ugo Gentile and Stefano Marrone 0001 and Roberto Nardone and Emanuele Bellini 0001},
  year = {2020},
  doi = {10.1016/j.ijcip.2020.100390},
  url = {https://doi.org/10.1016/j.ijcip.2020.100390},
  researchr = {https://researchr.org/publication/GentileMNB20},
  cites = {0},
  citedby = {0},
  journal = {IJCIP},
  volume = {31},
  pages = {100390},
}

@article{DArienzoIMN13-0,
  title = {Petri net based evaluation of energy consumption in wireless sensor nodes},
  author = {Maurizio D'Arienzo and Mauro Iacono and Stefano Marrone and Roberto Nardone},
  year = {2013},
  doi = {10.3233/JHS-130482},
  url = {http://dx.doi.org/10.3233/JHS-130482},
  researchr = {https://researchr.org/publication/DArienzoIMN13-0},
  cites = {0},
  citedby = {0},
  journal = {J. High Speed Networks},
  volume = {19},
  number = {4},
  pages = {339-358},
}

@article{MarroneNTDVSCM13,
  title = {Vulnerability modeling and analysis for critical infrastructure protection applications},
  author = {Stefano Marrone and Roberto Nardone and Annarita Tedesco and Pasquale D'amore and Valeria Vittorini and Roberto Setola and Francesca De Cillis and Nicola Mazzocca},
  year = {2013},
  doi = {10.1016/j.ijcip.2013.10.001},
  url = {http://dx.doi.org/10.1016/j.ijcip.2013.10.001},
  researchr = {https://researchr.org/publication/MarroneNTDVSCM13},
  cites = {0},
  citedby = {0},
  journal = {IJCIP},
  volume = {6},
  number = {3-4},
  pages = {217-227},
}

@article{AmatoCCMMN21,
  title = {Enhancing random forest classification with NLP in DAMEH: A system for DAta Management in eHealth Domain},
  author = {Flora Amato and Luigi Coppolino and Giovanni Cozzolino and Giovanni Mazzeo and Francesco Moscato 0001 and Roberto Nardone},
  year = {2021},
  doi = {10.1016/j.neucom.2020.08.091},
  url = {https://doi.org/10.1016/j.neucom.2020.08.091},
  researchr = {https://researchr.org/publication/AmatoCCMMN21},
  cites = {0},
  citedby = {0},
  journal = {Neurocomputing},
  volume = {444},
  pages = {79-91},
}

@article{BernardiMMNV19,
  title = {Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism},
  author = {Simona Bernardi and Stefano Marrone and José Merseguer and Roberto Nardone and Valeria Vittorini},
  year = {2019},
  doi = {10.1007/s10270-018-0663-8},
  url = {https://doi.org/10.1007/s10270-018-0663-8},
  researchr = {https://researchr.org/publication/BernardiMMNV19},
  cites = {0},
  citedby = {0},
  journal = {Software and Systems Modeling},
  volume = {18},
  number = {3},
  pages = {2241-2264},
}

@inproceedings{GentileMMN14,
  title = {A Cost-Energy Trade-Off Model in Smart Energy Grids},
  author = {Ugo Gentile and Stefano Marrone and Nicola Mazzocca and Roberto Nardone},
  year = {2014},
  doi = {10.1109/3PGCIC.2014.83},
  url = {http://dx.doi.org/10.1109/3PGCIC.2014.83},
  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},
}

@inproceedings{DirnfeldFMNV20,
  title = {Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways},
  author = {Ruth Dirnfeld and Francesco Flammini and Stefano Marrone 0002 and Roberto Nardone and Valeria Vittorini},
  year = {2020},
  doi = {10.1109/ITSC45102.2020.9294535},
  url = {https://doi.org/10.1109/ITSC45102.2020.9294535},
  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},
}
@proceedings{edcc-2020w,
  title = {Dependable Computing - EDCC 2020 Workshops - AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings},
  year = {2020},
  doi = {10.1007/978-3-030-58462-7},
  url = {https://doi.org/10.1007/978-3-030-58462-7},
  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 = {Simona Bernardi 0001 and Valeria Vittorini and Francesco Flammini and Roberto Nardone and Stefano Marrone 0002 and Rasmus Adler and Daniel Schneider 0001 and Philipp Schleiß and Nicola Nostro and Rasmus Løvenstein Olsen and Amleto Di Salle and Paolo Masci},
  volume = {1279},
  series = {Communications in Computer and Information Science},
  publisher = {Springer},
  isbn = {978-3-030-58462-7},
}