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

会议文集


文集名Software Engineering and Formal Methods
会议名20th International Conference on Software Engineering and Formal Methods (SEFM 2022)
中译名《第二十届国际软件工程与形式化方法会议》
会议日期September 26-30, 2022
会议地点Berlin, Germany
出版年2022
馆藏号345013


题名作者出版年
A Unifying Approach for Control-Flow-Based Loop AbstractionDirk Beyer; Marian Lingsch Rosenfeld; Martin Spiessl2022
Auto-Active Verification of Floating-Point Programs via Nonlinear Real ProversJunaid Rasheed; Michal Konecny2022
Information Exchange Between Over- and Underapproximating Software AnalysesJan Haltermann; Heike Wehrheim2022
A Query Language for Language AnalysisMatteo Cimini2022
Field-Sensitive Program SlicingCarlos Galindo; Jens Krinke; Sergio Perez; Josep Silva2022
SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVMMalte Mues; Falk Howar; Simon Dierl2022
Cooperation Between Automatic and Interactive Software VerifiersDirk Beyer; Martin Spiessl; Sven Umbricht2022
Strategy Switching: Smart Fault-Tolerance for Weakly-Hard Resource-Constrained Real-Time ApplicationsLukas Miedema; Clemens Grelck2022
A Program Slicer for JavaCarlos Galindo; Sergio Perez; Josep Silva2022
Constrained Training of Recurrent Neural Networks for Automata LearningBernhard K. Aichernig; Sandra Konig; Cristinel Mateis; Andrea Pferscher; Dominik Schmidt; Martin Tappler2022
Neural Network Verification Using Residual ReasoningYizhak Yisrael Elboher; Elazar Cohen; Guy Katz2022
Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement LearningNathaniel Hamilton; Preston K Robinette; Taylor T Johnson2022
Information Flow Control-by-Construction for an Object-Oriented LanguageTobias Runge; Alexander Kittelmann; Marco Servetto; Alex Potanin; Ina Schaefer2022
Specification is Law: Safe Creation and Upgrade of Ethereum Smart ContractsPedro Antonino; Juliandson Ferreira; Augusto Sampaio; A. W. Roscoe2022
SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart ContractsNamrata Jain; Kosuke Kaneko; Subodh Sharma2022
Weighted Games for User JourneysPaul Kobialka; Silvia Lizeth Tapia Tarifa; Gunnar Rye Bergersen; Einar Broch Johnsen2022
Safety Controller Synthesis for a Mobile Manufacturing CobotIoannis Stefanakos; Radu Calinescu; James Douthwaite; Jonathan Aitken; James Law2022
Timely Specification Repair for Alloy 6Jorge Cerqueira; Alcino Cunha; Nuno Macedo2022
BehaVerify: Verifying Temporal Logic Specifications for Behavior TreesBernard Serbinowski; Taylor T. Johnson2022
CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel ProgramsShizhen Yu; Yifan Dong; Jiuyang Liu; Yong Li; Zhilin Wu; David N. Jansen; Lijun Zhang2022
12



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