The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/sas

Publication years (Num. hits)
1994 (30) 1995 (27) 1996 (29) 1997 (34) 1998 (24) 1999 (24) 2000 (23) 2001 (29) 2002 (36) 2003 (28) 2004 (28) 2005 (25) 2006 (28) 2007 (29) 2008 (25) 2009 (24) 2010 (29) 2011 (28) 2012 (30) 2013 (26) 2014 (21) 2015 (19) 2016 (25) 2017 (23) 2018 (26)
Publication types (Num. hits)
inproceedings(646) proceedings(24)
Venues (Conferences, Journals, ...)
SAS(670)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 99 occurrences of 66 keywords

Results
Found 670 publication records. Showing 670 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Florian Zuleger Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zachary Kincaid Numerical Invariants via Abstract Machines. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ruzica Piskac New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kedar S. Namjoshi, Zvonimir Pavlinovic The Impact of Program Transformations on Static Program Analysis. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner Abstract Interpretation of Stateful Networks. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson Process-Local Static Analysis of Synchronous Processes. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anna Becchi, Enea Zaffanella An Efficient Abstract Domain for Not Necessarily Closed Polyhedra. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Frédéric Besson, Thomas P. Jensen, Julien Lepiller Modular Software Fault Isolation as Abstract Interpretation. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aziem Chawdhary, Andy King Closing the Performance Gap Between Doubles and Rationals for Octagons. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kenneth L. McMillan, Oded Padon Deductive Verification in Decidable Fragments with Ivy. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sharon Shoham Interactive Verification of Distributed Protocols Using Decidable Logic. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrew Ruef, Kesha Hietala, Arlen Cox Volume-Based Merge Heuristics for Disjunctive Numeric Domains. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato, Marco Zanella Invertible Linear Transforms of Numerical Abstract Domains. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Caterina Urban, Samuel Ueltschi, Peter Müller 0001 Abstract Interpretation of CTL Properties. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout Modular Static Analysis of String Manipulations in C Programs. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexey Bakhirkin, David Monniaux Extending Constraint-Only Representation of Polyhedra with Boolean Constraints. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann Incremental Verification Using Trace Abstraction. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreas Podelski (eds.) Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn Experience Developing and Deploying Concurrency Analysis at Facebook. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maxime Jacquemin, Sylvie Putot, Franck Védrine A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland Verifying Properties of Differentiable Programs. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Bagnara, Abramo Bagnara, Patricia M. Hill The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aws Albarghouthi Fairness: A Formal-Methods Perspective. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Isabella Mastroeni, Michele Pasqua Verifying Bounded Subset-Closed Hyperproperties. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Joseph Devietti, Nimit Singhania Block-Size Independence for GPU Programs. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sumanth Prabhu, Kumar Madhukar, R. Venkatesh Efficiently Learning Safety Proofs from Appearance as well as Behaviours. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Isabella Mastroeni, Michele Pasqua Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri Abstract Semantic Diffing of Evolving Concurrent Programs. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexandre Maréchal, David Monniaux, Michaël Périn Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sunbeom So, Hakjoo Oh Synthesizing Imperative Programs from Examples Guided by Static Analysis. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leandro Facchinetti, Zachary Palmer, Scott F. Smith 0001 Relative Store Fragments for Singleton Abstraction. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat Verifying Array Manipulating Programs by Tiling. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marc Brockschmidt, Yuxin Chen, Pushmeet Kohli, Siddharth Krishna, Daniel Tarlow Learning Shape Analysis. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aws Albarghouthi Probabilistic Horn Clause Verification. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anna Trostanetski, Orna Grumberg, Daniel Kroening Modular Demand-Driven Analysis of Semantic Difference for Program Versions. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexey Bakhirkin, David Monniaux Combining Forward and Backward Abstract Interpretation of Horn Clauses. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Abdelraouf Ouadjaout, Antoine Miné Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Arie Gurfinkel, Jorge A. Navas A Context-Sensitive Memory Model for Verification of C/C++ Programs. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matías Toro, Éric Tanter A Gradual Interpretation of Union Types. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marius Greitschus, Daniel Dietsch, Andreas Podelski Loop Invariants from Counterexamples. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chaoqiang Deng, Kedar S. Namjoshi Securing the SSA Transform. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jieyuan Zhang, Yulei Sui, Jingling Xue Incremental Analysis for Probabilistic Programs. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato (eds.) Static Analysis - 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Colas Le Guernic Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sriram Sankaranarayanan, Mohamed Amin Ben Sassi Template Polyhedra with a Twist. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tushar Sharma, Thomas W. Reps A New Abstraction Framework for Affine Transformers. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thibault Suzanne, Antoine Miné From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tian Tan 0001, Yue Li 0006, Jingling Xue Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Monniaux, Laure Gonnord Cell Morphing: From Array Programs to Array-Free Horn Clauses. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jade Alglave Simulation and Invariance for Weak Consistency. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chaoqiang Deng, Kedar S. Namjoshi Securing a Compiler Transformation. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Exploiting Sparsity in Difference-Bound Matrices. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler Enforcing Termination of Interprocedural Analysis. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Menendez, Santosh Nagarakatte, Aarti Gupta Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Ranzato Abstract Interpretation of Supermodular Games. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kedar S. Namjoshi, Nimit Singhania Loopy: Programmable and Formally Verified Loop Transformations. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fausto Spoto The Julia Static Analyzer for Java. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet On the Linear Ranking Problem for Simple Floating-Point Loops. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh Automated Verification of Linearization Policies. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop Quantitative Monitor Automata. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pritam M. Gharat, Uday P. Khedker, Alan Mycroft Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xavier Rival (eds.) Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson A Parametric Abstract Domain for Lattice-Valued Regular Expressions. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kihong Heo, Hakjoo Oh, Hongseok Yang Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matthieu Journault, Antoine Miné Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni Completeness in Approximate Transduction. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1George Balatsouras, Yannis Smaragdakis Structure-Sensitive Points-To Analysis for C and C++. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maria Christakis, Valentin Wüstholz Bounded Abstract Interpretation. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Relational Verification Through Horn Clause Transformation. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter Aldous, Matthew Might Static Analysis of Non-interference in Expressive Low-Level Languages. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez Parallel Cost Analysis of Distributed Systems. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David Monniaux, Francesco Alberti A Simple Abstraction of Arrays and Maps by Program Translation. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon Static Analysis with Set-Closure in Secrecy. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tachio Terauchi Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kodai Hashimoto, Hiroshi Unno 0001 Refinement Type Inference via Horn Constraint Optimization. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marianna Rapoport, Ondrej Lhoták, Frank Tip Precise Data Flow Analysis in the Presence of Correlated Method Calls. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Huisong Li, Xavier Rival, Bor-Yuh Evan Chang Shape Analysis for Unstructured Sharing. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Anshul Garg, Subhajit Roy Synthesizing Heap Manipulations via Integer Linear Programming. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Wontae Choi, Satish Chandra 0001, George C. Necula, Koushik Sen SJS: A Type System for JavaScript with Fixed Object Layout. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Brain, Saurabh Joshi 0001, Daniel Kroening, Peter Schrammel Safety Verification and Refutation by k-Invariants and k-Induction. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Pablo Gordillo May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexey Bakhirkin, Josh Berdine, Nir Piterman A Forward Analysis for Recurrent Sets. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Junjie Chen, Patrick Cousot A Binary Decision Tree Abstract Domain Functor. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yue Li 0006, Tian Tan 0001, Jingling Xue Effective Soundness-Guided Reflection Analysis. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Assalé Adjé, Pierre-Loïc Garoche, Victor Magron Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ghila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv, Hongseok Yang Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sandrine Blazy, Thomas P. Jensen (eds.) Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Louis Mandel, Cédric Pasteur Reactivity of Cooperative Systems - Application to ReactiveML. Search on Bibsonomy SAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Aleksandar Chakarov, Sriram Sankaranarayanan Expectation Invariants for Probabilistic Program Loops as Fixed Points. Search on Bibsonomy SAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Woosuk Lee, Hakjoo Oh, Kwangkeun Yi A Progress Bar for Static Analyzers. Search on Bibsonomy SAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Khalil Ghorbal, Andrew Sogokon, André Platzer Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations. Search on Bibsonomy SAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang An Abstract Domain to Infer Octagonal Constraints with Absolute Value. Search on Bibsonomy SAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Magnus Madsen, Anders Møller Sparse Dataflow Analysis with Pointers and Reachability. Search on Bibsonomy SAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík Block Me If You Can! - Context-Sensitive Parameterized Verification. Search on Bibsonomy SAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 670 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license