Concepedia

Bruno Dutertre

BD

Statistics

Publications

22

Citations

1.5K

H-Index

17

Active since

1995

Affiliations

SRI International(Current)

Menlo School

Princeton University

University College London

Bruno Dutertre is an author at SRI International specializing in engineering, computer science, and formal verification.

ORCID

Top concepts

Publications per year

1995–2023

22

Publications

22

The YICES SMT Solver

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

Lightweight Key Management in Wireless Sensor Networks by Leveraging Initial Trust

Bruno Dutertre, Steven W. Cheung, Joshua L. Levy · 2004 · 108 citations

Complete proof systems for first order interval temporal logic

Bruno Dutertre · 2002 · 62 citations

, , +14

Formal requirements analysis of an avionics control system

Bruno Dutertre, V. Stavridou · IEEE Transactions on Software Engineering · 1997 · 51 citations

, , +19

1–5 of 22