Dimitra Giannakopoulou

	Washington Ames Los gatos

	University Software Ames Research Center Corina Verification NASA Ames Research Cited Formal Methods Compositional Conference

Images of Dimitra Giannakopoulou

(1 - 9 from 10 –show all)

$Dimitra Giannakopoulou \x26middot; \x26quot;Fly me to the moon\x26quot;: Verification of Aerospace ... - dimitraGiannakopoulou$

News

(1 - 4 from 5

–show all

)

CAV : 23rd International Conference on Computer Aided ...

www.wikicfp.com

Dimitra Giannakopoulou, NASA Ames, USA Susanne Graf, VERIMAG, France Keijo Heljanko, Aalto University, Finland William Hung, Synopsys, USA Joost-Pieter Katoen, RWTH Aachen, Germany Franjo Ivancic, NEC Labs, USA ...

FORTH - ICS: Lectures

projects.ics.forth.gr

Dimitra Giannakopoulou is a RIACS research scientist at the NASA Ames Research Center. Her research focuses on scalable specification ...

Afghanistan's malnourished babies left in hell of Helmand | Daily...

www.dailymail.co.uk

EXCLUSIVE: Just days after British troops withdrew from Afghanistan, MailOnline visited a hospital in Helmand and found babies who lost their mothers in the...

News - Dimitra Giannakopoulou Invited Keynote

ti.arc.nasa.gov

On August , Dimitra Giannakopoulou gave an invited keynote talk at ...

Telephone & Addresses

View Dimitra's social profiles and photos on Facebook, MySpace, and +40 Networks.

Dimitra Giannakopoulou, 46, Los Gatos, Ohlone Ct

View Dimitra's social profiles and photos on Facebook, MySpace, and +40 Networks.

Network Profiles

(1 - 4 from 27

–show all

)

Facebook: Dimitra Giannakopoulou

MySpace Profile: dimitra giannakopoulou ( )

Interests

Dimitra Giannakopoulou Basketball Player Profile, KAO Melission,...

basketball.eurobasket.com

Get the latest news, stats and more about Dimitra Giannakopoulou on eurobasket.com

Dimitra Giannakopoulou Player Profile, KAO Melission, News, Stats -...

basketball.eurobasket.com

Get the latest news, stats and more about Dimitra Giannakopoulou on Eurobasket, KAO Melission, GS Esperides Kalliotheas, Esperos Aopa, AS KOON Ippokratis

Business Profiles

Researchgate: Dimitra Giannakopoulou

Private Homepages

Contact Dimitra Giannakopoulou

www.worky.com

Contact Dimitra Giannakopoulou, 6. Join Worky.com to promote yourself and to connect with people like Dimitra Giannakopoulou

Employees

Pointers to public information on Automated Reasoning at ...

www0.cs.ucl.ac.uk

Andrew Gacek,; Bor-Yuh Evan Chang (Part-time),; Bruno Dutertre,; Byron Cook,; Cesar Munoz,; Daniel Kroening,; Dimitra Giannakopoulou,; Emina Torlak, ... › staff › b.cook › ARG

ICSE Austin :: Organizing Committee

2016.icse.cs.txstate.edu

Organizing Committee. General Chair: Laura Dillon Michigan State University United States Dimitra Giannakopoulou NASA Ames Research Center United States

Education

CAV 2008: 20th International Conference on Computer Aided...

www.princeton.edu

CAV 2008

Heritage

Dimitra Giannakopoulou - The Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

Dimitra Giannakopoulou. MathSciNet. Ph.D. Imperial College London UnitedKingdom. Dissertation: Model Checking for Concurrent Software Architectures.

Books & Literature

(1 - 4 from 32

–show all

)

Verified Software: Theories, Tools and Experiments: 6th ...

www.barnesandnoble.com

... VSTTE 2014, Vienna, Austria, July , 2014, Revised Selected Papers. by Dimitra Giannakopoulou, Daniel Kroening Dimitra Giannakopoulou. › Textbooks

Investigation on Toxicity and Teratogenicity in Rats of a ...

onlinelibrary.wiley.com

by T Petridis · · Cited by 4 — Dimitra Giannakopoulou,. Department of Biochemistry, School of Medicine, University of Patras, Patras, Greece. › doi › abs › bdrb

Books by dimitra giannakopoulou - Dymocks

www.dymocks.com.au

› Books

A Formal Framework for the Analysis of Human-Machine ...

books.google.com

Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, and Michael Feary. A formal framework for design and analysis of human-machine interaction.

Music

Dimitra Giannakopoulou

imusic.dk

BÜCHER · CD · VINYL · BLU-RAY · DVD REDUZIERTE TITEL

Scientific Publications

(1 - 4 from 5

–show all

)

Automated formalization of structured natural language ...

www.sciencedirect.com

by D Giannakopoulou · · Cited by 10 — Dimitra Giannakopoulou: Supervision, Conceptualization, Methodology, Software, Validation, Writing - original draft, Writing - review and editing. › science › article › abs › pii

Health-related quality of life in patients with inflammatory ...

pubmed.ncbi.nlm.nih.gov

by M Kalafateli · · Cited by 68 — Maria Kalafateli , Christos Triantos , Georgios Theocharis , Dimitra Giannakopoulou , Efstratios Koutroumpakis , Aristidis Chronis , Apostolos Sapountzis ... › ...

Dimitra Giannakopoulou - dblp

dblp.uni-trier.de

› ... › Dimitra Giannakopoulou

Dimitra Giannakopoulou - DBLP

dblp.org

› Persons

Publications

(1 - 4 from 8

–show all

)

Analyzing the Next Generation Airborne Collision Avoidance ...

link.springer.com

by C Essen · · Cited by 51 — Christian von Essen &; Dimitra Giannakopoulou. Conference paper Accesses. 29 Citations. Part of the Lecture Notes in Computer Science book series ... › chapter

A Compositional Proof Framework for FRETish Laura Titolo

lauratitolo.github.io

by E Conrad · — Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas. Pressburger, and Aaron Dutle A Compositional Proof Frame- work for FRETish Requirements. › publication

Dimitra Giannakopoulou | PubFacts

www.pubfacts.com

Dimitra Giannakopoulou

Medienarten und Ausgaben von Verified software : theories, tools and...

www.worldcat.org

by Dimitra Giannakopoulou; Daniel Kroening;. Print book : Conference ... Verified Software: Theories, Tools and Experiments... by Dimitra Giannakopoulou.

Video & Audio

Dimitra Giannakopoulou - YouTube

www.youtube.com

› channel

YouTube

www.youtube.com

Auf YouTube findest du großartige Videos und erstklassige Musik. Außerdem kannst du eigene Inhalte hochladen und mit Freunden oder mit der ganzen Welt teilen.