Andrea Fornaia

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 30

Top Topics

Graph Pattern Matching

Top Venues

COMPLEX NETWORKS (2)

Publications

Andrea Fornaia, Giovanni Marotta, Giuseppe Pappalardo, Emiliano Tramontana
A Decentralized Solution for Epidemiological Surveillance in Campus Scenarios. IEEE Access 10 (2022)
Hiroyuki Nakagawa, Shinya Tsuchida, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya
Embedded System Evolution in IoT System Development Based on MAPE-K Loop Mechanism. CoRR (2022)
Enzo Camuto, Andrea Fornaia, Leonardo Pelonero, Emiliano Tramontana
A suite of Process Metrics to Capture the Effort of Developers. ICSCA (2021)
Calanna Salvatore, Andrea Calvagna, Andrea Fornaia, Riccardo Torrisi, Emiliano Tramontana
Automatic Generation of Parallel Java Programs and their Validation using Combinatorial Testing Suites. ICCCS (2021)
Giovanni Marotta, Andrea Fornaia, Agatino Moschitta, Giuseppe Pappalardo, Emiliano Tramontana
NausiChain: a Mobile Decentralized App Ensuring Service Continuity to University Life in Covid-19 Emergency Times. ICSIM (2021)
Calanna Salvatore, Andrea Calvagna, Salvatore Campisi, Andrea Fornaia, Giuseppe Pappalardo, Riccardo Torrisi, Emiliano Tramontana
A (Reverse) Mutation Testing Approach to Automatically generate parallel C/C++ Code. WETICE (2021)
Roberto Spina, Andrea Fornaia, Emiliano Tramontana
An Early Warning System for seismic events based on the Multi-Agent Model. WOA (2020)
Roberto Spina, Andrea Fornaia, Emiliano Tramontana
VSEW: an early warning system for volcanic and seismic events. SMARTCOMP (2020)
Misael Mongiovì, Andrea Fornaia, Emiliano Tramontana
REDUNET: reducing test suites by integrating set cover and network-based optimization. Appl. Netw. Sci. 5 (1) (2020)
Andrea Fornaia, Alessandro Midolo, Giuseppe Pappalardo, Emiliano Tramontana
Automatic Generation of Effective Unit Tests based on Code Behaviour. WETICE (2020)
Leonardo Pelonero, Andrea Fornaia, Emiliano Tramontana
From Smart City to Smart Citizen: Rewarding Waste Recycle by Designing a Data-Centric IoT based Garbage Collection Service. SMARTCOMP (2020)
Leonardo Pelonero, Andrea Fornaia, Emiliano Tramontana
A Blockchain handling Data in a Waste Recycling Scenario and Fostering Participation. BCCA (2020)
Gabriella Verga, Salvatore Calcagno, Andrea Fornaia, Emiliano Tramontana
Smart Cities and Open WiFis: When Android OS Permissions Cease to Protect Privacy. IDCS (2019)
Misael Mongiovì, Andrea Fornaia, Emiliano Tramontana
A Network-Based Approach for Reducing Test Suites While Maintaining Code Coverage. COMPLEX NETWORKS (2) (2019)
Andrea Fornaia, Stefano Scafiti, Emiliano Tramontana
JSCAN: Designing an Easy to use LLVM-Based Static Analysis Framework. WETICE (2019)
Gabriella Verga, Andrea Fornaia, Salvatore Calcagno, Emiliano Tramontana
Yet Another Way to Unknowingly Gather People Coordinates and Its Countermeasures. IDCS (2019)
Emiliano Tramontana, Andrea Calvagna, Andrea Fornaia
Validation of Safety Critical Collaboration Systems (VSC) at WETICE 2019: Track Report. WETICE (2019)
Andrea Fornaia, Emiliano Tramontana
Assisting Replace Method with Method Object: Selecting Fields and Preserving Data Access. COMPSAC (2) (2018)
Shinya Tsuchida, Hiroyuki Nakagawa, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya
A Framework for Updating Functionalities Based on the MAPE Loop Mechanism. COMPSAC (1) (2018)
Andrea Fornaia, Misael Mongiovì, Giuseppe Pappalardo, Emiliano Tramontana
Program Analysis and Graph Pattern Matching to Reveal Modularity and Potential for Parallelism. APSEC (2018)
Andrea Di Stefano, Andrea Fornaia, Emiliano Tramontana, Gabriella Verga
Detecting Android Malware According to Observations on User Activities. WETICE (2018)
Andrea Fornaia, Misael Mongiovì, Giuseppe Pappalardo, Emiliano Tramontana
A General Powerful Graph Pattern Matching System for Data Analysis. COMPLEX NETWORKS (2) (2018)
Andrea Fornaia, Emiliano Tramontana
Is My Code Easy to Port? Using Taint Analysis to Evaluate and Assist Code Portability. WETICE (2017)
Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana
VSC Track Report. WETICE (2017)
Andrea Fornaia, Christian Napoli, Emiliano Tramontana
Cloud Services for On-Demand Vehicles Management. Inf. Technol. Control. 46 (4) (2017)
Andrea Fornaia, Emiliano Tramontana
DeDuCT: A Data Dependence Based Concern Tagger for Modularity Analysis. COMPSAC (2) (2017)
Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana
VSC Track at WETICE 2016: Summary Report and Preface. WETICE (2016)
Domenico Cantone, Andrea Fornaia, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Emiliano Tramontana
An OWL Framework for Rule-based Recognition of Places in Italian Non-structured Text. KDWeb (2016)
Andrea Fornaia, Christian Napoli, Giuseppe Pappalardo, Emiliano Tramontana
Enhancing City Transportation Services Using Cloud Support. ICIST (2016)
Giuseppe Ascia, Vincenzo Catania, Raffaele Di Natale, Andrea Fornaia, Misael Mongiovì, Salvatore Monteleone, Giuseppe Pappalardo, Emiliano Tramontana
Making Android Apps Data-Leak-Safe by Data Flow Analysis and Code Injection. WETICE (2016)
Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana
Random versus combinatorial effectiveness in software conformance testing: a case study. SAC (2015)
Andrea Fornaia, Christian Napoli, Giuseppe Pappalardo, Emiliano Tramontana
Using AOP Neural Networks to Infer User Behaviours and Interests. WOA (2015)
Misael Mongiovì, G. Giannone, Andrea Fornaia, Giuseppe Pappalardo, Emiliano Tramontana
Combining static and dynamic data flow analysis: a hybrid approach for detecting data leaks in java applications. SAC (2015)
Andrea Fornaia, Christian Napoli, Giuseppe Pappalardo, Emiliano Tramontana
An AO System for OO-GPU Programming. WOA (2015)
Andrea Fornaia, Christian Napoli, Giuseppe Pappalardo, Emiliano Tramontana
An AOP-RBPNN approach to infer user interests and mine contents on social media. Intelligenza Artificiale 9 (2) (2015)
Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana
Assessing the Correctness of JVM Implementations. WETICE (2014)
Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana
Combinatorial Interaction Testing of a Java Card Static Verifier. ICST Workshops (2014)