Concepedia

Andrea Fornaia

AF

Statistics

Publications

4

Citations

82

H-Index

4

Active since

2014

Affiliations

University of Catania(Current)

Andrea Fornaia is an author at University of Catania specializing in engineering, computer science, and system software.

Top concepts

EngineeringSystem SoftwareComputer ScienceSoftware AnalysisSoftware EngineeringFormal MethodsCloud ComputingProgram AnalysisSoftware TestingFormal Verification

Publications per year

2014–2020

4

Publications

4

From Smart City to Smart Citizen: Rewarding Waste Recycle by Designing a Data-Centric IoT based Garbage Collection Service

Leonardo Pelonero, Andrea Fornaia, Emiliano Tramontana · 2020 · 32 citations

Engineering, Smart Bin Model, Smart City +23

A Software Architecture Assisting Workflow Executions on Cloud Resources

Grzegorz Borowik, Marcin Woźniak, Andrea Fornaia et al. · International Journal of Electronics and Telecommunications · 2015 · 22 citations · Full text

Software Maintenance, Cloud Resources, Engineering +17

Combining static and dynamic data flow analysis

Giorgio Giannone, Andrea Fornaia, Giuseppe Pappalardo et al. · 2015 · 18 citations

Engineering, Information Security, Dynamic Data +19

Combinatorial Interaction Testing of a Java Card Static Verifier

Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana · 2014 · 10 citations

Engineering, Verification, Software Engineering +21

1–4 of 4