Vol. 78 (2019): 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018

Articles

• Facilitating Automated Compliance Checking in the Safety-critical Context

  Julieth Patricia Castellanos Ardila

  • PDF

• Thoughts about using Constraint Solvers in Action

  Malte Mues, Martin Fitzke, Falk Howar

  • PDF

• Guidance in Model-based Compilations

  Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden

  • PDF

• Applicability of Neural Networks for Driving Style Classification and Maneuver Detection

  Karl-Falco Storm, Paul Hochrein, Peter Engel, Andreas Rausch

  • PDF

• Workflow Discovery with Semantic Constraints: The SAT-Based Implementation of APE

  Vedran Kasalica, Anna-Lena Lamprecht

  • PDF

• Evolve: Language-Driven Engineering in Industrial Practice

  Tim Tegeler, Jonas Schürmann

  • PDF