Andrea Di Pasquale

12 papers B 1C 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Ensuring cybersecurity for industrial networks: A solution for ARP-based MITM attacks.
J. Comput. Secur.
Danilo Bruschi, Andrea Di Pasquale, Andrea Lanzi, Elena Pagani
2024 J jnl
Qibolab: an open-source hybrid quantum operating system.
Quantum
Stavros Efthymiou, Alvaro Orgaz-Fuertes, Rodolfo Carobene, Juan Cereijo, Andrea Di Pasquale, Sergi Ramos-Calderer, Simone Bordoni, David Fuentes-Ruiz, Alessandro Candido, Edoardo Pedicillo, Matteo Robbiati, Yuanzheng Paul Tan, Jadwiga Wilkens, Ingo Roth, José Ignacio Latorre, Stefano Carrazza
2023 J jnl
Benchmarking machine learning models for quantum state classification.
CoRR
Edoardo Pedicillo, Andrea Di Pasquale, Stefano Carrazza
2023 J jnl
Product Jacobi-Theta Boltzmann machines with score matching.
CoRR
Andrea Di Pasquale, Daniel Krefl, Stefano Carrazza, Frank Nielsen
2022 J jnl
A Formal Verification of ArpON - A Tool for Avoiding Man-in-the-Middle Attacks in Ethernet Networks.
IEEE Trans. Dependable Secur. Comput.
Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani
2022 J jnl
GIScience and Historical Cartography for Evaluating Land Use Changes and Resulting Effects on Carbon Balance.
ISPRS Int. J. Geo Inf.
Canio Manniello, Giuseppe Cillis, Dina Statuto, Andrea Di Pasquale, Pietro Picuno
2022 J jnl
Quantum simulation with just-in-time compilation.
Quantum
Stavros Efthymiou, Marco Lazzarin, Andrea Di Pasquale, Stefano Carrazza
2018 J jnl
Monitoring Strategies of Earth Dams by Ground-Based Radar Interferometry: How to Extract Useful Information for Seismic Risk Assessment.
Sensors
Andrea Di Pasquale, Giovanni Nico, Alfredo Pitullo, Giuseppina Prezioso
2017 B conf
Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -.
IFM
Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani
2014 — conf
Impact of focusing of Ground Based SAR data on the quality of interferometric SAR applications.
SAR
Mariantonietta Zonno, Luigi Mascolo, Pietro Guccione, Giovanni Nico, Andrea Di Pasquale
2013 C conf
Kriging interpolation on GB-SAR data to quickly update topographic maps in areas prone to slope instability.
IGARSS
Pietro Guccione, Mariantonietta Zonno, Giovanni Nico, Marco Nicoletti, Andrea Di Pasquale
2002 — conf
A method to design MMICs for high production yields.
ICECS
Massimo Comparini, Andrea Di Pasquale, Marziale Feudale, Agostino Giorgio, Anna Gina Perri