Concepedia

Sreram Balasubramaniyan

SB

1

Publications

34

Citations

1

H-Index

2016

Active since

Affiliations

University of Naples Federico II(Current)

Sreram Balasubramaniyan is an author at University of Naples Federico II specializing in computer engineering, verification, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringCyber Physical Systems

Publications per year

2016–2016

1

Publications

1

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

Rows per page

1–1 of 1