|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Eli Singerman, Yael Abarbanel, Sean Baartmans |
Transaction based pre-to-post silicon validation.  |
DAC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman |
A Temporal Language for SystemC. |
FMCAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman |
Efficient Symbolic Simulation of Low Level Software. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi |
GSTE is partitioned model checking. |
Formal Methods in System Design |
2007 |
DBLP DOI BibTeX RDF |
GSTE, Property-driven partitioning, Symbolic model checking |
| 1 | Alon Flaisher, Alon Gluska, Eli Singerman |
Case study: Integrating FV and DV in the Verification of the Intel CoreTM 2 Duo Microprocessor. |
FMCAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamarah Arons, Elad Elster, Terry Murphy, Eli Singerman |
Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation. |
MTV |
2006 |
DBLP DOI BibTeX RDF |
Formal methods, Test generation, Software verification and validation |
| 1 | Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck |
Formal Verification of Backward Compatibility of Microcode. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi |
GSTE Is Partitioned Model Checking. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar |
The ForSpec Temporal Logic: A New Temporal Property-Specification Language. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Eli Singerman |
Computation Paths Logic: An Expressive, yet Elementary, Process Logic. |
Ann. Pure Appl. Logic |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Vlad Rusu, Eli Singerman |
On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Pnueli, Michael Siegel, Eli Singerman |
Translation Validation. |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Pnueli, Natarajan Shankar, Eli Singerman |
Fair Synchronous Transition Systems and Their Liveness Proofs. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Eli Singerman |
Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version). |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Eli Singerman |
More on Nonregular PDL: Finite Models and Fibonacci-Like Programs. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Eli Singerman |
More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs. |
ISTCS |
1995 |
DBLP BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")