default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th SAS 2018: Freiburg, Germany
- Andreas Podelski:
Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings. Lecture Notes in Computer Science 11002, Springer 2018, ISBN 978-3-319-99724-7 - Aws Albarghouthi:
Fairness: A Formal-Methods Perspective. 1-4 - Roberto 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. 5-23 - Zachary Kincaid:
Numerical Invariants via Abstract Machines. 24-42 - Kenneth L. McMillan, Oded Padon:
Deductive Verification in Decidable Fragments with Ivy. 43-55 - Peter W. O'Hearn:
Experience Developing and Deploying Concurrency Analysis at Facebook. 56-70 - Ruzica Piskac
:
New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair. 71-76 - Sharon Shoham:
Interactive Verification of Distributed Protocols Using Decidable Logic. 77-85 - Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner:
Abstract Interpretation of Stateful Networks. 86-106 - Rajeev Alur, Joseph Devietti, Nimit Singhania:
Block-Size Independence for GPU Programs. 107-126 - Alexey Bakhirkin, David Monniaux:
Extending Constraint-Only Representation of Polyhedra with Boolean Constraints. 127-145 - Anna Becchi, Enea Zaffanella:
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra. 146-165 - Frédéric Besson, Thomas P. Jensen, Julien Lepiller:
Modular Software Fault Isolation as Abstract Interpretation. 166-186 - Aziem Chawdhary, Andy King:
Closing the Performance Gap Between Doubles and Rationals for Octagons. 187-204 - Jan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland:
Verifying Properties of Differentiable Programs. 205-222 - Maxime Jacquemin, Sylvie Putot, Franck Védrine:
A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis. 223-242 - Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout:
Modular Static Analysis of String Manipulations in C Programs. 243-262 - Isabella Mastroeni, Michele Pasqua:
Verifying Bounded Subset-Closed Hyperproperties. 263-283 - Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson:
Process-Local Static Analysis of Synchronous Processes. 284-305 - Kedar S. Namjoshi, Zvonimir Pavlinovic:
The Impact of Program Transformations on Static Program Analysis. 306-325 - Sumanth Prabhu, Kumar Madhukar, R. Venkatesh:
Efficiently Learning Safety Proofs from Appearance as well as Behaviours. 326-343 - Francesco Ranzato, Marco Zanella:
Invertible Linear Transforms of Numerical Abstract Domains. 344-363 - Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann:
Incremental Verification Using Trace Abstraction. 364-382 - Andrew Ruef, Kesha Hietala, Arlen Cox:
Volume-Based Merge Heuristics for Disjunctive Numeric Domains. 383-401 - Caterina Urban, Samuel Ueltschi, Peter Müller:
Abstract Interpretation of CTL Properties. 402-422 - Florian Zuleger:
Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction. 423-444
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
