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

会议文集


文集名Integrated Formal Methods
会议名17th International Conference on Integrated Formal Methods (IFM 2022)
中译名《第十七届国际集成形式化方法会议》
机构European Association for Programming Languages and Systems (EAPLS)
会议日期June 7-10, 2022
会议地点Lugano, Switzerland
出版年2022
馆藏号343325


题名作者出版年
Verifying Autonomous SystemsLouise A. Dennis2022
Empowering the Event-B Method Using External TheoriesYamine Ait-Ameur; Guillaume Dupont; Ismail Mendil; Dominique Mery; Marc Pantel; Peter Riviere; Neeraj K. Singh2022
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris RemovalMarie Farrell; Nikos Mavrakis; Angelo Ferrando; Clare Dixon; Yang Gao2022
Reusing Predicate Precision in Value AnalysisMarie-Christine Jakobs2022
Certified Verification of Relational PropertiesLionel Blatter; Nikolai Kosmatov; Virgile Prevosto; Pascale Le Gall2022
Reachability Analysis and Simulation for Hybridised Event-B ModelsYamine Ait-Ameur; Sergiy Bogomolov; Guillaume Dupont; Neeraj Kumar Singh; Paulius Stankaitis2022
Operation Caching and State Compression for Model Checking of High-Level Models: How to Have Your Cake and Eat ItMichael Leuschel2022
Conservative Time Discretization: A Comparative StudyMarcelo Forets; Christian Schilling2022
Untangling the Graphs of Timed Automata to Decrease the Number of ClocksNeda Saeedloei; Feliks Kluzniak2022
Probabilistic Model Checking of BPMN Processes at RuntimeYlies Falcone; Gwen Salaun; Ahang Zuo2022
HyperPCTL Model Checking by Probabilistic DecompositionEshita Zaman; Gianfranco Ciardo; Erika Abraham; Borzoo Bonakdarpour2022
Learning Finite State Models from Recurrent Neural NetworksEdi Muskardin; Bernhard K. Aichernig; Ingo Pill; Martin Tappler2022
Kaki: Concurrent Update Synthesis for Regular Policies via Petri GamesNicklas S. Johansen; Lasse B. Kaer; Andreas L. Madsen; Kristian O. Nielsen; Jiri Srba; Rasmus G. Tollund2022
Verified Password Generation from Password Composition PoliciesMiguel Grilo; Joao Campos; Joao F. Ferreira; Jose Bacelar Almeida; Alexandra Mendes2022
A Policy Language to Capture Compliance of Data Protection RequirementsChinmayi Prabhu Baramashetru; Silvia Lizeth Tapia Tarifa; Olaf Owe; Nils Gruschka2022
Extending Data Flow Coverage to Test Constraint RefinementsAlexander Kolchin; Stepan Potiyenko2022
Scalable Typestate Analysis for Low-Latency EnvironmentsAlen Arslanagic; Pavle Subotic; Jorge A. Perez2022
Studying Users' Willingness to Use a Formally Verified Password ManagerCarolina Carreira2022
Modeling Explanations in Autonomous VehiclesAkhila Bairy2022
A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine ControllerOisin Sheridan; Rosemary Monahan; Matt Luckcuck2022
12



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