中国机械工程学会生产工程分会知识服务平台

会议文集


文集名Formal Methods
会议名26th International Symposium on Formal Methods (FM 2024)
中译名《第二十六届国际形式方法研讨会，卷1》
会议日期September 9-13, 2024
会议地点Milan, Italy
出版年2025
馆藏号355992


题名作者出版年
Adversarial Robustness Certification for Bayesian Neural NetworksMatthew Wicker; Andrea Patane; Luca Laurenti; Marta Kwiatkowska2025
Getting Chip Card Payments RightDavid Basin; Xenia Hofmeier; Ralf Sasse; Jorge Toro-Pozo2025
A Local Search Algorithm for MaxSMT(LIA)Xiang He; Bohan Li; Mengyu Zhao; Shaowei Cai2025
Integrating Loop Acceleration Into Bounded Model CheckingFlorian Frohn; Jurgen Giesl2025
Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic SetsHao Wu; Jie Wang; Bican Xia; Xiakun Li; Naijun Zhan; Ting Gan2025
Practical Approximate Quantifier Elimination for Non-linear Real ArithmeticS. Akshay; Supratik Chakraborty; Amir Kafshdar Goharshady; R. Govind; Harshit Jitendra Motwani; Sai Teja Varanasi2025
A Divide-and-Conquer Approach to Variable Elimination in Linear Real ArithmeticValentin Promies; Erika Abraham2025
Free Facts: An Alternative to Inefficient Axioms in DafnyTabea Bordis; K. Rustan M. Leino2025
Understanding Synthesized Reactive Systems Through InvariantsRudiger Ehlers2025
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious AlgorithmsPengbo Yan; Toby Murray; Olga Ohrimenko; Van-Thuan Pham; Robert Sison2025
Efficient Formally Verified Maximal End Component Decomposition for MDPsArnd Hartmanns; Bram Kohlen; Peter Lammich2025
Introducing SWIRL: An Intermediate Representation Language for Scientific WorkflowsIacopo Colonnelli; Doriana Medic; Alberto Mulone; Viviana Bono; Luca Padovani; Marco Aldinucci2025
Fast Attack Graph Defense Localization via BisimulationNimrod Busany; Rafi Shalom; Dan Klein; Shahar Maoz2025
State Matching and Multiple References in Adaptive Active Automata LearningLoes Kruger; Sebastian Junges; Jurriaan Rot2025
Automated Repair of Information Flow Security in Android Implicit Inter-App CommunicationAbhishek Tiwari; Jyoti Prakash; Zhen Dong; Carlo A. Furia2025
Learning Branching-Time Properties in CTL and ATL via Constraint SolvingBenjamin Bordais; Daniel Neider; Rajarshi Roy2025
A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural NetworksEric Goubault; Sylvie Putot2025
Certified Quantization Strategy Synthesis for Neural NetworksYedi Zhang; Guangke Chen; Fu Song; Jun Sun; Jin Song Dong2025
Partially Observable Stochastic Games with Neural Perception MechanismsRui Yan; Gabriel Santos; Gethin Norman; David Parker; Marta Kwiatkowska2025
Bridging Dimensions: Confident Reachability for High-Dimensional ControllersYuang Geng; Jake Brandon Baldauf; Souradeep Dutta; Chao Huang; Ivan Ruchkin2025
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024