Volume 78: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018

DOI: http://dx.doi.org/10.14279/tuj.eceasst.78

Table of Contents

Articles

Facilitating Automated Compliance Checking in the Safety-critical Context
Julieth Patricia Castellanos Ardila
PDF
Applicability of Neural Networks for Driving Style Classification and Maneuver Detection
Karl-Falco Storm, Paul Hochrein, Peter Engel, Andreas Rausch
PDF
Evolve: Language-Driven Engineering in Industrial Practice
Tim Tegeler, Jonas Schürmann
PDF
Guidance in Model-based Compilations
Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
PDF
Workflow Discovery with Semantic Constraints: The SAT-Based Implementation of APE
Vedran Kasalica, Anna-Lena Lamprecht
PDF
Thoughts about using Constraint Solvers in Action
Malte Mues, Martin Fitzke, Falk Howar
PDF