Adriano Peron - Concepedia

Author

Adriano Peron

University of Naples Federico II ORCID

Also Known As

A. Peron, Adriano Peron, Peron A., Peron, A., Peron, Adriano

134

Publications

Citations

H-Index

Concepts

All Affiliations

University of Naples Federico II University of Udine University of Verona University of Pisa Istituto Nazionale di Fisica Nucleare

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	17	330
2	Computer Science	11	12	206
3	Language Studies	1	1	10
4	Management	1	1	51
5	Computer Engineering	1	1	11

Adriano Peron

Publications

524

Citations

H-Index

Page 1

	Year	Citations
Differential network analysis for the identification of condition-specific pathway activity and regulation Gennaro Gambardella, Maria Nicoletta Moretti, Rossella De Cegli, Bioinformatics	2013	72
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases Sergio Di Martino, Luca Fiadone, Adriano Peron, Cluster ComputingEngineeringCloud DatabaseIndustrial IotData Science	2019	51
Checking interval properties of computations Alberto Molinari, Angelo Montanari, Aniello Murano, Acta Informatica EngineeringValidated NumericsAutomated ReasoningInterval PropertiesVerification	2015	37
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
Pushdown module checking Laura Bozzelli, Aniello Murano, Adriano Peron Formal Methods in System Design EngineeringRuntime VerificationSoftware TestingVerificationPushdown Module	2010	32
Analysis of Timed Recursive State Machines Massimo Benerecetti, Stefano Minopoli, Adriano Peron	2010	32
A comparison of Statecharts step semantics Andrea Maggiolo–Schettini, Adriano Peron, Simone Tini Theoretical Computer Science Formal SemanticsEngineeringAutomated ReasoningStatecharts Step SemanticsFormal Methods	2002	25
Dynamic state machines for modelling railway control systems Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile, Science of Computer Programming Railway TrafficEngineeringRail TransportProcess ControlDynamic State Machines	2016	20
A logical approach to represent and reason about calendars Carlo Combi, Massimo Franceschet, Adriano Peron Architectural DesignApplied LogicLogical ApproachEvent ManagementEngineering	2003	17
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions Laura Bozzelli, Alberto Molinari, Angelo Montanari, Electronic Proceedings in Theoretical Computer Science Computational LogicLogical AutomatonEngineeringTemporal Logic McAutomated Reasoning	2017	17

Page 1