|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bor-Yuh Evan Chang (eds.) |
Fourth Workshop on Tools for Automatic Program Analysis, TAPAS@SAS 2013, Seattle, Washington, USA, June 19, 2013  |
TAPAS@SAS  |
2015 |
DBLP BibTeX RDF |
|
| 1 | Bor-Yuh Evan Chang |
Preface. |
TAPAS@SAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya V. Thakur, Akash Lal, Junghee Lim, Thomas W. Reps |
PostHat and All That: Automating Abstract Interpretation. |
TAPAS@SAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuying Liang, Matthew Might, David Van Horn |
AnaDroid: Malware Analysis of Android with User-supplied Predicates. |
TAPAS@SAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertrand Jeannet |
Preface. |
TAPAS@SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianne De Michiel, Armelle Bonenfant, Hugues Cassé |
Normalisation of Loops with Covariant Variables. |
TAPAS@SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | To Van Khanh, Mizuhito Ogawa |
SMT for Polynomial Constraints on Real Numbers. |
TAPAS@SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck |
High Performance Static Analysis for Industry. |
TAPAS@SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Henry, David Monniaux, Matthieu Moy |
PAGAI: A Path Sensitive Static Analyser. |
TAPAS@SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Sepp, Julian Kranz, Axel Simon |
GDSL: A Generic Decoder Specification Language for Interpreting Machine Language. |
TAPAS@SAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Delmas, Xavier Rival |
Preface. |
TAPAS@SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Feautrier, Laure Gonnord |
Accelerated Invariant Generation for C Programs with Aspic and C2fsm. |
TAPAS@SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Roux, Remi Delmas, Pierre-Loïc Garoche |
SMT-AI: an Abstract Interpreter as Oracle for k-induction. |
TAPAS@SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson |
Explicit Versus Symbolic Algorithms for Solving ALFP Constraints. |
TAPAS@SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosimo Laneve, Tudor A. Lascu, Vania Sordoni |
The Interval Analysis of Multilinear Expressions. |
TAPAS@SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertrand Jeannet |
Some Experience on the Software Engineering of Abstract Interpretation Tools. |
TAPAS@SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Delmas, Xavier Rival (eds.) |
Proceedings of the Tools for Automatic Program AnalysiS, TAPAS@SAS 2010, Perpignan, France, September 17, 2010 |
TAPAS@SAS |
2010 |
DBLP BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license