Concepedia

Dimitra Giannakopoulou

DG

37

Publications

1.8K

Citations

22

H-Index

1997

Active since

Affiliations

Ames Research Center(Current)

Research Institute for Advanced Computer Science

Imperial College London

University of Massachusetts Amherst

University of Manchester

Dimitra Giannakopoulou is an author at Ames Research Center specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsSystems EngineeringVerificationSoftware AnalysisProgram AnalysisAutomated ReasoningSoftware Design

Publications per year

1997–2022

37

Publications

37

Automata-based verification of temporal properties on running programs

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

Program Checking, Engineering, Verification +19

Assumption generation for software component verification

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

Software Maintenance, Engineering, Verification +20

Fluent model checking for event-based systems

Dimitra Giannakopoulou, Jeff Magee · 2003 · 177 citations

Formal Specification, Engineering, Formal Modeling +15

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

Artificial Intelligence, Mathematical Programming, Engineering +12

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, Experimental Evaluation, Calibration +15

Rows per page

1–5 of 37