Andrea Calvagna

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 15

Top Topics

Satisfiability Modulo Theories

Test Generation

Knowledge Awareness

Top Venues

Future Internet

Publications

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