@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 = {tits},
  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 = {fgcs},
  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 = {SoSyM},
  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 = {ISoLA},
}

@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 = {ISoLA},
}

@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 = {SCSC},
}

@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 = {smartcomp},
}

@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 = {SCP},
  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 = {etfa},
}

@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 = {ftscs},
}

@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 = {iwmn},
}

@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 = {jss},
  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 = {topnoc},
  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 = {GPC},
}

@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 = {safecomp},
}

@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 = {ASE},
}

@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 = {aina},
}

@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 = {3pgcic},
}

@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 = {ant},
}

@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 = {cee},
  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 = {tits},
  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 = {ISoLA},
}

@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 = {fgcs},
  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 = {jss},
  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 = {icitst},
}

@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 = {ideas},
}

@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 = {3pgcic},
}

@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 = {spin},
}

@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 = {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 = {webist},
}

@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 = {itsc},
}

@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 = {safecomp},
}

@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 = {fac},
  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 = {eups},
}

@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 = {rssrail},
}

@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 = {fmics},
}

@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 = {safecomp},
}

@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 = {ftscs},
}

@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 = {ress},
  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 = {jhsn},
  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 = {ijon},
  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 = {SoSyM},
  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 = {3pgcic},
}

@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 = {itsc},
}
@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},
}