Concepedia

Charles Pecheur

CP

Statistics

Publications

18

Citations

583

H-Index

14

Active since

1996

Affiliations

UCLouvain(Current)

Ames Research Center

Research Institute for Advanced Computer Science

University College London

University of Liège

Charles Pecheur is an author at UCLouvain specializing in formal methods, engineering, and formal verification.

Top concepts

Publications per year

1996–2015

18

Publications

18

Formal verification of diagnosability via symbolic model checking

Alessandro Cimatti, Charles Pecheur, Roberto Cavada · 2003 · 117 citations

Formal Analysis of the Remote Agent Before and After Flight

Klaus Havelund, Mike Lowry, SeungJoon Park et al. · 2000 · 74 citations

Automatic verification of knowledge and time with NuSMV

Alessio Lomuscio, Charles Pecheur, Franco Raimondi · 2007 · 51 citations

Towards automatic verification of autonomous systems

Reid Simmons, Charles Pecheur, Grama R. Srinivasan · 2002 · 45 citations

, , +18

Verification and Validation of Autonomy Software at NASA

Charles Pecheur · NASA STI Repository (National Aeronautics and Space Administration) · 2000 · 33 citations · Full text

1–5 of 18