Klaus-Dieter Schewe

Latest

• Modal Extensions of the Logic of Abstract State Machines
• Behavioural Theory of Reflective Algorithms
• Exploration of Reflective ASMs for Security
• Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection
• Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams
• A Characterization of Distributed ASMs with Partial-Order Runs
• A Logic for Reflective ASMs
• Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness
• Abstract State Machines with Exact Real Arithmetic
• Capturing Membrane Computing by ASMs
• Distributed Adaptive Systems - Theory, Specification, Reasoning
• Systematic Refinement of Abstract State Machines with Higher-Order Logic
• The landing gear case study: challenges and experiments
• Specifying Transaction Control to Serialize Concurrent Program Executions
• A Simplified Parallel ASM Thesis
• XML Database Transformations with Tree Updates