CAV (1)

Keyphrases

Publications

2023

Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
Online Causation Monitoring of Signal Temporal Logic. CAV (1) (2023)
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
Safe Environmental Envelopes of Discrete Systems. CAV (1) (2023)
Roland Meyer, Anton Opaterny, Thomas Wies, Sebastian Wolff
nekton: A Linearizability Proof Checker. CAV (1) (2023)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala
Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models. CAV (1) (2023)
Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck
Synthesizing Permissive Winning Strategy Templates for Parity Games. CAV (1) (2023)
Zhengfeng Yang, Li Zhang, Xia Zeng, Xiaochao Tang, Chao Peng, Zhenbing Zeng
Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints. CAV (1) (2023)
Masaki Waga
Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization. CAV (1) (2023)
Andrew Apicelli, Sam Bayless, Ankush Das, Andrew Gacek, Dhiva Jaganathan, Saswat Padhi, Vaibhav Sharma, Michael W. Whalen, Raveesh Yadav
Automated Analyses of IOT Event Monitoring Systems. CAV (1) (2023)
Ori Lahav, Brijesh Dongol, Heike Wehrheim
Rely-Guarantee Reasoning for Causally Consistent Shared Memory. CAV (1) (2023)
Benjamin Bisping
Process Equivalence Problems as Energy Games. CAV (1) (2023)
Hanyue Chen, Yu Su, Miaomiao Zhang, Zhiming Liu, Junri Mi
Learning Assumptions for Compositional Verification of Timed Automata. CAV (1) (2023)
S. Akshay, Supratik Chakraborty, Sahil Jain
Counterexample Guided Knowledge Compilation for Boolean Functional Synthesis. CAV (1) (2023)
Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CAV (1) (2023)
Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder
Guessing Winning Policies in LTL Synthesis by Semantic Learning. CAV (1) (2023)
Danya Lette, Azadeh Farzan
Commutativity for Concurrent Program Termination Proofs. CAV (1) (2023)
Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra
Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios. CAV (1) (2023)
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
Policy Synthesis and Reinforcement Learning for Discounted LTL. CAV (1) (2023)
Stephen Mell, Favyen Bastani, Steve Zdancewic, Osbert Bastani
Synthesizing Trajectory Queries from Examples. CAV (1) (2023)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. CAV (1) (2023)
Nikita Koval, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, Dan Alistarh
Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM. CAV (1) (2023)
Piotr Hofman, Filip Mazowiecki, Philip Offtermatt
Fast Termination and Workflow Nets. CAV (1) (2023)
Michalis Kokologiannakis, Iason Marmanis, Viktor Vafeiadis
Unblocking Dynamic Partial Order Reduction. CAV (1) (2023)
S. Akshay, Paul Gastin, R. Govind, Aniruddha R. Joshi, B. Srivathsan
A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation. CAV (1) (2023)

volume 13964, 2023

Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I CAV (1) 13964 (2023)

2022

volume 13371, 2022

Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I CAV (1) 13371 (2022)