Adriano Peron
University of Trieste(IT)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Software Testing and Debugging Techniques, Model-Driven Software Engineering Techniques
Most-Cited Works
- → Differential network analysis for the identification of condition-specific pathway activity and regulation(2013)72 cited
- → Equivalences of Statecharts(1996)55 cited
- → Industrial Internet of Things: Persistence for Time Series with NoSQL Databases(2019)51 cited
- → Checking interval properties of computations(2015)37 cited
- → Asynchronous Extensions of HyperLTL(2021)33 cited
- → Pushdown module checking(2010)32 cited
- → Analysis of Timed Recursive State Machines(2010)32 cited