Concepedia

Adriano Peron

AP

25

Publications

524

Citations

14

H-Index

2000

Active since

Affiliations

University of Naples Federico II(Current)

University of Udine

University of Verona

University of Pisa

Istituto Nazionale di Fisica Nucleare

Adriano Peron is an author at University of Naples Federico II specializing in formal methods, engineering, and formal verification.

Top concepts

EngineeringFormal MethodsFormal VerificationComputer ScienceAutomated ReasoningVerificationSystems EngineeringSemanticsSoftware TestingComputational Complexity

Publications per year

2000–2021

25

Publications

25

Differential network analysis for the identification of condition-specific pathway activity and regulation

Gennaro Gambardella, Maria Nicoletta Moretti, Rossella De Cegli et al. · Bioinformatics · 2013 · 72 citations · Full text

Industrial Internet of Things: Persistence for Time Series with NoSQL Databases

Sergio Di Martino, Luca Fiadone, Adriano Peron et al. · 2019 · 51 citations · Full text

Cluster Computing, Engineering, Cloud Database +19

Checking interval properties of computations

Alberto Molinari, Angelo Montanari, Aniello Murano et al. · Acta Informatica · 2015 · 37 citations · Full text

Engineering, Validated Numerics, Automated Reasoning +7

Asynchronous Extensions of HyperLTL

Laura Bozzelli, Adriano Peron, César Sánchez · ArTS Archivio della ricerca di Trieste (University of Trieste https://www.units.it/) · 2021 · 33 citations · Full text

Pushdown module checking

Laura Bozzelli, Aniello Murano, Adriano Peron · Formal Methods in System Design · 2010 · 32 citations

Engineering, Runtime Verification, Software Testing +6

Rows per page

1–5 of 25