Conal Watterson is an author at University of Limerick specializing in computer engineering, formal verification, and hardware security.
Top concepts
MonitoringEngineeringVerificationSystem SoftwareComputer ScienceEmbedded SystemsProgram AnalysisSoftware TestingHardware SecuritySoftware Analysis
Publications per year
2007–2007
1
1
Runtime verification and monitoring of embedded systems
Conal Watterson, D. Heffernan · IET Software · 2007 · 65 citations
Rows per page
1–1 of 1