Dimitra Giannakopoulou and Cited - Free people check

(1 - 9 from 9

)

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

Learning-Based Assume-Guarantee Verification (Tool Paper)

spinroot.com

by D Giannakopoulou · Cited by 27 — Dimitra Giannakopoulou and Corina S. P˘as˘areanu. NASA Ames Research Center, Moffett Field, CA , USA. 1 Introduction. › Workshops › 052_paper

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

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

All web results to the name "Dimitra Giannakopoulou"

Bridging the Gap Between Requirements and Simulink Model ...

hal.archives-ouvertes.fr

by A Mavridou · · Cited by 12 — Anastasia Mavridou, Hamza Bourbouh, Pierre Loic Garoche, Dimitra Giannakopoulou, Thomas Pessburger, et al.. Bridging the Gap Between Requirements and ... › hal

DROPS - Machine Learning for Dynamic Software Analysis

drops.dagstuhl.de

by A Bennaceur · · Cited by 8 — @Article{bennaceur_et_al:DR:2016:6695, author = {Amel Bennaceur and Dimitra Giannakopoulou and Reiner H{\"a}hnle and Karl Meinke}, title = {{Machine ... › opus › volltexte

Learning Assumptions for Compositional Verification

scholarworks.umass.edu

by JM Cobleigh · · Cited by 502 — Jamieson M. Cobleigh, Dimitra Giannakopoulou, and Corina S. P˘as˘areanu. Compositional verification presents a promising way of addressing state ex-. › cgi › viewcontent

Thematic series on Verification and Composition for the ...

jisajournal.springeropen.com

by M Autili · · Cited by 5 — Marco Autili,; Dimitra Giannakopoulou &; Massimo Tivoli. Journal of Internet Services and Applications volume 9, Article number: 10 (2018) ... › articles

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 Cited Free People Check