|
|
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Gianluca Amato, Marco Rubino |
Experimental Evaluation of Numerical Domains for Inferring Ranges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS 2017, New York City, NY, USA, August 29, 2017, pp. 3-16, 2017, Elsevier. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Francesca Scozzari |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS 2017, New York City, NY, USA, August 29, 2017, pp. 1-2, 2017, Elsevier. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Enea Zaffanella |
On the Efficiency of Convex Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS 2017, New York City, NY, USA, August 29, 2017, pp. 31-44, 2017, Elsevier. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jacob Lidman, Josef Svenningsson |
Fuzzy Set Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS 2017, New York City, NY, USA, August 29, 2017, pp. 17-29, 2017, Elsevier. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Antoine Miné |
Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016, pp. 3-39, 2016, Elsevier. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Isabella Mastroeni |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016, pp. 1-2, 2016, Elsevier. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mila Dalla Preda, Michele Pasqua |
Software Watermarking: A Semantics-based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016, pp. 71-85, 2016, Elsevier. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Arceri, Sergio Maffeis |
Abstract Domains for Type Juggling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016, pp. 41-55, 2016, Elsevier. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mila Dalla Preda, Vanessa Vidali |
Abstract Similarity Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016, pp. 87-99, 2016, Elsevier. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jacques-Henri Jourdan |
Sparsity Preserving Algorithms for Octagons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016, pp. 57-70, 2016, Elsevier. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Eva Beckschulze, Stefan Kowalewski, Jörg Brauer |
Access-Based Localization for Octagons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September 10, 2012, pp. 29-40, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Damien Massé |
Proving Termination by Policy Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September 10, 2012, pp. 77-88, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault, Tristan Le Gall, Sylvie Putot |
An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September 10, 2012, pp. 65-76, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mehdi Bouaziz |
TreeKs: A Functor to Make Numerical Abstract Domains Scalable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September 10, 2012, pp. 41-52, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Martel |
Accurate Evaluation of Arithmetic Expressions (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September 10, 2012, pp. 3-16, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jan Midtgaard, Matthew Might |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September 10, 2012, pp. 1, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Miné |
Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September 10, 2012, pp. 89-100, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jedrzej Fulara |
Generic Abstraction of Dictionaries and Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September 10, 2012, pp. 53-64, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Amato, Francesca Scozzari |
The Abstract Domain of Parallelotopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September 10, 2012, pp. 17-28, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![Elsevier The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Vivien Maisonneuve |
Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011, pp. 49-59, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Bygde, Björn Lisper, Niklas Holsti |
Fully Bounded Polyhedral Analysis of Integers with Wrapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011, pp. 3-13, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Fähndrich, Francesco Logozzo |
Checking Compatibility of Bit Sizes in Floating Point Comparison Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011, pp. 15-23, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David Monniaux, Julien Le Guen |
Stratified Static Analysis Based on Variable Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011, pp. 61-74, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Jakubczyk |
Sweeping in Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011, pp. 25-36, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bertrand Jeannet, Pascal Sotin |
Inferring Effective Types for Static Analysis of C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011, pp. 37-47, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Holger Siegel, Axel Simon |
Summarized Dimensions Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011, pp. 75-86, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Damien Massé, Laurent Mauborgne |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011, pp. 1-2, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Corinne Ancourt, Fabien Coelho, François Irigoin |
A Modular Static Analysis Approach to Affine Loop Invariants Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010, pp. 3-16, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jedrzej Fulara, Konrad Durnoga, Krzysztof Jakubczyk, Aleksy Schubert |
Relational Abstract Domain of Weighted Hexagons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010, pp. 59-72, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Axel Simon |
Speeding up Polyhedral Analysis by Identifying Common Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010, pp. 127-138, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot |
Abstract Fixpoint Computations with Numerical Acceleration Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010, pp. 29-42, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schrammel, Bertrand Jeannet |
Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010, pp. 101-114, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Sotin, Bertrand Jeannet, Xavier Rival |
Concrete Memory Models for Shape Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010, pp. 139-150, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Axel Simon |
A Note on the Inversion Join for Polyhedral Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010, pp. 115-126, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Miné, Enric Rodríguez-Carbonell |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010, pp. 1-2, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jacob M. Howe, Andy King, Charles Lawrence-Jones |
Quadtrees as an Abstract Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010, pp. 89-100, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Edd Barrett, Andy King |
Range and Set Abstraction using SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010, pp. 17-27, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010, pp. 73-87, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matt Elder, Denis Gopan, Thomas W. Reps |
View-Augmented Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![In: Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010, pp. 43-57, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSAD@SAS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
Displaying result #1 - #45 of 45 (100 per page; Change: )
|
|