长垣产业园区科技文献服务平台

会议文集


文集名Rigorous State-Based Methods
会议名8th International Conference on Rigorous State-Based Methods (ABZ 2021)
中译名《第八届国际严格的基于状态的方法会议》
会议日期June 9-11, 2021
会议地点Ulm, Germany
出版年2021
馆藏号339174


题名作者出版年
Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on StreamsZilinghan Li; Shilan He; Yiqing Du; Senen Gonzalez; Klaus-Dieter Schewe2021
Towards ASM-Based Automated Formal Verification of Security ProtocolsChiara Braghin; Mario Lilli; Elvinia Riccobene2021
Verifying System-Level Security of a Smart Ballot BoxDana Dghaym; Thai Son Hoang; Michael Butler; Runshan Hu; Leonardo Aniello; Vladimiro Sassone2021
Proving the Safety of a Sliding Window Protocol with Event-BSophie Coudert2021
Event-B Formalization of Event-B ContextsJean-Paul Bodeveix; Mamoun Filali2021
Validation of Formal Models by Timed Probabilistic SimulationFabian Vu; Michael Leuschel; Atif Mashkoor2021
Sterling: A Web-Based Visualizer for Relational Modeling LanguagesTristan Dyer; John Baugh2021
Extending ASMETA with Time FeaturesAndrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene2021
About the Concolic Execution and Symbolic ASM Function Promotion in CASMPhilipp Paulweber; Jakob Moosbrugger; Uwe Zdun2021
Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and ReflectionFengqing Jiang; Neng Xiong; Xinyu Lian; Senen Gonzalez; Klaus-Dieter Schewe2021
The CamilleX Framework for the Rodin PlatformThai Son Hoang; Colin Snook; Dana Dghaym; Asieh Salehi Fathabadi; Michael Butler2021
Extensible Record Structures in Event-BAsieh Salehi Fathabadi; Colin Snook; Thai Son Hoang; Dana Dghaym; Michael Butler2021
Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-BRobert Eschbach2021
Automatic Transformation of SysML Model to Event-B Model for Railway CCS ApplicationShubhangi Salunkhe; Randolf Berglehner; Abdul Rasheeq2021
Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB FrameworkPeter Riviere2021
A Modeling and Verification Framework for Security ProtocolsMario Lilli2021
Formalizing the Institution for Event-B in the Coq Proof AssistantConor Reynolds2021



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