Publications | Rishabh Singh
people.csail.mit.edu
Rishabh Singh, Dimitra Giannakopoulou, Corina Pasareanu CAV Subsumer-first: Steering Symbolic Reachability Analysis Andrey Rybalchenko, Rishabh ...
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 ...
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} ...
FM 2008: Formal Methods: 15th International Symposium on Formal...
books.google.de
NASA Ames Research Center {Dimitra.Giannakopoulou,Corina.
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
[ ] Abstraction and Learning for Infinite-State Compositional...
arxiv.org
Dimitra Giannakopoulou (NASA Ames), Corina S. Păsăreanu (Carnegie Mellon Silicon Valley). Despite many advances that enable the ...
Google Groups: CAV 08: Final CFP (Reg deadline June 21)
: ... Corina Pasareanu and Dimitra Giannakopoulou: Automated
Google Groups: CAV 08 CFP: Early Registration to CLOSE on May 27
: ... Corina Pasareanu and Dimitra Giannakopoulou: Automated
Google Groups: Call for Participation -- CAV 2008
: ... Corina Pasareanu and Dimitra Giannakopoulou: Automated
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...
Software Model Checking Guillaume Brat, Dimitra ...
slidetodoc.com
Software Model Checking Guillaume Brat, Dimitra Giannakopoulou, Klaus Havelund, Mike Lowry, Phil Oh, Corina. › software-model-checking-guill...
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
Work-in-progress Assume-guarantee reasoning with ioco
research.utwente.nl
by LB Briones · — L. Brandan Briones, Corina Pasareanu, Dimitra Giannakopoulou. Research output: Book/Report › Report › Other research output. 25 Downloads (Pure). › publications › work-in-pro...
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 ...
ISoLA 2010
isola-conference.org
Organizers: Dimitra Giannakopoulou (CMU/NASA Ames); Corina Pasareanu (CMU/NASA Ames); Modeling and Formalizing Industrial Software ...
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