default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID31st 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, Alexandra Silva:
Symbolic Register Automata. 3-21 - Victor Roussanaly, Ocan Sankur, Nicolas Markey:
Abstraction Refinement Algorithms for Timed Automata. 22-40 - Paul Gastin, Sayan Mukherjee, B. Srivathsan:
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, Nobuko Yoshida:
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, Sharon Shoham, Yakir Vizel:
Property Directed Self Composition. 161-179 - Mahmoud Elfar, Yu Wang, Miroslav Pajic:
Security-Aware Synthesis Using Delayed-Action Games. 180-199 - Azadeh Farzan, Anthony Vandikas:
Automated Hypersafety Verification. 200-218 - Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis:
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, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta:
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, Thomas A. Henzinger, Christian Schilling, Luka Zeleznik:
Membership-Based Synthesis of Linear Hybrid Automata. 297-314 - Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma:
Overfitting in Synthesis: Theory and Practice. 315-334 - Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps:
Proving Unrealizability for Syntax-Guided Synthesis. 335-352
Model Checking
- Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer:
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, Enrico Magnago, Marco Roveri, Stefano Tonetta:
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, Ichiro Hasuo, Paolo Arcaini:
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, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
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, Aleksandar Zeljic, David L. Dill, Mykel J. Kochenderfer, Clark W. Barrett:
The Marabou Framework for Verification and Analysis of Deep Neural Networks. 443-452
Probabilistic Systems, Runtime Techniques
- Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer:
Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols). 455-474 - Milan Ceska, Jan Kretínský:
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks. 475-496 - Pranav Ashok, Jan Kretínský, Maximilian Weininger:
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. 497-519 - Masaki Waga, Étienne André, Ichiro Hasuo:
Symbolic Monitoring Against Specifications Parametric in Time and Data. 520-539 - Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, Zhen Zhang:
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, Benjamin Monmege, Pierre-Alain Reynier, Ocan Sankur:
Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach. 572-590 - Eric S. Kim, Murat Arcak, Sanjit A. Seshia:
Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis. 591-608 - Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
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, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue:
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 2026-03-12 02:09 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:
