1
0
0
(1 - 15 von 23
)
Saswat Anand
cs.stanford.edu
Mateus Borges, Marcelo d'Amorim, Saswat Anand, David Bushnell, Corina Pasareanu IEEE International Conference on Software Testing, Verification and ...
doc. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínsky, Ph.D. – CV | Masaryk...
www.muni.cz
In Daniel Kroening, Corina Pasareanu. Computer Aided Verification: 27th International Conference, CAV Cham: Springer, s , 20 s.
Corina Pasareanu - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Dissertation: Abstraction and Modular Reasoning for the Verification of Software. Advisor: Matthew Barbour Dwyer. No students known. If you have additional ...
SPIN Model Checking and Software Verification: 7th International SPIN...
books.google.de
Springer-Verlag, A. Aho, R. Sethi, ... James Corbett, Matthew Dwyer, John Hatcliff, Corina Pasareanu, Robby, Shawn Laubach, and Hongjun Zheng.
Automated Technology for Verification and Analysis: 9th International...
books.google.de
This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in...
Computer Aided Verification: 26th International Conference, CAV 2014,...
books.google.de
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of...
Computer Aided Verification: 27th International Conference, CAV 2015,...
books.google.de
The two-volume set LNCS and LNCS constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015,...
Assume-Guarantee Abstraction Refinement Meets Hybrid Systems |...
link.springer.com
Compositional verification techniques in the assume-guarantee style have been successfully applied to transition systems to efficiently reduce the search space...
Internet Archive Search: mediatype:movies AND subject:"Corina...
archive.org
Microsoft Research Video : Automated Assume-guarantee Verification - Microsoft Research Assume-guarantee reasoning is a “divide and conquer” ...
HVC Haifa Verification Conference 2014
research.ibm.com
The IBM R&D Labs in Israel Leadership Seminars page, information about IBM R&D Labs in Israel Leadership Seminars and Confrences events.
IEEE 19th International Conference and Workshops
tab.computer.org
... Jonathan Sprinkle Model-based Simulation and Validation: Jerzy Rozenblit Verification & Validation: Corina Pasareanu Domain-Specific Modeling: Bernhard ...
Haifa Verification Conference 2007
research.ibm.com
IBM Haifa Labs Homepage | Leadership Seminars | Haifa Verification Conference 2007
Proof Rules for Automated Compositional Verification through Learning...
www.research.manchester.ac.uk
Proof Rules for Automated Compositional Verification through LearningCitation formats. Authors: Howard Barringer; Dimitra Giannakopolou; Corina Pasareanu.
Meeting a powertrain verification challenge — University of...
experts.illinois.edu
Editors, Corina S. Pasareanu, Daniel Kroening, Corina S. Pasareanu, Daniel Kroening. Publisher, Springer-Verlag Berlin Heidelberg. Pages,
Alle Infos zum Namen "Corina Pasareanu"
Verwandte Suchanfragen zu Corina Pasareanu
| Kasper Luckow |
Personen Vorname "Corina" (4345) Name "Pasareanu" (1) |
sortiert nach Relevanz / Datum