Andrea Fornaia

Orcid: 0000-0001-6034-855X

According to our database1, Andrea Fornaia authored at least 37 papers between 2014 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Embedded System Evolution in IoT System Development Based on MAPE-K Loop Mechanism.
CoRR, 2022

A Decentralized Solution for Epidemiological Surveillance in Campus Scenarios.
IEEE Access, 2022

2021
A (Reverse) Mutation Testing Approach to Automatically generate parallel C/C++ Code.
Proceedings of the 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2021

NausiChain: a Mobile Decentralized App Ensuring Service Continuity to University Life in Covid-19 Emergency Times.
Proceedings of the ICSIM 2021: 2021 The 4th International Conference on Software Engineering and Information Management, 2021

A suite of Process Metrics to Capture the Effort of Developers.
Proceedings of the ICSCA 2021, 2021

Automatic Generation of Parallel Java Programs and their Validation using Combinatorial Testing Suites.
Proceedings of the 6th IEEE International Conference on Computer and Communication Systems, 2021

2020
REDUNET: reducing test suites by integrating set cover and network-based optimization.
Appl. Netw. Sci., 2020

An Early Warning System for seismic events based on the Multi-Agent Model.
Proceedings of the Workshop on 21st Workshop "From Objects to Agents", 2020

Automatic Generation of Effective Unit Tests based on Code Behaviour.
Proceedings of the 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2020

VSEW: an early warning system for volcanic and seismic events.
Proceedings of the IEEE International Conference on Smart Computing, 2020

From Smart City to Smart Citizen: Rewarding Waste Recycle by Designing a Data-Centric IoT based Garbage Collection Service.
Proceedings of the IEEE International Conference on Smart Computing, 2020

A Blockchain handling Data in a Waste Recycling Scenario and Fostering Participation.
Proceedings of the 2020 Second International Conference on Blockchain Computing and Applications, 2020

2019
Validation of Safety Critical Collaboration Systems (VSC) at WETICE 2019: Track Report.
Proceedings of the 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2019

JSCAN: Designing an Easy to use LLVM-Based Static Analysis Framework.
Proceedings of the 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2019

Yet Another Way to Unknowingly Gather People Coordinates and Its Countermeasures.
Proceedings of the Internet and Distributed Computing Systems, 2019

Smart Cities and Open WiFis: When Android OS Permissions Cease to Protect Privacy.
Proceedings of the Internet and Distributed Computing Systems, 2019

A Network-Based Approach for Reducing Test Suites While Maintaining Code Coverage.
Proceedings of the Complex Networks and Their Applications VIII, 2019

2018
Detecting Android Malware According to Observations on User Activities.
Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

A Framework for Updating Functionalities Based on the MAPE Loop Mechanism.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Assisting Replace Method with Method Object: Selecting Fields and Preserving Data Access.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

A General Powerful Graph Pattern Matching System for Data Analysis.
Proceedings of the Complex Networks and Their Applications VII, 2018

Program Analysis and Graph Pattern Matching to Reveal Modularity and Potential for Parallelism.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017
Cloud Services for On-Demand Vehicles Management.
Inf. Technol. Control., 2017

Is My Code Easy to Port? Using Taint Analysis to Evaluate and Assist Code Portability.
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

VSC Track Report.
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

DeDuCT: A Data Dependence Based Concern Tagger for Modularity Analysis.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016
VSC Track at WETICE 2016: Summary Report and Preface.
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Making Android Apps Data-Leak-Safe by Data Flow Analysis and Code Injection.
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

An OWL Framework for Rule-based Recognition of Places in Italian Non-structured Text.
Proceedings of the 2nd International Workshop on Knowledge Discovery on the WEB, 2016

Enhancing City Transportation Services Using Cloud Support.
Proceedings of the Information and Software Technologies - 22nd International Conference, 2016

2015
An AOP-RBPNN approach to infer user interests and mine contents on social media.
Intelligenza Artificiale, 2015

Using AOP Neural Networks to Infer User Behaviours and Interests.
Proceedings of the 16th Workshop "From Objects to Agents", 2015

An AO System for OO-GPU Programming.
Proceedings of the 16th Workshop "From Objects to Agents", 2015

Combining static and dynamic data flow analysis: a hybrid approach for detecting data leaks in java applications.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Random versus combinatorial effectiveness in software conformance testing: a case study.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014
Assessing the Correctness of JVM Implementations.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Combinatorial Interaction Testing of a Java Card Static Verifier.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014


  Loading...