Dependable Software Systems Engineering
books.google.com
Mihaela Gheorghiu, Dimitra Giannakopoulou, and Corina S. Pasareanu. Refining interface alphabets for compositional verification. In Tools and Algorithms for ...
Leveraging Applications of Formal Methods, Verification, and...
books.google.de
... Chakraborty Noel Crespi R ́emi Delmas Howard Foster Pierre-Lo ̈ıc Garoche Dimitra Giannakopoulou Stefania Gnesi Kevin Hammond Boudewijn Haverkort ...
Model Checking Software: 13th International SPIN Workshop, Vienna,...
books.google.de
Towards a Compositional SPIN Corina S. P ̆as ̆areanu and Dimitra Giannakopoulou Verification of Medical Guidelines by Model Checking – A Case Study ...
Computer Aided Verification: 20th International Conference, CAV
books.google.com.ua
... {corina.s.pasareanu,dimitra.giannakopoulou} ...
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
Interface Generation and Compositional Verification in JavaPathfinder...
link.springer.com
We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive...
Learning Techniques for Software Verification and Validation –...
link.springer.com
Learning techniques are used increasingly to improve software verification and validation activities. For example, automata learning techniques have been used...
Google Groups: CFP: Specification and Verification of Component Based Systems ...
: Nebraska) * Steve Edwards (Virginia Tech) * Dimitra Giannakopoulou (NASA
Google Groups: [isabelle] CFP: SAVCBS'06 (Specification & Verification of ...
: Dimitra Giannakopoulou ... fa isabelle *** Apologies for multiple copies
Google Groups: Call for Papers - 3rd ICAPS Workshop on Verification and Validation ...
: ... Germany) Alberto Finzi (University of Naples, Naples, Italy) Maria Fox (
Google Groups: CFP - Deadline Extension - 3rd ICAPS Workshop on Verification ...
: ... Germany) Alberto Finzi (University of Naples, Naples, Italy) Maria
All web results to the name "Dimitra Giannakopoulou"
Automated assume-guarantee reasoning for component ...
present5.com
Automated assume-guarantee reasoning for component verification Dimitra Giannakopoulou (RIACS), Corina Păsăreanu. System-Level Verification for Autonomous ... › automated-assume-guarantee-rea...
First Summer School on Formal Techniques
fm.csl.sri.com
... Systems Biology: Using Formal Methods Tools to Model Biological Processes; Dimitra Giannakopoulou (CMU/NASA): Automating Compositional Verification. › SSFT11
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
Publications - Hoda Mehrpouyan
hodamehrpouyan.com
Hoda Mehrpouyan, Dimitra Giannakopoulou, Guillaume Brat, Irem Y. Tumer, and Chris Hoyle. " Combination Of Compositional Verification and Model Checking For ... › publications
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
Lifecycle Verification of the NASA Ames K9 Rover Executive Dimitra...
slideplayer.com
Lifecycle Verification of the NASA Ames K9 Rover Executive Dimitra Giannakopoulou Mike Lowry Corina Păsăreanu Rich Washington.
Corina Pasareanu, Dimitra Giannakopoulou: …
www.cs.cmu.edu
Corina Pasareanu, Dimitra Giannakopoulou: Automated assume-guarantee reasoning for component verification Abstract: Assume-guarantee reasoning is a …
Automated assume-guarantee reasoning for component verification...
slideplayer.com
Automated assume-guarantee reasoning for component verification Dimitra Giannakopoulou (RIACS), Corina Păsăreanu (Kestrel) Automated Software ...
"SAVCBS Proceedings Specification and Verification of...
dr.lib.iastate.edu
These are the proceedings of the Workshop on Specification and Verification of Component-Based Systems. The workshop was held at OOPSLA
Specification and Verification of Component-Based Systems ...
dr.lib.iastate.edu
Dimitra Giannakopoulou, Gary T. Leavens, and Murali Sitaraman (editors). TR #01-09a. October 14, 2001, revised November 6,
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