From Logic and Computation Theory to Rigorous Methods for Software Engineering
Towards Leveraging Domain Knowledge in State-Based Formal Methods
Some Observations on Mitotic Sets
Moded and Continuous Abstract State Machines
A Stepwise Design Optimization Problem
Semantic Splitting of Conditional Belief Bases
Communities and Ancestors Associated with Egon Börger and ASM
Language and communication problems in formalization: a natural language approach
ASM Specification and Refinement of a Quantum Algorithm
Spot the Difference: A Detailed Comparison Between B and Event-B
Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond
Analysis of Mobile Networks' Protocols Based on Abstract State Machines
What is the Natural Abstraction Level of an Algorithm
The ASMETA approach to safety assurance of software systems
Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System
Computation on Structures: Behavioural Theory, Logic, Complexity
The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes
Models and Modelling in Computer Science
A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines.