Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Vittoria Nardone
@article{DBLP:journals/tosem/NardoneMAKP23,
author = {Vittoria Nardone and
Biruk Asmare Muse and
Mouna Abidi and
Foutse Khomh and
Massimiliano Di Penta},
title = {Video Game Bad Smells: What They Are and How Developers Perceive Them},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {32},
number = {4},
pages = {88:1--88:35},
year = {2023},
url = {https://doi.org/10.1145/3563214},
doi = {10.1145/3563214},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/NardoneMAKP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/BoscoCUMKNP23,
author = {Matteo Bosco and
Pasquale Cavoto and
Augusto Ungolo and
Biruk Asmare Muse and
Foutse Khomh and
Vittoria Nardone and
Massimiliano Di Penta},
title = {UnityLint: {A} Bad Smell Detector for Unity},
booktitle = {31st {IEEE/ACM} International Conference on Program Comprehension,
{ICPC} 2023, Melbourne, Australia, May 15-16, 2023},
pages = {186--190},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICPC58990.2023.00033},
doi = {10.1109/ICPC58990.2023.00033},
timestamp = {Thu, 20 Jul 2023 21:02:45 +0200},
biburl = {https://dblp.org/rec/conf/iwpc/BoscoCUMKNP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/MartinelliMNS22,
author = {Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone},
title = {Driver Identification Through Formal Methods},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {23},
number = {6},
pages = {5625--5637},
year = {2022},
url = {https://doi.org/10.1109/TITS.2021.3055347},
doi = {10.1109/TITS.2021.3055347},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tits/MartinelliMNS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/ZampettiNP22,
author = {Fiorella Zampetti and
Vittoria Nardone and
Massimiliano Di Penta},
title = {Problems and Solutions in Applying Continuous Integration and Delivery
to 20 Open-Source Cyber-Physical Systems},
booktitle = {19th {IEEE/ACM} International Conference on Mining Software Repositories,
{MSR} 2022, Pittsburgh, PA, USA, May 23-24, 2022},
pages = {646--657},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3524842.3527948},
doi = {10.1145/3524842.3527948},
timestamp = {Thu, 27 Oct 2022 16:07:05 +0200},
biburl = {https://dblp.org/rec/conf/msr/ZampettiNP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cee/MartinelliMONSS20,
author = {Fabio Martinelli and
Francesco Mercaldo and
Albina Orlando and
Vittoria Nardone and
Antonella Santone and
Arun Kumar Sangaiah},
title = {Human behavior characterization for driving style recognition in vehicle
system},
journal = {Comput. Electr. Eng.},
volume = {83},
pages = {102504},
year = {2020},
url = {https://doi.org/10.1016/j.compeleceng.2017.12.050},
doi = {10.1016/J.COMPELECENG.2017.12.050},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cee/MartinelliMONSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/MartinelliMNSV20,
author = {Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone and
Gigliola Vaglini},
title = {Model checking and machine learning techniques for \emph{HummingBad}
mobile malware detection and mitigation},
journal = {Simul. Model. Pract. Theory},
volume = {105},
pages = {102169},
year = {2020},
url = {https://doi.org/10.1016/j.simpat.2020.102169},
doi = {10.1016/J.SIMPAT.2020.102169},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simpra/MartinelliMNSV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/CasolareMMNS20,
author = {Rosangela Casolare and
Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone},
editor = {Leonard Barolli and
Flora Amato and
Francesco Moscato and
Tomoya Enokido and
Makoto Takizawa},
title = {Colluding Android Apps Detection via Model Checking},
booktitle = {Web, Artificial Intelligence and Network Applications - Proceedings
of the Workshops of the 34th International Conference on Advanced
Information Networking and Applications, {AINA} Workshops 2020, Caserta,
Italy, 15-17 April},
series = {Advances in Intelligent Systems and Computing},
volume = {1150},
pages = {776--786},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44038-1\_71},
doi = {10.1007/978-3-030-44038-1\_71},
timestamp = {Thu, 04 Apr 2024 17:08:34 +0200},
biburl = {https://dblp.org/rec/conf/aina/CasolareMMNS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/BorrelliNLCP20,
author = {Antonio Borrelli and
Vittoria Nardone and
Giuseppe A. Di Lucca and
Gerardo Canfora and
Massimiliano Di Penta},
editor = {Sunghun Kim and
Georgios Gousios and
Sarah Nadi and
Joseph Hejderup},
title = {Detecting Video Game-Specific Bad Smells in Unity Projects},
booktitle = {{MSR} '20: 17th International Conference on Mining Software Repositories,
Seoul, Republic of Korea, 29-30 June, 2020},
pages = {198--208},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3379597.3387454},
doi = {10.1145/3379597.3387454},
timestamp = {Thu, 24 Sep 2020 10:34:38 +0200},
biburl = {https://dblp.org/rec/conf/msr/BorrelliNLCP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itc/MartinelliMNOSV19,
author = {Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Albina Orlando and
Antonella Santone and
Gigliola Vaglini},
title = {Model Checking Based Approach for Compliance Checking},
journal = {Inf. Technol. Control.},
volume = {48},
number = {2},
pages = {278--298},
year = {2019},
url = {https://doi.org/10.5755/j01.itc.48.2.21724},
doi = {10.5755/J01.ITC.48.2.21724},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/itc/MartinelliMNOSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/NardoneSTLG19,
author = {Vittoria Nardone and
Antonella Santone and
Massimo Tipaldi and
Davide Liuzza and
Luigi Glielmo},
title = {Model Checking Techniques Applied to Satellite Operational Mode Management},
journal = {{IEEE} Syst. J.},
volume = {13},
number = {1},
pages = {1018--1029},
year = {2019},
url = {https://doi.org/10.1109/JSYST.2018.2793665},
doi = {10.1109/JSYST.2018.2793665},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sj/NardoneSTLG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/CarforaMMNOSV19,
author = {Maria Francesca Carfora and
Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Albina Orlando and
Antonella Santone and
Gigliola Vaglini},
title = {A "pay-how-you-drive" car insurance approach through cluster
analysis},
journal = {Soft Comput.},
volume = {23},
number = {9},
pages = {2863--2875},
year = {2019},
url = {https://doi.org/10.1007/s00500-018-3274-y},
doi = {10.1007/S00500-018-3274-Y},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/CarforaMMNOSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CanforaMMNSV19,
author = {Gerardo Canfora and
Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone and
Corrado Aaron Visaggio},
title = {{LEILA:} Formal Tool for Identifying Mobile Malicious Behaviour},
journal = {{IEEE} Trans. Software Eng.},
volume = {45},
number = {12},
pages = {1230--1252},
year = {2019},
url = {https://doi.org/10.1109/TSE.2018.2834344},
doi = {10.1109/TSE.2018.2834344},
timestamp = {Thu, 19 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/CanforaMMNSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/CapobiancoGMNS19,
author = {Giovanni Capobianco and
Umberto Di Giacomo and
Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Can Machine Learning Predict Soccer Match Results?},
booktitle = {Proceedings of the 11th International Conference on Agents and Artificial
Intelligence, {ICAART} 2019, Volume 2, Prague, Czech Republic, February
19-21, 2019},
pages = {458--465},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007307504580465},
doi = {10.5220/0007307504580465},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icaart/CapobiancoGMNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/FasanoMMNS19,
author = {Fausto Fasano and
Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone},
editor = {Paolo Mori and
Steven Furnell and
Olivier Camp},
title = {Spyware Detection using Temporal Logic},
booktitle = {Proceedings of the 5th International Conference on Information Systems
Security and Privacy, {ICISSP} 2019, Prague, Czech Republic, February
23-25, 2019},
pages = {690--699},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007704806900699},
doi = {10.5220/0007704806900699},
timestamp = {Wed, 05 Jun 2019 13:01:15 +0200},
biburl = {https://dblp.org/rec/conf/icissp/FasanoMMNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idc/MartinelliMNSV19,
author = {Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone and
Gigliola Vaglini},
editor = {Igor V. Kotenko and
Costin Badica and
Vasily Desnitsky and
Didier El Baz and
Mirjana Ivanovic},
title = {Model Checking to Detect the Hummingbad Malware},
booktitle = {Intelligent Distributed Computing XIII, 13th International Symposium
on Intelligent Distributed Computing, {IDC} 2019, St. Petersburg,
Russia, 7-9 October, 2019},
series = {Studies in Computational Intelligence},
volume = {868},
pages = {485--494},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32258-8\_57},
doi = {10.1007/978-3-030-32258-8\_57},
timestamp = {Fri, 04 Oct 2019 09:16:07 +0200},
biburl = {https://dblp.org/rec/conf/idc/MartinelliMNSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/AvinoMNNS19,
author = {Pasquale Avino and
Francesco Mercaldo and
Vittoria Nardone and
Ivan Notardonato and
Antonella Santone},
title = {Machine Learning to Identify Gender via Hair Elements},
booktitle = {International Joint Conference on Neural Networks, {IJCNN} 2019 Budapest,
Hungary, July 14-19, 2019},
pages = {1--7},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IJCNN.2019.8851914},
doi = {10.1109/IJCNN.2019.8851914},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/AvinoMNNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/BernardeschiMNS19,
author = {Cinzia Bernardeschi and
Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone},
editor = {Imre J. Rudas and
J{\'{a}}nos Csirik and
Carlos Toro and
J{\'{a}}nos Botzheim and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Exploiting Model Checking for Mobile Botnet Detection},
booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems:
Proceedings of the 23rd International Conference KES-2019, Budapest,
Hungary, 4-6 September 2019},
series = {Procedia Computer Science},
volume = {159},
pages = {963--972},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.procs.2019.09.263},
doi = {10.1016/J.PROCS.2019.09.263},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/kes/BernardeschiMNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/BorrelliLNS19,
author = {Antonio Borrelli and
Giuseppe Antonio Di Lucca and
Vittoria Nardone and
Antonella Santone},
editor = {Sumitra Reddy},
title = {Formal Verification of Radio Communication Management in Railway Systems
Using Model Checking Technique},
booktitle = {28th {IEEE} International Conference on Enabling Technologies: Infrastructure
for Collaborative Enterprises, {WETICE} 2019, Naples, Italy, June
12-14, 2019},
pages = {249--254},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/WETICE.2019.00060},
doi = {10.1109/WETICE.2019.00060},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wetice/BorrelliLNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/CimitileMNSV18,
author = {Aniello Cimitile and
Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone and
Corrado Aaron Visaggio},
title = {Talos: no more ransomware victims with formal methods},
journal = {Int. J. Inf. Sec.},
volume = {17},
number = {6},
pages = {719--738},
year = {2018},
url = {https://doi.org/10.1007/s10207-017-0398-5},
doi = {10.1007/S10207-017-0398-5},
timestamp = {Fri, 21 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/CimitileMNSV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/MartinelliMNSSC18,
author = {Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone and
Arun Kumar Sangaiah and
Aniello Cimitile},
title = {Evaluating model checking for cyber threats code obfuscation identification},
journal = {J. Parallel Distributed Comput.},
volume = {119},
pages = {203--218},
year = {2018},
url = {https://doi.org/10.1016/j.jpdc.2018.04.008},
doi = {10.1016/J.JPDC.2018.04.008},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/MartinelliMNSSC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/MartinelliMNOS18,
author = {Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Albina Orlando and
Antonella Santone},
editor = {Paolo Mori and
Steven Furnell and
Olivier Camp},
title = {Who's Driving My Car? {A} Machine Learning based Approach to Driver
Identification},
booktitle = {Proceedings of the 4th International Conference on Information Systems
Security and Privacy, {ICISSP} 2018, Funchal, Madeira - Portugal,
January 22-24, 2018},
pages = {367--372},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006633403670372},
doi = {10.5220/0006633403670372},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icissp/MartinelliMNOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/MartinelliMNOS18a,
author = {Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Albina Orlando and
Antonella Santone},
editor = {Paolo Mori and
Steven Furnell and
Olivier Camp},
title = {Cluster Analysis for Driver Aggressiveness Identification},
booktitle = {Proceedings of the 4th International Conference on Information Systems
Security and Privacy, {ICISSP} 2018, Funchal, Madeira - Portugal,
January 22-24, 2018},
pages = {562--569},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006755205620569},
doi = {10.5220/0006755205620569},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icissp/MartinelliMNOS18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/MartinelliMN18,
author = {Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone},
editor = {Paolo Mori and
Steven Furnell and
Olivier Camp},
title = {Identifying Insecure Features in Android Applications using Model
Checking},
booktitle = {Proceedings of the 4th International Conference on Information Systems
Security and Privacy, {ICISSP} 2018, Funchal, Madeira - Portugal,
January 22-24, 2018},
pages = {589--596},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006758105890596},
doi = {10.5220/0006758105890596},
timestamp = {Wed, 11 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icissp/MartinelliMN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/MartinelliMNOS18,
author = {Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Albina Orlando and
Antonella Santone},
title = {Context-Awareness Mobile Devices for Traffic Incident Prevention},
booktitle = {2018 {IEEE} International Conference on Pervasive Computing and Communications
Workshops, PerCom Workshops 2018, Athens, Greece, March 19-23, 2018},
pages = {143--148},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/PERCOMW.2018.8480213},
doi = {10.1109/PERCOMW.2018.8480213},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/percom/MartinelliMNOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MartinelliMNSV18,
author = {Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone and
Gigliola Vaglini},
editor = {Barbara Gallina and
Amund Skavhaug and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Real-Time Driver Behaviour Characterization Through Rule-Based Machine
Learning},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2018 Workshops,
ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, V{\"{a}}ster{\aa}s,
Sweden, September 18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11094},
pages = {374--386},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99229-7\_32},
doi = {10.1007/978-3-319-99229-7\_32},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/MartinelliMNSV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/MartinelliMNOSV18,
author = {Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Albina Orlando and
Antonella Santone and
Gigliola Vaglini},
editor = {Layth Sliman and
Ismael Bouassida Rodriguez and
Kaori Yoshida},
title = {Safety Critical Systems Formal Verification Using Execution Traces},
booktitle = {27th {IEEE} International Conference on Enabling Technologies: Infrastructure
for Collaborative Enterprises, {WETICE} 2018, Paris, France, June
27-29, 2018},
pages = {247--250},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/WETICE.2018.00054},
doi = {10.1109/WETICE.2018.00054},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wetice/MartinelliMNOSV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/MartinelliMNS17,
author = {Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone},
title = {Malware and Formal Methods: Rigorous Approaches for detecting Malicious
Behaviour},
booktitle = {Proceedings of the 12th International Conference on Availability,
Reliability and Security, Reggio Calabria, Italy, August 29 - September
01, 2017},
pages = {76:1--76:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3098954.3107012},
doi = {10.1145/3098954.3107012},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/MartinelliMNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/MartinelliMNS17,
author = {Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone},
editor = {Ramesh Karri and
Ozgur Sinanoglu and
Ahmad{-}Reza Sadeghi and
Xun Yi},
title = {How Discover a Malware using Model Checking},
booktitle = {Proceedings of the 2017 {ACM} on Asia Conference on Computer and Communications
Security, AsiaCCS 2017, Abu Dhabi, United Arab Emirates, April 2-6,
2017},
pages = {902--904},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3052973.3055157},
doi = {10.1145/3052973.3055157},
timestamp = {Sun, 12 Nov 2023 02:11:41 +0100},
biburl = {https://dblp.org/rec/conf/ccs/MartinelliMNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/MartinelliMNS17,
author = {Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone},
title = {Car hacking identification through fuzzy logic algorithms},
booktitle = {2017 {IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE}
2017, Naples, Italy, July 9-12, 2017},
pages = {1--7},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/FUZZ-IEEE.2017.8015464},
doi = {10.1109/FUZZ-IEEE.2017.8015464},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/fuzzIEEE/MartinelliMNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/NardoneV17,
author = {Vittoria Nardone and
Corrado Aaron Visaggio},
editor = {Paolo Mori and
Steven Furnell and
Olivier Camp},
title = {"Mirror, Mirror on the Wall, Who is the Fairest One of All?"
- Machine Learning versus Model Checking: {A} Comparison between Two
Static Techniques for Malware Family Identification},
booktitle = {Proceedings of the 3rd International Conference on Information Systems
Security and Privacy, {ICISSP} 2017, Porto, Portugal, February 19-21,
2017},
pages = {663--672},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006287506630672},
doi = {10.5220/0006287506630672},
timestamp = {Thu, 18 May 2017 14:22:34 +0200},
biburl = {https://dblp.org/rec/conf/icissp/NardoneV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/MartinelliMNSV17,
author = {Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone and
Corrado Aaron Visaggio},
editor = {Paolo Mori and
Steven Furnell and
Olivier Camp},
title = {Identifying Mobile Repackaged Applications through Formal Methods},
booktitle = {Proceedings of the 3rd International Conference on Information Systems
Security and Privacy, {ICISSP} 2017, Porto, Portugal, February 19-21,
2017},
pages = {673--682},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006287906730682},
doi = {10.5220/0006287906730682},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icissp/MartinelliMNSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CimitileMMNSV17,
author = {Aniello Cimitile and
Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone and
Gigliola Vaglini},
title = {Model Checking for Mobile Android Malware Evolution},
booktitle = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
2017},
pages = {24--30},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/FormaliSE.2017.4},
doi = {10.1109/FORMALISE.2017.4},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CimitileMMNSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/MercaldoNS17,
author = {Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone},
editor = {Cecilia Zanni{-}Merk and
Claudia S. Frydman and
Carlos Toro and
Yulia Hicks and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Diabetes Mellitus Affected Patients Classification and Diagnosis through
Machine Learning Techniques},
booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems:
Proceedings of the 21st International Conference KES-2017, Marseille,
France, 6-8 September 2017},
series = {Procedia Computer Science},
volume = {112},
pages = {2519--2528},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.procs.2017.08.193},
doi = {10.1016/J.PROCS.2017.08.193},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/kes/MercaldoNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/CimitileMMNS17,
author = {Aniello Cimitile and
Fabio Martinelli and
Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone},
editor = {Sumitra Reddy and
Wojciech Cellary and
Mariagrazia Fugini},
title = {Formal Methods Meet Mobile Code Obfuscation Identification of Code
Reordering Technique},
booktitle = {26th {IEEE} International Conference on Enabling Technologies: Infrastructure
for Collaborative Enterprises, {WETICE} 2017, Poznan, Poland, June
21-23, 2017},
pages = {263--268},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/WETICE.2017.23},
doi = {10.1109/WETICE.2017.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/CimitileMMNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/MercaldoNS16,
author = {Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone},
title = {Ransomware Inside Out},
booktitle = {11th International Conference on Availability, Reliability and Security,
{ARES} 2016, Salzburg, Austria, August 31 - September 2, 2016},
pages = {628--637},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ARES.2016.35},
doi = {10.1109/ARES.2016.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/MercaldoNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/MercaldoNSV16,
author = {Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone and
Corrado Aaron Visaggio},
editor = {Elvira Albert and
Ivan Lanese},
title = {Ransomware Steals Your Phone. Formal Methods Rescue It},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held
as Part of the 11th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June
6-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9688},
pages = {212--221},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39570-8\_14},
doi = {10.1007/978-3-319-39570-8\_14},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/MercaldoNSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/BattistaMNSV16,
author = {Pasquale Battista and
Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone and
Corrado Aaron Visaggio},
editor = {Olivier Camp and
Steven Furnell and
Paolo Mori},
title = {Identification of Android Malware Families with Model Checking},
booktitle = {Proceedings of the 2nd International Conference on Information Systems
Security and Privacy, {ICISSP} 2016, Rome, Italy, February 19-21,
2016},
pages = {542--547},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005809205420547},
doi = {10.5220/0005809205420547},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icissp/BattistaMNSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MercaldoNSV16,
author = {Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone and
Corrado Aaron Visaggio},
title = {Download malware? no, thanks: how formal methods can block update
attacks},
booktitle = {Proceedings of the 4th {FME} Workshop on Formal Methods in Software
Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016},
pages = {22--28},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897667.2897673},
doi = {10.1145/2897667.2897673},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MercaldoNSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/NardoneRS16,
author = {Vittoria Nardone and
Domenico Raucci and
Antonella Santone},
editor = {Sumitra Reddy and
Walid Gaaloul},
title = {Model Checking to Support Action Controls in the Purchasing Process},
booktitle = {25th {IEEE} International Conference on Enabling Technologies: Infrastructure
for Collaborative Enterprises, {WETICE} 2016, Paris, France, June
13-15, 2016},
pages = {199--204},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/WETICE.2016.52},
doi = {10.1109/WETICE.2016.52},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/NardoneRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/MercaldoNSV16,
author = {Francesco Mercaldo and
Vittoria Nardone and
Antonella Santone and
Corrado Aaron Visaggio},
editor = {Sumitra Reddy and
Walid Gaaloul},
title = {Hey Malware, {I} Can Find You!},
booktitle = {25th {IEEE} International Conference on Enabling Technologies: Infrastructure
for Collaborative Enterprises, {WETICE} 2016, Paris, France, June
13-15, 2016},
pages = {261--262},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/WETICE.2016.67},
doi = {10.1109/WETICE.2016.67},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/MercaldoNSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CeccarelliCRNS15,
author = {Michele Ceccarelli and
Luigi Cerulo and
Giuseppe De Ruvo and
Vittoria Nardone and
Antonella Santone},
editor = {Stefania Gnesi and
Nico Plat},
title = {Infer Gene Regulatory Networks from Time Series Data with Probabilistic
Model Checking},
booktitle = {3rd {IEEE/ACM} {FME} Workshop on Formal Methods in Software Engineering,
FormaliSE 2015, Florence, Italy, May 18, 2015},
pages = {26--32},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/FormaliSE.2015.12},
doi = {10.1109/FORMALISE.2015.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CeccarelliCRNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-01 22:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
