Andrea Calvagna

Orcid: 0000-0001-7965-3327

According to our database1, Andrea Calvagna authored at least 45 papers between 1999 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Blockchain-Based Real-Time Power Balancing Service for Trustless Renewable Energy Grids.
Future Internet, May, 2024

Automated Social Media Text Clustering Based on Financial Ontologies.
Inf., April, 2024

Merging Ontologies and Data from Electronic Health Records.
Future Internet, February, 2024

2023
Revealing People's Sentiment in Natural Italian Language Sentences.
Comput., November, 2023

Using Knowledge Awareness to Improve Safety of Autonomous Driving.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Multi-thread Combinatorial Test Generation with SMT solvers.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

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

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

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

2017
VSC Track Report.
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 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

2015
VSC 2015 Track Report: Validating Software for Critical Systems.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

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

A Framework for Incremental Covering Arrays Construction.
Proceedings of the Software Engineering in Intelligent Systems, 2015

2014
Track Report of Validating Software for Critical Systems (VSC 2014).
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 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

2013
Combinatorial Validation Testing of Java Card Byte Code Verifiers.
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

VSC Track Report.
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Combinatorial Testing for Feature Models Using CitLab.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Combinatorial Interaction Testing with CITLAB.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Delivering Dependable Reusable Components by Expressing and Enforcing Design Decisions.
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

Incrementally Applicable t-Wise Combinatorial Test Suites for High-Strength Interaction Testing.
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

Automated Conformance Testing of Java Virtual Machines.
Proceedings of the Seventh International Conference on Complex, 2013

2012
T-wise combinatorial interaction test suites construction based on coverage inheritance.
Softw. Test. Verification Reliab., 2012

A Novel Approach to Effective Parallel Computing of t-Wise Covering Arrays.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

2010
A Formal Logic Approach to Constrained Combinatorial Testing.
J. Autom. Reason., 2010

2009
Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing.
Proceedings of the 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2009

Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing.
Proceedings of the Tests and Proofs - 3rd International Conference, 2009

IPO-s: Incremental Generation of Combinatorial Interaction Test Data Based on Symmetries of Covering Arrays.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008
A Logic-Based Approach to Combinatorial Testing with Constraints.
Proceedings of the Tests and Proofs - 2nd International Conference, 2008

2007
Communication Networks Twofold control loop network-level congestion control.
Eur. Trans. Telecommun., 2007

2005
A cost-based approach to vertical handover policies between WiFi and GPRS.
Wirel. Commun. Mob. Comput., 2005

Mobility and quality of service across heterogeneous wireless networks.
Comput. Networks, 2005

2004
Design of a multimedia content-delivery service architecture for 3rd generation networks.
Comput. Sci. Inf. Syst., 2004

A user-centric analysis of vertical handovers.
Proceedings of the 2nd ACM International Workshop on Wireless Mobile Applications and Services on WLAN Hotspots, 2004

Design and development of a JXTA middleware for mobile ad-hoc networks.
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2004

Effects of the Vertical Handover Policy on the Performance of Internet Applications.
Proceedings of the Universal Multiservice Networks: Third European Conference, 2004

2003
WiFi Bridge: Wireless Mobility Framework Supporting Session Continuity.
Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003

Expeerience: A Jxta Middleware for Mobile Ad-Hoc Networks.
Proceedings of the 3rd International Conference on Peer-to-Peer Computing (P2P 2003), 2003

WiFi mobility framework supporting GPRS roaming: design and implementation.
Proceedings of IEEE International Conference on Communications, 2003

2002
Virtual Home Environment for Multimedia Services in 3rd Generation Networks.
Proceedings of the NETWORKING 2002, 2002

2000
Design and implementation of a low-cost/high-performance Video on Demand server.
Microprocess. Microsystems, 2000

Design of a Media Service Provider Architecture for the Internet.
Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000), 2000

1999
A low-cost/high-performance server for video on demand.
Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1999), 1999


  Loading...