CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications

von Riesco, Adrián
Veröffentlicht in ICTAC (17. : 2020 : Online) Theoretical aspects of computing - ICTAC 2020 (2020)

A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude

von Do, Canh Minh
Veröffentlicht in SOFL+MSVL (9. : 2019 : Shenzhen) Structured object-oriented formal language and method (2020)

Formal Specification and Model Checking of a Ride-sharing System in Maude

von Muramoto, Eiichi
Veröffentlicht in SOFL+MSVL (9. : 2019 : Shenzhen) Structured object-oriented formal language and method (2020)

Automated Quantum Program Verification in Dynamic Quantum Logic

von Takagi, Tsubasa
Veröffentlicht in DaLí (5. : 2023 : Tiflis) Dynamic logic - new trends and applications (2024)

A Divide & Conquer Approach to Conditional Stable Model Checking

von Phyo, Yati
Veröffentlicht in ICTAC (18. : 2021 : Online) Theoretical aspects of computing - ICTAC 2021 (2021)

Specification, algebra, and software : essays dedicated to Kokichi Futatsugi

Veröffentlicht 2014

Parallel Maude-NPA for Cryptographic Protocol Analysis

von Do, Canh Minh
Veröffentlicht in WRLA (14. : 2022 : Online; München) Rewriting logic and its applications (2022)

Formal methods and software engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings

Veröffentlicht 2016

Analysis of membership sharing problem in digital subscription services

Veröffentlicht in International journal of revenue management (2009)

Rewriting logic and its applications : 15th international workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : revised selected papers

Veröffentlicht 2024