22
Publications
1.5K
Citations
17
H-Index
1995
Active since
Affiliations
Bruno Dutertre is an author at SRI International specializing in engineering, computer science, and formal verification.
Top concepts
EngineeringComputer ScienceFormal VerificationSystems EngineeringFormal MethodsVerificationComputer EngineeringSoftware AnalysisProgram AnalysisAutomated Reasoning
Publications per year
1995–2023
22
22
Bruno Dutertre, Leonardo de Moura · 2006 · 478 citations
Using Model-based Intrusion Detection for SCADA Networks
Steven W. Cheung, Bruno Dutertre, Martin Fong et al. · 2006 · 297 citations
Rows per page
1–5 of 22