Multipotent Systems: Combining Planning, Self-Organization, and Reconfiguration in Modular Robot Ensembles von Kosak, Oliver, Wanninger, Constantin, Hoffmann, Alwin, Ponsar, Hella, Reif, Wolfgang

Volltext

Verification of forward simulations with thread-local, step-local proof obligations von Schellhorn, Gerhard, Bodenmüller, Stefan, Reif, Wolfgang

Volltext

Inferring material properties from FRP processes via sim-to-real learning von Stieber, Simon, Schröter, Niklas, Fauster, Ewald, Bender, Marcel, Schiendorfer, Alexander, Reif, Wolfgang

Volltext

Verification of Crashsafe Caching in a Virtual File System Switch von Bodenmüller, Stefan, Schellhorn, Gerhard, Reif, Wolfgang

Volltext

Software & System Verification with KIV von Schellhorn, Gerhard, Bodenmüller, Stefan, Bitterlich, Martin, Reif, Wolfgang

Volltext

A Formal Model of a Virtual Filesystem Switch von Ernst, Gidon, Schellhorn, Gerhard, Haneberg, Dominik, Pfähler, Jörg, Reif, Wolfgang

Volltext

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

Volltext

The Mondex Challenge: Machine Checked Proofs for an Electronic Purse von Schellhorn, Gerhard, Grandy, Holger, Haneberg, Dominik, Reif, Wolfgang

Volltext

MiniBrass: Soft constraints for MiniZinc von Schiendorfer, Alexander, Knapp, Alexander, Anders, Gerrit, Reif, Wolfgang

Volltext

Autonomic and Trusted Computing: 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings von González Nieto, Juan, Wang, Guojun, Reif, Wolfgang, Indulska, Jadwiga

Volltext

Modular, crash-safe refinement for ASMs with submachines von Ernst, Gidon, Pfähler, Jörg, Schellhorn, Gerhard, Reif, Wolfgang

Volltext

Formal verification of QVT transformations for code generation von Stenzel, Kurt, Moebius, Nina, Reif, Wolfgang

Volltext

Quantitative and qualitative safety analysis of a hemodialysis machine with S von Leupolz, Johannes, Habermaier, Axel, Reif, Wolfgang

Volltext

KIV: overview and VerifyThis competition von Ernst, Gidon, Pfähler, Jörg, Schellhorn, Gerhard, Haneberg, Dominik, Reif, Wolfgang

Volltext

A Recommendation System for CAD Assembly Modeling Based on Graph Neural Networks von Gajek, Carola, Schiendorfer, Alexander, Reif, Wolfgang

Volltext

Qualitative and quantitative analysis of safety-critical systems with von Leupolz, Johannes, Knapp, Alexander, Habermaier, Axel, Reif, Wolfgang

Volltext

Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems von Eberhardinger, Benedikt, Ponsar, Hella, Klumpp, Dominik, Reif, Wolfgang

Volltext

Towards Testing Self-organizing, Adaptive Systems von Eberhardinger, Benedikt, Seebach, Hella, Knapp, Alexander, Reif, Wolfgang

Volltext

Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems von Schiendorfer, Alexander, Reif, Wolfgang

Volltext

Symbolic execution for a clash-free subset of ASMs von Schellhorn, Gerhard, Ernst, Gidon, Pfähler, Jörg, Bodenmüller, Stefan, Reif, Wolfgang

Volltext