Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings von Raschke, Alexander, Méry, Dominique

Volltext

Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings von Raschke, Alexander, Méry, Dominique, Houdek, Frank

Volltext

Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018) von Butler, Michael, Raschke, Alexander

Volltext

An automotive case study von Raschke, Alexander, Méry, Dominique

Volltext

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings von Butler, Michael, Raschke, Alexander, Hoang, Thai Son, Reichl, Klaus

Volltext

Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 von Méry, Dominique, Raschke, Alexander

Volltext

Video-based tactic training in tennis: Proof of efficacy in a field experiment with 10- to 14-year-old tournament players von Raschke, Alexander, Lames, Martin

Volltext

Towards a comprehensive extension of abstract state machines for aspect-oriented specification von Dausend, Marcel, Raschke, Alexander

Volltext

A systematic review on security and safety of self-adaptive systems von Pekaric, Irdin, Groner, Raffaela, Witte, Thomas, Adigun, Jubril Gbolahan, Raschke, Alexander, Felderer, Michael, Tichy, Matthias

Volltext

The ASMETA Approach to Safety Assurance of Software Systems von Arcaini, Paolo, Bombarda, Andrea, Bonfanti, Silvia, Gargantini, Angelo, Riccobene, Elvinia, Scandurra, Patrizia

Volltext

The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes von Elstermann, Matthes, Wolski, André, Fleischmann, Albert, Stary, Christian, Borgert, Stephan

Volltext

Product Optimization in Stepwise Design von Batory, Don, Oh, Jeho, Heradio, Ruben, Benavides, David

Volltext

Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System von Bodenmüller, Stefan, Schellhorn, Gerhard, Bitterlich, Martin, Reif, Wolfgang

Volltext

Spot the Difference: A Detailed Comparison Between B and Event-B von Leuschel, Michael

Volltext

Computation on Structures: Behavioural Theory, Logic, Complexity von Schewe, Klaus-Dieter

Volltext

Towards Leveraging Domain Knowledge in State-Based Formal Methods von Aït-Ameur, Yamine, Laleau, Régine, Méry, Dominique, Singh, Neeraj Kumar

Volltext

Semantic Splitting of Conditional Belief Bases von Beierle, Christoph, Haldimann, Jonas, Kern-Isberner, Gabriele

Volltext

What is the Natural Abstraction Level of an Algorithm? von Prinz, Andreas

Volltext

Moded and Continuous Abstract State Machines von Banach, Richard, Zhu, Huibiao

Volltext

ASM Specification and Refinement of a Quantum Algorithm von Ferrarotti, Flavio, González, Sénen

Volltext