Dimitra Giannakopoulou and Conference - Free people check

(1 - 15 from 18

)

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 ...

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

www.princeton.edu

CAV 2008

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

books.google.com

6th International Conference, VSTTE 2014, Vienna, Austria, July , 2014, Revised Selected Papers Dimitra Giannakopoulou, Daniel Kroening.

Formal Techniques for Networked and Distributed Systems - FORTE 2006:...

books.google.de

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems,...

Tools and Algorithms for the Construction of Analysis of Systems: 5th...

books.google.de

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems,...

Fundamental Approaches to Software Engineering: 14th International...

books.google.com.ua

This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in...

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

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.

Google Groups: CfP: 1st International Conference on Model & Data Engineering ...

: ... Filipe Santos, Portugal Pedro Furtado, Portugal Faiez Gargouri, Tunisia Ahmad

Google Groups: Final CfP: 10th International Conference on SOFTWARE ...

: ... UK - Newcastle University * Dimitra Giannakopoulou, USA -

Committees | SEFM 2014

sefm2014.inria.fr

Conference Chair. Radu Mateescu – Inria Grenoble, Rhône-Alpes, France. Program Chairs. Dimitra Giannakopoulou, NASA Ames, USA; Gwen Salaün, ...

ASM, Alloy, B and Z International Conference (ABZ Conference 2014)

www.irit.fr

Dimitra Giannakopoulou, NASA, Ames, USA - Uwe Glässer, Simon Fraser University, Canada - Stefania Gnesi, CNR - Pisa, Italy - Lindsay Groves, Wellington ...

Best Papers

etaps.org

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

SEFM :: 11th International Conference on Software Engineering...

antares.sip.ucm.es

Dimitra Giannakopoulou, NASA Ames, USA. Stefania Gnesi, ISTI-CNR, Italy. Klaus Havelund, Jet Propulsion Laboratory, California Institute of Technology, USA.

Toccata - Publications : Andrei Paskevich

toccata.lri.fr

In Dimitra Giannakopoulou and Daniel Kroening, editors, 6th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE), volume ...

All web results to the name "Dimitra Giannakopoulou"

Related search requests for Dimitra Giannakopoulou

Anastasia Mavridou
Corina Pasareanu
Stefania Gnesi

Chris Hoyle
Laura Titolo
Rishabh Singh

People
Forename "Dimitra" (863)
Name "Giannakopoulou" (57)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dimitra Giannakopoulou and Conference Free People Check