Works matching AU Mercaldo, Francesco


Results: 51
    1
    2
    3
    4
    5
    6
    7
    8

    Model Checking Based Approach for Compliance Checking.

    Published in:
    Information Technology & Control, 2019, v. 48, n. 2, p. 278, doi. 10.5755/j01.itc.48.2.21724
    By:
    • Martinelli, Fabio;
    • Mercaldo, Francesco;
    • Nardone, Vittoria;
    • Orlando, Albina;
    • Santone, Antonella;
    • Vaglini, Gigliola
    Publication type:
    Article
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18

    Neural Networks for Driver Behavior Analysis.

    Published in:
    Electronics (2079-9292), 2021, v. 10, n. 3, p. 342, doi. 10.3390/electronics10030342
    By:
    • Martinelli, Fabio;
    • Marulli, Fiammetta;
    • Mercaldo, Francesco;
    • Santone, Antonella;
    • Papadopoulos, George Angelos;
    • Mehmood, Rashid
    Publication type:
    Article
    19
    20
    21
    22
    23
    24

    BeSafe B2.0 Smart Multisensory Platform for Safety in Workplaces.

    Published in:
    Sensors (14248220), 2021, v. 21, n. 10, p. 3372, doi. 10.3390/s21103372
    By:
    • Márquez-Sánchez, Sergio;
    • Campero-Jurado, Israel;
    • Robles-Camarillo, Daniel;
    • Rodríguez, Sara;
    • Corchado-Rodríguez, Juan M.;
    • Wu, Celimuge;
    • Mercaldo, Francesco
    Publication type:
    Article
    25
    26
    27
    28

    A "pay-how-you-drive" car insurance approach through cluster analysis.

    Published in:
    Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2019, v. 23, n. 9, p. 2863, doi. 10.1007/s00500-018-3274-y
    By:
    • Carfora, Maria Francesca;
    • Martinelli, Fabio;
    • Mercaldo, Francesco;
    • Nardone, Vittoria;
    • Orlando, Albina;
    • Santone, Antonella;
    • Vaglini, Gigliola
    Publication type:
    Article
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38

    Talos: no more ransomware victims with formal methods.

    Published in:
    International Journal of Information Security, 2018, v. 17, n. 6, p. 719, doi. 10.1007/s10207-017-0398-5
    By:
    • Cimitile, Aniello;
    • Nardone, Vittoria;
    • Visaggio, Corrado Aaron;
    • Mercaldo, Francesco;
    • Santone, Antonella
    Publication type:
    Article
    39
    40

    Automatic PI-RADS assignment by means of formal methods.

    Published in:
    La Radiologia Medica, 2022, v. 127, n. 1, p. 83, doi. 10.1007/s11547-021-01431-y
    By:
    • Brunese, Luca;
    • Brunese, Maria Chiara;
    • Carbone, Mattia;
    • Ciccone, Vincenzo;
    • Mercaldo, Francesco;
    • Santone, Antonella
    Publication type:
    Article
    41
    42
    43
    44
    45

    Metamorphic Malware Detection Using Code Metrics.

    Published in:
    Information Security Journal: A Global Perspective, 2014, v. 23, n. 3, p. 57, doi. 10.1080/19393555.2014.931487
    By:
    • Canfora, Gerardo;
    • Mercaldo, Francesco;
    • Visaggio, Corrado Aaron;
    • Di Notte, Paolo
    Publication type:
    Article
    46
    47
    48
    49
    50