| Publication | Date of Publication | Type |
|---|
Formalization and analysis of the post-quantum signature scheme FALCON with Maude
Journal of Logical and Algebraic Methods in Programming | 2025-01-27 | Paper |
Automated quantum program verification in dynamic quantum logic
| 2024-05-29 | Paper |
An environment for specifying and model checking mobile ring robot algorithms
| 2024-04-19 | Paper |
A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler
Structured Object-Oriented Formal Language and Method | 2022-12-09 | Paper |
A divide \& conquer approach to conditional stable model checking
| 2022-03-31 | Paper |
CiMPG+F: a proof generator and fixer-upper for CafeOBJ specifications
| 2021-07-08 | Paper |
Model checking of a mobile robots perpetual exploration algorithm
Structured Object-Oriented Formal Language and Method | 2021-05-20 | Paper |
Stability of termination and sufficient-completeness under pushouts via amalgamation
Theoretical Computer Science | 2020-12-15 | Paper |
Model checking of robot gathering
| 2020-07-30 | Paper |
From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
Theoretical Computer Science | 2018-03-12 | Paper |
A formal proof generator from semi-formal proof documents
| 2017-11-03 | Paper |
A Maude environment for CafeOBJ
Formal Aspects of Computing | 2017-04-03 | Paper |
Constructor-based logics
Journal of Universal Computer Science | 2016-07-08 | Paper |
Liveness properties in CafeOBJ -- a case study for meta-level specifications
Logic-Based Program Synthesis and Transformation | 2015-10-02 | Paper |
Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs
Specification, Algebra, and Software | 2014-03-25 | Paper |
Incremental proofs of termination, confluence and sufficient completeness of OBJ specifications
Specification, Algebra, and Software | 2014-03-25 | Paper |
On Automation of OTS/CafeOBJ Method
Specification, Algebra, and Software | 2014-03-25 | Paper |
Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method
Specification, Algebra, and Software | 2014-03-25 | Paper |
A toolkit for generating and displaying proof scores in the OTS/CafeOBJ method
| 2013-12-04 | Paper |
Rewriting-based verification of authentication protocols
| 2013-10-02 | Paper |
Principles of proof scores in CafeOBJ
Theoretical Computer Science | 2013-01-07 | Paper |
Constructor-based institutions
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications
Journal of Symbolic Computation | 2010-05-05 | Paper |
Proof scores in the OTS/CafeOBJ method.
Lecture Notes in Computer Science | 2010-01-12 | Paper |
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
Modeling and verification of real-time systems based on equations
Science of Computer Programming | 2007-05-23 | Paper |
scientific article; zbMATH DE number 2172803 (Why is no real title available?)
| 2006-06-02 | Paper |
scientific article; zbMATH DE number 1953034 (Why is no real title available?)
| 2003-07-25 | Paper |
scientific article; zbMATH DE number 1860625 (Why is no real title available?)
| 2003-06-02 | Paper |
scientific article; zbMATH DE number 1760140 (Why is no real title available?)
| 2002-11-06 | Paper |
The evaluation strategy for head normal form with and without on-demand flags
| 2001-05-07 | Paper |
scientific article; zbMATH DE number 1500569 (Why is no real title available?)
| 2001-05-06 | Paper |
