default search action

combined dblp search
author search
venue search
publication search

ask others

29th CAV 2017: Heidelberg, Germany

> 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/2017-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2017-1
Rupak Majumdar, Viktor Kuncak:
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Lecture Notes in Computer Science 10426, Springer 2017, ISBN 978-3-319-63386-2

Invited Contributions

- view
  authority control:
- export record
  dblp key:
  - conf/cav/HuangKWW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HuangKWW17
Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu:
Safety Verification of Deep Neural Networks. 3-29
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Vafeiadis17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Vafeiadis17
Viktor Vafeiadis:
Program Verification Under Weak Memory Consistency Using Separation Logic. 30-46
- view
  authority control:
- export record
  dblp key:
  - conf/cav/DAntoniV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DAntoniV17
Loris D'Antoni, Margus Veanes:
The Power of Symbolic Automata and Transducers. 47-67
- view
  authority control:
- export record
  dblp key:
  - conf/cav/SiZGN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/SiZGN17
Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik:
Maximum Satisfiability in Software Analysis: Applications and Techniques. 68-94

Probabilistic Systems

- view
  authority control:
- export record
  dblp key:
  - conf/cav/KatzBDJK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KatzBDJK17
Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer:
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks. 97-117
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ChatterjeeFM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChatterjeeFM17
Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar:
Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds. 118-139
- view
  authority control:
- export record
  dblp key:
  - conf/cav/QuatmannJK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/QuatmannJK17
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen:
Markov Automata with Multiple Objectives. 140-159
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Baier0L0W17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Baier0L0W17
Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich:
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes. 160-180
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AlbarghouthiDD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AlbarghouthiDD17
Aws Albarghouthi, Loris D'Antoni, Samuel Drews:
Repairing Decision-Making Programs Under Uncertainty. 181-200
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AshokCDKM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AshokCDKM17
Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer:
Value Iteration for Long-Run Average Reward in Markov Decision Processes. 201-221

Data Driven Techniques

- view
  authority control:
- export record
  dblp key:
  - conf/cav/RoehmHM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/RoehmHM17
Hendrik Roehm, Thomas Heinz, Eva Charlotte Mayer:
STLInspector: STL Validation with Guarantees. 225-232
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BielikRV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BielikRV17
Pavol Bielik, Veselin Raychev, Martin T. Vechev:
Learning a Static Analyzer from Data. 233-253
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Drachsler-Cohen17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Drachsler-Cohen17
Dana Drachsler-Cohen, Sharon Shoham, Eran Yahav:
Synthesis with Abstract Examples. 254-278
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ChasinsP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChasinsP17
Sarah E. Chasins, Phitchaya Mangpo Phothilimthana:
Data-Driven Synthesis of Full Probabilistic Programs. 279-304
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Vazquez-Chanlatte17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Vazquez-Chanlatte17
Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia:
Logical Clustering and Learning for Time-Series Data. 305-325

Runtime Verification

- view
  authority control:
- export record
  dblp key:
  - conf/cav/Ulus17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Ulus17
Dogan Ulus:
Montre: A Tool for Monitoring Timed Regular Expressions. 329-335
- view
  authority control:
- export record
  dblp key:
  - conf/cav/SelyuninJNRHBNG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/SelyuninJNRHBNG17
Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
Runtime Monitoring with Recovery of the SENT Communication Protocol. 336-355
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BasinKZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BasinKZ17
David A. Basin, Felix Klaedtke, Eugen Zalinescu:
Runtime Verification of Temporal Properties over Out-of-Order Data Streams. 356-376

Cyber-Physical Systems

- view
  authority control:
- export record
  dblp key:
  - conf/cav/CyrankaIBJSG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CyrankaIBJSG17
Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu:
Lagrangian Reachabililty. 379-400
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BakD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BakD17
Stanley Bak, Parasara Sridhar Duggirala:
Simulation-Equivalent Reachability of Large Linear Systems with Inputs. 401-420
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BrihayeGHM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BrihayeGHM17
Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege:
MightyL: A Compositional Translation from MITL to Timed Automata. 421-440
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FanQM017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FanQM017
Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan:
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. 441-461
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AbateBCCDKKP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AbateBCCDKKP17
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen:
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. 462-482
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AdimoolamDDKJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AdimoolamDDKJ17
Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin:
Classification and Coverage-Based Falsification for Embedded Control Systems. 483-503

Concurrency

- view
  authority control:
- export record
  dblp key:
  - conf/cav/AlurDLS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AlurDLS17
Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania:
GPUDrano: Detecting Uncoalesced Accesses in GPU Programs. 507-525
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AlbertABGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AlbertABGS17
Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey:
Context-Sensitive Dynamic Partial Order Reduction. 526-543
- view
  authority control:
- export record
  dblp key:
  - conf/cav/WindsorDSP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/WindsorDSP17
Matt Windsor, Mike Dodds, Ben Simner, Matthew J. Parkinson:
Starling: Lightweight Concurrency Verification with Views. 544-569
- view
  authority control:
- export record
  dblp key:
  - conf/cav/WijsN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/WijsN17
Anton Wijs, Thomas Neele:
Compositional Model Checking with Incremental Counter-Example Construction. 570-590
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BenesBDPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BenesBDPS17
Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek:
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems. 591-598

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.