Search results for "NSAD@SAS"

Hits ?▲	Authors	Title	Venue	Year	Link
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

Publications at "NSAD@SAS"( http://dblp.L3S.de/Venues/NSAD@SAS )