Concepedia

Dimitra Giannakopoulou

DG

Statistics

Publications

38

Citations

1.8K

H-Index

22

Active since

1997

Affiliations

Ames Research Center(Current)

Research Institute for Advanced Computer Science

Imperial College London

University of Massachusetts Amherst

Dimitra Giannakopoulou is an author at Ames Research Center specializing in computer science, computing, and formal methods.

Publications per year

1997–2022

38

Publications

38

Automata-based verification of temporal properties on running programs

Dimitra Giannakopoulou, Klaus Havelund · 2005 · 199 citations · Full text

Computing, Computer Science, Formal Methods +16

Assumption generation for software component verification

Dimitra Giannakopoulou, Corina S. Păsăreanu, Howard Barringer · 2002 · 186 citations

Computing, Computer Science, Formal Methods +10

Fluent model checking for event-based systems

Dimitra Giannakopoulou, Jeff Magee · 2003 · 178 citations

Computing, Computer Science, Formal Methods +9

Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning

Corina S. Păsăreanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru et al. · Formal Methods in System Design · 2008 · 129 citations

Computing, Computer Science, Algorithms +10

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

Guillaume Brat, Doron Drusinsky, Dimitra Giannakopoulou et al. · Formal Methods in System Design · 2004 · 85 citations

Engineering, Aerospace Engineering, Autonomous Systems +16

1–5 of 38