• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 31 matches

• 2024
• 
  Giovanni Addamo, Fabio Cignini, Enrico Cosimi, Vittoria Cozza, Flavio Fontana, Giangiacomo Ponzo, Maria Salvato, Veronica Tomassetti:
  A Platform To Communicate Knowledge: K-COM. IRCDL 2024: 47-59
• 2023
• 
  Fabio Cignini, Enrico Cosimi, Vittoria Cozza, Flavio Fontana, Maurizio Matera, Giangiacomo Ponzo, Maria Salvato, Veronica Tomassetti:
  ENEA PAES: A Web Platform for Supporting Italian Municipalities in Sustainable Energy Action Plan. Data Sci. J. 22 (2023)
• 2022
• 
  Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
  Driver Identification Through Formal Methods. IEEE Trans. Intell. Transp. Syst. 23(6): 5625-5637 (2022)
• 2020
• 
  Fabio Martinelli, Francesco Mercaldo, Albina Orlando, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah:
  Human behavior characterization for driving style recognition in vehicle system. Comput. Electr. Eng. 83: 102504 (2020)
• 
  Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
  Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation. Simul. Model. Pract. Theory 105: 102169 (2020)
• 
  Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
  Colluding Android Apps Detection via Model Checking. AINA Workshops 2020: 776-786
• 
  Giulia Minori, Gloria Gagliardi, Vittoria Cuteri, Fabio Tamburini, Elisabetta Malaspina, Paola Gualandi, Francesca Rossi, Filomena Moscano, Valentina Francia, Antonia Parmeggiani:
  Linguistic Markers of Anorexia Nervosa: Preliminary Data from a Prospective Observational Study. RaPID@LREC 2020
• 2019
• 
  Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini:
  Model Checking Based Approach for Compliance Checking. Inf. Technol. Control. 48(2): 278-298 (2019)
• 
  Maria Francesca Carfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini:
  A "pay-how-you-drive" car insurance approach through cluster analysis. Soft Comput. 23(9): 2863-2875 (2019)
• 
  Gerardo Canfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
  LEILA: Formal Tool for Identifying Mobile Malicious Behaviour. IEEE Trans. Software Eng. 45(12): 1230-1252 (2019)
• 
  Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
  Spyware Detection using Temporal Logic. ICISSP 2019: 690-699
• 
  Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
  Model Checking to Detect the Hummingbad Malware. IDC 2019: 485-494
• 2018
• 
  Marco Endrizzi, Fabio A. Vittoria, Alessandro Olivo:
  Single-Shot X-ray Phase Retrieval through Hierarchical Data Analysis and a Multi-Aperture Analyser. J. Imaging 4(6): 76 (2018)
• 
  Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah, Aniello Cimitile:
  Evaluating model checking for cyber threats code obfuscation identification. J. Parallel Distributed Comput. 119: 203-218 (2018)
• 
  Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone:
  Who's Driving My Car? A Machine Learning based Approach to Driver Identification. ICISSP 2018: 367-372
• 
  Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone:
  Cluster Analysis for Driver Aggressiveness Identification. ICISSP 2018: 562-569
• 
  Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone:
  Context-Awareness Mobile Devices for Traffic Incident Prevention. PerCom Workshops 2018: 143-148
• 
  Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
  Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning. SAFECOMP Workshops 2018: 374-386
• 
  Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini:
  Safety Critical Systems Formal Verification Using Execution Traces. WETICE 2018: 247-250
• 2017
• 
  Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
  Malware and Formal Methods: Rigorous Approaches for detecting Malicious Behaviour. ARES 2017: 76:1-76:6
• 
  Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
  How Discover a Malware using Model Checking. AsiaCCS 2017: 902-904
• 
  Fabio Federici, Mattia Micozzi, Vittoriano Muttillo, Luigi Pomante, Giacomo Valente:
  Simulation-Based Analysis of a Hardware Mechanism to Support Isolation in Mixed-Criticality Network on Chip. EMS 2017: 185-190
• 
  Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
  Car hacking identification through fuzzy logic algorithms. FUZZ-IEEE 2017: 1-7
• 
  Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
  Identifying Mobile Repackaged Applications through Formal Methods. ICISSP 2017: 673-682
• 
  Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
  Model Checking for Mobile Android Malware Evolution. FormaliSE@ICSE 2017: 24-30
• 
  Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
  Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique. WETICE 2017: 263-268
• 2016
• 
  Vittoriano Muttillo, Giacomo Valente, Fabio Federici, Luigi Pomante, Marco Faccio, Carlo Tieri, Serenella Ferri:
  A design methodology for soft-core platforms on FPGA with SMP Linux, OpenMP support, and distributed hardware profiling system. EURASIP J. Embed. Syst. 2016: 15 (2016)
• 
  Giacomo Valente, Vittoriano Muttillo, Luigi Pomante, Fabio Federici, Marco Faccio, Andrea Moro, Serenella Ferri, Carlo Tieri:
  A Flexible Profiling Sub-System for Reconfigurable Logic Architectures. PDP 2016: 373-376
• 2015
• 
  Andrea Moro, Fabio Federici, Giacomo Valente, Luigi Pomante, Marco Faccio, Vittoriano Muttillo:
  Hardware performance sniffers for embedded systems profiling. WISES 2015: 29-34
• 2009
• 
  Nadia Mammone, Fabio La Foresta, Giuseppina Inuso, Francesco Carlo Morabito, Umberto Aguglia, Vittoria Cianci:
  Algorithms and topographic mapping for epileptic seizures recognition and prediction. WIRN 2009: 261-270

skipping 1 more match