Stop the war!
Остановите войну!
for scientists:
default search action
35th CAV 2023: Paris, France - Part I
- Constantin Enea, Akash Lal:
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I. Lecture Notes in Computer Science 13964, Springer 2023, ISBN 978-3-031-37705-1
Automata and Logic
- Masaki Waga:
Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization. 3-26 - 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. 27-39 - Hanyue Chen, Yu Su, Miaomiao Zhang, Zhiming Liu, Junri Mi:
Learning Assumptions for Compositional Verification of Timed Automata. 40-61 - Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
Online Causation Monitoring of Signal Temporal Logic. 62-84 - Benjamin Bisping:
Process Equivalence Problems as Energy Games. 85-106
Concurrency
- Danya Lette, Azadeh Farzan:
Commutativity for Concurrent Program Termination Proofs. 109-131 - Piotr Hofman, Filip Mazowiecki, Philip Offtermatt:
Fast Termination and Workflow Nets. 132-155 - Nikita Koval, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, Dan Alistarh:
Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM. 156-169 - Roland Meyer, Anton Opaterny, Thomas Wies, Sebastian Wolff:
nekton: A Linearizability Proof Checker. 170-183 - 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. 184-205 - Ori Lahav, Brijesh Dongol, Heike Wehrheim:
Rely-Guarantee Reasoning for Causally Consistent Shared Memory. 206-229 - Michalis Kokologiannakis, Iason Marmanis, Viktor Vafeiadis:
Unblocking Dynamic Partial Order Reduction. 230-250
Cyber-Physical and Hybrid Systems
- 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. 253-265 - S. Akshay, Paul Gastin, R. Govind, Aniruddha R. Joshi, B. Srivathsan:
A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation. 266-288 - 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. 289-303 - Zhengfeng Yang, Li Zhang, Xia Zeng, Xiaochao Tang, Chao Peng, Zhenbing Zeng:
Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints. 304-325 - Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis:
Safe Environmental Envelopes of Discrete Systems. 326-350 - Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra:
Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios. 351-364
Synthesis
- S. Akshay, Supratik Chakraborty, Sahil Jain:
Counterexample Guided Knowledge Compilation for Boolean Functional Synthesis. 367-389 - Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder:
Guessing Winning Policies in LTL Synthesis by Semantic Learning. 390-414 - Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi:
Policy Synthesis and Reinforcement Learning for Discounted LTL. 415-435 - Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck:
Synthesizing Permissive Winning Strategy Templates for Parity Games. 436-458 - Stephen Mell, Favyen Bastani, Steve Zdancewic, Osbert Bastani:
Synthesizing Trajectory Queries from Examples. 459-484
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.