default search action

combined dblp search
author search
venue search
publication search

ask others

28th CAV 2016: Toronto, ON, Canada

> Home > Conferences and Workshops > CAV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/cav/2016-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2016-1
Swarat Chaudhuri, Azadeh Farzan:
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. Lecture Notes in Computer Science 9779, Springer 2016, ISBN 978-3-319-41527-7

Probabilistic Systems

- view
  authority control:
- export record
  dblp key:
  - conf/cav/ChatterjeeFG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChatterjeeFG16
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady:
Termination Analysis of Probabilistic Programs Through Positivstellensatz's. 3-22
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BaierK0K0W16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BaierK0K0W16
Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell:
Markov Chains and Unambiguous Büchi Automata. 23-42
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BartheEFH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BartheEFH16
Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu:
Synthesizing Probabilistic Invariants via Doob's Decomposition. 43-61
- view
  authority control:
- export record
  dblp key:
  - conf/cav/GehrMV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GehrMV16
Timon Gehr, Sasa Misailovic, Martin T. Vechev:
PSI: Exact Symbolic Inference for Probabilistic Programs. 62-83
- view
  authority control:
- export record
  dblp key:
  - conf/cav/NgoLJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/NgoLJ16
Van Chan Ngo, Axel Legay, Vania Joloboff:
PSCV: A Runtime Verification Tool for Probabilistic SystemC Models. 84-91

Synthesis I

- view
  authority control:
- export record
  dblp key:
  - conf/cav/ChengHR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChengHR16
Chih-Hong Cheng, Yassine Hamza, Harald Ruess:
Structural Synthesis for GXW Specifications. 95-117
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FinkbeinerK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerK16
Bernd Finkbeiner, Felix Klein:
Bounded Cycle Synthesis. 118-135
- view
  authority control:
- export record
  dblp key:
  - conf/cav/KlenzeBH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KlenzeBH16
Tobias Klenze, Sam Bayless, Alan J. Hu:
Fast, Flexible, and Minimal CTL Synthesis via SMT. 136-156
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BloemBJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BloemBJ16
Roderick Bloem, Nicolas Braud-Santoni, Swen Jacobs:
Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems. 157-176

Constraint Solving I

- view
  authority control:
- export record
  dblp key:
  - conf/cav/CristiaR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CristiaR16
Maximiliano Cristiá, Gianfranco Rossi:
A Decision Procedure for Sets, Binary Relations and Partial Functions. 179-198
- view
  authority control:
- export record
  dblp key:
  - conf/cav/NiemetzPB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/NiemetzPB16
Aina Niemetz, Mathias Preiner, Armin Biere:
Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories. 199-217
- view
  authority control:
- export record
  dblp key:
  - conf/cav/TrinhCJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/TrinhCJ16
Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar:
Progressive Reasoning over Recursively-Defined Strings. 218-240
- view
  authority control:
- export record
  dblp key:
  - conf/cav/WangTLYJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/WangTLYJ16
Hung-En Wang, Tzung-Lin Tsai, Chun-Han Lin, Fang Yu, Jie-Hong R. Jiang:
String Analysis via Automata Manipulation with Logic Circuit Representation. 241-260
- view
  authority control:
- export record
  dblp key:
  - conf/cav/KafleGM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KafleGM16
Bishoksan Kafle, John P. Gallagher, José F. Morales:
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. 261-268

Model Checking I

- view
  authority control:
- export record
  dblp key:
  - conf/cav/DanielCGTM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DanielCGTM16
Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover:
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. 271-291
- view
  authority control:
- export record
  dblp key:
  - conf/cav/DooleyS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DooleyS16
Michael Dooley, Fabio Somenzi:
Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances. 292-309
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HeMW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HeMW16
Fei He, Shu Mao, Bow-Yaw Wang:
Learning-Based Assume-Guarantee Regression Verification. 310-328
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ElkaderGPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ElkaderGPS16
Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham:
Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement. 329-351
- view
  authority control:
- export record
  dblp key:
  - conf/cav/KahsaiRSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KahsaiRSS16
Temesghen Kahsai, Philipp Rümmer, Huascar Sanchez, Martin Schäf:
JayHorn: A Framework for Verifying Java programs. 352-358

Program Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/cav/LeinoP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LeinoP16
K. Rustan M. Leino, Clément Pit-Claudel:
Trigger Selection Strategies to Stabilize Program Verifiers. 361-381
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LeSC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LeSC16
Quang Loc Le, Jun Sun, Wei-Ngan Chin:
Satisfiability Modulo Heap-Based Programs. 382-404
- view
  authority control:
- export record
  dblp key:
  - conf/cav/0001SS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/0001SS16
Peter Müller, Malte Schwerhoff, Alexander J. Summers:
Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution. 405-425
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ManevichDR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ManevichDR16
Roman Manevich, Boris Dogadov, Noam Rinetzky:
From Shape Analysis to Termination Analysis in Linear Time. 426-446
- view
  authority control:
- export record
  dblp key:
  - conf/cav/GuthHSR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GuthHSR16
Dwight Guth, Chris Hathhorn, Manasvi Saxena, Grigore Rosu:
RV-Match: Practical Semantics-Based Program Analysis. 447-453

Timed and Hybrid Systems

- view
  authority control:
- export record
  dblp key:
  - conf/cav/XueSE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/XueSE16
Bai Xue, Zhikun She, Arvind Easwaran:
Under-Approximating Backward Reachable Sets by Polytopes. 457-476
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Duggirala016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Duggirala016
Parasara Sridhar Duggirala, Mahesh Viswanathan:
Parsimonious, Simulation Based Verification of Linear Systems. 477-494
- view
  authority control:
- export record
  dblp key:
  - conf/cav/PrabhakarS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/PrabhakarS16
Pavithra Prabhakar, Miriam Garcia Soto:
Counterexample Guided Abstraction Refinement for Stability Analysis. 495-512
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BouyerCM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BouyerCM16
Patricia Bouyer, Maximilien Colange, Nicolas Markey:
Symbolic Optimal Reachability in Weighted Timed Automata. 513-530
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FanQM0D16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FanQM0D16
Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala:
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. 531-538

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.