Andrea Calvagna

47 papers A* 1A 1B 3C 14Misc 3Journal 12Unranked 13
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Blockchain-Based Real-Time Power Balancing Service for Trustless Renewable Energy Grids.
Future Internet
Andrea Calvagna, Giovanni Marotta, Giuseppe Pappalardo, Emiliano Tramontana
2024 J jnl
Automated Social Media Text Clustering Based on Financial Ontologies.
Inf.
Andrea Calvagna, Emiliano Tramontana, Gabriella Verga
2024 C conf
Leveraging Blockchains for Decentralized Health Care and Emergency Services Management.
WETICE
Andrea Calvagna, Selvakumar Thakshnamurthy, Emiliano Tramontana
2024 J jnl
Merging Ontologies and Data from Electronic Health Records.
Future Internet
Salvatore Calcagno, Andrea Calvagna, Emiliano Tramontana, Gabriella Verga
2023 Misc conf
Multi-thread Combinatorial Test Generation with SMT solvers.
SAC
Andrea Bombarda, Angelo Gargantini, Andrea Calvagna
2023 J jnl
Revealing People's Sentiment in Natural Italian Language Sentences.
Comput.
Andrea Calvagna, Emiliano Tramontana, Gabriella Verga
2023 B conf
Using Knowledge Awareness to Improve Safety of Autonomous Driving.
SMC
Andrea Calvagna, Arabinda Ghosh, Sadegh Soudjani
2023 J jnl
Using Knowledge Awareness to improve Safety of Autonomous Driving.
CoRR
Andrea Calvagna, Arabinda Ghosh, Sadegh Soudjani
2021 C conf
A (Reverse) Mutation Testing Approach to Automatically generate parallel C/C++ Code.
WETICE
Calanna Salvatore, Andrea Calvagna, Salvatore Campisi, Andrea Fornaia, Giuseppe Pappalardo, Riccardo Torrisi, Emiliano Tramontana
2021 — conf
Automatic Generation of Parallel Java Programs and their Validation using Combinatorial Testing Suites.
ICCCS
Calanna Salvatore, Andrea Calvagna, Andrea Fornaia, Riccardo Torrisi, Emiliano Tramontana
2019 C conf
Validation of Safety Critical Collaboration Systems (VSC) at WETICE 2019: Track Report.
WETICE
Emiliano Tramontana, Andrea Calvagna, Andrea Fornaia
2017 C conf
VSC Track Report.
WETICE
Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana
2016 C conf
VSC Track at WETICE 2016: Summary Report and Preface.
WETICE
Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana
2015 — conf
A Framework for Incremental Covering Arrays Construction.
CSOC (2)
Andrea Calvagna, Emiliano Tramontana
2015 Misc conf
Random versus combinatorial effectiveness in software conformance testing: a case study.
SAC
Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana
2015 C conf
VSC 2015 Track Report: Validating Software for Critical Systems.
WETICE
Andrea Calvagna, Emiliano Tramontana
2014 C conf
Assessing the Correctness of JVM Implementations.
WETICE
Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana
2014 — conf
Combinatorial Interaction Testing of a Java Card Static Verifier.
ICST Workshops
Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana
2014 C conf
Track Report of Validating Software for Critical Systems (VSC 2014).
WETICE
Andrea Calvagna, Emiliano Tramontana
2013 Misc conf
Automated Conformance Testing of Java Virtual Machines.
CISIS
Andrea Calvagna, Emiliano Tramontana
2013 A conf
Combinatorial Interaction Testing with CITLAB.
ICST
Andrea Calvagna, Angelo Gargantini, Paolo Vavassori
2013 — conf
Combinatorial Testing for Feature Models Using CitLab.
ICST Workshops
Andrea Calvagna, Angelo Gargantini, Paolo Vavassori
2013 C conf
Combinatorial Validation Testing of Java Card Byte Code Verifiers.
WETICE
Andrea Calvagna, Emiliano Tramontana
2013 — conf
Delivering Dependable Reusable Components by Expressing and Enforcing Design Decisions.
COMPSAC Workshops
Andrea Calvagna, Emiliano Tramontana
2013 — conf
Incrementally Applicable t-Wise Combinatorial Test Suites for High-Strength Interaction Testing.
COMPSAC Workshops
Andrea Calvagna, Emiliano Tramontana
2013 C conf
VSC Track Report.
WETICE
Andrea Calvagna, Emiliano Tramontana
2012 C conf
A Novel Approach to Effective Parallel Computing of t-Wise Covering Arrays.
WETICE
Andrea Calvagna, Giuseppe Pappalardo, Emiliano Tramontana
2012 J jnl
T-wise combinatorial interaction test suites construction based on coverage inheritance.
Softw. Test. Verification Reliab.
Andrea Calvagna, Angelo Gargantini
2010 J jnl
A Formal Logic Approach to Constrained Combinatorial Testing.
J. Autom. Reason.
Andrea Calvagna, Angelo Gargantini
2009 C conf
Building T-wise Combinatorial Interaction Test Suites by Means of Grid Computing.
WETICE
Andrea Calvagna, Angelo Gargantini, Emiliano Tramontana
2009 — conf
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing.
TAP@TOOLS
Andrea Calvagna, Angelo Gargantini
2009 — conf
IPO-s: Incremental Generation of Combinatorial Interaction Test Data Based on Symmetries of Covering Arrays.
ICST Workshops
Andrea Calvagna, Angelo Gargantini
2008 C conf
A Logic-Based Approach to Combinatorial Testing with Constraints.
TAP
Andrea Calvagna, Angelo Gargantini
2007 J jnl
Communication Networks Twofold control loop network-level congestion control.
Eur. Trans. Telecommun.
Andrea Calvagna, Giuseppe Tropea
2005 J jnl
A cost-based approach to vertical handover policies between WiFi and GPRS.
Wirel. Commun. Mob. Comput.
Andrea Calvagna, Giuseppe Di Modica
2005 J jnl
Mobility and quality of service across heterogeneous wireless networks.
Comput. Networks
Andrea Calvagna, Aurelio La Corte, Sabrina Sicari
2004 — conf
A user-centric analysis of vertical handovers.
WMASH
Andrea Calvagna, Giuseppe Di Modica
2004 — conf
Design and development of a JXTA middleware for mobile ad-hoc networks.
Parallel and Distributed Computing and Networks
Mario Bisignano, Andrea Calvagna, Giuseppe Di Modica, Orazio Tomarchio
2004 J jnl
Design of a multimedia content-delivery service architecture for 3rd generation networks.
Comput. Sci. Inf. Syst.
Andrea Calvagna
2004 — conf
Effects of the Vertical Handover Policy on the Performance of Internet Applications.
ECUMN
Andrea Calvagna, Giuseppe Di Modica
2003 — conf
Expeerience: A Jxta Middleware for Mobile Ad-Hoc Networks.
Peer-to-Peer Computing
Mario Bisignano, Andrea Calvagna, Giuseppe Di Modica, Orazio Tomarchio
2003 A* conf
WiFi Bridge: Wireless Mobility Framework Supporting Session Continuity.
PerCom
Andrea Calvagna, Giacomo Morabito, Aurelio La Corte
2003 — conf
WiFi mobility framework supporting GPRS roaming: design and implementation.
ICC
Andrea Calvagna, Giacomo Morabito, Giuseppe Pappalardo
2002 B conf
Virtual Home Environment for Multimedia Services in 3rd Generation Networks.
NETWORKING
Orazio Tomarchio, Andrea Calvagna, Giuseppe Di Modica
2000 J jnl
Design and implementation of a low-cost/high-performance Video on Demand server.
Microprocess. Microsystems
Andrea Calvagna, Antonio Puliafito, Lorenzo Vita
2000 C conf
Design of a Media Service Provider Architecture for the Internet.
ISCC
Andrea Calvagna, Antonio Puliafito, Orazio Tomarchio
1999 B conf
A low-cost/high-performance server for video on demand.
ICCCN
Andrea Calvagna, Antonio Puliafito, Lorenzo Vita