Concepedia

Furio Buonopane

FB

2

Publications

46

Citations

2

H-Index

2015

Active since

Affiliations

University of Sannio(Current)

University of Naples Federico II

Tallinn University of Technology

Furio Buonopane is an author at University of Sannio specializing in computer engineering, formal verification, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringAutomationCyber Physical Systems

Publications per year

2015–2016

2

Publications

2

Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL

Sreram Balasubramaniyan, Seshadhri Srinivasan, Furio Buonopane et al. · Microprocessors and Microsystems · 2016 · 34 citations

Cyber Physical Systems, Engineering, Real-time System Design +10

Model checking response times in Networked Automation Systems using jitter bounds

Seshadhri Srinivasan, Furio Buonopane, Jüri Vain et al. · Computers in Industry · 2015 · 12 citations

Reachability Analysis, Engineering, Jitter Bounds +13

Rows per page

1–2 of 2