186 Infos zu Dimitra Giannakopoulou

4 Aktuelle Nachrichten

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

FASE : 15th International Conference on Fundamental Approaches to Software Engineering

FASE : nternational Conference on Fundamental Approaches to Software Engineering

Jean Vanderdonckt (UCL), Secrétaire Prof. Thierry Massart (ULB) Prof. Philippe Palanque (Université Paul Sabatier, France) Dr Dimitra Giannakopoulou (NASA ...

2  Bilder zu Dimitra Giannakopoulou

31 Profile in Sozialen Netzwerken

View Dimitra Giannakopoulou's profile on LinkedIn, the world's largest professional community. Dimitra has 1 job listed on their profile. See the complete profile ...

2 Hobbys & Interessen

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

Basketball, News, Teams, Scores, Stats, Standings, Awards

1 Firmen-Mitarbeiter

Die Heinrich-Heine-Universität Düsseldorf ist eine der jüngeren Hochschulen des Landes NRW – gegründet Seit trägt die Universität den Namen des...

1 Persönliche Webseiten

Please note, we are currently updating the Journal Metrics.In a world moving rapidly online, and becoming more and more computer-dependent, the Journal of...

1 Angaben zur Herkunft

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

1 Projekte

... Google, U.S.A. http://www.linkedin.com/in/wgrieskamp * Jacques Julliand, Singapore Jean-Christophe Filliatre, CNRS, France Dimitra Giannakopoulou, ...

37 Bücher zum Namen

Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings von Dimitra...

ZVAB ist ein weltweiter Internet-Marktplatz für neue, gebrauchte, antiquarische und vergriffene Bücher

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August , Proceedings | Paperback Dimitra Giannakopoulou | Dominique ...

Verified Software : Theories, Tools and Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July , 2014, Revised Selected Papers and a...

12 Dokumente

Dr. Dimitra Giannakopoulou gave a lecture on State Space Exploration for NASA's Safety Critical Systems in the Distinguished Lecturer Series - Leon The Mathe…

Authors: Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry. Abstract: This volume contains the proceedings of F-IDE 2014, the first international ...

FM 2012: formal methods : 18th International Symposium on Formal Methods, Paris, France, August , : proceedings by Dimitra Giannakopoulou( ...

Authors: Dimitra Giannakopoulou (NASA Ames), Corina S. Păsăreanu (Carnegie Mellon Silicon Valley). (Submitted on 20 Sep 2013). Abstract: Despite many ...

13 Wissenschaftliche Publikationen

Literature: Mihaela Gheorghiu Bobaru, Corina S. Păsăreanu, Dimitra Giannakopoulou: Automated Assume-Guarantee Reasoning by ...

List of computer science publications by Dimitra Giannakopoulou

Dimitra Giannakopoulou, Gwen Salaün: Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5,

List of computer science publications by Guillaume Brat

8 Allgemeine Veröffentlichungen

Op zoek naar artikelen van Dimitra Giannakopoulou? Artikelen van Dimitra Giannakopoulou koop je eenvoudig online bij bol.com ✓ Gratis verzending vanaf 20,-

The next generation airborne collision avoidance system, ACAS X, departs from the traditional deterministic model on which the current system, TCAS, is based....

These are the proceedings of the Workshop on Specification and Verification of Component-Based Systems. The workshop was held at OOPSLA

Assume-guarantee reasoning enables a “divide-and-conquer” approach to the verification of large systems that checks system components separately while using...

1 Video- & Audioinhalte

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.

5 Meinungen & Artikel

Χαιρόμαστε να σε έχουμε στην παρέα μας και ελπίζουμε να βρεις ευχάριστο το χρόνο που περνάς εδώ. Η λειτουργία της Βικιπαίδειας είναι εξαιρετικά εύκολη και τα ...

Nikos Sideris is a Greek psychiatrist, translator, poet and writer. He studied medicine at the ... A strategy for parents, teachers, children and everybody else, (Metaichmio Publications) [co-authored with: Dimitra Giannakopoulou and ...

... Facebook: http://www.facebook.com/aseconf LinkedIn: Hofstra University Harald Gall, University of Zurich Dimitra Giannakopoulou, NASA ...

Machine Learning for Dynamic Software Analysis: Potentials and Limits ... Dimitra Giannakopoulou (NASA – Moffett Field, US) Reiner Hähnle (TU Darmstadt, DE)

64 Webfunde aus dem Netz

professional community. Dimitra has 1 job listed on their profile. See the complete profile ...

上领英，在全球领先职业社交平台查看Dimitra Giannakopoulou的职业档案。Dimitra的职业档案列出了2 个职位。查看Dimitra的完整档案，结识职场人脉和查看相似 ...

Viel Spaß mit Millionen aktueller Android-Apps, Spielen, Musik, Filmen, Serien, Büchern und Zeitschriften – jederzeit, überall und auf allen deinen Geräten.

Approach Infer assumptions automatically Two novel solutions developed 1.Algorithmic generation of assumption; knowledge of environment is not required...

Dimitra Giannakopoulou Senior Scientist at Carnegie Mellon / NASA Ames Location San Francisco Bay Area Industry Computer Software Join LinkedIn and access Dimitra ...

Writers: Jean Giannakopoulou, Dimitra Giannakopoulou, Judy Giannakopoulou. Faces of people named Giannakopoulou. Giannakopoulou_7 Rating:0.

... Dimitra Koutsantoni, Dimitra Andrianou, Dimitra Ekmektsis, Dimitra Doukas, Dimitra Giannakopoulou, Dimitra Tsakiridis, Dimitra Mylona, Dimitra Stais, Dimitra ...

1 Lifecycle Verification of the NASA Ames K9 Rover Executive Dimitra Giannakopoulou Mike Lowry Corina Păsăreanu (.nasa.gov) Rich ...

Dimitra Giannakopoulou. Organization: NASA Ames. Web site: http://ti.arc.nasa. gov/profile/dimitra/. Pages in this Program. VSTTE Program Committee ...

Dimitra Giannakopoulou is a developer Member since September

OPUS

FG, 2pts, 3pts, FT, Rbds. G, Min, M/A, %, M/A, %, M/A, %, M/A, %, O, D, Tot, As, PF , To, St, BS, Pts. 10, 135, 9/30, 30, 7/25, 28, 2/5, 40, 3/5, 60, 8, 17, 25, 14, 13,

In Dimitra Giannakopoulou and Daniel Kroening, editors, VSTTE 2014: 6th Working ... Matthias Kuntz and Stefan Leue and Christoph Scheben, ...

USEUM is a social network that enables users to collect, document and share their most cherished art, for everyone to see, comment and… add to it. Our goal is...

This research was performed under a subcontract to Raytheon Corporation, sponsored ..." Abstract - Cited by 1 (0 self) - Add to MetaCart. This research was ...

Automata-Based Verification of Temporal Properties on Running Programs Dimitra Giannakopoulou Klaus Havelund RIACS Technical Report August

Automated assume-guarantee reasoning for component verification Dimitra Giannakopoulou (RIACS), Corina Păsăreanu. System-Level Verification for ...

Dimitra Giannakopoulou visited SRI international on Monday 3 May The objective was to exchange experience in the area of capturing system ...

Dimitra Giannakopoulou and Dominique Méry. Springer, 7436, pp.488, 2012, LNCS - Lecture Notes in Computer Science,

European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site