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

会议文集


文集名Theoretical Aspects of Computing - ICTAC 2025
会议名22nd International Colloquium on Theoretical Aspects of Computing (ICTAC 2025)
中译名《第二十二届国际计算理论方面学术讨论会》
会议日期November 24-28, 2025
会议地点Marrakech, Morocco
出版年2026
馆藏号359400


题名作者出版年
Fuzz Testing with Temporal ConstraintsKlaus Havelund; Tracy Clark; Vivek Reddy2026
Facing Uncertainty in AI: From Formal Verification To SynthesisJoost-Pieter Katoen2026
Timed Monitoring and Timed MonitorabilityKim Guldstrand Larsen2026
Set Invariance for Assume-Guarantee Contracts in Cyber-Physical Systems DesignAntoine Girard2026
Domain Analysis and Description: A TutorialDines Bjorner2026
Multi-perspective Correctness of ProgramsEduard Kamburjan; Dilian Gurov2026
A Rely-Guarantee-Based Simulation for Cooperative SemanticsKevin Tran; Johannes Aman Pohjola; Rob Sison; Gerwin Klein2026
Verification of the Release-Acquire SemanticsParosh Aziz Abdulla; Elli Anastasiadi; Mohamed Faouzi Atig; Samuel Grahn2026
Iteratively Synthesizing ε-Robust Barrier Certificates for Neural Network Controlled SystemsYi Luo; Xin Chen; Jin Dai; Enyi Tang; Xuandong Li2026
Compositional Interface Refinement Through Subtyping in Probabilistic Session TypesPaula Blechschmidt; Kirstin Peters; Uwe Nestmann2026
On Asynchronous Multiparty Session Types for Federated LearningIvan Prokic; Simona Prokic; Silvia Ghilezan; Alceste Scalas; Nobuko Yoshida2026
Efficient Interpolation Beyond Cut-Free Proofs: Admissible Cuts and Optimized ExtractionSimon Corbard; Anela Lolic2026
Lean4Less: Eliminating Definitional Equalities from Lean via an Extensional-to-Intensional TranslationRishikesh Vaishnav2026
From Program Logics Towards Language LogicsMatteo Cimini2026
A Variety of Request-Response SpecificationsDaichi Aiba; Masaki Waga; Hiroya Fujinami; Koko Muroya; Shutaro Ouchi; Naoki Ueda; Yosuke Yokoyama; Yuta Wada; Ichiro Hasuo2026
Weighted Automata for Exact Inference in Discrete Probabilistic ProgramsDominik Geissler; Tobias Winkler2026
Forward and Backward Simulations for Partially Observable ProbabilityChris Chen; Annabelle McIver; Carroll Morgan2026
Graphical Quadratic AlgebraDario Stein; Fabio Zanasi; Robin Piedeleu; Richard Samuelson2026
Active Learning of Symbolic Mealy AutomataKengo Irie; Masaki Waga; Kohei Suenaga2026
AP-Observation Automata for Abstraction-Based Verification of Continuous-Time SystemsSasinee Pruekprasert; Clovis Eberhart2026
12



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