中国机械工程学会生产工程分会知识服务平台 | sc.gmachineinfo.com

会议文集

文集名	Automated Technology for Verification and Analysis
会议名	22nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2024)
中译名	《第二十二届国际认证与分析自动化技术研讨会，卷2》
会议日期	October 21-25, 2024
会议地点	Kyoto, Japan
出版年	2025
馆藏号	356011

题名	作者	出版年
Configuration Monitor Synthesis	Maximilian A. Kohl; Clemens Dubslaff; Holger Hermanns	2025
Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis	Andoni Rodriguez; Felipe Gorostiaga; Cesar Sanchez	2025
Policies Grow on Trees: Model Checking Families of MDPs	Roman Andriushchenko; Milan Ceska; Sebastian Junges; Filip Macak	2025
WhyMon: A Runtime Monitoring Tool with Explanations as Verdicts	Leonardo Lima; Jonathan Julian Huerta y Munive; Dmitriy Traytel	2025
Formalisation of a New Weak Semantics for AuDaLa	Gijs P. Leemrijse; Tom T. P. Franken; Thomas Neele	2025
Hedge Automata Revisited: Transforming Texts to and from XML	Akihisa Yamada; Jeremy Dubut; Takeshi Tsukada	2025
Leveraging Program Structure for Test Case Generation	Ilia Zlatkin; Grigory Fedyukovich	2025
CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers	Dirk Beyer; Thomas Lemberger; Henrik Wachowitz	2025
CTL* Verification and Synthesis Using Existential Horn Clauses	Mishel Carelli; Orna Grumberg	2025
Checking Satisfiability of Hyperproperties Using First-Order Logic	Raven Beutner; Bernd Finkbeiner	2025
Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures	Nikola Benes; Lubos Brim; Ondrej Huvar; Samuel Pastva; David Safranek	2025
Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights	Stanley Bak; Abdelrahman Hekal; Niklas Kochdumper; Ethan Lew; Andrew Mata; Amir Rahmati	2025
Local Search for Checking Satisfiability of Formulas with Trigonometric Functions	Xinpeng Ni; Bican Xia; Tianqi Zhao	2025