|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 45 publication records. Showing 45 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Francesca Scozzari (eds.) |
Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS 2017, New York City, NY, USA, August 29, 2017 |
NSAD@SAS |
2018 |
DBLP BibTeX RDF |
|
1 | Gianluca Amato, Marco Rubino |
Experimental Evaluation of Numerical Domains for Inferring Ranges. |
NSAD@SAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Francesca Scozzari |
Preface. |
NSAD@SAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Enea Zaffanella |
On the Efficiency of Convex Polyhedra. |
NSAD@SAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jacob Lidman, Josef Svenningsson |
Fuzzy Set Abstraction. |
NSAD@SAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Isabella Mastroeni (eds.) |
Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016 |
NSAD@SAS |
2017 |
DBLP BibTeX RDF |
|
1 | Antoine Miné |
Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities. |
NSAD@SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Isabella Mastroeni |
Preface. |
NSAD@SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mila Dalla Preda, Michele Pasqua |
Software Watermarking: A Semantics-based Approach. |
NSAD@SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Arceri, Sergio Maffeis |
Abstract Domains for Type Juggling. |
NSAD@SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mila Dalla Preda, Vanessa Vidali |
Abstract Similarity Analysis. |
NSAD@SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jacques-Henri Jourdan |
Sparsity Preserving Algorithms for Octagons. |
NSAD@SAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Axel Simon, Arnaud Venet (eds.) |
Fifth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2014, Munich, Germany, September 10, 2014 |
NSAD@SAS |
2014 |
DBLP BibTeX RDF |
|
1 | Eva Beckschulze, Stefan Kowalewski, Jörg Brauer |
Access-Based Localization for Octagons. |
NSAD@SAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Damien Massé |
Proving Termination by Policy Iteration. |
NSAD@SAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault, Tristan Le Gall, Sylvie Putot |
An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations. |
NSAD@SAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mehdi Bouaziz |
TreeKs: A Functor to Make Numerical Abstract Domains Scalable. |
NSAD@SAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Martel |
Accurate Evaluation of Arithmetic Expressions (Invited Talk). |
NSAD@SAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jan Midtgaard, Matthew Might |
Preface. |
NSAD@SAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Miné |
Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations. |
NSAD@SAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jedrzej Fulara |
Generic Abstraction of Dictionaries and Arrays. |
NSAD@SAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Amato, Francesca Scozzari |
The Abstract Domain of Parallelotopes. |
NSAD@SAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Damien Massé, Laurent Mauborgne (eds.) |
Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011 |
NSAD@SAS |
2012 |
DBLP BibTeX RDF |
|
1 | Jan Midtgaard, Matthew Might (eds.) |
Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September 10, 2012 |
NSAD@SAS |
2012 |
DBLP BibTeX RDF |
|
1 | Vivien Maisonneuve |
Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach. |
NSAD@SAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Bygde, Björn Lisper, Niklas Holsti |
Fully Bounded Polyhedral Analysis of Integers with Wrapping. |
NSAD@SAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Fähndrich, Francesco Logozzo |
Checking Compatibility of Bit Sizes in Floating Point Comparison Operations. |
NSAD@SAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David Monniaux, Julien Le Guen |
Stratified Static Analysis Based on Variable Dependencies. |
NSAD@SAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Jakubczyk |
Sweeping in Abstract Interpretation. |
NSAD@SAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bertrand Jeannet, Pascal Sotin |
Inferring Effective Types for Static Analysis of C Programs. |
NSAD@SAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Holger Siegel, Axel Simon |
Summarized Dimensions Revisited. |
NSAD@SAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Damien Massé, Laurent Mauborgne |
Preface. |
NSAD@SAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Corinne Ancourt, Fabien Coelho, François Irigoin |
A Modular Static Analysis Approach to Affine Loop Invariants Detection. |
NSAD@SAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jedrzej Fulara, Konrad Durnoga, Krzysztof Jakubczyk, Aleksy Schubert |
Relational Abstract Domain of Weighted Hexagons. |
NSAD@SAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Axel Simon |
Speeding up Polyhedral Analysis by Identifying Common Constraints. |
NSAD@SAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot |
Abstract Fixpoint Computations with Numerical Acceleration Methods. |
NSAD@SAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schrammel, Bertrand Jeannet |
Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs. |
NSAD@SAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Sotin, Bertrand Jeannet, Xavier Rival |
Concrete Memory Models for Shape Analysis. |
NSAD@SAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Axel Simon |
A Note on the Inversion Join for Polyhedral Analysis. |
NSAD@SAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Miné, Enric Rodríguez-Carbonell |
Preface. |
NSAD@SAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jacob M. Howe, Andy King, Charles Lawrence-Jones |
Quadtrees as an Abstract Domain. |
NSAD@SAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Edd Barrett, Andy King |
Range and Set Abstraction using SAT. |
NSAD@SAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault, Stéphane Le Roux 0001, Jeremy Leconte, Leo Liberti, Fabrizio Marinelli 0001 |
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach. |
NSAD@SAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matt Elder, Denis Gopan, Thomas W. Reps |
View-Augmented Abstractions. |
NSAD@SAS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Miné, Enric Rodríguez-Carbonell (eds.) |
Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010 |
NSAD@SAS |
2010 |
DBLP BibTeX RDF |
|
Displaying result #1 - #45 of 45 (100 per page; Change: )
|
|