A
Adriano Peron
Researcher at University of Naples Federico II
Publications - 118
Citations - 1199
Adriano Peron is an academic researcher from University of Naples Federico II. The author has contributed to research in topics: Model checking & Decidability. The author has an hindex of 18, co-authored 108 publications receiving 1049 citations. Previous affiliations of Adriano Peron include Information Technology University & University of Udine.
Papers
More filters
Journal ArticleDOI
Representing and Reasoning about Temporal Granularities
TL;DR: This paper identifies a time granularity as an infinite sequence of time points properly labelled with proposition symbols marking the starting and ending points of the corresponding granules, and symbolically model sets of granularities by means of linear time logic formulas.
Journal ArticleDOI
Differential Network Analysis for the identification of condition-specific pathway activity and regulation
Gennaro Gambardella,Maria Nicoletta Moretti,Rossella De Cegli,Luca Cardone,Adriano Peron,Diego di Bernardo +5 more
TL;DR: By analyzing gene expression profiles across primary and transformed hepatocytes, DINA identified hepatocarcinoma-specific metabolic and transcriptional pathway dysregulation and showed that DINA can be used to make hypotheses on dysregulated pathways during disease progression.
Book ChapterDOI
Equivalences of Statecharts
TL;DR: A new semantics of Statecharts that excludes failures and a compositional formulation of this semantics based on Labelled Transition Systems (LTS) is presented.
Journal ArticleDOI
Checking interval properties of computations
TL;DR: In this paper, a model checking problem for Halpern and Shoham's interval temporal logic HS over finite Kripke structures is formalized, and a lower bound to its computational complexity is provided.
Journal ArticleDOI
Pushdown module checking
TL;DR: This paper studies the related model-checking problem (pushdown module checking) with respect to properties expressed by CTL and CTL* formulas and shows that pushdown modulechecking against CTL (resp., CTL*) is 2Exptime-complete (resp, 3Expt time-complete).