default search action
31st CAV 2019: New York City, NY, USA
- Isil Dillig, Serdar Tasiran:
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I. Lecture Notes in Computer Science 11561, Springer 2019, ISBN 978-3-030-25539-8
Automata and Timed Systems
- Loris D'Antoni, Tiago Ferreira
, Matteo Sammartino
Symbolic Register Automata. 3-21 - Victor Roussanaly, Ocan Sankur, Nicolas Markey:
Abstraction Refinement Algorithms for Timed Automata. 22-40 - Paul Gastin
Fast Algorithms for Handling Diagonal Constraints in Timed Automata. 41-59 - Suguman Bansal, Moshe Y. Vardi:
Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion. 60-78 - Martin Kölbl, Stefan Leue, Thomas Wies:
Clock Bound Repair for Timed Systems. 79-96 - Julien Lange
Verifying Asynchronous Interactions via Communicating Session Automata. 97-117
Security and Hyperproperties
- Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup:
Verifying Hyperliveness. 121-139 - Saeid Tizpaz-Niari, Pavol Cerný, Ashutosh Trivedi:
Quantitative Mitigation of Timing Side Channels. 140-160 - Ron Shemer, Arie Gurfinkel
Property Directed Self Composition. 161-179 - Mahmoud Elfar
Security-Aware Synthesis Using Delayed-Action Games. 180-199 - Azadeh Farzan, Anthony Vandikas:
Automated Hypersafety Verification. 200-218 - Eunsuk Kang, Stéphane Lafortune
Automated Synthesis of Secure Platform Mappings. 219-237
Synthesis
- Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Synthesizing Approximate Implementations for Unrealizable Specifications. 241-258 - Grigory Fedyukovich
Quantified Invariants via Syntax-Guided Synthesis. 259-277 - Samuel Drews, Aws Albarghouthi, Loris D'Antoni:
Efficient Synthesis with Probabilistic Constraints. 278-296 - Miriam García Soto
Membership-Based Synthesis of Linear Hybrid Automata. 297-314 - Saswat Padhi, Todd D. Millstein
Overfitting in Synthesis: Theory and Practice. 315-334 - Qinheping Hu, Jason Breck, John Cyphert
Proving Unrealizability for Syntax-Guided Synthesis. 335-352
Model Checking
- Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko
BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings. 355-365 - Jennifer A. Davis, Laura R. Humphrey, Derek B. Kingston:
When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-agent Protocol. 366-375 - Alessandro Cimatti, Alberto Griggio
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. 376-386 - Stella Lau, Victor B. F. Gomes, Kayvan Memarian, Jean Pichon-Pharabod, Peter Sewell:
Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C. 387-397
Cyber-Physical Systems and Machine Learning
- Zhenya Zhang
Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. 401-420 - Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. 421-431 - Tommaso Dreossi, Daniel J. Fremont
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. 432-442 - Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu
The Marabou Framework for Verification and Analysis of Deep Neural Networks. 443-452
Probabilistic Systems, Runtime Techniques
- Chih-Duo Hong
Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols). 455-474 - Milan Ceska
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks. 475-496 - Pranav Ashok
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. 497-519 - Masaki Waga
Symbolic Monitoring Against Specifications Parametric in Time and Data. 520-539 - Thakur Neupane
STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis. 540-549
Dynamical, Hybrid, and Reactive Systems
- Mitesh Jain, Panagiotis Manolios
Local and Compositional Reasoning for Optimized Reactive Systems. 553-571 - Damien Busatto-Gaston
Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach. 572-590 - Eric S. Kim
Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis. 591-608 - Bernd Finkbeiner, Felix Klein, Ruzica Piskac
Temporal Stream Logic: Synthesis Beyond the Bools. 609-629 - Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger:
Run-Time Optimization for Learned Controllers Through Quantitative Games. 630-649 - Shenghua Feng
Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations. 650-669
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 2024-12-16 22:31 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: