Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar30th CAV 2018: Oxford, UK
Hana Chockler, Georg Weissenbacher:
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Lecture Notes in Computer Science 10981, Springer 2018, ISBN 978-3-319-96144-6
Invited Papers
Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia:
Semantic Adversarial Deep Learning. 3-26Eran Yahav:
From Programs to Interpretable Deep Models and Back. 27-37Byron Cook:
Formal Reasoning About the Security of Amazon Web Services. 38-47
Tutorials
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind:
Foundations and Tools for the Static Analysis of Ethereum Smart Contracts. 51-78Bernhard Kragl, Shaz Qadeer:
Layered Concurrent Programs. 79-102
Model Checking
Yuki Satake, Hiroshi Unno:
Propositional Dynamic Logic for Higher-Order Functional Programs. 105-123Grigory Fedyukovich, Yueling Zhang, Aarti Gupta:
Syntax-Guided Termination Analysis. 124-143Bernd Finkbeiner, Christopher Hahn, Hazem Torfah:
Model Checking Quantitative Hyperproperties. 144-163Lauren Pick, Grigory Fedyukovich, Aarti Gupta:
Exploiting Synchrony and Symmetry in Relational Verification. 164-182Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtík:
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. 183-190Kenneth L. McMillan:
Eager Abstraction for Symbolic Model Checking. 191-208
Program Analysis Using Polyhedra
Gagandeep Singh, Markus Püschel, Martin T. Vechev:
Fast Numerical Program Analysis with Reinforcement Learning. 211-229Anna Becchi, Enea Zaffanella:
A Direct Encoding for NNC Polyhedra. 230-248
Synthesis
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah:
What's Hard About Boolean Functional Synthesis? 251-269Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen:
Counterexample Guided Inductive Synthesis Modulo Theories. 270-288Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup:
Synthesizing Reactive Systems from Hyperproperties. 289-306Daniel J. Fremont, Sanjit A. Seshia:
Reactive Control Improvisation. 307-326Aws Albarghouthi, Justin Hsu:
Constraint-Based Synthesis of Coupling Proofs. 327-346Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan:
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. 347-366Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar:
Synthesis of Asynchronous Reactive Programs from Temporal Specifications. 367-385Qinheping Hu, Loris D'Antoni:
Syntax-Guided Synthesis with Quantitative Syntactic Objectives. 386-403
Learning
Xinyu Wang, Greg Anderson, Isil Dillig, Kenneth L. McMillan:
Learning Abstractions for Program Synthesis. 407-426George Argyros, Loris D'Antoni:
The Learnability of Symbolic Automata. 427-445
Runtime Verification, Hybrid and Timed Systems
Hui Kong, Ezio Bartocci, Thomas A. Henzinger:
Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes. 449-467Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger:
Space-Time Interpolants. 468-486Michael Emmi, Constantin Enea:
Monitoring Weak Consistency. 487-506Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan:
Monitoring CTMCs by Multi-clock Timed Automata. 507-526Frederik M. Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba:
Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems. 527-546Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck:
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. 547-564
Tools
Jan Kretínský, Tobias Meggendorfer, Salomon Sickert, Christopher Ziegler:
Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. 567-577Philipp J. Meyer, Salomon Sickert, Michael Luttenberger:
Strix: Explicit Reactive Synthesis Strikes Back! 578-586Aina Niemetz, Mathias Preiner, Clifford Wolf, Armin Biere:
Btor2 , BtorMC and Boolector 3.0. 587-595Marco Eilers, Peter Müller:
Nagini: A Static Verifier for Python. 596-603Michael Blondin, Javier Esparza, Stefan Jaax:
Peregrine: A Tool for the Analysis of Population Protocols. 604-611Milan Ceska Jr., Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar:
ADAC: Automated Design of Approximate Circuits. 612-620
Probabilistic Systems
Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger:
Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. 623-642Tim Quatmann, Joost-Pieter Katoen:
Sound Value Iteration. 643-661Weichao Zhou, Wenchao Li:
Safety-Aware Apprenticeship Learning. 662-680Qiyi Tang, Franck van Breugel:
Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains. 681-699
last updated on 2019-10-21 23:28 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
