Abstract is missing.
- Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on StreamsZilinghan Li, Shilan He, Yiqing Du, Senén González, Klaus-Dieter Schewe. 3-16 [doi]
- Towards ASM-Based Automated Formal Verification of Security ProtocolsChiara Braghin, Mario Lilli, Elvinia Riccobene. 17-33 [doi]
- Verifying System-Level Security of a Smart Ballot BoxDana Dghaym, Thai Son Hoang, Michael J. Butler, Runshan Hu, Leonardo Aniello, Vladimiro Sassone. 34-49 [doi]
- Proving the Safety of a Sliding Window Protocol with Event-BSophie Coudert. 50-65 [doi]
- Event-B Formalization of Event-B ContextsJean-Paul Bodeveix, Mamoun Filali. 66-80 [doi]
- Validation of Formal Models by Timed Probabilistic SimulationFabian Vu, Michael Leuschel, Atif Mashkoor. 81-96 [doi]
- Sterling: A Web-Based Visualizer for Relational Modeling LanguagesTristan Dyer, John W. Baugh Jr.. 99-104 [doi]
- Extending ASMETA with Time FeaturesAndrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene. 105-111 [doi]
- About the Concolic Execution and Symbolic ASM Function Promotion in CASMPhilipp Paulweber, Jakob Moosbrugger, Uwe Zdun. 112-117 [doi]
- Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and ReflectionFengqing Jiang, Neng Xiong, Xinyu Lian, Senén González, Klaus-Dieter Schewe. 118-123 [doi]
- The CamilleX Framework for the Rodin PlatformThai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler. 124-129 [doi]
- Extensible Record Structures in Event-BAsieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler. 130-136 [doi]
- Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-BRobert Eschbach. 137-142 [doi]
- Automatic Transformation of SysML Model to Event-B Model for Railway CCS ApplicationShubhangi Salunkhe, Randolf Berglehner, Abdul Rasheeq. 143-149 [doi]
- Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB FrameworkPeter Riviere. 153-157 [doi]
- A Modeling and Verification Framework for Security ProtocolsMario Lilli. 158-161 [doi]
- Formalizing the Institution for Event-B in the Coq Proof AssistantConor Reynolds. 162-166 [doi]