|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 12 keywords
|
|
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thomas Ball, Vladimir Levin, Sriram K. Rajamani |
A decade of software model checking with SLAM.  |
Commun. ACM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey |
Formalizing hardware/software interface specifications. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin |
Model Checking Büchi Pushdown Systems. |
FASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin |
SLAM2: Static driver verification with under 4% false alarms. |
FMCAD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey |
An Automata-Theoretic Approach to Hardware/Software Co-verification. |
FASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg |
The Static Driver Verifier Research Platform. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin |
Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner |
Thorough static analysis of device drivers. |
EuroSys |
2006 |
DBLP DOI BibTeX RDF |
formal verification, software model checking |
| 1 | Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani |
Sound Transaction-Based Reduction Without Cycle Detection. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin |
Lessons Learned from Model Checking a NASA Robot Controller. |
Formal Methods in System Design |
2004 |
DBLP DOI BibTeX RDF |
component-oriented software development, executable design specifications, abstraction, software verification, compositional reasoning |
| 1 | Vladimir Levin |
Static driver verifier, a formal verification tool for Windows device drivers. |
MEMOCODE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Vladimir Levin, Fei Xie |
Automatic Creation of Environment Models via Training. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani |
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne |
Translating Software Designs for Model Checking. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün |
Combining Software and Hardware Verification Techniques. |
Formal Methods in System Design |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Xie, Vladimir Levin, James C. Browne |
ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs. |
FASE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün |
Compressing Transitions for Model Checking. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Xie, Vladimir Levin, James C. Browne |
Model Checking for an Executable Subset of UML. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Levin, Hüsnü Yenigün |
SDLcheck: A Model Checking Tool. |
CAV |
2001 |
DBLP BibTeX RDF |
|
| 1 | Hüsnü Yenigün, Vladimir Levin, Doron Peled, Peter A. Beerel |
Hazard-Freedom Checking in Speed-Independent Systems. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün |
Static Partial Order Reduction. |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Levin, Doron Peled |
Verification of Message Sequence Charts via Template Matching. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün |
Verifying hardware in its software context. |
ICCAD |
1997 |
DBLP DOI BibTeX RDF |
model-checking, verification, formal verification, co-design, partial order reduction, stepwise refinement, localization reduction, co-verification |
| 1 | Vladimir Levin |
Algebraically Provable Specification of Optimized Compilations. |
Formal Methods in Programming and Their Applications |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")