Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022

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

Table of Contents

Preface

Preface
Sven Jörges, Salim Saay, Steven Smyth
PDF

Articles

Towards Code-centric Code Generators
Daniel Busch
PDF
Tool Support for System-Theoretic Process Analysis
Jette Petzold, Reinhard von Hanxleden
PDF
SOS-Supported Graph Transformation
Sebastian Teumert, Marvin Krause, Bernhard Steffen
PDF
Low-Code/No-Code Artificial Intelligence Platforms for the Health Informatics Domain
Colm Brandon, Tiziana Margaria
PDF
Validating Behavioral Requirements, Conditions, and Rules of Autonomous Systems with Scenario-Based Testing
Till Schallau, Stefan Naujokat
PDF
DSL-driven Integration of OpenAPI based Web Services into DIME
Bruno Steffen
PDF
Software Engineering meets Artificial Intelligence
Holger Klus, Christoph Knieke, Andreas Rausch, Stefan Wittek
PDF
Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models
Maximilian Schlüter, Gerrit Nolte
PDF
Lazy Merging: From a Potential of Universes to a Universe of Potentials
Jonas Schürmann, Bernhard Steffen
PDF
Binary Decision Diagrams and Composite Classifiers for Analysis of Imbalanced Medical Datasets
Amandeep Singh, Olga Minguett, Tiziana Margaria
PDF